What's New in Gradualizer: Type Checking Erlang and Elixir - Lambda Days 2022

What's New in Gradualizer: Type Checking Erlang and Elixir - Lambda Days 2022

Code Sync via YouTube Direct link

29:38 - - Qualitative Comparison on Selected Examples

5 of 8

5 of 8

29:38 - - Qualitative Comparison on Selected Examples

Class Central Classrooms beta

YouTube videos curated by Class Central.

Classroom Contents

What's New in Gradualizer: Type Checking Erlang and Elixir - Lambda Days 2022

Automatically move to the next video in the Classroom when playback concludes

  1. 1 00:00 - - Intro
  2. 2 04:37 - - Statically Typing Erlang: State of the Art
  3. 3 11:47 - - Quantitative Comparison
  4. 4 16:44 - - Demo: TypedServer in Elixir with Gradient
  5. 5 29:38 - - Qualitative Comparison on Selected Examples
  6. 6 39:32 - - Conclusions
  7. 7 42:28 - - What's new? What's Left to do?
  8. 8 45:00 - - Contribution + QnA

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.