Результаты поиска по запросу "church-encoding"
Можно определить бинарные операторы для идентификации первого / последнего, который не зависит от реализации левого / правого сгиба.
чередной вопрос после Как хранить данные функциональной цепочки Monoidal List? [https://stackoverflow.com/questions/51297054/how-to-store-data-of-a-functional-chain-of-monoidal-list] а также Извлечение данных из цепочки функций без ...
Более эффективный хвост церковного закодированного списка
Это грамотный пост на Haskell. Просто сохраните его как "ChurchList.lhs", чтобы запустить его.
Быстрая функция высшего порядка (церковная пара или минусы) с общими типами параметров, не принимающими типы входных параметров
Я возился с функциональным программированием в Swift 2.1, пытаясь реализоватьЦерковь, кодирующая пару / минусы функция (минусы = λx λy λf f x y в нетипизиров...
Почему списки различий не являются экземплярами складных?
пакет dlist содержит
Можно ли использовать церковные кодировки, не нарушая уравновешенные рассуждения?
Имейте в виду эту программу:
Почему списки различий не являются экземплярами складных?
пакет dlist [http://hackage.haskell.org/packages/archive/dlist/0.5/doc/html/Data-DList.html] содержитDList тип данных, который имеет много экземпляров, но неFoldable или жеTraversable, На мой взгляд, это два самых «похожих на список» класса ...