Episode 19

Elixir in Real Life


September 21st, 2018

52 mins 39 secs

Your Hosts

About this Episode

  • foot marbles
  • moving
  • ElixirConf
Support Elixir Outlaws

Episode Links

  • Typing the Wild in Erlang — Developing a static type system suitable for Erlang has been of ongoing interest for almost two decades now.
  • Understanding Formal Specifications through Good Examples — Formal specifications of software applications are hard to understand, even for domain experts. Because a formal spec- ification is abstract, reading it does not immediately convey the expected behaviour of the software.