Я вот что подумал. Допустим, у нас есть некая функция, формы
replace(re1, re2)
Мне кажется, это может служить основой AMB-вычислителя, между прочим. Интересная идея.
P.S. Я вот что подумал. Если у нас будет amb вычислитель, и нам нужна лишь одна (или несколько) строка из множества значений, можно реализовать нечто вроде пайпа, при этом, нам не надо генерировать все возможные выражения, будет достаточно того, сколько запрашивается в конкретный момент, а далее вычисление (и генерация) прерывается. Это позволит сэкономить производительность в большинстве случаев.