Antoine Kalmbach

The expression problem as a litmus test January 8, 2016

January 8, 2016

The expression problem is a famous problem in programming languages. “The Expression Problem is a new name for an old problem. The goal is to define a datatype by cases, where one can add new cases to the datatype and new functions over the datatype, without recompiling existing code, and...

Before we begin January 1, 2016

January 1, 2016

Now that the design of the site is finished, I can finally focus on the essentials. I’ve decided that this year I will be writing a bit more, here, and elsewhere. To that end, when it comes to this site, I’ve had to perform a simple but challenging task: lowering...

Start-once software December 7, 2015

December 7, 2015

Software development tools are in a state of flux. There are two competing directions towards which static analysis tools—like linters and type checkers—are heading. The traditional direction is to operate in a batch model. Fire up, perform analysis, report results, and die. This is a proven method. Batch-oriented software has...