Copperbox revision 496.
All the main modules are now in the compiler monad.
Wednesday, March 4, 2009
Tuesday, March 3, 2009
HMinCaml
Copperbox revision 495.
All the significant modules are now in place, but a lot of the code is unimplemented. Plus there is quite a bit of code that pretends to be pure, that is due to go in the compiler monad.
All the significant modules are now in place, but a lot of the code is unimplemented. Plus there is quite a bit of code that pretends to be pure, that is due to go in the compiler monad.
Monday, March 2, 2009
HMinCaml
Copperbox revision 491.
I completely overlooked K-normal form yesterday when I was looking at alpha and beta reduction. In K-normal form expressions are represented by an identifier and the identifier is used to index the expression in the map. Alpha-conversion and Beta-reduction modules are now implemented.
I completely overlooked K-normal form yesterday when I was looking at alpha and beta reduction. In K-normal form expressions are represented by an identifier and the identifier is used to index the expression in the map. Alpha-conversion and Beta-reduction modules are now implemented.
Sunday, March 1, 2009
HMinCaml
Copperbox revision 490.
First look at translating the alpha-conversion and beta-reduction modules.
Unfortunately it looks like I need an equivalent of pointer equality, so I'm going to have to do some thinking about this.
First look at translating the alpha-conversion and beta-reduction modules.
Unfortunately it looks like I need an equivalent of pointer equality, so I'm going to have to do some thinking about this.
Subscribe to:
Posts (Atom)
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.