Jacob Thomas Errington's blog

Posted on December 23, 2025 Working with grids in Haskell (or any purely functional language, I’m sure) can be pretty painful, but it doesn’t have to be.

Posted on October 19, 2025 First imagine that the OCaml type int is infinite.

Posted on July 31, 2025 Short answer: hard, but not as hard as I thought.

Posted on May 23, 2025 Short answer: hard, but not as hard as I thought.

Posted on February 20, 2025 At long last I combine my two passions to form an unlikely duo: mathematical rigour and bodybuilding.

Posted on September 27, 2024 As I prepare for technical interviews, I’ve been grinding Leetcode to practice my data structures and algorithms.

Posted on April 2, 2023 Some languages define a variant of return called yield.

Posted on March 25, 2023 Once upon a time, some seven years ago, I wrote a post about a Python trick for accessing the first element of any kind of sequence.

Posted on February 12, 2023 Originally developed as a technique for implementing compilers for (higher-order) functional languages, defunctionalization (d17n) is a program transformation that eliminates higher-order functions.

Posted on January 22, 2023 (This article was originally drafted in February 2022.