作为练习，我在Haskell中实现了一个“cons”操作，它由两个任意类型的值组成一对。实现所需的数据类型非常简单：data Pair a b = Cons a b deriving (Eq)
但是受到的启发，我想让生成的配对像方案列表一样打印出来-包括臭名昭著的“不当列表”(1 2 3.4)。我<em
浏览 0提问于2012-02-01得票数 5
回答已采纳
1回答
我正在尝试在lambda微积分的列表中附加一个数字，我正在努力寻找任何使用教会数字的工作示例，有人可以在lambda演算中的列表附加示例的方向上给我指点一下吗？
浏览 18提问于2020-08-23得票数 0
计算机程序的结构和解释3.5.2引入无限流： (cons-stream 1 ones))(define (delay exp) (cons a(delay b)))
在cons-stream中使用这种方法，无
浏览 5提问于2015-08-08得票数 4
回答已采纳
4回答
玫瑰树的初值代数
、、、、
据我所知，来自Haskell的递归数据类型对应于Hask范畴[，]内函子的初始代数。例如：
自然数data Nat = Zero | Succ Nat与F(-) = 1 + (-)的初始代数相对应。列表，data List a = Nil | Cons a (List a)，对应于F(A, -) = 1 + A × (-)的初始代数。然而，我不清楚与玫瑰树对应的</em
浏览 5提问于2017-08-26得票数 9
回答已采纳
2回答
方案/球拍是否有枚举操作？
、、、、
Scheme/球拍是否有一个与Haskell中的a.b表示法相等的枚举符号？
在Haskell中，1.5计算为1,2,3,4,5。
浏览 1提问于2011-08-22得票数 6
我在写一个类似翻译的计划。类似于方案的解释器应该很好地处理任何实现IEnumerable的对象，这似乎是很自然的。为了让任何“更高层次”的内容都是有效的，我不得不为解释器实现一些原语作为C#构建。到目前为止，我已经将以下“原语”实现为C#内置函数：
filtermap (完整的地图，而不仅
浏览 0提问于2009-05-11得票数 2
回答已采纳
在支持延续的语言中，例如Scheme、Ruby和Haskell，假设有一个函数cc'不带参数并返回当前的延续，这样通过调用cc'获得延续的调用者就可以随时随地调用延续。通过将标识函数作为参数传递给call/cc，可以按照CPS样式的call/cc编写cc'。
相反，可以按照非CPS样式的cc'编写CPS样式的call/cc吗
浏览 13提问于2019-08-05得票数 3
7回答
注意: Haskell代码片段(直接引用于该书)定义了一个自定义类型，它与内置的Haskell列表类型同构。(我故意忽略了关于“定义显示”的任何内容，因为它不是我现在想要关注的内容的一部分)。
最初的混淆是关于片段中读"Cons a (List a)“的部分。这意味着“Cons值构造函数有两个字段:一个类型为&#
浏览 5提问于2009-04-22得票数 14
回答已采纳
3回答
他定义的第一个高阶函数是reduce，我在Scheme中将其定义为： (lambda (ff init lst) '()
(<em
浏览 2提问于2014-02-19得票数 2
回答已采纳
作为一个练习，我试图在Haskell中重新创建Lisp的apply。我不打算将它用于任何实际目的，我只是认为这是一个很好的机会，可以更好地熟悉Haskell的类型系统和类型系统。(因此，我也不寻找其他人的实现。)
我的想法是:我可以使用GADT“标记”一个列表，并将它应用到的函数类型中。因此，我以类似的方式重新定义了Nil和Cons，我们将使用Nat定义对类型中的
浏览 5提问于2015-09-17得票数 7
回答已采纳
3回答
当我在两个原子上做cons时，我在中间得到一个.。;Value 1: (one . two)我见过，但还不清楚。
更新：cons在Little阴谋家中的定义表明，cons有两个参数，第一个参数是任意S表达式，第二个参数是任意列表。
浏览 3提问于2020-07-10得票数 3
回答已采纳
3回答
People 在方案中为iPhone编写了。因为(一些)方案编译器向下编译为C，所以很容易与Objective-C混合并与XCode集成。我是用于Haskell和OCaml编译器的的，用于启用ARM/iOS后端。但这些似乎是非官方的和实验性的/不稳定的。
与Scheme的动态类型相比，我更喜欢静态haskell/ML类型的类型系统。有
浏览 1提问于2011-01-18得票数 19
回答已采纳
我想编写一个函数，从Haskell中的数组中移除最小值。我在Scheme中开发的解决方案之一是 (lambda (lis return) [(null?(if (< v1 (car lis))
浏览 1提问于2022-04-10得票数 1
2回答
在大多数功能语言(包括Haskell )中，定义链接列表类型本身是简单的：但是，我在Haskell教程中找不到显示如何定义自己的数组类型的教程如何定义数组数据类型，就像我们从无到有地定义自己的列表一样？Note：我的问题不是如何在Haskell中使用数组，而是理论上如何定义自己的数组类型，就
浏览 2提问于2014-01-29得票数 6
回答已采纳
1回答
我在IO章节“学习你一个Haskell”中，我注意到我对Bytestring的显示方式与书中的屏幕截图不一致(见下面的例子)。除非人们有其他建议，否则解决方案(至少按照)是安装。这可能是一个非常基本的问题，but...how，我要安装这种类型的补丁吗？
ghci 7.6.3 (通过H
浏览 1提问于2014-10-14得票数 0
回答已采纳
4回答
在方案中
、
我看到了关于圆点的。我跟着但这对我的代码无效..。它是代码的一部分，实现没有聚焦于这个符号。但是输出应该包括这个点。当我输入两个列表‘(12.3)’(4.5)时，我的预期输出=> (1 )。Part of mycode ....**trial-1**
(cons '(list (car lst1) (car lst2)) ...)然后输出：((list (car lst
浏览 0提问于2014-05-12得票数 4
回答已采纳
3回答
在Haskell中，这相当简单：helper [x] = [x]我编写了一些Clojure代码来完成相同的任务，但我觉得可能有一种更干净的方法。y) (list x)理想情况下，该列表将被懒惰地消费和生成。谢谢。
浏览 0提问于2013-07-11得票数 2
回答已采纳
假设我有这样的代码片段： match l with | Cons(x, Nil) -> Some(x)显然，此模式与mylist - Nil和Cons的构造函数匹配在找到与</
浏览 5提问于2022-12-01得票数 2
我一直在尝试复制this (rather old) tutorial，使用Haskell的类型检查器作为任何算术/数学的单元检查器，使其具有一致的单位(即米、公斤、秒及其导数)。本质上，介绍了一种计算Peano数字的方法，以及一种递归定义列表的方法。然后使用这两个特征将单位类型定义为列表，每个元素是一个Peano数，对应于米、公斤和秒中的每个指数。` r) ((_, j) `Cons` s
浏览 24提问于2019-01-19得票数 1
回答已采纳
云服务器
ICP备案
对象存储
云直播
腾讯会议
腾讯云开发者
