pithlessly's blog

pithlessly.github.io

Personal technical blog covering programming language theory, type systems, and functional programming topics.

why we picked it

The blog contains in-depth essays on programming language topics such as Rossberg's 1ML, newtypes versus abstract types, and the comptime calculus.

Checked with Google Web Risk · 1 hour ago

Visit pithlessly.github.io ↗ ♡ Save ↻ Surf somewhere else