- Популярные видео
- Авто
- Видео-блоги
- ДТП, аварии
- Для маленьких
- Еда, напитки
- Животные
- Закон и право
- Знаменитости
- Игры
- Искусство
- Комедии
- Красота, мода
- Кулинария, рецепты
- Люди
- Мото
- Музыка
- Мультфильмы
- Наука, технологии
- Новости
- Образование
- Политика
- Праздники
- Приколы
- Природа
- Происшествия
- Путешествия
- Развлечения
- Ржач
- Семья
- Сериалы
- Спорт
- Стиль жизни
- ТВ передачи
- Танцы
- Технологии
- Товары
- Ужасы
- Фильмы
- Шоу-бизнес
- Юмор
Panel discussion: Types for All: From weak to strong, from static to dynamic | Code Mesh V 2020
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
Видео Panel discussion: Types for All: From weak to strong, from static to dynamic | Code Mesh V 2020 канала Code Sync
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
Видео Panel discussion: Types for All: From weak to strong, from static to dynamic | Code Mesh V 2020 канала Code Sync
Комментарии отсутствуют
Информация о видео
18 ноября 2020 г. 15:00:31
00:58:07
Другие видео канала





















