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

Автор: code::dive conference

Загружено: 2019-01-29

Просмотров: 14897

Описание: 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...

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

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

Доступные форматы для скачивания:

Скачать видео

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

Скачать аудио

Похожие видео

7 reasons to move your C++ code to Visual Studio 2017 - Bat-Ulzii Luvsanbat - code::dive 2018

7 reasons to move your C++ code to Visual Studio 2017 - Bat-Ulzii Luvsanbat - code::dive 2018

Adventure with Types in Haskell - Simon Peyton Jones (Lecture 1)

Adventure with Types in Haskell - Simon Peyton Jones (Lecture 1)

Bartosz Milewski - Truth about Types (Lambda Days 2016)

Bartosz Milewski - Truth about Types (Lambda Days 2016)

"A Little Taste of Dependent Types" by David Christiansen

A Crash Course in Category Theory - Bartosz Milewski

A Crash Course in Category Theory - Bartosz Milewski

Type theory and the algebra of types

Type theory and the algebra of types

Algebraic Data Types (ADT) in Scala | Rock the JVM

Algebraic Data Types (ADT) in Scala | Rock the JVM

A Taste of Type Theory • Bartosz Milewski • YOW! 2019

A Taste of Type Theory • Bartosz Milewski • YOW! 2019

"Categories for the Working Hacker" by Philip Wadler

Algebraic Data Types with Haskell

Algebraic Data Types with Haskell

Принц Персии: разбираем код гениальной игры, вытирая слезы счастья

Принц Персии: разбираем код гениальной игры, вытирая слезы счастья

Category Theory for Programmers: Chapter 1 - Category

Category Theory for Programmers: Chapter 1 - Category

A Sensible Introduction to Category Theory

A Sensible Introduction to Category Theory

Rust Data Modelling Without Classes

Rust Data Modelling Without Classes

F(by) 2017. Bartosz Milewski - A Crash Course in Category Theory.

F(by) 2017. Bartosz Milewski - A Crash Course in Category Theory.

"Dependent Types in Haskell" by Stephanie Weirich

Computational Type Theory [1/5] - Robert Harper - OPLSS 2018

Computational Type Theory [1/5] - Robert Harper - OPLSS 2018

Category Theory, The essence of interface-based design - Erik Meijer

Category Theory, The essence of interface-based design - Erik Meijer

Теренс Тао о том, как Григорий Перельман решил гипотезу Пуанкаре | Лекс Фридман

Теренс Тао о том, как Григорий Перельман решил гипотезу Пуанкаре | Лекс Фридман

Making sense of the Haskell type system by Ryan Lemmer at FnConf17

Making sense of the Haskell type system by Ryan Lemmer at FnConf17