YoVDO

Yaffle: A New Core for Idris 2

Offered By: ACM SIGPLAN via YouTube

Tags

Functional Programming Courses Type System Courses Dependent Types Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore the development of Yaffle, a new core language for Idris 2, in this 31-minute conference talk presented by Edwin Brady at WITS'24. Delve into the valuable lessons learned from implementing a dependently typed language in itself, focusing on Idris 2, a functional programming language with dependent types based on Quantitative Type Theory. Gain insights into how the expressive type system of Idris 2 is leveraged to guarantee properties of its own implementation. Discover the progress made on Yaffle and its implications for the future of dependently typed programming languages.

Syllabus

[WITS'24] Yaffle: A New Core for Idris 2


Taught by

ACM SIGPLAN

Related Courses

Introduction to programming with dependent types in Scala
Stepik A Little Taste of Dependent Types
Strange Loop Conference via YouTube A Taste of Type Theory
GOTO Conferences via YouTube A Type-Theoretic Framework for Certified Meta-programming
Hausdorff Center for Mathematics via YouTube Bulletproof Python - Writing Fewer Tests with a Typed Code Base
EuroPython Conference via YouTube