Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
如何使用免费 Monad 的 Church 编码?
我一直在使用Free数据类型在Control Monad Free来自free包裹 现在我正在尝试将其转换为使用F in Control Monad Free Church但不知道如何映射功能 例如 一个简单的模式匹配函数使用Free看起来
Haskell
freemonad
churchencoding
scottencoding
哈斯克尔的教堂名单
我必须实现 haskell 地图函数来处理教堂列表 其定义如下 type Churchlist t u t gt u gt u gt u gt u 在 lambda 演算中 列表的编码如下 c n n 1 2 3 c n c 1 c 2 c
Haskell
lambdacalculus
churchencoding
闭包和通用量化
我一直在尝试研究如何在 Scala 中实现 Church encoded 数据类型 看起来它需要 n 级类型 因为你需要一个一流的const类型函数forAll a a gt forAll b b gt b 然而 我能够这样对对进行编码 i
scala
functionalprogramming
closures
churchencoding
quantifiers
使用右折叠和差异列表对列表进行 Church 编码
这是之后的连续问题 如何存储Monoidal List函数链的数据 https stackoverflow com questions 51297054 how to store data of a functional chain of
javascript
Arrays
list
functionalprogramming
churchencoding
Coq 中的“错误:宇宙不一致”是什么意思?
我正在努力通过软件基础 http www cis upenn edu bcpierce sf current 目前正在做教堂数字的练习 这是自然数的类型签名 Definition nat forall X Type X gt X gt X
compilererrors
coq
churchencoding
依赖类型的 Church 编码:从 Coq 到 Haskell
在 Coq 中 我可以为长度为 n 的列表定义 Church 编码 Definition listn A Type nat gt Type fun m gt forall X nat gt Type X 0 gt forall m A gt
Haskell
coq
churchencoding
在 Haskell 中实现多态 λ 演算/系统 F 的 Church 编码
我想实施该对的教会编码 https en wikipedia org wiki Church encoding Church pairsHaskell 中的多态 lambda 演算 第 77 页 第 8 3 3 节Peter Selinge
如何在 Haskell 中实现二进制数
我看到了以下教堂数字的数据构造函数 data Nat Zero Succ Nat deriving Show 但这是一元数 我们如何以这种方式在 Haskell 中实现二进制数的数据构造函数 我已经尝试过这个 data Bin Zero O
Haskell
constructor
Binary
churchencoding
Swift 高阶函数(Church 对又名 cons),具有不接受输入参数类型的泛型参数类型
我正在摆弄 Swift 2 1 中的函数式编程 试图实现教堂编码对 缺点功能 cons x y f f x y 无类型 拉姆达演算 我有read在 Swift 的早期版本中无法完成 With generics看起来像 func cons
为什么差异列表不是可折叠的实例?
The 列表包包含DList数据类型 有很多实例 但没有Foldable or Traversable 在我看来 这是两个最 类似列表 的类型类 是否存在性能原因DList不是这些类的实例吗 此外 该包确实实现了foldr and unfo
Haskell
churchencoding
differencelists