Strong arrows: a new approach to gradual typing
An introduction to strong arrows and how it leverages the Erlang VM to provide sound gradual typing.
Source: elixir-lang.org
Stay updated with breaking news from Haskell Typeclasses. Get real-time updates on events, politics, business, and more. Visit us for reliable news and exclusive interviews.
An introduction to strong arrows and how it leverages the Erlang VM to provide sound gradual typing.