#type-system

Wiki 6

• A Haskeller's case for Zig A long-time Haskell user evaluates Zig on three axes — domain expressiveness, type-system programmability, mean-free path — and concludes comptime gets you most of Haskell without GC
• Rust Send and Sync The two auto-traits that govern thread safety in Rust; `Send` for cross-thread move, `Sync` for cross-thread shared reference, with `&T: Send` ⇔ `T: Sync`
• Safety in an unsafe { world } joshlf's RustConf talk on teaching Rust safety properties the language cannot reason about
• The Sync Bound Nobody Asked For verrchu's deep-dive on why `&self` in async trait methods returning `Send` futures silently demands `Self: Sync`, and why `&mut self` quietly fixes it
• Typed De Bruijn indices for LLMs Replace variable names with typed slot references (`@Type.n`) so naming-related LLM error modes — misleading names, reused names, lost references — become impossible
• Zig comptime Zig's compile-time evaluation mechanism — same language at compile time as runtime, used for generics, typeclasses, and metaprogramming