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

Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...

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

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

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

Скачать mp3 с ютуба отдельным файлом. Бесплатный рингтон Why algebraic data types are important - Bartosz Milewski - code::dive 2018 в формате MP3:

Если кнопки скачивания не загрузились НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием видео, пожалуйста напишите в поддержку по адресу внизу страницы.
Спасибо за использование сервиса ClipSaver.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