miniblog.

It's odd how lazy evaluation is generally seen as a niche design choice, yet the vast majority of languages treat `foo() || bar()` as short-circuiting.

The niche of short, environment-specific scripts, and the consequences for programming language design choices:

Implementing type checking as another interpreter, with short, accessible examples: