Distributed Functions with Jonathan Magen
Software Unscripted
Type Inference in Programming Languages: Hindley-Milner and Applications
The chapter explores the concept of 100% type inference in programming languages like Rust and Rock, discussing the decision to annotate functions and values for readability. It also touches upon the differences between unification and subtyping in gradually typed languages and how modifying syntax in Rock's tag unions improved user understanding of type signatures.
00:00
Transcript
Play full episode
Remember Everything You Learn from Podcasts
Save insights instantly, chat with episodes, and build lasting knowledge - all powered by AI.
