Jak działa find-by-example w Finderze Pharo?

Question

Jedną z rzeczy, na które byłem najbardziej pod wrażeniem, kiedy kopałem w Pharo, było to, że Finder mógł znaleźć przykład. Wcześniej widziałem to tylko w językach takich jak Haskell, gdzie można mieć pewność, że funkcja nie ma skutków ubocznych. Jak Pharo udaje się wdrożyć to w sposób bezpieczny, skuteczny i pozbawiony efektów ubocznych?

Answer 1

Magia :)

Właściwie ... chociaż marzyłem o tworzeniu listy z testów automatycznie, rzeczywistość jest taka, że ​​możemy ręcznie prowadzi wykaz bezpiecznych wiadomości (oczywiście podatne na błędy, a ja poważnie wątpliwości, że jest w 100% dokładne). Zobacz MethodFinder>>#initialize.

Sztuczka, ale niekoniecznie magia;)