在我的Haskell代码库中，我有许多接受多态参数的函数。现在，我一直在为每个函数手动编写类型类注释，但是在我的代码库中重复30+次的类型类列表变得很冗长，如果我发现需要向列表中添加另一个类型类，则必须更改每个类型注释，这会很麻烦。我想知道是否有一种更简洁的方法</e
浏览 11提问于2018-02-06得票数 8
回答已采纳
这允许抽象，类似于Java的接口、Scala的特性、Haskell的类型类或OCaML的签名。可以在给定的模块中实现多个接口，允许对行为进行表达性分层。我知道您可以编写一个接口(这对应于在Haskell中声明一个class )，然后您可以为一个或多个模块实现该接口(这对应于Haskell中的i
浏览 3提问于2022-07-20得票数 1
回答已采纳
在Haskell中，我们可以使用多个互斥值构造函数(例如可能类型)定义类型，定义如下：其中'a‘是任何现有类型。例如，如果我们想在Haskell中定义一个扩展实数，我们可以这样做在Java中，创建具有类似功能的类
浏览 3提问于2016-06-19得票数 1
回答已采纳
5回答
Haskell的TypeClasses和Go的接口有什么相似之处和不同之处？这两种方法的优缺点是什么？
浏览 1提问于2010-06-06得票数 30
1回答
在Haskell编程语言中，根据
取一个函数并返回另一个函数的东西是高阶函数.Typeclasses，和它们提供的多态性一起，提供了一种很好的方法来捕捉这样一个事实:<e
浏览 1提问于2019-07-20得票数 2
在面向对象的编程语言中，通常有多个构造函数来设置类的对象，例如，可以通过内置int或字符串构造MyInteger对象： int _value;
是一个Int
浏览 0提问于2017-12-20得票数 2
1回答
例如，与应用于整数时相比，+运算符在应用于浮点值时所做的事情本质上是完全不同的--在Python中，它甚至可以应用于字符串。大多数语言至少支持一些即席多态，但在C等语言中，它仅限于内置函数和类型。其他语言(如C++ )允许程序员提供自己的重载，提供单个函数的多个定义，并通过参数类型消除歧义。在Haskell中，这是通过类型类和<
浏览 2提问于2019-07-18得票数 3
Haskell支持类型类，如相等： (==) :: a -> a -> Bool fn draw(&self);现在，可以在Haskell中声明一个列表，它的元素必须属于相等类型类：Eq a => [a] (我相信a在<
浏览 4提问于2022-01-30得票数 7
回答已采纳
我在我的公司代码库中看到了下面的代码，心里想：“该死，这是linq的好代码，我想把它翻译到Haskell，看看它在实际的函数语言中是什么样子的。”，所以我很难得到一个简明的、直接的翻译到Haskell。我考虑过几种方法。C#代码的最直接转换只生成一个随机索引，然后使用它代替random.Next(s.Length)。但我需要生成多个索引，而不是一个索引。因此，我最
浏览 1提问于2016-11-28得票数 2
回答已采纳
3回答
我的应用程序的用户首选项存储在NSUserDefaults中。这包括一个“主题”首选项，它需要被多个类频繁访问。访问任何类中的首选项的首选和最简明的方法是什么？
浏览 2提问于2010-03-24得票数 3
回答已采纳
当试图用Scala中的代数数据类型来描述Sql的一部分时，我遇到了创建代表数据类型的根特征的子特征的必要性。由于满足这一要求产生了一个代码，我不确定它是否可以用Haskell的ADT来表示，而且与Haskell不同，ADT不是Scala的原生构造，所以我现在想知道：
我说得对吗?在Haskell中，不可能表示一个模型，比如具
浏览 7提问于2012-08-21得票数 6
回答已采纳
以下引用GHC用户指南(Haskell平台2012.4.0.0).
Haskell 98禁止类方法类型提及类类型变量的约束，因此：elem的类型在Haskell</e
浏览 4提问于2013-04-22得票数 6
回答已采纳
在写完Haskell之后回到Scala，我已经开始使用type关键字来使我的类定义更具可读性，例如：def canonicalize(params: RestfulParams): String = { ... }
我遇到的麻烦是，这些类型定义需要存在于类或对象中-它们不像在Haskell中那样是“一等公民”。如果我试图在</
浏览 0提问于2011-09-16得票数 71
回答已采纳
为了详细说明，通常可以为类型类实例函数提供默认实现，但我不知道是否也可以为其他类型类的类型类实例提供默认实现。
例如，假设我正在实现类型类Y，并且我希望所有实例a of Y满足其他类型类X的X a。最初，我试图通过编写instance Y a => X a where ...来实现这一点，但是我发现这是不可能的()。但是，与另一个问题中描述的</em
浏览 0提问于2019-01-27得票数 3
回答已采纳
我正在阅读一些关于monad的东西，没有Haskell的经验，并且与类型构造函数的概念相混淆。
public class M<T> {
static <T> M<T>u
浏览 2提问于2017-02-20得票数 1
回答已采纳
2回答
我试图理解Haskell中的类型模式和泛型类，但似乎无法理解。“为了将函数普遍应用于所有数据类型，我们以统一的方式查看数据类型:除了基本的预定义类型(如浮点数、IO和→)之外，每个Haskell数据类型都可以被看作是可能被标记的产品的标记和。上面提到的Ha
浏览 6提问于2010-03-12得票数 0
回答已采纳
在Haskell中编写插入和成员操作。确保在ML和Haskell中，Set数据类型与列表不同。在Haskell中，将Set类型定义为类Eq和Show的实例。i有办法把这个变成课堂吗？对不起，我只是在学习函数式编程。是否有一种方法可以实际创建具有
浏览 0提问于2016-03-07得票数 0
回答已采纳
1回答
有关类型实例的详细信息
、、、
我是Elm的初学者，作为前Haskell程序员，我想知道是否有像Haskell那样输入解释器/REPL的方法：所以我知道这在埃尔姆不起作用，但是有什么东西相当于哈斯克尔的：我想获得有关类型类及其所有实例的详细信息。此外，在Haskell文档中，有关于基本Haskell类的类型
浏览 2提问于2015-10-13得票数 4
回答已采纳
如何向Haskell专家解释Scala的类型系统？有哪些例子展示了Scala的优势？
如何向高级Scala实践者解释Haskell的类型系统？在Haskell中可以做哪些在Scala中不能做的事情？
浏览 1提问于2009-11-29得票数 64
回答已采纳
1回答
我正在尝试使用ghc-api构建一个简单的类似于ghci的控制台。我已经可以使用exprType来提取表达式的Type并计算它们了，有没有一种简单的方法来检查表达式的类型是否有一个给定类的实例？编辑:似乎我正在寻找的函数需要一个InstEnv，但我不知道在哪里可以找到它。
浏览 3提问于2012-06-08得票数 4
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
腾讯会议
云直播
对象存储活动推荐
腾讯云开发者
