Скачать или смотреть Why algebraic data types are important - Bartosz Milewski - code::dive 2018

Why algebraic data types are important - Bartosz Milewski - code::dive 2018

code::divecode::dive 2018Bartosz MilewskiC++

Скачать Why algebraic data types are important - Bartosz Milewski - code::dive 2018 бесплатно в качестве 4к (2к / 1080p)

У нас вы можете скачать бесплатно Why algebraic data types are important - Bartosz Milewski - code::dive 2018 или посмотреть видео с ютуба в максимальном доступном качестве.

Для скачивания выберите вариант из формы ниже:

Информация по загрузке:

Cкачать музыку Why algebraic data types are important - Bartosz Milewski - code::dive 2018 бесплатно в формате MP3:

Если иконки загрузки не отобразились, ПОЖАЛУЙСТА, НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если у вас возникли трудности с загрузкой, пожалуйста, свяжитесь с нами по контактам, указанным в нижней части страницы.
Спасибо за использование сервиса video2dn.com

Описание к видео Why algebraic data types are important - Bartosz Milewski - code::dive 2018

Strong static typing detects a lot of bugs at compile time, so why would anyone prefer to program in JavaScript or Python? The main reason is that type systems can be extremely complex, often with byzantine typing rules (C++ comes to mind). This makes generic programming a truly dark art. Interestingly, the theory behind types is relatively simple – a fact exploited by functional languages like Haskell or ML. I'll discuss elements of type theory and its connection to category theory and logic.

https://codedive.pl/index/speaker/nam...

Комментарии

Информация по комментариям в разработке