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 […]
>> Read the full article on gettingsharper.de
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