Copperbox revision 2817.
Initial work on a phantom typed top level layer. The work is a bit wacky as it hides monadic code in newtype wrappers to give it type signatures that look pure (nothing unsafe though). Although I haven't tested it yet, I think it improves the design in Ochre which tried to do similar.
Blog Archive
-
▼
2012
(237)
-
▼
July
(27)
- krayola
- krayola
- wumpus-expr
- OpenGL version number
- wumpus-expr
- wumpus-expr
- wumpus-expr
- cps-mon
- cps-mon
- wumpus-expr
- wumpus-expr
- wumpus-expr
- wumpus-expr
- wumpus-expr
- wumpus-expr
- wumpus-expr
- wumpus-expr
- wumpus-expr
- wumpus-expr
- wumpus-expr
- wumpus-expr
- pretty-expr-hpj
- wumpus-expr
- wumpus-expr
- wumpus-expr
- wumpus-expr
- wumpus-expr
-
▼
July
(27)
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.