Considerations on Codecrafting

X Design Notes: GADTs

X Design Notes: Parameterized Types and Higher Kinded Type Inference

X Design Notes: Nominal Types, Newtypes, and Implicit Coercions

X Design Notes: Unifying OCaml Modules and Values

Why You Need Subtyping

The problem with type aliases

Designing type inference for high quality type errors

Four limitations of Rust’s borrow checker

The Inconceivable Types of Rust: How to Make Self-Borrows Safe

What are GADTs and why do they make type inference sad?

Identifying Rust’s collect::<Vec>() memory leak footgun

How I came second out of 999 in the Salem Center prediction market tournament without knowing anything about prediction markets, and what I learned along the way - Part 2