Скачать
Why algebraic data types are important - Bartosz Milewski - code::dive 2018
Автор: code::dive conference
Загружено: 2019-01-29
Просмотров: 14840
Описание:
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...
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
