Sunday, December 29, 2013


Unification - a unification library for Smalltalk.

Unification is in computer science and logic an algorithmic process of solving equations between symbolic expressions. Now there is an unification library for Smalltalk available.

Thanks for the advertising, Torsten! I guess it would help a bit adding more "why should I care?" to the README.

I have written a few articles on the library, if you'll excuse the broken formatting therein. (I've contacted the blog admin to sort out the problem.) You can find these articles here:

* Unification: pattern matching, but twice as nice!
* Rolling your own control structurs with lambdas
* Unifying parts of structures
Post a Comment

<< Home

This page is powered by Blogger. Isn't yours?