What is static analysis, really?
Many developers have come across terms such as “static analysis” and related ones such as “soundness” and “program semantics”, but what they mean and how the...
Recent posts
Building a DJ set is finding a path on a graph (and how this became a Haskell program)
I ended up building a small Haskell program to help me plan DJ sets. This post explains where the idea came from and how the problem can be described simply ...
From Haskell to Clojure, and back
During the last couple of years, I’ve been lucky enough to use both Haskell and Clojure professionally (at different companies) and in both cases it’s been a...
Turning C++’s switch statement into an expression
In the last few months I got involved in audio software development with C++ and the JUCE framework, and since at the same time I’ve been writing Haskell in ...
The Halting Problem
Before looking at the halting problem, it is worth considering why it is interesting in the first place. One of the reasons the halting problem is important ...