Elixir Blog company blog
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.
- Points
- 200
- HN comments
- 85
- Submissions
- 1
- Cited by
- 13 commenters
Programming LanguagesSoftware Engineering2023
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Sep 21, 2023 | Strong arrows: a new approach to gradual typing by ahamez | 200 | 85 |
Cited in comments
Linked from 14 Hacker News comments by 13 different people, from Sep 2023 to Aug 2026.
Most recent:
