Lambda演算表达式实现函数应用
我刚刚找到了以下 lambda 演算表达式： (((λ f . (λ x . (f x))) (λ a . a)) (λ b . b)) 因此，这是一个接受参数 f 并返回另一个函数的函数，该函…
Lambda 演算前驱函数约简步骤
我对 lambda 演算中前驱函数的维基百科描述感到困惑。 维基百科的内容如下： PRED := λn.λf.λx. n (λg.λh. h (g f)) (λu.x) (λu.u) 有人可以逐…
这个带有 lambda 符号的方程是什么？米>> n = m >>= \_ -> n”在 monad 的声明中？
class Monad m where return :: a -> m a (>>=) :: m a -> (a -> m b) -> m b (>>) :: m a -> m b -> m b m >> n = m >>= \_ -> n fail :: String -> …
lambda 演算，扩展形式和压缩形式具有不同的 beta 约简？
Closed. This question is off-topic. It is not currently accepting answers. 想要改进此问题吗？更新问题，使其关于- Stack Overflow 的主题。 13…
执行 lambda 演算每条边的独特可能性的代码
我无法比维基百科更好地解释术语 lambda 立方体： [...] λ 立方体是一个用于探索细化轴的框架 Coquand 的构造演算，从简单类型开始 lambda 演算作为…
Erlang 中的 S 组合器
我开始学习 lambda 演算，我需要在 Erlang 中实现 I、S、K 组合器。 当然，S、K、I代表： S = λxyz.xz(yz) K = λxy.x I = λx.x 我可以毫无问题地理…
将 Lambda 表达式转换为方案
我有这个 lambda lambda 表达式： λx.(λy.(λz.x(yz))) 我正在尝试用它编写一个方案表达式。 我这样做了： (define (f x)(lambda(y z) (f (y z)))) …
使用 Boost.Bind 表达教堂数字
教堂数字可以用 C++0x（C++11？）使用该语言的新 lambda 部分来表示，例如 this： typedef function F; static const F id = [=](int x) { return x; …
main函数返回值的lambda表达式
在具体情况下，像这样， f(x) { return x+5; } g(x, y) { return 2*x + y; } main() { return f(g(1, 2)); } 函数main的返回值的lambda表达式是什么？…
Haskell中教堂数字的减法
我正在尝试在 Haskell 中实现教堂数字，但遇到了一个小问题。 Haskell 通过 Occurs 检查抱怨无限类型 ：无法构造无限类型：t = (t -> t1) -> (t1→t2)…
