1回答
大多数语言至少支持一些即席多态，但在C等语言中，它仅限于内置函数和类型。其他语言(如C++ )允许程序员提供自己的重载，提供单个函数的多个定义，并通过参数类型消除歧义。在Haskell中，这是通过类型类和类实例的系统实现的。
尽管名称相似，但Haskell的类型类与大多数面向对象语言的类非常不同。它们与接口有更多的共同点，因为它们通过类型签名指定
浏览 2提问于2019-07-18得票数 3
4回答
泛型与约束多态性与亚型
、、、、
在Haskell类的这个中，幻灯片#54有这样的问题：
在具有泛型和受限多态性的语言中，您也需要子类型吗？
泛型和受限的多态性如何使子类型变得不必要？如果泛型和受限的多态性使得子类型变得不必要，为什么Scala有子类型？
浏览 3提问于2010-04-25得票数 18
回答已采纳
2回答
我见过很多关于“真多态性”的部分定义，例如和，但是没有一个能用两个具体的例子找到这种区别的明确例子。
我知道重载+运算符是某种形式的多态性，它在Haskell和C++中的实现方式不同。
浏览 5提问于2013-04-28得票数 4
2回答
我正在尝试用Haskell编写一个机器学习库，以提高我的Haskell技能。我想到了一个包含一个类的通用设计，就像这样： train :: X -> y -> trainingData instance Classifier KNN where我如何实现分类器类型类函
浏览 3提问于2016-09-06得票数 2
回答已采纳
1回答
从阅读和本的维基百科条目，当应用于Haskell时，我的理解是
按术语索引的类型系列- pi类型(在Haskell中你用单例类型伪造)，sigma类型，等等。Haskell在术语和类
浏览 4提问于2015-07-01得票数 4
回答已采纳
所以我读过，虽然子类型多态性在OO语言中是典型的，但是参数多态性对于功能语言来说是典型的。我一直认为类型类型有点类似于接口，而接口是子类型多态性。例如在这里：deriving instance Eq a =>
浏览 0提问于2016-07-07得票数 7
回答已采纳
5回答
Haskell的TypeClasses和Go的接口有什么相似之处和不同之处？这两种方法的优缺点是什么？
浏览 1提问于2010-06-06得票数 30
2回答
目标函数阻抗失配
、、、、
但是，在纯函数式编程语言(如Haskell )中，您不具有子类型多态性，而是通过类型类使用即席多态。因此，例如，您有列表数据类型和列表的一元实例。您不需要担心使用接口/抽象类，因为您没有这样的概念。在混合语言(如Scala )中，您有两个类型类(实际上是通过一个模式，而不是像Haskell那样的头等公民)和子类型多态性
浏览 2提问于2016-05-09得票数 10
考虑一个函数，它接受一个集合，并返回它的字节长度，名为byteLength如果我想直接实现这个函数，我需要在类型参数上进行模式匹配： byteLength = 1
以更一般的方式，也许我们可以在TypeRep上使用像TypeRep这样的东西来做类似的事情和模式匹配我认为使用Interface和使用forall是非常不同的，因为Interface意味着“某些类型</e
浏览 0提问于2018-09-08得票数 6
2回答
我想创建一个多态函数，如下所示：f s = show (length s)
f i = show i
对于不同的数据类型定义不同的函数是指
浏览 0提问于2012-09-15得票数 10
回答已采纳
1回答
对于Haskell的类型类，它似乎支持即席多态，但它的函数声明似乎是参数多态。我是不是混淆了我对不同事物的理解？
浏览 1提问于2011-04-15得票数 26
回答已采纳
5回答
fromInteger 5) -- returns "Double"似乎同意这一点，它说：
这似乎是一种合理的解释，但据我所知，Haskell
浏览 5提问于2012-07-10得票数 20
我看了类型化场景的例子，以及如何在scala中模仿这个Haskell-ish概念，例如在。我认为他们都是太多的牵扯和叙述-比他们可能是。您能为使用类型类而不是继承和混合类的多态性提供一个权威的最小示例吗？
谢谢!
浏览 0提问于2015-04-04得票数 1
回答已采纳
我试图理解如何考虑Haskell中的类型类与Scala中的特性。让我们举一个简单的例子。类型类Eq。
例如，Int和Char都是Eq的实例。因此，可以创建一个多态List，
浏览 0提问于2014-09-21得票数 11
我意识到一种语言比另一种语言更容易/更难，但我只对与类型相关的特性感兴趣，它们在一种语言中是可能的，在另一种语言中是不可能的/不相关的。更具体地说，让我们忽略Haskell类型扩展，因为有太多的扩展可以做各种各样的疯狂/酷的事情。
浏览 0提问于2012-10-08得票数 66
回答已采纳
6回答
解释Haskell中的类型类
、、、、
在一些帖子中，我读到一条评论，说Type类在本质上比OOP更直观。有没有人能用简单的语言解释一下类型类的概念，这样像我这样的OOP专家就能理解它？
浏览 0提问于2010-04-22得票数 11
回答已采纳
3回答
我正在尝试编写一个在Haskell中的字符串或数字参数上是多态的函数。(show strOrNum)
numDigits "1000" -- Should return 4我知道Haskell中的即席多态性需要类型类</
浏览 1提问于2021-05-09得票数 0
当试图在Haskell中对用户定义的数据进行显示时，会出现内存不足的错误。原因何在？X和类显示，并打印AA作为结果。实例函数工作在类X(实例X，T)上，而不是在类显示(实例X显示)。为什么可执行文件在尝试实例化T时尝试分配无限内存，就像在第一个代码示例中一样？它是一个bug还是其他与函数式编程范例有关的东西？还是与类型多态性有关的限制？为什么ghci在尝试实例化T时尝试分配无限内存
浏览 1提问于2021-05-06得票数 0
1回答
阅读维基百科对的定义，我提出了一个问题：看起来维基百科不包含一些多态性类型的描述，比如，这对我来说是新的，并且在Haskell中得到了支持。看起来主要的两个是：
Ad多态性
浏览 1提问于2019-05-27得票数 7
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
腾讯会议
云直播
对象存储活动推荐
腾讯云开发者
