Strong arrows: a new approach to gradual typing [in Elixir]elixir-lang.org17 pointssreetamdas3 years ago