Speaker Deck

Using static typing features for fun and profit

by Marek Kubica

Published August 6, 2013 in Programming

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.