Value Your Types!

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


Duration: 9:07
5,359 views
149

You’re probably familiar with types in programming languages, such as “integer” or “list of integers.” But what if your type system were powerful enough to express types like “non-negative integer” or “list of strings where each string is at least eight characters long”? Welcome to the world of dependent types! In this talk, we’ll explore what dependent types are, how they work, and the relationship between type theory and predicate logic, all using the Idris programming language. We’ll even see when type checking can become (gasp) undecidable!

EVENT:
!!Con West 2019

SPEAKER:
Eric Weinstein

PUBLICATION PERMISSIONS:
Original video was published with the Creative Commons Attribution license (reuse allowed)

ATTRIBUTION CREDITS:
Original video source: https://www.youtube.com/watch?v=gioRL1VleBw



Other Videos By Coding Tech


2020-02-04CSS Tests
2020-02-02AI + AR Superpowers!
2020-02-01The Dark Side of Events
2020-01-29An Intuitive Introduction to Algorithmic Efficiency
2020-01-27The Past, Present and Future of JavaScript Engines
2020-01-26Testing Data Science Code || Eric Ma
2020-01-26Is Reduce() Bad?
2020-01-25TensorFlowJS: Bringing ML and Linear Algebra to NodeJS
2020-01-24Fast By Default: Algorithmic Performance Optimization in Practice
2020-01-23Transfer Learning: Entering a New Era in NLP || Malte Pietsch
2020-01-22Value Your Types!
2020-01-20Deno: Will It Replace Node.JS?
2020-01-19The Future of JavaScript is Universal
2020-01-18Better Algorithm Intuition
2020-01-17TypeScript: Seeing Past the Hype
2020-01-16GraphQL Tooling, Today & Tomorrow
2020-01-14CRDTs for Mortals (Offline First Apps)
2020-01-12The Past, Present and Future of CSS in JS || Max Stoiber
2020-01-10Making Blackout Poetry With Computers!
2020-01-09Preparing For a Future Microservices Journey Using Wardley Maps
2020-01-07A Primer on Gaussian Processes for Regression Analysis || Chris Fonnesbeck


Tags:
type system
types
programming
software development