June 9th, 2009

with Cat The Cat

Explicit sharing of monadic effects.

This Haskell package implements explicit sharing of monadic effects. Its most prominent application is probably the implementation of lazy non-determinism to emulate functional logic programming.

(источник здесь, я бы и ссылку на статьи привёл, да только у меня к ним "No route to host".)

На ум практически сразу пришёл комментарий Tim Sweeney на LtU.

Собственно, я уже высказывал мысль, что лямбда-исчисление является наиболее простым вычислительным механизмом из известных (мне).

Его можно охарактеризовать, как переписывание термов с одним правилом. Или как логическое программирование с одним правилом. Или как машину Тьюринга без возможности переписывать на уже записанные места - то есть, проще, чем сама МТ.

Собственно, поэтому в среднем получается, что разные вещи на ЛИ выражать просто, а наоборот - сложнее.

В среднем. И из известных мне. ;)
with Cat The Cat

Интересно.