Up a Free

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

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

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

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

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