Episode 19: Elixir in Real Life

foot marbles moving ElixirConf Support Elixir OutlawsLinks: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.