[hyperdeficit]

I watched the video of a Pharo demo linked in the article and it was amazing. I don't know how much of that capability comes from the way Smalltalk is built vs just a clever IDE feature.

I imagine this would be much easier to implement in a language with strong typing since the vast majority of possible matches could be ruled out with a simple signature check instead of evaluation.

Having a feature like this would be very useful when teaching people how to program since it would help answer a lot of the basic questions that get asked.