Strong arrows: a new approach to gradual typing (Elixir) (elixir-lang.org)
Type system updates: moving from research into development (elixir-lang.org)
A short status update on the effort to bring a type system into Elixir.
A short status update on the effort to bring a type system into Elixir.