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 →

(You can also look at this post using the great my FPComplete tutorial for this) what is this about? Recently I played a bit with threepenny-gui and soon ran into the situation where I wanted to update a behavior (my … Weiterlesen →

Tech Mesh - The Alternative Programming Conference is designed to support and promote useful non-mainstream technologies in the software industry and dedicated to users and inventors of various languages and technologies. By offering a networking platform[...]

The annual CUFP workshop is a place where people can see how others are using functional programming to solve real world problems; where practitioners meet and collaborate; where language designers and users can share ideas about the future of their favor[...]

The folks at SkillsMatter in London are hosting the Functional Programming eXchange 2012, on March 16, 2012, in London! Join the Functional Programming community for a one-day conference jam-packed with talks, open-space discussions and brainstorming. Lea[...]

I recently watched this great cast from Graham Hutton on Channel 9: How to be more productive. Right at the beginning he shows us another application of the fixed-point combinator and this got me into the “Haskell/Lazy love”-mode again. So … Weiterlesen →