3 ms·
We are planning to add a static method ambiguity check in Stanza. There are just some theoretical hurdles to solve in order to detect them properly in the pres
by patricksli 10y ago
We are planning to add a static method ambiguity check in Stanza.
There are just some theoretical hurdles to solve in order to detect them properly in the presence of parametric types. That's been recently solved (though not by us) so we'll be implementing their solution soon.
- micro2588 10y agoHi Patrick, can you point to a paper / resource that describes this recent work?
- patricksli 10y agoSure. The paper is called "Type Checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance" by Allen, Hilburn, et al.