3 ms·For the record, Elixir has been slowly introducing a set theoretic gradual type system.by linkdd 2y agoFor the record, Elixir has been slowly introducing a set theoretic gradual type system.