An introduction to strong arrows and how it leverages the Erlang VM to provide sound gradual typing.
Strong arrows: a new approach to gradual typing
Posted in
Elixir 程式語言
An introduction to strong arrows and how it leverages the Erlang VM to provide sound gradual typing.
Comments (0)