Copperbox revision 511.
I've implemented a sketch of the type inference algorithm W (a sketch meaning that it isn't integrated with HMinCaml and works on a smaller set of datatypes).
It's largely an attribute grammar version of the code in Martin Grabmuller's "Algorithm W Step by Step", with some modifications so the naming conventions are closer to the presentation in "Generalizing Hindley-Milner Type Inference Algorithms". Unfortunately it seems to have a bug at present, as it fails one of the test cases from "... Step by Step" which it should pass.
Blog Archive
-
▼
2009
(651)
-
▼
March
(34)
- HNotate
- HNotate
- HNotate
- anaMap and accumMapL
- HNotate
- HMinCaml
- HMinCaml
- HMinCaml
- HMinCaml
- HMinCaml
- HMinCaml
- HMinCaml
- HMinCaml
- HMinCaml
- HMinCaml
- HMinCaml
- HMinCaml
- HMinCaml
- ZBitmap
- ZBitmap
- ZBitmap
- ZBitmap
- ZBitmap
- ZBitmap
- ZBitmap
- ZBitmap
- Hawa
- HMinCaml
- HMinCaml
- HMinCaml
- HMinCaml
- HMinCaml
- HMinCaml
- HMinCaml
-
▼
March
(34)
About Me
- Stephen Tetley
- Disambiguating biog as there are a few Stephen Tetley's in the world. I'm neither a cage fighter or yachtsman. I studied Fine Art in the nineties (foundation Bradford 1992, degree Cheltenham 1992 - 95) then Computing part-time at Leeds Met graduating in 2003. I'm the Stephen Tetley on Haskell Cafe and Stackoverflow.