Tag elixir
1 bookmark has this tag.
2023-09-23
Strong arrows: a new approach to gradual typing - The Elixir programming language
elixir-lang.org/blog/2023/09/20/strong-arrows-gradual-typingElixir is getting set-theoretic type system!
1 bookmark has this tag.
Elixir is getting set-theoretic type system!