Distributed Functions with Jonathan Magen
Software Unscripted
00:00
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.
Transcript
Play full episode
