Blog articles tagged 'f#', 'types for the win'

0
comment
on 3/3/2015 11:07 PM
Just a quick follow up on yesterdays post on Monoids. Maybe you did not like the way the structure of the monoids was passed around using a simple record and indeed there is a way to define the Z and ++ as generic operators by exploiting Statically Resolv[...]
.
0
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 lef[...]
.
IntelliFactory Offices Copyright (c) 2011-2012 IntelliFactory. All rights reserved.
Home | Products | Consulting | Trainings | Blogs | Jobs | Contact Us
Built with WebSharper