Linear types proposal for Hare
View source (Markdown). Basics of linear types The borrow checker is mostly based on the concept of linear types. In…
types
Lowtype: Elegant types in Ruby
Iow/type Watch 3 Star 12 Fork You’ve already forked type 0 Code Issues Pull requests Activity Elegant types in Ruby…
A Very Early History of Algebraic Data Types
Been quiet around here! I’ve been putting almost all of my writing time into Logic for Programmers and my whole…
Algebraic Types are not Scary, Actually
Algebraic Types are not Scary, Actually Posted on 2025-08-30 You may have heard the term algebraic types before, which initially…
Gleam is my new obsession
Gleam my new obsessionI love Rust, but…In my previous blog post I stated that I started defaulting to Rust for…
I’m too dumb for Zig’s new IO interface
I’m too dumb for Zig’s new IO interface Aug 22, 2025 You might have heard that Zig 0.15 introduces a…