Strong arrows: a new approach to gradual typing - The Elixir programming language elixir-lang.org/blog/2023/09/20/strong-arrows-gradual-typing Elixir is getting set-theoretic type system! # elixir 2023-09-23 02:28 UTC Copy 624.