Using static typing features for fun and profit

Using static typing features for fun and profit

Ever passed through a tutorial on exotic type system features without a clue what to use them for? Fear not, I built a system that uses concepts like Phantom Types and Error Monads for normal, daily tasks. No mathemathical mind games, getting things done in an elegant way! I'll introduce you to some interesting solutions to common problems. Don't speak OCaml? Not an issue.


Marek Kubica

August 06, 2013