Up a Free

09 Feb 2016 Eric’s latest post has some more code to chew upon. Here is where we find the first slight deviations in syntax and used modules. Generic types the generic IntMap is defined as such… type IntMap<'t> = Map<int,'t> It looks like F# deviated from the unusual type argument placement in OCaml....

More a tree than a forest

06 Feb 2016 Catching up with Eric Lippert’s latest post on writing a Z-machine in OCaml, there isn’t much to say today. The code presented can be used 1:1 in F#.

Where is the house

04 Feb 2016 After quite some time there were lifesigns from Eric Lippert, whose blog output is usually a great pleasure to read and understand. He is embarking an an adventure to write a so-called Z-machine with the following constraints: Written in OCaml Embracing functional programming (e.g. immutability, side-effect-free functions,…) As far as...

NMeasure and the global warming

30 Dec 2015 About 5 years ago I started work on a library that helps in dealing with measurements because a client was falling for primitive obsession. Follow the link to read what it’s all about. Some details are not 100% correct anymore but in general it still serves well. After figuring out...

Porting a react application to typescript

27 Aug 2015 I am not a great friend of javascript, to put it diplomatically. However, if you want to write a web application, most people will use javascript, because it is readily available across billions of devices. There are many efforts to bring back sanity to application development. These are usually languages...