在Haskell中，我有以下语法来表示简单类型的lambda演算(STLC)。我在文献中看到了很多关于如何生成随机lambda项的论文，但我想知道Haskell中是否有任何库可以从下面的语法生成随机实例？我感兴趣的是只生成一次程序。| Lam Vtype Name Expr
deriving (Eq, Data) 我的第二个问题是，我知道有许多可用于Java和P
浏览 23提问于2019-09-18得票数 1
回答已采纳
2回答
在简单类型λ演算的类型化、闭项和自然数之间有什么有效的算法吗？→ (λ (λ (1 0)))4 → (λ (λ 0) 0)6 → ... so on
相关问题:是否有一种算法在自然数和标准化的项之间映射简单类型的lambda演算？同样的问题也适用于非类型化的lambda演算。
浏览 2提问于2015-02-23得票数 4
回答已采纳
2回答
有趣的是，我想为无类型的Lambda演算编写一个解析器。最简单的方法可能是编写一个手写解析器，但我想知道是否有更Pythonic的方法？具体地说，我希望使用Python库将语言的语法描述转换为解析器。什么样的Python库可以接受上面的语法描述，或者从上面得到的一些语法(正如所写的那样，我相信语法是模棱两可的和左递归的，所以实现起来并不简单)，并产生一个解析器？(y z)")
Abs('x', App(I
浏览 24提问于2019-04-11得票数 2
2回答
我的Lambda演算语法明确吗？
、、、、
我正在尝试为一种处理lambda演算的语言编写一个小型编译器。下面是我找到的语言的模棱两可的定义：符号^、.、(、)和v是标记。^代表lambda，v代表一个变量。形式为^v.E的表达式是函数定义，其中v是函数的形式参数，E是它的主体。如果f和g是λ表达式，那么λ表达式fg表示函数f对参数g的应用。我正在尝试为这种语言写一个明确的语法，假设函数应用是左关联的，例如，fgh = (fg)h，并且函数应用绑定得比.更紧密，例如，(^x. ^Y.xy) ^z.z =
浏览 6提问于2013-03-02得票数 1
回答已采纳
5回答
Introduction变量是lambda项。两个lambda项的函数应用是lambda项。三元蓝宝石
这是类似于二元λ演算的lambda项的编码，但以三元(数字0、1和2的字符串)表示。使用de Bruijn索引编写的lambda<
浏览 0提问于2021-08-20得票数 11
1回答
当你探索λ微积分时，你会惊讶地看到你能在那里做的所有事情。你可以定义整数，算术运算，布尔，如果-然后-否则的语句，循环，递归函数，等等。我相信它已经被证明是计算完全的。那么，如何从计算中提取结果呢？
假设表达式的结果是函数f。您需要检查f是否如您所期望的那样。您可以测试它，接受您知道的函数，将f应用于它并接收g。但是要检查g是正确的，现在您需要验证g做了什么。在我看来，您可以用一个单独的函数(恒等函数I = λx.x )代替λ-演算中的所有函数，而且所有的功能仍然像λ-演算中所描述的那样工作。教会数字3当被赋予f和x时返回
浏览 0提问于2014-09-19得票数 11
回答已采纳
我试着用这个表格做一个lambda表达式：我的理解是，y是一个应用于值z的函数。然后，x是一个应用于y应用于z的函数。我制作这个程序是为了让Scheme做以上所有的事情： (lambda (z) (* (lambda (y) (* z 4)
浏览 2提问于2012-09-19得票数 4
回答已采纳
我想要生成长度为n的泊松分布随机向量，为了测试目的，我定义了一个强度向量lambda为lambda <- c(1:12)。最初，我认为生成随机向量是一个简单的过程，因为我们可以简单地编写然而，对于任何适当大小的矩阵第二，是否有一种从任意p.r生成长度为n
浏览 0提问于2021-01-20得票数 1
回答已采纳
Agda关于的手册指出：
因为构造函数的参数中出现了不好的情况。
浏览 0提问于2012-09-29得票数 16
回答已采纳
3回答
我需要一个算法，一致随机地从整数子集中选择一个整数，其相关位是。假定相关位为0的整数总数已在变量T中给定。一个简单的解决方案是生成r=rand() % T，然后找到其相关位为0的第r个整数(通过测试i=0,1，.)。不过，我想知道会否有合适的演算法呢？
浏览 1提问于2015-06-25得票数 3
我正在尝试使用AWS Steps Functions和Serverless Framework来配置一个简单的多步骤作业，第一步包括一个生成json输出的lambda，第二步是一个应该接收json作为输入的基本上，lambda生成以下输出： {} 我需要将此输出作为输入传递给Fargate任务，作为环境变量或任何其他方法，但我不知道应该使用哪种语法States:
浏览 7提问于2020-08-14得票数 1
回答已采纳
因此，我使用这个脚本来查找两个用户键入的值之间的随机数。"max“部分有效，随机生成的数字永远不会高于较高的数字。但生成的数字仍然是从1到最大数字，而不是设置为"min“的任何值。我做错了什么？这可能是一个简单的语法问题，我遗漏了？其他变体最终将随机生成的数字与"min“值连接在一起，而不是将两个数字值相加。
浏览 0提问于2015-09-10得票数 0
2回答
rssItem.getTitle(), rssItem.getDescription()); }我想要做的是随机地一次显示一个项目
浏览 4提问于2012-04-27得票数 0
回答已采纳
2回答
其中之一是它对数值数据类型的处理--就像lambda演算，你用一个函数来表示自然数N，它执行一个动作N次。: -此命令重复堆栈上的顶部项。* -此命令将堆栈上的前两项连接到一个项中。
我们将一个欠加载数字N定义为:和*的字符串，在执行时使用堆栈上的顶部项，并生成连接在一起的该项的N个副本。:*是欠加载数字2，因为它复制了顶部的项，然后将这两个副本连接到一个单独的项中：
浏览 0提问于2014-04-22得票数 15
回答已采纳
我想要构造一个像随机数生成器一样工作的对象，但是按照指定的顺序生成数字。# a random number generator
# a non-random number generator我知道，重写上面代码的最简单的方法是简单地循环非随机数，而不是定义生成器。我知道python的随机数生成器
浏览 22提问于2022-03-29得票数 16
回答已采纳
我在ANTLR4中生成了一个语法。然后，我用Java实现了一个简单的基于监听器的应用程序，它简单地格式化了解析的代码并将其输出到控制台。我已经重写了#defun、#lambda、#cond等的适当的enter/exit方法。我想为不符合更具体规则的项实现一个通用的catch-所有的方法。但是，当我为#other实现enter/exit方法时，它也会对优先级更高的每条匹配规则执行，有效地为#defun、#lambda、#cond等规则
浏览 2提问于2014-10-21得票数 0
回答已采纳
它是一个工具，用于从(主要)上下文无关的语法Eisenscript生成3D几何图形。Structure Synth本身就受到上下文无关艺术的启发。上下文无关语法可以从令人惊讶的简单规则集创建一些令人惊叹的结果。因此，我的问题是如何最好地将Eisenscript语法转换为Python DSL。R1的每个定义递归地调用R1 (随机调用两个定义中的一个)，并创建一个框。在递归已经达到2000级深度之后，第一行杀死了
浏览 1提问于2011-07-02得票数 5
回答已采纳
1回答
我想知道有没有人会有一些关于lambda演算的不错的资源，特别是关于类型推断的。我正在为一次考试而学习，在我做过的任何教程中，我似乎找不到任何关于lambda类型和如何推断的信息。推断以下lambda演算表达式中所有变量和带括号的子表达式的类型：(\表示lambda)我保证这不是作业！任何帮助都是非常受欢迎的。
浏览 5提问于2014-01-11得票数 1
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
云直播活动推荐
腾讯云开发者
