There’s an endless debate online between advocates of typed and untyped programming languages (or statically and dynamically typed languages). These conversations often shed more heat than light, so in this talk, Ron will try to give a flame-free introduction to the practical role that type systems play in software development.
This talk is informed by the work done at Jane Street in OCaml, but he'll discuss the question in broader terms, discussing the history of typed and untyped languages, what it means for a language to have a type system, and what tradeoffs there are between typed and untyped languages. He'll also discuss how the role of types changes as your systems and dev teams grow, and how this depends on the nature and level of sophistication of the type system itself.