Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
是否可以有效地计算 lambda 演算项?
我最近用 lambda 演算编写了很多程序 我希望能够实时运行其中一些程序 然而 尽管趋势函数范式基于 lambda 演算和 B 约简规则 但我找不到一个不是玩具 不以效率为目的的评估器 函数式语言应该很快 但我所知道的那些语言实际上并不提
Lambda 演算和教会数字混淆
我正在尝试了解 lambda 演算和丘奇数字的基础知识 我已经进行了大量的阅读和练习 但我似乎一直试图了解某些函数是如何工作的 我坚持的例子如下 也许有人可以解释我哪里出了问题 1 的丘奇数可以表示为 f x f x The exponen
function
lambdacalculus
有哪些学习 Lambda 演算的资源? [关闭]
Closed 此问题正在寻求书籍 工具 软件库等的推荐 不满足堆栈溢出指南 help closed questions 目前不接受答案 所以维基百科条目拉姆达演算 http en wikipedia org wiki Lambda calc
lambdacalculus
在 haskell 中实现 Alpha 等价
我想使用此数据定义来定义 Alpha 等价 type Sym Char data Exp Var Sym App Term Exp Lam Sym Exp deriving Eq Read Show 做这个的最好方式是什么 一种方法是将名称
Haskell
lambdacalculus
哈斯克尔的教堂名单
我必须实现 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
互动网留下大量多余粉丝是常事吗?
我正在将 lambda 演算项编译到交互网络中 以便使用 Lamping 的抽象算法对其进行评估 为了测试我的实现 我使用了这个教堂编号除法函数 div a b c d b e e d a b e f g e h f h g e e e f
Haskell
Lambda
functionalprogramming
lambdacalculus
interactionnets
是否有可能构建一个相对快速的无类型 lambda 演算机?
纯无类型 lambda 演算是一个强大的概念 然而 构建一台供现实世界使用的机器或解释器通常被描述为 接近 不可能 我想对此进行调查 理论上是否可以构建一个相对较快的无类型 lambda 演算机 我所说的相对较快通常是指在相似数量的资源 门
Lambda
functionalprogramming
lambdacalculus
对于定点组合器 Y,什么是 \x.f(xx)
对于 Y 组合子定理 For every function F there exists an X such that FX X 什么是F意思是这里 固定点是什么F x x 1 我的理解是x 1 x没有解决办法吗 对于下面的证明 For a
用 Haskell 解释 Parigot 的 lambda-mu 演算
我们可以用 Haskell 来解释 lambda 演算 data Expr Var String Lam String Expr App Expr Expr data Value a V a F Value a gt Value a int
Haskell
interpreter
continuations
lambdacalculus
interpretation
Haskell 中的教堂数字
我正在尝试使用以下定义在 haskell 中打印教堂数字 0 fx x 1 fx f x 哈斯克尔代码 c0 f x gt x c1 f x gt f x 当我在 haskell 控制台中输入它时 我收到一条错误消息 test gt c1
Haskell
lambdacalculus
将翻转 lambda 转换为 SKI 项
我在将用于翻转的 lambda 转换为 SKI 组合器时遇到问题 我希望这是有道理的 这是我的转换 fxy fyx f x y fyx f x S y fy y x f x S f y x f x S f K x f S x S f x K
Lambda
lambdacalculus
combinators
kcombinator
scombinator
如何在 JavaScript 中正确柯里化函数?
我写了一个简单的curryJavaScript 中的函数在大多数情况下都能正常工作 const curry f a gt a length lt f length b gt curry f a b f a const add curry a
javascript
Haskell
currying
lambdacalculus
partialapplication
如何部分应用函数的任意参数?
我想使用 functools 中的部分来部分应用函数的第二个参数 我知道使用 lambda 而不是部分很容易 如下所示 gt gt gt def func1 a b return a b gt gt gt func2 lambda x fu
python
Lambda
currying
lambdacalculus
functools
在 Haskell 中实现多态 λ 演算/系统 F 的 Church 编码
我想实施该对的教会编码 https en wikipedia org wiki Church encoding Church pairsHaskell 中的多态 lambda 演算 第 77 页 第 8 3 3 节Peter Selinge
lambda 演算中的 Beta 约简:求值顺序重要吗?
给定以下 lambda 表达式 其中 类似于lambda kf f c co km x dox le le 如果我转换的话会有错误吗 c co k into ko 我这样做了 但显然这是错误的 正确的方法是首先评估外部函数 这意味着 f f
lambdacalculus
将更高种类的类型(单子!)嵌入到无类型的 lambda 演算中
可以通过高阶函数对无类型 lambda 演算中的各种类型进行编码 Examples zero fx x one fx fx two fx f fx three fx f f fx etc true tf t false tf f tuple
如何在 F# 中实现 beta 缩减函数?
我正在用 F 编写 lambda 演算 但我一直坚持实现 beta 约简 用实际参数替换形式参数 lambda x e f gt e f x 使用示例 lambda n n 2 3 7 gt n 2 3 7 n gt 7 2 3 所以我很想
F
lambdacalculus
如何使用 Clojure 语言的子集在 lambda 演算中实现递归函数?
我正在阅读 Greg Michaelson 所著的 通过 Lambda 演算进行函数式编程简介 一书来学习 lambda 演算 我仅使用 Clojure 语言的一个子集来实 现示例 我只允许 symbols 单参数 lambda 函数 功能
recursion
Clojure
lambdacalculus
为什么要定义教会数字
我想了解为什么 Church 将这些数字定义为 0 f x x 1 f x f x 2 f x f f x 3 f x f f f x 4 f x f f f f x 背后的逻辑是什么 为什么0代表如下 0 f x x 丘奇并不想变得实际
lambdacalculus
1
2
»