Elixir and Phoenix

https://elixir-lang.org/
https://github.com/phoenixframework/phoenix

## Static typing

Only gradual for now:
https://elixir-lang.org/blog/2023/09/20/strong-arrows-gradual-typing/