腾讯云
开发者社区
文档
建议反馈
控制台
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
登录/注册
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
1
回答
我
需要
一些
帮助
的
步骤
来
做一个
Lambda
演算
表达式
的
热切
评估
?
lambda-calculus
我
对如何跟踪this
Lambda
演算
表达式
的
急切计算
步骤
感到困惑。
我
不确定这些
步骤
是什么。 (λu.(uλg.λh.h) ((λx.λy.λf.((f x) y) a) b)
浏览 5
提问于2021-03-28
得票数 0
1
回答
lambda
演算
lambda
我
是新来
的
,对
lambda
微积分也不熟悉。
我
的
问题是:在
lambda
演算
归约(到范式)中,有没有一种方法
来
评估
表达式
(以确保
我
正确地进行了归约)。例如(/代表
lambda
) (使用beta方法)=> /x.y(/z.xz))z => (/x.yx)z =>
浏览 2
提问于2012-10-20
得票数 0
1
回答
C#如何计算
lambda
表达式
?
c#
、
lambda
、
evaluation
、
lambda-calculus
我
读过
一些
关于计算
lambda
微积分
的
算法
的
文章(不是解析,而是解析后
的
计算),但到目前为止,所有这些算法似乎都是您在笔和纸上使用
的
方法。
我
想从零开始用C#编写自己
的
lambda
微积分计算器,并想知道一个实际
的
程序将如何做到这一点。因为
lambda
表达式
是
lambda
演算
的
超集,
我
想知道如何计
浏览 0
提问于2013-11-14
得票数 2
回答已采纳
1
回答
Lambda
演算
中
的
类型推断
types
、
lambda
、
calculus
、
inference
我
想知道有没有人会有
一些
关于
lambda
演算
的
不错
的
资源,特别是关于类型推断
的
。
我
正在为一次考试而学习,在
我
做过
的
任何教程中,
我
似乎找不到任何关于
lambda
类型和如何推断
的
信息。
我
有一道考题,
我
在想周二要考
的
问题。 推断以下
lambda
演算
表达式
中所有变量
浏览 5
提问于2014-01-11
得票数 1
1
回答
如何在
Lambda
演算
中进行代换?
matlab
、
functional-programming
、
wolfram-mathematica
、
ghc
、
lambda-calculus
我
想知道如何进行以下
lambda
替换:M = λxy.x (λx.x)(λy.x y)M[x := y xλz.z] 你知道用GHC,Matlab,Wolfram-Mathematica或任何其他工具做这样
的
替换
的
方法吗?
浏览 0
提问于2015-05-27
得票数 0
2
回答
保存/加载渐近λ
表达式
python
、
lambda
、
sympy
设想以下三个
步骤
: 理想情况下,
步骤
1和
步骤
2只执行一次,而
步骤
3将被多次
评估
。不幸
的
是,
步骤
3
的<
浏览 1
提问于2015-03-16
得票数 8
回答已采纳
3
回答
评估
lambda
演算
:如果是假
的
,假
的
lambda
、
scheme
、
semantics
、
lambda-calculus
lambda
演算
有以下
表达式
:在这个基础上,我们可以定义
一些
附加
的
结构,比如布尔和条件语句:展示您
的
工作,显示对以下程序
的
评估
:if false false true。也许是if(false (then false ( else true then true))) 但这就意味着它
的
意义。
我
不知道怎么接近
浏览 1
提问于2018-10-07
得票数 1
回答已采纳
2
回答
lambda
演算
的
图灵完备性?
theory
、
turing-machines
、
turing-complete
、
computability
您如何证明
lambda
演算
是图灵完备
的
(以最简单
的
方式)?
浏览 44
提问于2012-03-08
得票数 14
回答已采纳
2
回答
为什么(λf.λx.f(X)(λg.λY.G(g(Y) (λz.z + 1)) (0)求值为8?
python
、
lambda
、
lambda-calculus
所以我有这个λ
表达式
:(λf.λx.f(f(f(x)))) (λg.λy.g(g(y)))(λz.z + 1)(0),
我
正试着手工计算它。
我
的
想法是,(λf.λx.f(f(f(x))))基本上代表了
表达式
f(f(f(x)))。然后,同样用(λg.λy.g(g(y)))表示
表达式
g(g(y))。然后传入g(g(y))
来
替换f,所以我们得到了g(g(g(g(g(g(y))))))。或者用自己
的
6时间组成
的
g。然后,我们传入g
的</
浏览 25
提问于2021-06-08
得票数 2
11
回答
了解
lambda
演算
有多大
帮助
?
math
、
functional-programming
、
computer-science
、
lambda-calculus
致所有了解的人:在编程方面,它给你带来了什么好处?你会推荐人们学习它吗?
浏览 0
提问于2008-09-22
得票数 74
回答已采纳
2
回答
有没有办法使用列表
来
表示
lambda
caculus中
的
过程?
scheme
、
interpreter
、
sicp
有一种简单
的
语言叫做
lambda
演算
,它是scheme
的
一个子集。它在下面的语句中只有4个
表达式
。exp : n (1 2 3) (
lambda
(x) body) (this is a procedure)
我</
浏览 6
提问于2012-09-19
得票数 1
1
回答
如何在
lambda
演算
术语中定义匿名函数(或者
我
怎么说某些语言支持匿名函数)?
programming-languages
、
lambda
、
computer-science
java是否支持当前版本
的
6个
lambda
表达式
或“匿名函数”?有没有
一些
我
在java中做不到
的
事情,而我不能用支持
lambda
表达式
的
编程语言
来
做呢?
我
知道java是图灵完整
的
,所以你可以在里面做任何事情。什么是匿名函数,你怎么能说某些语言支持匿名函数?
浏览 0
提问于2010-11-19
得票数 6
回答已采纳
2
回答
跟踪
lambda
表达式
评估
lambda
、
scheme
、
sicp
、
operator-precedence
、
interpreted-language
我
在Scheme中遇到了
一些
看起来很棘手
的
lambda
表达式
的
麻烦,
我
想看看解释器是如何
评估
它们
的
。从给出教会数字
的
定义 (defi
浏览 0
提问于2013-02-15
得票数 3
回答已采纳
2
回答
如何在F#中实现定点运算符(Y组合子)?
f#
、
lambda-calculus
、
y-combinator
、
fixpoint-combinators
我
正在使用F#创建一个
lambda
微积分。目前,
我
正试图弄清楚如何实现定点运算符(也称为Y组合器)。 | Fun of string * Expr | If of Expr * Expr * ExprY =
lambda
G. (
lambd
浏览 1
提问于2010-11-03
得票数 2
回答已采纳
3
回答
在“计划”中,什么是程序
的
正式状态?
binding
、
scheme
、
state
我
想我已经或多或少地理解了解析
的
Scheme程序是什么样子
的
(如果
我
正确理解的话,叶子上有原子值
的
二叉树)。有谁能给我定义,或者引用一下,计划程序
的
状态(或计算)是什么?只是当前绑定加上语法树上
的
一个位置,还是一个位置堆栈?(在这种情况下,
我
希望引用对Scheme约束力
的
正式定义:)。 是否有
一些
简单
的
描述,比如图灵机(程序+磁带的当前内容+磁带上的当前位置)?
浏览 0
提问于2013-03-28
得票数 4
回答已采纳
1
回答
Lisp如果-然后-否则
Lambda
Calc实现
lisp
、
lambda-calculus
我
做了这个如果-然后-否则
Lambda
微积分代码 #'(
lambda
(con) #'(“小于或等于”
的
函数,它可以正常工作。"THIS" "THIS"
我
传递
的
两个函数都被调用了。
我
怎样才能避免它只作为输出“这个”呢?这在
我
浏览 2
提问于2012-11-25
得票数 1
1
回答
部分应用于LLVM
compiler-construction
、
llvm
、
llvm-ir
、
compiler-development
我
正在尝试创建一个函数"add“,它可以应用于单个参数,然后再应用于另一个参数。
我
不知道如何用LLVM IR
来
表示这个值,因为
我
不知道如何用单个值调用函数,然后将值保存在内存中,然后返回应用于该val
的
另一个函数。在LLVM中
我
需要
某种关闭机制。
我
已经在C中搜索了这方面的实现,以便可以通过clang查看发出
的
LLVM,但是
我
找到
的
解决方案非常复杂,所以我想我可以直接研究LLVM。 这将是没
浏览 1
提问于2014-04-12
得票数 5
回答已采纳
2
回答
为什么按价值调用
的
评估
策略不是完全
的
?
compiler-construction
、
programming-languages
、
computer-science
、
turing-complete
我
正在读一篇关于不同
的
文章(
我
用wiki链接了一篇文章,但我正在读另一篇不是英文
的
文章)。它说,与call-by-name和call-by-need战略不同
的
是,call-by-value策略不是。
浏览 4
提问于2010-05-31
得票数 7
回答已采纳
2
回答
是否有可能有效地
评估
lambda
微积分术语?
algorithm
、
lambda
、
functional-programming
、
computer-science
、
lambda-calculus
最近
我
在
lambda
微积分中写了很多程序,
我
希望
我
能实时运行其中
的
一些
程序。然而,尽管趋势函数范式是基于
lambda
演算
和B-约简规则
的
,但我找不到一个
评估
器,它不是玩具,不是为了提高效率。函数语言应该是快速
的
,但我所知道
的
那些语言实际上并不提供对普通形式
的
访问(参见Haskell
的
惰性
评估
器、Scheme
的
闭
浏览 2
提问于2015-07-04
得票数 15
回答已采纳
2
回答
是否可以通过修改这种简单
的
减速器
来
展示不同
的
评估
策略?
haskell
、
lambda
、
functional-programming
、
lazy-evaluation
、
lambda-calculus
我
喜欢通过看代码
来
学习,而不是阅读冗长
的
解释。这可能是
我
不喜欢长篇学术论文
的
原因之一。代码是明确
的
,紧凑
的
,无噪音
的
,如果你得不到什么,你可以玩它-不
需要
问作者。这是
Lambda
演算
的
完整定义:data Term = La
浏览 4
提问于2015-04-25
得票数 11
回答已采纳
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
7行代码3分钟:从零开始实现一门编程语言
好程序员Java教程分享Java之设计模式
不要在Python中编写 lambda 表达式了
如何让你的回调更具Kotlin风味
Java 8 最佳技巧你知道几个
热门
标签
更多标签
云服务器
即时通信 IM
ICP备案
对象存储
实时音视频
活动推荐
运营活动
广告
关闭
领券