Elixir Mix is a weekly show focused on the Elixir programming community. Our panel discusses topics around functional programming, the Elixir ecosystem, and building real world apps with Elixir based tools and frameworks.
Episode 39: EMx 039: Types in Erlang / Elixir with Zachary Kessin
February 19, 2019
47:48
49.19 MB
Downloads: 0
Sponsors
- Sentry use the code "devchat" for $100 credit
Episode Summary
In this episode, the panelists, Josh Adams, Mark Erickson and guest Zachary Kessin, author of the book "Building Web Applications with Erlang", discuss types in Erlang and Elixir. Expert inputs with examples of implemented projects that use the Erlang and Elixir data types, were discussed.
Here are the highlights of the discussion:
- Different data types in Erlang and Elixir such as structs, tuples.
- Differences in the Erlang/Elixir data types to other languages.
- Using data types to generate error messages
- Decoding and validating input data into functions.
- Getting type information from a running application.
- Coding patterns and rules engine in Erlang/Elixir.
- Dialyzer testing tool that validates code and catches any bugs.
- Changes in Erlang and Elixir code over the years
- Elixir ecosystem and the Beam Community
Links
- Dialyzer
- PropEr
- Sheriff
- Dialyxir
- Typed_Struct
- Beam_Types
- GB_Trees
- Programming Languages on the BEAM
- A reactive game stack: Using Erlang, Lua and Voltdb
- Robert Virding
- Zachary Kessin
- BEAM Channel - Erlang & Elixir
- https://github.com/ejpcmac/typed_struct
Picks
Josh Adams
Mark Ericksen
Zach Kessin