Login
From:
Elixir Lang
(Uncensored)
subscribe
Strong arrows: a new approach to gradual typing
http://elixir-lang.org/blog/2023/09/20/strong-arrows-gradual-typing/
links
backlinks
Roast topics
Find topics
Find it!
This is article expands on the topic of gradual set-theoretic typing discussed during my keynote at ElixirConf US 2023.
