Blog posts I've published so far

A lightning post on logic programming in Haskell to construct a workout weekly schedule given the set of exercises, days and constraints.

Crossing the language boundary between Haskell and Swift. This is the second part of an in-depth guide into developing native applications using Haskell with Swift.

Adding computed properties to Haskell record types -- probably a new Haskell anti-pattern!

First part of an in-depth guide into developing a native macOS application using Haskell with Swift and SwiftUI. This part covers the set-up required to call Haskell functions from Swift in an XCode project using SwiftUI.

Improving GHC's configuration logic and cross-compilation support with the brand new ghc-toolchain tool.

A short write-up on combining digraphs, a feature built-in to vim, and Haskell's UnicodeSyntax extension, to easily write beautiful Haskell programs with unicode symbols.

I've been working the past month or two in a shader-centric, type-heavy 3d-renderer/game engine, written in Haskell. In this post I present some of the current implementation details and pictures of the multiple achievements and progress done so far.

A first tutorial for equality saturation with hegg, a library of e-graphs and fast equality saturation written in Haskell. This tutorial implements a symbolic manipulation library using hegg.

This is the second of two parts on creating interactive graphical applications with functional programming, in Haskell; this second part, using Functional Reactive Programming through reflex, and how it can be used to build a DOM-based interactive UI.

This is the first of two parts on creating interactive graphical applications with functional programming, in Haskell; this first part, using the Model-View-Controller pattern in its functional flavour through gloss. The MVC pattern is common accross all languages and goes by many names. For example, it's how smartphone applications are structured in Android Studio.

Lecture notes from an introductory class on Haskell

Lecture notes from an introductory class on Haskell