Здравствуйте, the_void, Вы писали:

_>Albert Gräf, автор периодически упоминаемого здесь языка Q, выпустил бета-версию нового языка Pure, тоже основанного на term rewriting.

Можно очень скромный вопрос: зачем?