Strong arrows: a new approach to gradual typing
elixir-lang.org
An introduction to strong arrows and how it leverages the Erlang VM to provide sound gradual typing.