Why Algebraic Data Types Are Important
Offered By: code::dive conference via YouTube
Course Description
Overview
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.
Syllabus
Intro
The problem
Systematic type theory
Abstracting over types
Products
Sums
Exponentials
Unit
Algebraic identities
Taught by
code::dive conference
Related Courses
Introduction to Functional ProgrammingDelft University of Technology via edX Functional Programming in Haskell
Chennai Mathematical Institute via Swayam An introduction to Haskell Programming
Chennai Mathematical Institute via Swayam Functional Programming in Haskell: Supercharge Your Coding
University of Glasgow via FutureLearn Introduction To Haskell Programming
Chennai Mathematical Institute via Swayam