3 ms·

I 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

I 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 ago
Giuseppe 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.