Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

Scala vs Idris - Dependent Types, Now and in the Future

Strange Loop Conference via YouTube

Overview

Google, IBM & Meta Certificates – 40% Off
One Coursera Plus subscription covers most Professional Certificates on Coursera.
Unlock All Certificates
This talk compares Scala and Idris through examples of rich type systems, dependent types, and program verification. It examines Scala’s current capabilities and limitations alongside Idris’s approach to verified functional and systems programming.

Syllabus

"Scala vs Idris: Dependent types, now and in the future" by Miles Sabin and Edwin Brady (2013)

Taught by

Strange Loop Conference

Reviews

Start your review of Scala vs Idris - Dependent Types, Now and in the Future

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.