2回答
我有一个关于多态数据类型的类定义的问题。假设定义的数据类型是：假设我想检索树的根的值，但是在一个名为tree的类的实例中： ge
浏览 0提问于2017-12-15得票数 1
回答已采纳
1回答
说
adopt多态性是指当一个值能够采用几种类型中的任何一种时，因为它或它所使用的值已经为这些类型中的每一种类型都定义了单独的定义。其他语言(如C++ )允许程序员提供自己的重载，提供单个函数的多个定义，并通过参数类型消除歧义。在Haskell中，这是通过类型类和类实例的系统实现的。尽管名称相似，但
浏览 2提问于2019-07-18得票数 3
2回答
:t) l r = then divide_list n t (h:l) r如您所见，我的函数接受如何修改此代码以获得更通用的类型？我的意思是，例如字符串列表等。
浏览 5提问于2016-03-02得票数 1
回答已采纳
5回答
Haskell的TypeClasses和Go的接口有什么相似之处和不同之处？这两种方法的优缺点是什么？
浏览 1提问于2010-06-06得票数 30
2回答
目标函数阻抗失配
、、、、
在面向对象程序设计( OOP )中，与接口交谈而不是与实现对话是很好的做法。但是，在纯函数式编程语言(如Haskell )中，您不具有子类型多态性，而是通过类型类使用即席多态。因此，例如，您有列表数据类型和列表的一元实例。您不需要担心使用接口/抽象类，因为您没有这样的概念。在混合语言(如Scala )中，您有两个类型类(实际上是通过一个模式，而不是像Haskell
浏览 2提问于2016-05-09得票数 10
1回答
我有一个像这样定义的类，因此foo接受一个泛型类型并返回一个Integer： foo :: a -> Integerinstance Foo Bool where foo _ = 20insta
浏览 1提问于2018-01-25得票数 3
回答已采纳
5回答
根据我所读到的关于Haskell的内容，以及我对GHC所做的实验，Haskell似乎有返回类型重载(又名即席多态)。然而，至少有一个Haskell程序员告诉我，这不是返回类型重载，而是一个“参数多态，参数被一个通用量词绑定”的例子。我认为fromInteger正在从Num的每个实例中返回一个值(某种程度上是不确定的类型)。
这似乎是一种合理的解释，但据我所知，<e
浏览 5提问于2012-07-10得票数 20
Char = Just 1byteLength _ = NothingInterface ByteLength a where以更一般的方式，也许我们可以在TypeRep上使用像TypeRep这样的
浏览 0提问于2018-09-08得票数 6
我在GHCI中执行以下操作：let map = fromList [(1, 2)]GHCI知道map是一个(Map Integer Integer)。那么，当类型明确并且我可以避免时，为什么它声称Prelude.lookup和Data.Map.lookup之间存在歧义呢？ Ambiguous occurrence `lookup'
It could refer to either `Prelude.lookup', imported from Prelud
浏览 0提问于2010-02-01得票数 47
回答已采纳
1回答
从阅读和本的维基百科条目，当应用于Haskell时，我的理解是
按术语索引的类型系列- pi类型(在Haskell中你用单例类型伪造)，sigma类型，等等。我不知道Haskell从上面是如何适应这个(2)的。所以我在
浏览 4提问于2015-07-01得票数 4
回答已采纳
2回答
我见过很多关于“真多态性”的部分定义，例如和，但是没有一个能用两个具体的例子找到这种区别的明确例子。
我知道重载+运算符是某种形式的多态性，它在Haskell和C++中的实现方式不同。有人能准确地显示两种语言中的例子有什么不同吗？
浏览 5提问于2013-04-28得票数 4
3回答
当我第一次学习Haskell时，我很快就爱上了参数多态性。这是一个令人愉快的简单的想法，效果令人吃惊。整体的“如果它编译它通常是正确的”的事情主要是由于参数多态，IMHO。我可以将foo写成一个多态函数。但是，当bar调用foo时，它将使用一组特定的参数类型进行调用。或者，如果bar本身是多态的，那么它的调用方将指定明确的类型。通过归纳，似乎如果
浏览 6提问于2012-05-10得票数 30
回答已采纳
ScalaZ和Cats都有类型类和数据类型的概念。像Kleisi或Either这样的东西被称为“数据类型”--为什么？我的理解是，它们是使用这些类型类“可能”实现的通用功能，但是即使在Scala中的FP编程一书中，它们也不被称为“数据类型”。
我想知道这个词是从哪里来的
浏览 1提问于2019-07-03得票数 3
乍一看，这两种“阶级”有着明显的区别。不过，我相信有更多相似之处：
你的意见呢？
浏览 10提问于2010-10-15得票数 5
回答已采纳
我试图理解如何考虑Haskell中的类型类与Scala中的特性。首先，让我们考虑Haskell中的类型类。
让我们举一个简单的
浏览 0提问于2014-09-21得票数 11
6回答
解释Haskell中的类型类
、、、、
我是一名C++ / Java程序员，我在日常编程中碰巧使用的主要范式是OOP。在一些帖子中，我读到一条评论，说Type类在本质上比OOP更直观。有没有人能用简单的语言解释一下类型类的概念，这样像我这样的OOP专家就能理解它？
浏览 0提问于2010-04-22得票数 11
回答已采纳
2回答
未装箱类型的限制
、、
我想知道为什么Haskell中的未装箱类型有以下限制：
新型Vec = Vec (# Float#，Float# #)类型
浏览 5提问于2015-11-17得票数 10
回答已采纳
1回答
众所周知，OCaml具有参数多态性，这就导致了一些局限性.Haskell通过其类型类提供了一个特殊的多态，显然，在一些情况下非常方便。众所周知，OCaml的模块和函子系统允许创建一种特殊的多态。例如，参见Shine 最近的伟大回答。
我的观点是，在Haskell中可以创建派生的几个类型类的类型。lastName :: Strin
浏览 0提问于2016-06-13得票数 16
回答已采纳
Haskell中具有即席多态(函数重载)的方法是通过类型类(请参阅对、和问题的解答等)。但是，我很难为以下情况定义重载的mult (产品)函数：mult: Double -> [Double] -> [Double]谢谢
(至少，案例1 [Double]*Doub
浏览 0提问于2015-10-17得票数 1
回答已采纳
云服务器
ICP备案
实时音视频
对象存储
云直播
腾讯云开发者
