Localhost: Ron Minsky

Title: Types, and why you should care

Abstract: 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, I’ll 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 we do at Jane Street in OCaml, but I’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. I’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.


  • 6:30 pm – Drinks, snacks and mingling
  • 7:00 pm – Talk starts
  • 7:30 pm – Talk ends, brief break to leave
  • 7:35 pm – Q&A
  • 8:30 pm – End

Please bring a photo ID with you for check-in at security. The front desk will direct you to the right floor.

If you are a Recurser, please RSVP through our internal calendar!