Wessel

> Before I start addressing this, re your comment edit do you envision plum supporting Generics? Ah, I replied without thinking this through too carefully. Plum currently does not support...

Hey @giladbarnea! Thanks for opening an issue. :) Unfortunately type variables are currently not supported. :( It would be awesome to support them, but this is not a trivial undertaking....

@giladbarnea in principle supporting `TypeVar`s should be possible, and I would really like to support them in the future. To do this, I think some kind of solver would have...

@ilan-gold The warnings here can be ignored. Your code will run, but may not behave as expected. Consider the following (very contrived) example: ```python from plum import dispatch from typing...

Right, I see what you're saying. I believe that the way `T` is supposed to work is that it binds to exact types. Consider instead the following example: ```python from...

> Wait, this time, aren't the constraints functioning as a union of types now, though? That's what's currently happening, yes, but it's not the correct behaviour. The above code should...

@sylvorg, you're totally right that this would be a nice attempt at supporting type parameters. Currently, we don't do any of this. Should you want to have a go at...

To be honest, this might be a pretty major undertaking that touches a large part of the codebase. It's currently not clear to me what the best way of going...

`Function` in `function.py` collects all `Method`s (`method.py`). Here a method is defined as an implementation of a function for a type signature. The actual types of the arguments are only...

@sylvorg, basically, if the signature is `(list[T], int, T) -> T` and the arguments are `([1], 5, "test")`, then, by matching `list[T]` to `[1]`, it is clear that `T =...