Lawrence_elixir
17) ElixirConf EU 2019 - Gradualizer: challenges implementing a type checker - Péter Gömöri
@gomoripeti - BEAM Enthusiast, XProf maintainer
Gradualizer: the practical challenges of implementing a type checker
Talk in three words: types, static-code-analysis, Gradualizer
Abstract
Type systems and gradual typing is beautiful and a type checker for Elixir that finds all type errors at compile time would be very useful. Putting the theory aside, Peter will explore the everyday difficulties of implementing such a type checker and testing it properly.
Objectives
After this talk attendees will value the many years of development and discipline that was put into Dialyzer and also see what added-value Gradualizer can bring.
Audience
Developers interested in type-checking.
The speaker
Peter spent quite a few years at Ericsson where he became an Erlang native. Later he utilised his experience in various other industries from sports-betting to online ad servers at Erlang Solutions. Recently, he has joined Appliscale to fight cloud-scale systems.
All will be added to the ElixirConf EU 2019 Talks List or via the #elixirConfEU2019 tag.
Popular in Talks
Other popular topics
Latest on Elixir Forum
Sponsor Spotlight
Supporting innovation across the BEAM ecosystem.
Categories:
Sub Categories:
Forums
Popular Tags
- #ecto
- #liveview
- #troubleshooting
- #learning-elixir
- #deployment
- #library
- #erlang
- #testing
- #genserver
- #mix
- #absinthe
- #remote-other
- #otp
- #plug
- #how-to-question
- #macros
- #postgres
- #channels
- #elixirconf
- #exunit
- #discussion
- #code-sync
- #javascript
- #podcasts
- #onsite
- #dialyzer
- #docker
- #authentication
- #umbrella
- #full-time-contract
- #podcasts-by-brainlid
- #ecto-query
- #elixir-ls
- #phoenix_html
- #iex
- #blog-post
- #graphql
- #genstage
- #ai
- #websockets
- #supervisor
- #advent-of-code
- #elixirconf-us
- #distillery
- #processes
- #forms
- #api
- #metaprogramming
- #security
- #performance
Our Sponsors
Build Elixir applications with speed and confidence.
Supporting innovation across the BEAM ecosystem.
We build reliable cloud platforms for business-critical systems.
Catch errors, track performance, monitor hosts and more.
Real-time error tracking, performance insights, and observability for devs.
Practical resources that improve the lives of professional developers.
Enabling companies to succeed by building software people love.
The deployment platform built for Elixir: PaaS ease, VPS control.
The team behind Membrane, Popcorn, LiveDebugger. Available for hire.
Courses that'll move you from confusion to "Aha, now I get it!"