there are functions out there more scary than unsafePerformIO and this is the tale of one of them: absurd. This powerful spell allows evil warlocks to conjure anything they want from the Void: but what does that mean? Is this even possible without using t[...]

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[...]

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[...]

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[...]

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 →

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 [...]

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[...]