第3章定义了以下递归类型来表示二叉树： | Empty本练习要求我使用单个值构造函数实现相同的类型，使用“可能”类型来引用子节点：“定义一个只有一个构造函数的</
浏览 2提问于2011-07-08得票数 9
我是Haskell的新手，目前正在经历真实世界的Haskell。书中说类型构造函数只在类型签名中使用，而值构造函数在实际代码中使用。它还给出了一个声明的示例，以说明两者的名称彼此独立。如果在实际代码中只使用一个构造函数，那么为什么首先需要两个构造函数呢？既然我们不会在实际代码中使用类型
浏览 5提问于2012-04-20得票数 15
回答已采纳
我是一个Haskell初学者，正在完成“真实世界Haskell”第2章中的一个练习，您可以编写一个函数来返回列表中的第二个元素。为了解决这个问题，我编写了以下函数：lastButOne xs = if length xs == 2bindings include
lastButOne :: ([a] -&g
浏览 5提问于2017-07-06得票数 2
回答已采纳
在一些实践中，我正在将一些方案代码转换为haskell，我在创建自定义二进制搜索树时遇到了一点问题。node x l r返回一个lambda函数，该函数将为您提供该树的相应值。
浏览 21提问于2020-06-29得票数 1
2回答
返回IO操作的函数是什么(比如Haskell的IO类型)？
详细说明:在我的理解中，纯函数是从域到域的映射。最终，它是从计算机内存中的某些值到内存中的其他值的映射。在具有空闲内存的简化设置中，运行时不需要计算；相反，编译器可以在编译时为每个函数创建一个查找表。执行纯程序相当于查找表。因此，组合函数相当于
浏览 1提问于2020-05-14得票数 4
回答已采纳
1回答
只有多态函数可以应用于存在类型的值。这些属性可以用表达式的相应量词来表示，并以自然转换为特征。类似地，当我们定义类型构造函数时此类型构造函数适用于所有a，而类型族允许具有非一致类型构造函数。family TRes i otype instance TRes S
浏览 4提问于2017-04-20得票数 1
回答已采纳
新来的哈斯克尔很抱歉，如果这是非常基础的ghci> :type fst 它们显示fst函数的类型，然后在后面加上这一段.--我们已经提到，参数多态使得真正的类型不可访问：fst没有足够的信息来构造a，类型的值，也不能将a转换为b.，因此它唯一可能的有效行为(省略无限循环或
浏览 7提问于2011-12-15得票数 13
回答已采纳
我已经开始学习Haskell，我试图用Int类型指定任意零阶函数的Haskell类型签名。据我所知，对于一阶函数，它将类似于k :: Int -> Int。这是否意味着零阶函数的类型签名将仅仅是k :: Int，或者假设这是错误的？提前谢谢你！
浏览 1提问于2021-09-21得票数 4
回答已采纳
前言data Tree a = Node a (Tree a) (Tree a)它提供两个构造函数(用于空的和非空的Tree)。另一方面，在第60页，一个练习要求读者使用单个构造函数来定义Tree数据类型。，如果没有一个
浏览 3提问于2019-12-12得票数 2
回答已采纳
我正在阅读“真实世界”第151页，我已经盯着下面的短文看了一个多小时：
String是一个数据<
浏览 7提问于2010-01-24得票数 20
回答已采纳
我是Haskell编程语言的新手，我一直对IO类型犹豫不决，不管是函数参数还是返回类型。playGame :: Screen -> IO ()gameRunner :: IO String -> (String -> IO ()) -> Screen -> IO ()
这是如何工作的，函数中使用的IO期望或返回什么？
浏览 9提问于2020-05-02得票数 3
回答已采纳
2回答
Haskell中的泛型类型转换
、、、、
我正在尝试编写一个转换器，它接受常规函数，并将它们转化为抽象值的计算。如果我们有“源”箭头，f x = x + 1f' :: AV Int -> AV Int-- pass along errors, since AV computationmanipulation or ASTs.
f' (
浏览 6提问于2011-04-30得票数 4
1回答
BiComp 是要写入的类型构造函数，而右边的BiComp 是值构造函数，所以它是(bf (fu a) (gu b)) -> BiComp bf fu gu a b类型的。然后，作者将BiComp设为a和b中的双函子，条件是类型构造器参数bf也是Bifunctor，且类型构造函数fu和gu是Functor的：
instance (Bifunctor bf,
浏览 6提问于2021-01-23得票数 4
回答已采纳
从我对Haskell有限的知识来看，Maps (来自Data.Map)似乎应该像其他语言中的字典或哈希表一样使用，但却被实现为自平衡的二进制搜索树。另外：
在哪些应用程序中，二叉树会比哈希表糟糕得多？哈斯克尔有传统的哈什表吗？
浏览 1提问于2013-09-20得票数 20
回答已采纳
1回答
=> y;const ONE = f => a => f(a);如果一种语言是纯粹的功能，它将如何将这些原语转化为物理的东西？例如，通常我会看到一些类似于非纯函数的函数，例如：const TWO = f => a => f(f(a));console.log(TWO(inc)(0
浏览 5提问于2022-03-30得票数 0
回答已采纳
我想知道函数式语言中所有可能的副作用，即使是理论上的，也不会在实践中使用。
我知道单体(Haskell)和唯一性类型(Clean)。还有其他的可能性吗？
浏览 0提问于2011-12-29得票数 2
回答已采纳
5回答
我对Haskell和函数式编程很陌生。我正在阅读真实世界Haskell，我意识到我被几个例子弄糊涂了。
具体来说，这是在第9章的“特定于谓词的领域语言”一节中，这些例子具有w参数。如果我正确地理解了这个，那么它似乎在某种程度上与那里定义的运行相反--我的f函数是接受多个参数，而不是一个参数！另外，请回答的人提供一个链接到某种类型的Haskell文
浏览 6提问于2011-01-22得票数 12
2回答
自反关联的类图使用实心线和箭头，但这里用空心菱形代替。它和递归有什么关系吗？这个类图将生成什么？最好你能举个例子。此外，如果存储数据库，这种递归关系应该是一对多的，如何构建表。
浏览 6提问于2021-12-11得票数 3
回答已采纳
6回答
我已经潜心研究函数式编程三年多了，我已经阅读和理解了很多关于函数式编程的文章和方面。关于Haskell的文档和其他文章也多次提到"world“。关于这个
浏览 0提问于2012-11-12得票数 25
回答已采纳
在其他关于函数式编程语言的文章中，我总是读到“不可变值”。
“单一赋值”一词是否与“不可变值”有所不同？
浏览 0提问于2012-03-18得票数 15
回答已采纳
云服务器
ICP备案
云直播
对象存储
实时音视频
腾讯云开发者
