Comment by linkdd Comment by linkdd 5 days ago 0 replies Copy Link View on Hacker News For the record, Elixir has been slowly introducing a set theoretic gradual type system.