Wrote a blog post about sum types and subtypes and unions :)
blog.jle.im/entry/sum-ty...
#haskell #functionalprogramming
blog.jle.im/entry/sum-ty...
#haskell #functionalprogramming
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...
blog.jle.im
March 6, 2025 at 7:32 PM
Wrote a blog post about sum types and subtypes and unions :)
blog.jle.im/entry/sum-ty...
#haskell #functionalprogramming
blog.jle.im/entry/sum-ty...
#haskell #functionalprogramming
A bit late but finally finished all 25 days of reflection writeups for Advent of Code 2024 in Haskell :)
blog.jle.im/entry/advent...
blog.jle.im/entry/advent...
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...
blog.jle.im
January 21, 2025 at 8:35 AM
A bit late but finally finished all 25 days of reflection writeups for Advent of Code 2024 in Haskell :)
blog.jle.im/entry/advent...
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
January 8, 2025 at 1:34 AM
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
Again the time of the year when I go hunting for hylomorphisms in #AdventOfCode -- found one in Day 19 :)
github.com/mstksg/adven...
#haskell
github.com/mstksg/adven...
#haskell
Reflections 2024
🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo. Contribute to mstksg/advent-of-code development by creating an account on GitHub.
github.com
December 30, 2024 at 1:35 AM
Again the time of the year when I go hunting for hylomorphisms in #AdventOfCode -- found one in Day 19 :)
github.com/mstksg/adven...
#haskell
github.com/mstksg/adven...
#haskell