This is just a short howto as I think it might come handy, as I struggled a bit on some points. I needed a simple way to self-host a REST-like service (returning XML data) with fine control on the structure of the results. I had a look at Nancy and others but finally choose to […]

Hallo Spartaner … ähm – Spartakiaden Rekuten und Soldaten: Richtet eueren Blick auf unser Schild: In der Mitte seht ihr ein großes Lambda. Historiker sagen dies war ein Symbol für die Lakedaimonier. Ich sage: Das ist nur die halbe Wahrheit – \(\Lambda\) bzw. \(\lambda\) (wir sind ja bescheiden) ist ein Symbol für den antiken (LISP […]

If you just want to see the code or even play with it, you can just grab it from Github It all started with me promising I would try to write an article how to use F# type providers to express prime numbers as types. Having had not much exposure to type providers prior to […]

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 big difference between dynamic and statically typed languagues and for […]

I’m having some FUN with FP101x by Erik Meijer on the edX plattform and watched the lectures on the countdown problem yesterday. Now I think Erik has very strong opinions and I really like this – most of the time – but there he once again told us about his mislike of Maybe and why […]