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
Информация по загрузке:
Скачать аудио mp3
Похожие видео
array(10) {
[0]=>
object(stdClass)#5115 (5) {
["video_id"]=>
int(9999999)
["related_video_id"]=>
string(11) "6EzBS-cTRXo"
["related_video_title"]=>
string(93) "7 reasons to move your C++ code to Visual Studio 2017 - Bat-Ulzii Luvsanbat - code::dive 2018"
["posted_time"]=>
string(19) "6 лет назад"
["channelName"]=>
string(21) "code::dive conference"
}
[1]=>
object(stdClass)#5088 (5) {
["video_id"]=>
int(9999999)
["related_video_id"]=>
string(11) "JH_Ou17_zyU"
["related_video_title"]=>
string(52) "A Crash Course in Category Theory - Bartosz Milewski"
["posted_time"]=>
string(19) "7 лет назад"
["channelName"]=>
string(10) "ScalaIO FR"
}
[2]=>
object(stdClass)#5113 (5) {
["video_id"]=>
int(9999999)
["related_video_id"]=>
string(11) "iJ7V1KXJpsE"
["related_video_title"]=>
string(65) "F(by) 2017. Bartosz Milewski - A Crash Course in Category Theory."
["posted_time"]=>
string(19) "7 лет назад"
["channelName"]=>
string(5) "SPACE"
}
[3]=>
object(stdClass)#5120 (5) {
["video_id"]=>
int(9999999)
["related_video_id"]=>
string(11) "dgrucfgv2Tw"
["related_video_title"]=>
string(56) "Bartosz Milewski - Truth about Types (Lambda Days 2016)"
["posted_time"]=>
string(19) "9 лет назад"
["channelName"]=>
string(16) "Erlang Solutions"
}
[4]=>
object(stdClass)#5099 (5) {
["video_id"]=>
int(9999999)
["related_video_id"]=>
string(11) "ZXc_z1sNbfA"
["related_video_title"]=>
string(38) "Bjarne Stroustrup - The Essence of C++"
["posted_time"]=>
string(27) "6 месяцев назад"
["channelName"]=>
string(21) "code::dive conference"
}
[5]=>
object(stdClass)#5117 (5) {
["video_id"]=>
int(9999999)
["related_video_id"]=>
string(11) "2X1iIrjz7ug"
["related_video_title"]=>
string(67) "Президент сбежал / Столица атакована"
["posted_time"]=>
string(23) "5 часов назад"
["channelName"]=>
string(10) "NEXTA Live"
}
[6]=>
object(stdClass)#5112 (5) {
["video_id"]=>
int(9999999)
["related_video_id"]=>
string(11) "6hAeJmKXRfo"
["related_video_title"]=>
string(36) "Type theory and the algebra of types"
["posted_time"]=>
string(25) "4 месяца назад"
["channelName"]=>
string(10) "All Angles"
}
[7]=>
object(stdClass)#5122 (5) {
["video_id"]=>
int(9999999)
["related_video_id"]=>
string(11) "QyJZzq0v7Z4"
["related_video_title"]=>
string(66) "Why Isn't Functional Programming the Norm? – Richard Feldman"
["posted_time"]=>
string(19) "5 лет назад"
["channelName"]=>
string(7) "Metosin"
}
[8]=>
object(stdClass)#5098 (5) {
["video_id"]=>
int(9999999)
["related_video_id"]=>
string(11) "C2w45qRc3aU"
["related_video_title"]=>
string(56) "The Absolute Best Intro to Monads For Software Engineers"
["posted_time"]=>
string(21) "3 года назад"
["channelName"]=>
string(18) "Studying With Alex"
}
[9]=>
object(stdClass)#5116 (5) {
["video_id"]=>
int(9999999)
["related_video_id"]=>
string(11) "EV8s0wm-7rg"
["related_video_title"]=>
string(72) "Рухнет ли режим в Иране (English subtitles) @Max_Katz"
["posted_time"]=>
string(23) "5 часов назад"
["channelName"]=>
string(19) "Максим Кац"
}
}
