Wie funktioniert Find-by-Example im Pharo Finder?

Question

Eines der Dinge, die mich am meisten beeindruckt haben, als ich mich in Pharo vertieft habe, war, dass sich der Finder an einem Beispiel finden konnte. Ich hatte das bisher nur in Sprachen wie Haskell gesehen, wo man sicher wissen kann, dass eine Funktion keine Nebenwirkungen hat. Wie schafft es Pharo, dies sicher, performant und nebenwirkungsfrei umzusetzen?

Answer 1

Magie :)

Eigentlich ... obwohl ich habe automatisch aus den Tests über das Erstellen der Liste zu träumen, die Realität ist, dass wir manuell eine Liste von sicheren Nachrichten halten (natürlich fehleranfällig, ich ernst bezweifle, dass es 100% genau ist). Siehe MethodFinder>>#initialize.

Also ein Trick, aber nicht gerade magisch;)