Learning Resources>Talks

17) ElixirConf EU 2019 - Gradualizer: challenges implementing a type checker - Péter Gömöri

#elixirconfeu2019
Lawrence_elixir

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.

View thread on forum
#elixirconfeu2019
5 868 0

Where Next?

View thread on forum
elixirconfeu2019
Home Learning Resources>Talks
#elixirconfeu2019
5 869 0
Last post

Popular in Talks Top

axelson
Learning Resources>Talks

16) ElixirConf 2017 - Cajoling the Bird: How we squeezed more out of Phoenix PubSub- Simon Zelazny
ElixirConf 2017 - Cajoling the Bird: How we squeezed more out of Phoenix PubSub- Simon Zelazny Grindr is a m...
#elixirconf2017
7 1990 1
New
LostKobrakai
Learning Resources>Talks

32) ElixirConf 2017: Plugging the Security Holes in Your Phoenix Application
After having watched the talk I'm wondering if this would also be a good opportunity to gather examples / tips about how to prevent or mi...
/phoenix#elixirconf2017
34 4452 20
New
axelson
Learning Resources>Talks

4) ElixirConf US 2018 – You Can Never Debug the Code You Run, But You Can View the Code the Debugger is Running – Luke Imhoff
ElixirConf US 2018 – You Can Never Debug the Code You Run, But You Can View the Code the Debugger is Running – Luke Imhoff (@KronicDeth) ...
#debugging#elixirconf2018
4 1352 2
New
CodeSync
Learning Resources>Talks

Celebrating the 10 Years of Elixir | José Valim | ElixirConf EU 2022
Code Sync: Celebrating the 10 Years of Elixir | José Valim | ElixirConf EU 2022 Comments welcome! View the #code-sync and #elixirconf-e...
#code-sync#elixirconf-eu
36 1269 10
New
axelson
Learning Resources>Talks

43) ElixirConf US 2018 – Docker and OTP: Friends or Foes? – Daniel Azuma
ElixirConf US 2018 – Docker and OTP: Friends or Foes? – Daniel Azuma (@dazuma) Docker is the hot deployment technology a...
#docker#deployment#elixirconf2018
26 2522 2
New
axelson
Learning Resources>Talks

8) ElixirConf 2017 - Phoenix after 100000 lines - Renan Ranelli
ElixirConf 2017 - Phoenix after 100000 lines - Renan Ranelli Given phoenix’s rise in popularity, the interne...
#elixirconf2017
11 3104 8
New
axelson
Learning Resources>Talks

17) ElixirConf 2017 - Keep an Eye on the Sky with Nerves and Phoenix - Jeff Smith
ElixirConf 2017 - Keep an Eye on the Sky with Nerves and Phoenix - @electricshaman As part of the next gener...
/nerves#elixirconf2017
17 1771 2
New
CodeSync
Learning Resources>Talks

Keynote: The Road To LiveView 1.0 by Chris McCord | ElixirConf EU 2023
Code Sync: Keynote: The Road To LiveView 1.0 by Chris McCord | ElixirConf EU 2023 Comments welcome! View the #code-sync and #elixirconf-...
#code-sync#elixirconf-eu
71 5245 22
New
Lawrence_elixir
Learning Resources>Talks

ElixirConf EU 2019 Talk videos
ElixirConf EU 2019 talk videos ElixirConf EU 2020 - Early bird tickets on sale now! Website: http://www.elixirconf.eu Twitter: www.t...
#elixirconfeu#elixirconfeu2019
21 2956 9
New
TwistingTwists
Learning Resources>Talks

Watching Phoenix LiveView Talk by Chris McCord
I am in middle of watching this. I have to stop every minute and think over what Chris just said. The amount of info he sends over that ...
/phoenix#elixirconf
26 1759 9
New

Other popular topics Top

William
Learning Resources>Chat/questions

