Why Algebraic Data Types Are Important

Channel:
United States Coding Tech
Subscribers:
725,000
Published on ● Video Link: https://www.youtube.com/watch?v=yw-C8kk3mtY


Duration: 1:08:49
7,237 views
190

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.

EVENT:

code::dive 2018

SPEAKER:

Bartosz Milewski

PUBLICATION PERMISSIONS:

Conference Organizer provided Coding Tech with the permission to republish the code::dive talks.



Other Videos By Coding Tech


2019-10-21The Cloud is a Scam
2019-10-19Shooting Hoops with Keras and TensorFlow || Zack Akil
2019-10-18How Containerized SQL Server Makes Development Easier
2019-10-17How Thinking in Python Made Me a Better Software Engineer
2019-10-16How To Build a Microservice Without Losing a Job
2019-10-15Perspectives on the Future of Computing for AI
2019-10-14The Science of Great UI
2019-10-12A DevSecOps Tale of Business, Engineering, and People
2019-10-11Mobile C++ Development
2019-10-08Python Standard Library: The Hidden Gems
2019-10-07Why Algebraic Data Types Are Important
2019-10-05Algebraic JavaScript
2019-10-04Delivering Python AI Products for Businesses at Massive Scale || Eleanor Ainy
2019-10-02What's New With F#
2019-09-29What's New In C# 8
2019-09-28Security Vulnerability Mitigations
2019-09-27Picking the Right Blockchain For the Job
2019-09-25Rock Paper Scissors: TensorFlow.js Tour
2019-09-24Training Intelligent Game Agents Using Deep Reinforcement Learning || Imran Rashid
2019-09-23systemd @ Facebook in 2019
2019-09-22What Makes Python Python? (aka Everything About Python’s Grammar)


Tags:
static data types
data structure
c++
huskel
javascript
python
programming
programming languages