https://elixir-lang.org/blog/2023/09/20/strong-arrows-gradual-typing/
Strong arrows: a new approach to gradual typing - The Elixir programming language
Sep 20, 2023 - Welcome to Elixir, a dynamic, functional language designed for building scalable and maintainable applications
a new approachelixir programming languagestrong arrows