Resources for building an e-commerce store in Phoenix?
I would like to know that is there any online source for learning Phoenix Framework for building E-Commerce Store? Any advantage on build...
/phoenix#ecommerce
137 23142 64
New
lessless
Questions & Help>Questions

How are you dealing with CSV files that uses CR line breaks?
I believe there are people here who are dealing with CSV files import on the daily basis, and since Excel is a really popular tool there ...
#how-to-question
10 18353 17
New
gshaw
Questions & Help>Questions

Idiomatic guard clause for checking not nil
What is the idiomatic way of matching for not nil in Elixir? E.g., First way: defp halt_if_not_signed_in(conn, signed_in_account) when...
#guard-clauses
13 43178 3
New
openscript
Questions & Help>Questions

How to set up the Elixir SDK in Intellij IDEA with the intellij-elixir plugin?
Hello! Sorry for this astonishing simple question, but I’m really stuck. I try to set up the intellij-elixir plugin, but I don’t know ho...
17 22671 9
New
Harrisonl
Questions & Help>Questions

Deploying Elixir into ECS causing many "'global' at node :"xxxxx@10.0.X.X" requested disconnect from node :"xxxx@10.0.X.X" in order to prevent overlapping partitions"
We have an ECS cluster with 4 services, where each task joins a single cluster, via discovery ECS discovery service. Currently when I de...
#deployment
2 85219 3
New
Jim
Questions & Help>Questions

Help with HTTPoison POST
As a follow up to my earlier question: I have the code compiling and running but not getting a successful login from the rest server. ...
#troubleshooting
15 14640 7
New
freewebwithme
Questions & Help>Questions

Failed to run 'elixir' command error in vs code
Using vs code and installed ElixirLS: support and debugger. And I got an error popped up on start up says Failed to run ‘elixir’ comma...
#vscode#elixir-ls
48 15871 39
New
rms.mrcs
Questions & Help>Questions

Transform a list into an map with indexes using Enum module
Hi, I need to transform a list of numbers into a map where the keys are the indexes and the values are the original values of the list....
35 32607 9
New
alice
Questions & Help>Questions

What are the main benefits of Elixir compared to Clojure?
Hey, Just curious what are the main benefits of Elixir compared to Clojure? When is Elixir more useful than Clojure and vice versa? Th...
#clojure
223 32979 47
New
qwerescape
Questions & Help>Questions

How to get the call stack/stack trace at any point in code?
Is there a way to get the call stack or stack trace at any point in the code? Not from exceptions, but an expression that returns how the...
53 15772 4
New
Back to top

Learning Resources>Talks

Resources Talks ❯

Latest on Elixir Forum

Elixir Forum ❯

Sponsor Spotlight

Manning

Develop your skills with books, videos, and courses.

Our Sponsors

Dashbit

Build Elixir applications with speed and confidence.

EEF

Supporting innovation across the BEAM ecosystem.

Coders51

We build reliable cloud platforms for business-critical systems.

AppSignal

Catch errors, track performance, monitor hosts and more.

ElixirCasts

Producing high quality Elixir screencasts since 2017.

WyewWorks

Enabling companies to succeed by building software people love.

Potions

The deployment platform built for Elixir: PaaS ease, VPS control.

Pragmatic Studio

Courses that'll move you from confusion to "Aha, now I get it!"

View all our sponsors ❯

Categories:

Sub Categories:

Forums

Our Sponsors

Dashbit

Build Elixir applications with speed and confidence.

EEF

Supporting innovation across the BEAM ecosystem.

Coders51

We build reliable cloud platforms for business-critical systems.

AppSignal

Catch errors, track performance, monitor hosts and more.

ElixirCasts

Producing high quality Elixir screencasts since 2017.

WyewWorks

Enabling companies to succeed by building software people love.

Potions

The deployment platform built for Elixir: PaaS ease, VPS control.

Pragmatic Studio

Courses that'll move you from confusion to "Aha, now I get it!"

View all our sponsors ❯

We're in Beta

About us Mission Statement