miniblog.
← Back to all posts
Wilfred Hughes
Oct 23, 2022 at 19:42
The tradeoffs of type system design, and thinking about a gradual type checker for Elixir:
https://elixir-lang.org/blog/2022/10/05/my-future-with-elixir-set-theoretic-types/
My Future with Elixir: set-theoretic types
We announce and explore the possibilities for bringing set-theoretic types into Elixir.
