EMx 039: Types in Erlang / Elixir with Zachary Kessin

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

• Elixir Components: A 12 minute introduction
• aws-lambda-elixir-runtime

Mark Ericksen

• BalenaEtcher

Zach Kessin

• Elixir Release Ecourse 
• Shalva Band