Elixir in Real Life

Episode 19 · September 21st, 2018 · 52 mins 39 secs

About this Episode

  • foot marbles
  • moving
  • ElixirConf

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.