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.
Собственно, я уже высказывал мысль, что лямбда-исчисление является наиболее простым вычислительным механизмом из известных (мне).
Его можно охарактеризовать, как переписывание термов с одним правилом. Или как логическое программирование с одним правилом. Или как машину Тьюринга без возможности переписывать на уже записанные места - то есть, проще, чем сама МТ.
Собственно, поэтому в среднем получается, что разные вещи на ЛИ выражать просто, а наоборот - сложнее.
В среднем. И из известных мне. ;)
(источник здесь, я бы и ссылку на статьи привёл, да только у меня к ним "No route to host".)
На ум практически сразу пришёл комментарий Tim Sweeney на LtU.
Собственно, я уже высказывал мысль, что лямбда-исчисление является наиболее простым вычислительным механизмом из известных (мне).
Его можно охарактеризовать, как переписывание термов с одним правилом. Или как логическое программирование с одним правилом. Или как машину Тьюринга без возможности переписывать на уже записанные места - то есть, проще, чем сама МТ.
Собственно, поэтому в среднем получается, что разные вещи на ЛИ выражать просто, а наоборот - сложнее.
В среднем. И из известных мне. ;)