2 ms·
Sorry for the late reply but I wanted to double check before following up. And I am glad I did because I was told my first response was inaccurate. :) It is fa
by josevalim 2y ago
Sorry for the late reply but I wanted to double check before following up. And I am glad I did because I was told my first response was inaccurate. :)
It is fair to call both TypeScript and Elixir as set-theoretic type system. The big difference is that Elixir's implements semantic subtyping. Here is the paper you can use to dig deeper. I hope it helps: https://www.irif.fr/~gc/papers/lics02.pdf https://www.irif.fr/~gc/papers/lics02.pdf