This video was recorded at Code Mesh V 2020 - https://codesync.global/conferences/code-mesh-ldn/ Panel discussion: Types for All: From weak to strong, from static to dynamic THE PANELISTS Sophia Drossopoulou - PROFESSOR, IMPERIAL COLLEGE LONDON Martin Odersky - INVENTOR OF THE SCALA, FOUNDER OF LIGHTBEND Edwin Brady - CREATOR OF THE IDRIS PROGRAMMING LANGUAGE; LECTURER Gilad Bracha - COMPUTATIONAL THEOLOGIST EMERITUS. KNOWN FOR JAVA SPECS, BUT PROUD OF NEWSPEAK ABSTRACT When working from home, everyone looked at what books were on display on the shelves in the background. Type systems seemed to be very much in vogue, often put there to be seen. In order to not loose momentum, we are planning a panel on Type Systems at Code Mesh! It will be lead by Felienne Hermans of Leiden University. The idea is to discuss the panelists' approach to type systems, the rationale behind their design decisions, and how they have benefited the programming languages they have created. Questions will include, but not be limited to: when do we want type, when are types in the way, and what can we do about that? How extensible should a type system be? Attendees, through the Q&A section of the app, will be able to ask their own questions. With cameras on, don't forget to put your books on display. • Follow us on social: Website: https://codesync.global/conferences/code-mesh-ldn/ Twitter: https://twitter.com/CodeMeshIO • Looking for a unique learning experience? Attend the next Code Sync conference near you! See what's coming up at: https://codesync.global • SUBSCRIBE TO OUR CHANNEL https://www.youtube.com/channel/UC47eUBNO8KBH_V8AfowOWOw