# Pure Systems

Pure Systems is a blog at `pure-systems.org` written by a long-time Haskell user (10–13 years) who is currently exploring whether Zig can replace Haskell for systems work. The recurring theme is using Haskell-shaped concepts (monads, typeclasses, correct-by-construction) as a lens on languages that are nominally not functional.

## Recurring framing

The author evaluates languages on three axes (introduced in [[zig-functional-programmers]]):

1. Domain expressiveness — how much "noise" is needed for the program to function.
2. Programmability of the type system — how well you can build correct-by-construction systems.
3. [[mean-free-path-language]] — lines of code before a surprise.

## Ingested articles

- [[zig-functional-programmers]] — A Haskeller's case for Zig: comptime gives you most of Haskell's type-system programming without GC (2026-04-29)

## URL

<https://pure-systems.org>