3回答
我想创建两个类型类，A和B，其中A是B的超类。B中定义的函数足以实现A中的函数。例如，假设我有一个type类，它可以检查value是否为"even“。然后，我有了另一个类型类，它可以检查一个值是否可以被某个数字整除。第二个类型类足够强大，可以实现第一个类型中的函数，任何只需要“偶数检查”能力的函数都应该能够接受具有“可除数”能力的参数。Foo.hs:11:10-19: No instance nor default method for cl
浏览 23提问于2019-07-06得票数 11
Haskell的核心语言非常简单。来自于面向对象的背景，主要的困难是适应纯粹的功能范式。在学习“基本”Haskell时，我一直认为语言扩展是CS人的玩具，也是语言未来版本的实验(如python中的from future import ??? )。然而，当我开始研究像Yesod这样的web框架时，我发现很多源文件都需要3到4个扩展名。有些看起来很简单(StringOverload)。其他是真正的恐吓(GADT，类型家族，模板Haskell)。是否有必要学习GHC语言<em
浏览 0提问于2013-05-10得票数 11
回答已采纳
即使没有扩展ExistentialQuantification，Haskell也通过类型同构为任何类型的C支持一些存在类型，这很奇怪，因为存在型是广义和类型。Haskell使用data关键字支持有限和类型，并允许它们进行模式匹配。在C++、Java和C#等语言中，存在类型是接口，它们支持与关键字(如dynamic_cast或instanceof )匹配的模式。H
浏览 1提问于2017-03-02得票数 1
回答已采纳
1回答
我即将开始用Haskell开发一个需要一些Unicode支持的应用程序。我看到了，但给出的答案使用了一种基于扩展的方法。另外，使用Unicode的最好的Haskell库是什么？
浏览 2提问于2013-06-06得票数 2
回答已采纳
我一直在观察一个有趣的，其中Haskell中的类型类被用来解决所谓的“表达式问题”。大约15分钟内，它展示了如何使用类型类来“打开”基于区分联合的数据类型以进行扩展--可以单独添加额外的鉴别器，而无需修改/重新构建原始定义。我知道类型类在F#中不可用，但是有没有办法使用其他语言特性来实现这种可扩展性？如果不是，我们能在多大程度上解决F#中的表达式问题呢？说明:我假设问题的定义如本系列的中所述--数据类型的可
浏览 2提问于2011-10-23得票数 8
回答已采纳
我是Haskell的新手，为了变得更好，我正在试着做一个简单的web服务器。我想让我表示页面的方式是可扩展的，所以我的想法是使网页成为可呈现数据的列表(就像如何在Java中创建实现某个接口的对象列表)，其中 render此外，似乎不可能创建受类型类约束的数据，所以我不能创建像RenderList数据这样的数据。render $ someData ,render $ someOtherDa
浏览 0提问于2012-10-08得票数 13
回答已采纳
我正在学习Haskell，而类型类似乎是构建类型安全多态函数的一种强大方法。但是许多Haskell前奏曲函数不使用它们。如果标准库使用带有类型类的泛型函数，这两个问题似乎都会消失(如果我完全偏离了这个基础，请告诉我)。
是否有技术或设计上的原因是前奏曲是这样的，还是仅仅出于历史原因？有没有计划将这些想法纳入Haskell的未来版本？
浏览 6提问于2011-01-24得票数 29
回答已采纳
我学习Haskell。我可以在Haskell上创建一个可扩展</e
浏览 0提问于2015-02-05得票数 10
回答已采纳
1回答
在Haskell中实例化类型变量
、、、、
i不知道在源文件中启用语言扩展名并不能在GHCi中启用语言扩展。解决方案是:set FlexibleContexts in GHCi。我最近发现，类中的类型声明和Haskell中的实例都是霍恩子句。因此，我将Prolog艺术第3章的算术运算编码到Haskell中。对(逻辑)变量的值在一个证明中实例化。但是，我不知道如何在Haskell中实例化类型
浏览 3提问于2010-12-21得票数 5
回答已采纳
3回答
在面向对象的语言(例如Java和Python)中，我们可以从类中生成对象/实例。在Haskell中，我们可以从类型类中创建实例，例如： S == S = True L == L = True
浏览 4提问于2017-07-03得票数 20
回答已采纳
如何在Haskell中编写一个函数，该函数接受a1a2a3格式的输入字符串并扩展为a1a2a2a3a3a3。例如，输入字符串"code“将扩展为"coodddeeee”
浏览 1提问于2010-01-24得票数 5
回答已采纳
我注意到，当在当前版本的Haskell (GHC9.2.1和HLS 1.6.1.0)中使用VS代码时，我在实例声明中写入类型签名时不再收到错误，尽管我没有包含{-# LANGUAGE InstanceSigs-#}扩展。最近是否对Haskell进行了更改，允许默认情况下的实例签名？
浏览 9提问于2022-02-13得票数 7
回答已采纳
3回答
在Scala中可以对类实例做一些混合吗？编辑：背后是什么
我只是想知道，在没有显式调用隐式对象(如Haskell中)的情况下，使用隐式对象和Manifest来实现类型类型模式是否有什么神奇之处。
浏览 0提问于2011-10-31得票数 3
回答已采纳
1回答
我最初的尝试以一些隐秘的错误消息失败了：choice (_ :: Int) = 0choice _ = 2
但是，通过在不同的数据构造函数中包装所需的类型并使用模式匹配中的类型在Haskell2010、GHC或任何允许我使用第一个变体(或类似的东西)的扩展中有什么特性吗？
浏览 2提问于2015-05-19得票数 2
回答已采纳
2回答
“建筑微积分中的反思？”
、、、、
在具有类型扩展的语言(如Agda、Idris或Haskell )中，有一种=类型，如下所示 Refl :: a :~: a
a :~: b意味着a和b是相同的。这种类型是否可以在或 (即基于构造演算的编程语言)中定义？
浏览 5提问于2016-03-23得票数 10
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
腾讯会议
云直播
对象存储活动推荐
腾讯云开发者
