Closing Keynote for ElixirConf US 2023. See related post and erratum: https://elixir-lang.org/blog/2023/09/20/strong-arrows-gradual-typing/ Leave comments at: https://elixirforum.com/t/elixirconf-2023-jose-valim-the-foundations-of-the-elixir-type-system/58549 ElixirConf.com