Topic

Functional Programming

1 piece on this topic. All topics

Essay Fede’s Guide to Type Systems: From Generics to Dependent Types A practical guide to type systems, from everyday generics to dependent types that prove correctness, with examples in Rust, Scala, and Idris Jan 1, 2026 · 60 min