Blog articles tagged 'types'

0
comment
on 2/20/2016 3:30 PM
One of those things that I keep searching on the internet, for examples and Howto’s is, how do you hide stuff in Fsharp?Hiding stuff can be very useful. When you create a library, or a DSL, or perhaps a framework, you want to provide a good user-experienc[...]
.
0
comment
on 12/28/2014 5:16 PM
Een generieke functie kan soms aardig wat tijd besparen. Een nadeel is dat je als programmeur soms ideeën hebt die verder gaan, dan wat de programmeertaal toestaat. Duck Typing is een techniek die de mogelijkheden weer een beetje oprekt.  Wat is Duck Ty[...]
.
0
comment
on 12/17/2014 8:20 AM
On of my favorite perks of statically typed languagues is making invalid states unrepresentable. So instead of throwing exceptions at runtime, try to use types in such a way that you cannot even get invalid states to even compile. In a sense this is the b[...]
.
0
comment
on 9/29/2014 8:20 AM
I find it kindof fun to play with lambda calculus from time to time. Recently I had another go at the church numerals and the goal of my little kata was get a nice type-representation for them: Have something lie … Weiterlesen →
.
0
comment
on 7/11/2013 12:54 PM
QCon NYC was the most refreshing conference I’ve been to in a very long time. Perhaps it’s partially because I’ve lingered too long in Microsoft circles, or maybe it’s just been too long since I went to a large conference. In any case, the speaker lineup [...]
.
0
comment
on 10/31/2011 8:37 AM
I started reading Coders at Work last week, and the interviews with Simon Peyton-Jones and Peter Norvig reaped an idea that doctest, contracts.coffee, and focco sowed and cultivated. What’s the idea? Type systems are nothing more than a formal implementat[...]
.
IntelliFactory Offices Copyright (c) 2011-2012 IntelliFactory. All rights reserved.
Home | Products | Consulting | Trainings | Blogs | Jobs | Contact Us
Built with WebSharper