Elixir/Erlang/BEAM Meetup
Details
> Host
This meetup is hosted by Meta/WhatsApp.
> Agenda
- 17.00 Start registration
- Food & drinks will be served
- 17.30 Intro
- 17.40 Tom Davies - What is Dialyzer?
- 18.10 Break
- 18.15 G. Castagna / G. Duboc - Elixir: what's new in theory and in practice
- 18.55 Final mingle
- 19.30 Optional: Join us for a drink at a nearby pub/bar
> Talk 1: Tom Davies - What is Dialyzer?
Dialyzer is a static analysis tool for the BEAM which finds and reports bugs and bug vectors. Precisely what it does and why is often a source of confusion, so here I will trying to give you a pragmatic grounding in how to use and reason about Dialyzer effectively.
> Talk 2: G. Castagna, G. Duboc - Elixir: What's new in theory and in practice
Together with José Valim, Giuseppe and Guillame designed the gradual set-theoretic type system now being deployed in Elixir — the first system of its kind to reach a language in widespread industrial use. Giuseppe has spent two decades on semantic subtyping and set-theoretic types; Guillaume's PhD built the theoretical foundations and led the implementation in the Elixir compiler. Expect both sides of the story: the theory, and what it means for the code you write.
> Any allergies or special requirements?
We plan to serve some food and soft drinks during the event. Let us know if you have any allergies or any other special requirements.