[patricksli]

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]

Hi Patrick, can you point to a paper / resource that describes this recent work?

[patricksli]

Sure. The paper is called "Type Checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance" by Allen, Hilburn, et al.