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

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore the power of modern type systems in this 40-minute conference talk from Strange Loop 2013. Delve into a comparative analysis of Scala and Idris, focusing on their approaches to dependent types. Learn how Scala, a hybrid object-functional language for the JVM, offers a glimpse into advanced type system capabilities, and discover the full potential of dependent types with Idris, an experimental functional programming language. Gain insights into verifying functional and non-functional program properties, and understand the current limitations and future possibilities of rich type systems in programming languages. Join Miles Sabin and Edwin Brady as they demonstrate practical examples, discuss the evolution of type-based program verification, and showcase the impact of sophisticated type systems on mainstream 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.