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

YouTube

The Trouble With Types

Strange Loop Conference via YouTube

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore the controversial topic of static typing in programming languages through this thought-provoking conference talk by Martin Odersky, creator of Scala. Delve into the advantages and disadvantages of static typing, examining its impact on code organization, error prevention, and developer productivity. Gain insights into the challenges of designing an ideal type system that balances correctness, documentation, simplicity, and ease of use. Discover the main categories of static type systems and their trade-offs, while considering new developments in the field. Learn from Odersky's expertise as he discusses the future of type systems and their potential to improve the programming experience.

Syllabus

Intro
Static: Points in Favor
Dynamic: Points in Favor
What is Good Design?
Elements Of Great Designs
Example: Bach Fugues
What Is A Good Language for Design?
Type Systems Landscape
Static Type Systems
(1) My Way or the Highway
(3) Type it to the Max
Making Good Use of Nothing
Other Strengths of Dynamic
(3) Cutting Corners
Abstractions
Types in Scala
Non-Orthogonal Design
Too Many Combinations?
Projections Reduce Dimensionality
Projections Help Remove Features
Dot and Dotty
Types in Dotty
Modelling Generics
Making Parameters Public
Expressing Existentials
Expressing Higher-Kinded
In a Nutshell
Will this Be Scala?
The Essence of Scala
Types Are Trouble

Taught by

Strange Loop Conference

Reviews

Start your review of The Trouble With Types

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.