Laurent's personal blog

This file is a Literate Haskell module, so we must import things before we get going: {-# LANGUAGE DataKinds #-} {-# LANGUAGE OverloadedStrings #-} {-# LANGUAGE TypeFamilies #-} -- Suppress some warnings which take away from the beauty -- of the post {-#…

In the previous post in this series, we derived type-safe links for API endpoints.

Recall the previous post in this series: we created a bunch of types, such as Get, Capture, and (:>), to help us represent an API.

This file is a Literate Haskell module, so we have to get some ceremony out-of-the-way. {-# LANGUAGE DerivingStrategies #-} -- We'll get back to DataKinds {-# LANGUAGE DataKinds #-} module ApiAsType where -- we'll need these later on import Data.Text (Te…

Featured in Haskell Weekly issue 498 A large fraction of software engineers work in web development.

As you can see from this website, I am quite involved in the Haskell community.

Featured in Haskell Weekly issue 456 I am a firm believer in the purely functional programming approach, embodied by the Haskell programming language.

I have performed non-trivial scientific calculations, in university and beyond, for almost 15 years.

I co-founded Powerweave with Mathilde Mounier.

I work in the business of algorithmic power trading, which is the automated trading of various power-related products in regulated electricity markets.