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

Functional Programming Principles in Scala
École Polytechnique Fédérale de Lausanne via Coursera Functional Program Design in Scala
École Polytechnique Fédérale de Lausanne via Coursera Paradigms of Computer Programming
Université catholique de Louvain via edX Introduction to Functional Programming
Delft University of Technology via edX Paradigms of Computer Programming – Fundamentals
Université catholique de Louvain via edX