[squeak-dev] [ANN] Pattern matching and rewriting rules added to FunctionalTalk

hello list

the package LambdaMessageSend, aka FunctionalTalk, has been extended to
support pattern matching, rewriting rules and unification (as in
http://en.wikipedia.org/wiki/Unification). it is available on SqueakMap.

an example of what can be done:


| x |
x _ Lambda x type: NumericSlot.
AlgebricUnificationDictionary unify: ((2 * x) sqrt) -> 4


...which returns a Dictionary with x -> 8


this is a work in progress; any feedback welcome

Stef