Salutations, you've landed on my personal webpage. I'm known as
Grim (/ɡrɪm/) in the online realm, but my real name is
Pierre. I work as a software engineer at The
Funkyworkers and I’m part of the
Cargocut collective, where my primary
tool is the OCaml language. This site serves as a
structured platform for me to articulate and expound upon responses
I've shared across various channels, as well as to document
experimental endeavours. The material featured on this website is
licensed under CC BY-SA
4.0, unless
otherwise specified. I mainly use Mastodon
(grm@functional.cafe) as a public
communication channel.
Articles
-
2026-09-30
Lists that keep track of their reversal
Summary of a small discussion on how to track, at type level, whether a list is constructed forwards or backwards. It remains to be seen whether this will be useful in everyday life, but the proposal is driven by a specific issue.
-
2025-08-18
Basic dependency injection with objects
A simple way to encode dependency injection using the Reader monad and objects in OCaml (to work well with type inference).
-
2024-08-10
Sorting things, rank-aggregation (beginner's approach)
Summary of a response about how to order products by their votes/reviews using rank aggregation (using Shopify approach).
-
2024-03-18
Fold for cheap pattern-matching
Summary of a response regarding the encoding of visitors without pattern matching in OCaml, using the fold function.