Blog articles tagged 'tftw'

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 lef[...]
IntelliFactory Offices Copyright (c) 2011-2012 IntelliFactory. All rights reserved.
Home | Products | Consulting | Trainings | Blogs | Jobs | Contact Us | Terms of Use | Privacy Policy | Cookie Policy
Built with WebSharper