Explore the importance of algebraic data types in a conference talk from code::dive 2018. Delve into the theory behind types, their connection to category theory and logic, and how functional languages like Haskell and ML exploit this simplicity. Learn why strong static typing is beneficial for detecting bugs at compile time, and understand the complexities of type systems in languages like C++. Discover elements of type theory, including products, sums, exponentials, and algebraic identities. Gain insights into generic programming and the systematic approach to type theory presented by speaker Bartosz Milewski.
Overview
Syllabus
Intro
The problem
Systematic type theory
Abstracting over types
Products
Sums
Exponentials
Unit
Algebraic identities
Taught by
code::dive conference
