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

YouTube

Same Same but Different: Static Type Checkers for Erlang

Code Sync via YouTube

Start learning Write review
CodeSignal Ad

JavaScript Programming for Beginners

Learn More → Scrimba Ad

Our career paths help you become job ready faster

Learn More →

Overview

Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
This conference talk from Code BEAM Europe 2024 explores the evolution of Erlang's type annotations from documentation tools to semantic checkers. Dive into a comparative analysis of four leading static analysis tools - Dialyzer, Gradualizer, eqWAlizer, and etylizer - examining their expressivity, performance differences, and practical applications. Learn how these tools interpret Erlang's type annotations differently and how their unified test suites reveal their capabilities and limitations. Gain valuable insights to help select the most appropriate analysis tool for your Erlang projects and better understand type checking results. Perfect for Erlang developers seeking to enhance code quality through improved static analysis.

Syllabus

Same same but different: Static type checkers for Erlang - Annette Bieniusa & A. Schimpf | Code BEAM

Taught by

Code Sync

Reviews

Start your review of Same Same but Different: Static Type Checkers for Erlang

Start learning

Never Stop Learning.

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

Sign up for free
Someone learning on their laptop while sitting on the floor.