回答情况：
提问时间：
问题标签：
我想找到lambda表达式\x y -> x y y的类型。我按以下方式进行。我们已经知道了y的类型，让\x y -> x成为C的类型。那么B = C -> x1.The类型的\x y -> x显然是x1->x2->x1型。这是在前面的练习中给我们的，因为这个表达式接受两个参数并返回第一个参数。A = B -> x1 = C -> x1 ->
浏览 2修改于2022-10-11得票数 1
回答已采纳
我想要实现一个函数，它可以在我的lambda表达式的类型为这样的情况下，对lambda表达式进行beta缩减：到目前为止，我的评价职能是：eval1cbv (Var x) = (Var x)eval1cbv (App (Abs x e1) e@(Abs y e2)) = eval1cbv (subst e1 x e)
eval1cbv
浏览 0修改于2018-12-06得票数 1
我在Haskell编程中的冒险并不都是史诗。我正在实现简单的Lambda，我很高兴已经完成了Syntax、Evaluation以及Substitution，希望它们是正确的。剩下的是定义在红色框中的typing (如下图所示)，我正在寻找它的指导。
如果我错了，请纠正我，(2)如果要定义函数type_of，很可能需要定义预期的和返回的类型，例如type_of (Var x) :: type1
浏览 6修改于2013-12-05得票数 9
回答已采纳
下面的min定义适用于两个教堂编号，并返回最小的big。每个数字都成为一个连续数，将它的pred发送给另一个，zig和zag，直到到达零。此外，其中一个数字在每次调用时都会将f附加到结果中，因此，最后，您将得到(\ f x -> f (... (f (f x)) ...))，其中右侧的'f's的数量是第一个continuation被调用的次数。 a_continuator = (a (\ pred cont -> (cont pred)) (\ cont -> x)
浏览 7修改于2015-11-19得票数 10
course(ai).course(calculus2).course(robots).prerequest(ai,java).prerequest(robots,ai).study(ali,ai).study(sami,java).study(mousa,ai).
study(muna
浏览 0修改于2018-03-22得票数 1
回答已采纳
1回答
Addition operatorCalculus::CartesianPoint2D operator -(const Calculus::CartesianPoint2D
浏览 4提问于2011-10-23得票数 2
回答已采纳
','calculus','geometry','calculus','calculus','algebra','algebra','geometry']我想增加一个名为Advantage的新专栏1 5 3 1999-10-28 cal
浏览 1修改于2022-08-28得票数 0
回答已采纳
Major":"Language", "English":"15", "Calculus":"0", }, "Na
浏览 0修改于2013-03-21得票数 2
回答已采纳
所以，我到目前为止得到的是：我试图计算一个lisp文件，读取一个文本文件test.lisp并使用它作为(ql:quickload :lambda-calculus-compiler的输入代码。以下是此操作之后x.txt的内容：
To load "lambda-calculus-compiler&
浏览 0提问于2022-05-13得票数 0
回答已采纳
from nltk.util import ngrams
booksWithNGrams.append(temp)
print(booksWithNGrams) 输出如下所示： [['Zombies and Calculus', 'and Calculus by
浏览 21修改于2021-08-10得票数 0
回答已采纳
2回答
我想知道为什么下面的代码不能工作，毕竟它只是嵌套函数：var calculus = new Promise((resolve, reject) => (resolve) => resolve(3))
() => resolve(4)calculus2.then((result)
浏览 0修改于2019-01-29得票数 3
回答已采纳
Major":"Language", "English":"15", "Calculus":"0", }, "Na
浏览 0修改于2013-03-22得票数 1
回答已采纳
1回答
Calculus::CPoint3<float>& p2 = v_points[1];Calculus::CVector3<float> e2 = p3 - p1;
Calculus::CVector3<float> s1= Calculus
浏览 0修改于2018-10-31得票数 3
回答已采纳
x = "sdfwervd \calculus{fff}{\trt{sdfsdf} & \trt{sdfsdf} & \trt{sdfsdf} \\{} sdfsdf & sdfsdf & sefgse3} aserdd wersdf sewtgdf"
我希望使用regex捕获字符串"fff"中的文本\calculus{fff}，并将其替换为其他内容。此外，我想捕捉\calculus{.+}之后的第一个\calculus{.+}和相应的大括号}之间
浏览 0提问于2018-04-03得票数 1
回答已采纳
我创建了文件：calculus/base_1.pycalculus/test/test_base_1.py我修改了PYTHONPATH：[xxx@zzz twistedm]$ trial c
浏览 9修改于2017-02-23得票数 4
Major":"Language", "English":"15", "Calculus":"0", }, "Na
浏览 1提问于2013-03-22得票数 2
回答已采纳
condition, calculus) { filter( condition ) %>% rbind(df %>%) { enq_col_to_mod <- enq
浏览 2修改于2020-03-03得票数 1
回答已采纳
">A Heretical Calculus</a></h2><div vocab="http://schema.org/""> <span property
浏览 6提问于2012-09-08得票数 4
回答已采纳
-LAqmXKSdVVH6wirFa-g": CalculusLAqmZlBFGoygfTsGQ0e":
{"desc":"dsfdsfd3","price":"333","receiv
浏览 2修改于2018-04-24得票数 0
回答已采纳
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号