Functional Programmers need to take a look at Zig
Summary
A critique of garbage-collected languages and a bullish take on Zig for systems programming. The author analyzes how Zig's comptime, memory-management model, and type-system capabilities enable correct-by-construction code, comparing it to Haskell-like ideas and traditional GC-heavy languages. The piece includes code examples and argues for Zig's potential to improve expressiveness and performance.