Episode 19

Elixir in Real Life

Download Subscribe Transcript
00:00:00
/
00:52:39
RSS Feed Transcript Download (43.9 MB) Link with Timestamp

September 21st, 2018

52 mins 39 secs

Transcript

Link with Timestamp

Download MP3 (43.9 MB)

Your Hosts
Tags
elixirconf

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.