Monday, January 20, 2014

config-check

Copperbox revision 3085.

I've changed the internal representation of Checkers so that the base monad doesn't support failure (failure is pushed into the non-polymorphic Result type). This means we lose the Alternative and MonadPlus instances, but we gain better error messages and simplicity (no need for ShortCircuitOkay).

Blog Archive

About Me

My photo
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.