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)
Sign in to comment