Justin

Sum Types and Subtypes and Unions There’s yet again been a bit of functional programming-adjacent twitter drama recently, but it’s actually sort of touched into some subtleties about sum types that I am asked about (and think about) a...

Wrote a blog post about sum types and subtypes and unions :)

blog.jle.im/entry/sum-ty...

#haskell #functionalprogramming

Advent of Code 2024: Haskell Solution Reflections for all 25 Days Admittedly a bit late, buuuuuut Merry belated Christmas and Happy New Years to all! This past December I again participated in Eric Wastl’s Advent of Code, a series of 25 daily Christmas-themed puzzle...

A bit late but finally finished all 25 days of reflection writeups for Advent of Code 2024 in Haskell :)

blog.jle.im/entry/advent...

Read a sign today saying "No unauthorized vehicles beyond this point" and I wonder if the people who chose the wording realized what they were actually saying in predicate logic

Reflections 2024 🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo. Contribute to mstksg/advent-of-code development by creating an account on GitHub.

Again the time of the year when I go hunting for hylomorphisms in #AdventOfCode -- found one in Day 19 :)

github.com/mstksg/adven...

#haskell