📌 Why algebraic data types are important - Bartosz Milewski - code::dive 2018 - скачать с ютуб видео или музыку на рингтон в хорошем качестве

Из-за периодической блокировки нашего сайта РКН сервисами, просим воспользоваться резервным адресом:

Загрузить через dTub.ru Загрузить через ClipSaver.ru

Скачать бесплатно 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 или скачать в максимальном доступном качестве, которое было загружено на ютуб. Для скачивания выберите вариант из формы ниже:

Загрузить музыку / рингтон Why algebraic data types are important - Bartosz Milewski - code::dive 2018 в формате MP3:

Роботам не доступно скачивание файлов. Если вы считаете что это ошибочное сообщение - попробуйте зайти на сайт через браузер google chrome или mozilla firefox. Если сообщение не исчезает - напишите о проблеме в обратную связь. Спасибо.

Если кнопки скачивания не загрузились НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием, пожалуйста напишите в поддержку по адресу внизу страницы.
Спасибо за использование сервиса savevideohd.ru

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...

Comments