0
comment
comment
on 2/7/2015 6:06 AM
Today I want to show you some cool stunts you can do with single-case ADTs to help you make invalid states unrepresentable. To be precise I want to talk a bit about Phantom Types – those are parametrised types where a type-variable only appears on the left-hand side (in the type-definition) but not on the […]