Examples of Easy Dependently Typed Programming in Idris
Offered By: Code Sync via YouTube
Course Description
Overview
Explore practical applications of dependently typed programming in everyday software development through this Lambda Days 2023 conference talk. Discover how Idris, a dependently typed functional programming language, can enhance software correctness without delving into complex mathematical proofs. Learn accessible approaches to leveraging dependent types that are suitable for programmers familiar with algebraic data types and functions in functional programming languages. Gain insights into how dependently typed programming extends beyond proof engineering to solve real-world software correctness challenges. Follow along as the speaker, Andor Penzes, demonstrates examples that illustrate the power and accessibility of dependent types in improving code quality and reliability.
Syllabus
Examples of easy dependently typed programming (in Idris) by Andor Penzes | Lambda Days 2023
Taught by
Code Sync
Related Courses
Introduction to programming with dependent types in ScalaStepik On Voevodsky's Univalence Principle - André Joyal
Institute for Advanced Study via YouTube Univalent Foundations and the Equivalence Principle - Benedikt Ahrens
Institute for Advanced Study via YouTube A Little Taste of Dependent Types
Strange Loop Conference via YouTube Dependent Types in Haskell
Strange Loop Conference via YouTube