Torturing rustc by Emulating HKTs, Causing an Inductive Cycle and Borking the Compiler
Summary
This blog post is a deep dive into higher-kinded types (HKTs) and their absence in Rust, using extensive code examples and discussions of workarounds like GATs. It blends technical exploration of type systems with anecdotes about the Rust compiler, Lean 4, and coinduction, offering a provocative yet insightful look at advanced type theory in practice.