3 ms·
Proposed type system described in more detail here. https://www.irif.fr/_media/users/gduboc/elixir-types.pdf https://www.irif.fr/_media/users/gduboc/elixir-type
by weatherlight 3y ago
Proposed type system described in more detail here.
https://www.irif.fr/_media/users/gduboc/elixir-types.pdf https://www.irif.fr/_media/users/gduboc/elixir-types.pdf
- DonaldPShimoda 3y agoAh, thanks for that, I was wondering where the details were! Adding this to my pile...
- riffraff 3y agoI seemed to remember one of the authors from some previous work on formalizing multimethod dispatch, so I looked him up again.. He seems to have written a ton of interesting stuff on PL theory! https://www.irif.fr/~gc/papers.en.html https://www.irif.fr/~gc/papers.en.html
- Drup 3y agoGiuseppe Castagna is a very well known PL researcher, and very seasoned when it comes to gradual types and "structural" types (the static version of duck-typing), which seems like a great fit for Elixir.