having fun with type-level numbers using a type-provider
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...
View ArticleListen und Morphismen
Listen sind die typischen Datenstrukturen in der funktionalen Programmierung. Da überrascht es kaum, dass F# oder Haskell viele nette Features rund um Listen bereitstellen. In diesem Teaser möchte ich...
View Articlefunctional event-sourcing – let’s playback with fun
If you had any exposure to the basics of functional programming before you will at once see folds when you look at the playback-side of the event-sourcing pattern. In this post I will explore this idea...
View Articlefunctional event-sourcing – compose
Last Time I talked about how to abstract the reading part of event-sourcing into Projections. In this article I will show you how you can compose those without having to playback the events more than...
View Articleunderstanding Monoids using F#
A Monoid is one of the most basic algebraic structures that has many instances and applications in computer science and (functional) programming. And despite it’s scary mathy name it’s really easy to...
View Articlemore on Monoids in F# – exploiting static constraints
Just a quick follow up on yesterdays post on Monoids. Maybe you did not like the way the structure of the monoids was passed around using a simple record and indeed there is a way to define the Z and...
View Articledependency injection – a functional way
(TL;DR: Intro to the reader-monad in F# for dependency-injection – see the source) intro: the problem Let’s say you have a function f that needs an object implementing some interface to do it’s work. a...
View ArticleNachtrag zur Spartakiade
Auf der Spartakiade hatte ich als schwerere Aufgabe für die Teilnehmer folgendes: Implementiere foldl unter Verwendung von foldr Das ist ein Klassiker, der einem richtig schön das Hirn verknoten kann –...
View Articlebridging the gap: functional csharp
I would love to do more (or any) professional Haskell and I am really happy that I can do F# in my day to day work but the sad fact is: most of you probably may not (or don’t want to) use F# in your...
View ArticleHalloween
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...
View Article
