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