我想为各种类型的“列的东西”创建一个类型类，如下所示： at :: c a -> Int -> a
instance Column (DerivedColumn a b) where但ghc
浏览 6提问于2016-08-06得票数 0
回答已采纳
我正在阅读“真实世界”第151页，我已经盯着下面的短文看了一个多小时：
Int是一个数据构造
浏览 7提问于2010-01-24得票数 20
回答已采纳
在我尝试调试的Haskell程序中，定义了一个类： lookupIn :: d -> Word -> String
我想创建一个名为runs的变量，并将其类型设置为Dictionary，这样我就可以在lookupIn函数中使用它。
浏览 1提问于2013-03-08得票数 2
回答已采纳
在本文件第33页：有以下一句：Giesl教授的Haskell讲座(英文)的相应部分是1小时21分钟( )。有人能解释一下“实例化类型
浏览 1提问于2014-05-17得票数 2
回答已采纳
在Haskell中编写插入和成员操作。确保在ML和Haskell中，Set数据类型与列表不同。在Haskell中，将Set类型定义为类Eq和Show的实例。i有办法把这个变成课堂吗？对不起，我只是在学习函数式编程。是否有一种方法可以实际创建具有成员变量(例如list )的Set类？
浏览 0提问于2016-03-07得票数 0
回答已采纳
我在网站上读过许多其他模棱两可的变量问题，但未能找到以下问题的解决方案，尽管我对Haskell并不熟悉，因此可能还没有正确理解其他问题的答案。简化为只包含这些定义的相关部分，我有一个类型类。class Dist a where我有一个多参数类型的类 opu :: b -> b
opb :: a但是，我也有一个<
浏览 5提问于2021-04-04得票数 0
回答已采纳
获取数据类型声明，如据我所知，Haskell会把它读成myType，有两种不同的口味。其中之一是Null，Haskell将其解释为.我想你会称它为这种类型的实例？还是亚型？因素？水平？无论如何，如果我们将Null改为Nubb，它的行为基本上是一样的--Haskell并不真正了解空值。我认为这是因为，在进行这种类
浏览 0提问于2018-10-01得票数 7
回答已采纳
2回答
首先考虑一个抽象数据类型的示例 | Node { left :: Tree a, right :: Tree a }
这种类型是抽象的，因为它使其结构的某些方面没有定义，由数据类型的用户提供
浏览 3提问于2016-04-29得票数 3
我正以艰苦的方式学习Haskell，尝试写一些我觉得有趣的东西，而现在，我正试图找出如何在Haskell中派生出一组特定的解析问题： zero, one最后一个是Parse，它的表示形式是(E，∪，·，∅，{<>})，其中E是一组字符串，{<>}是空字符串的集合。Set String是一种独特的类型，对，class Semiring的所有操
浏览 0提问于2019-01-30得票数 4
回答已采纳
1回答
我试图理解上给出的关于变量函数的示例，并尝试修改以下代码： sumOf :: Integer -> r
instance SumRes Integer我反对的约束是什么？
浏览 0提问于2013-04-28得票数 3
回答已采纳
我的~/.emacs文件包含：(add-hook 'haskell-mode-hook 'turn-on-haskell-indent)
(speedb
浏览 0提问于2012-05-01得票数 4
回答已采纳
rek (n-1) (x - div h 2) (y - div h 2) (div h 2) return arr
但是，将数组类型从Char更改为Int是可以的。
浏览 2提问于2016-08-19得票数 5
回答已采纳
我有一个包装函数的newtype newtype Operation a b = Operation (a -> b) 我想为这个数据类型编写一个Show实例，提供像"Operation(Int ->String)"这样的信息。为此，我需要访问show实现中的类型变量a和b的值。这个是可能的吗？ 我会说不，但Haskell从未停下来让我惊讶，所以我想我应该问一下
浏览 18提问于2020-08-21得票数 0
回答已采纳
我看到，在约翰·威利( John，2004 )的“编程语言设计概念”( Programming Language Design Concepts )一书中，有一个关于二进制数据的定义：
·C的可绑定实体是类型、变量和函数过程。
·JAVA的可绑定实体是值、局部变量、实例和类变量、方法、类和包。·ADA<
浏览 0提问于2018-06-20得票数 1
回答已采纳
使用[1, 2, 3]和List 1 2 3都能得到一个包含1到3的列表，我能把文字看作是一种特殊的值构造函数吗不只是Haskell的限制。
浏览 4提问于2015-08-10得票数 0
回答已采纳
我对Haskell比较陌生，目前我正在评估Yesod作为REST服务的基础。我希望能够使用JSON编码的数据进行通信。我有一个使用Persistent存储数据的类型，这是ToJSON和FromJSON的一个实例。但是，我只能使用Yesod.Core.Json.parseJsonBody_解码发送给处理程序的实例。我需要添加类型注释吗？如何从结果中提取已解码的<em
浏览 4提问于2013-11-21得票数 2
回答已采纳
我试图减少对Haskell语法的困惑，并希望了解Haskell中的单独名称空间。
...？我之所以感兴趣，是因为我在阅读Haskell代码时遇到了困难(肯定比任何其他语言都多
浏览 5提问于2012-05-18得票数 6
回答已采纳
1回答
在Haskell中实例化类型变量
、、、、
我最近发现，类中的类型声明和Haskell中的实例都是霍恩子句。因此，我将Prolog艺术第3章的算术运算编码到Haskell中。instance (N n) => Pow Z (S n) (S Z)在Prolog中，对(逻辑)变量的值在一个证明中实例化但是，我不知道如何在Haskell
浏览 3提问于2010-12-21得票数 5
回答已采纳
我的理解是，多亏了kind系统，我可以预先更详细地指定数据的形状。这是更好的，因为类型检查器可以检查更多，并且更严格的要求将使用户不太可能弄乱类型。这将减少编程错误的可能性。我相信这是种类的主要动机，但我可能错了。可以将base/ghc库中的所有<e
浏览 7提问于2019-12-26得票数 4
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
云直播活动推荐
腾讯云开发者
