I’ve been thinking recently about the fact that the average piece of software code includes instructions to the compiler mixed together with instructions that should be executed at runtime. Type declarations are instructions to the compiler. Most of the general sequential code is instructions that should be executed at runtime. It occurred to me these [...]