← → December 4, 2025 music, haskell, denotational design, functional programming, types For the last few months, I’ve been trying to come up with a nice, denotational basis for what music is. But I’m running out of steam on the project, so
← → October 14, 2025 haskell, category theory, programming, catlang I’ve had a little time off of work as of late, and been spending it in characteristically unwise ways. In particular, I’ve written a little programming language that compil…
← → October 9, 2025 foo, bar A reader recently got in touch with me regarding my 2017 blog post Review: Theorems for Free. He had some questions about the paper/my review, and upon revisiting it, I realized that I had no idea how the paper
Why doesn’t [the Data.Map function] unionWith :: (a -> a -> a) -> Map k a -> Map k a -> Map k a allow for different value types the way intersectionWith :: (a -> b -> c) -> Map k a -> Map k b -> Map k c does? This is a very reasonable quest…
← → May 4, 2025 graph theory, development, haskell Usually I write about solutions to problems I’ve worked out, but I’ve found myself increasingly becoming interesting in where solutions come from. Maybe it’s because I’ve been reading Boors…
← → February 15, 2025 haskell, constraints, typeclasses Just a quick one today, but I wanted to point out a little trick you can do with Haskell’s typeclass inference. Imagine we have some little class, the details of which matter not in th…
← → January 24, 2025 haskell, monoids There’s a common anti-pattern I see in beginner-to-intermediate Haskell programmers that I wanted to discuss today. It’s the tendency to conceptualize the creation of an object by repeated mutation. Oft…
← → January 18, 2025 lenses, haskell, codegen I’ve always considered lenses to be a bit uncomfortable. While they’re occasionally useful for doing deeply nested record updates, they often seem to be more trouble than they’re worth. There’s
← → January 12, 2025 haskell, profiling At work a few weeks back, I found myself digging into profile reports, trying to determine why our program was running so slowly. Despite having the extremely obvious-in-retrospect data in front of me…
← → May 18, 2024 jj, version control, git Today I want to talk about jujutsu, aka jj, which describes itself as being “a Git-compatible VCS that is both simple and powerful”. This is selling itself short. Picking up jj has been the best cha…
← → December 26, 2023 FRP, yampa, haskell, technical, programming, gamedev In the last post, we investigated the switch combinator, and saw how it can give us the ability to work with “state machine”-sorts of things in our functionally reac…
← → December 24, 2023 FRP, yampa, haskell, technical, programming, gamedev Yesterday we looked at arrowized FRP in Yampa, and saw how it the proc notation is to arrows as do is for monads. While these syntaxes don’t give you any new power,