typeclass 相关问题

Haskell中的类型类是支持ad hoc多态的语言机制。它们也存在于Scala，Coq和Isabelle中。

Bar2 class Foo f where foo :: f a -> Either [String] a instance Foo Bar where foo (Bar1 x) = ...

haskell typeclass higher-kinded-types

回答 1 投票 1

Aeson解码成通用类型的类型检查有问题。

这是我第一次尝试用Aeson进行JSON反序列化。我在为我的所有域数据类型进行类型检查时遇到了麻烦，尽管为 ...

json haskell typeclass aeson

回答 1 投票 1

为什么ghc不能在这个Category产品上匹配这些类型？

我有一个非常典型的类别定义，是这样的： class Category (cat :: k -> k -> Type) where id :: cat a a (.) :: cat a b -> cat c a -> cat c b Now I would like to make the ...

haskell typeclass category-theory gadt

回答 1 投票 2

带有上下文约束的类型类内含物。

我正在慢慢自学Scala类型类。假设我有以下例子： object Example extends App { trait Serializer[T] { def serialize(seq: Seq[T]): String } object ...

scala generics types implicit-conversion typeclass

回答 1 投票 0

在scala中，用一个类型类定义的函数，并且哪个输出类型依赖于它，最简单的连锁方法是什么？

假设定义了一个类Thing，并且操作+与类型类相关联：trait TypeClass[X，Y] { type Out def v．Out } object TypeClass { implicit def summon[X ...

scala typeclass implicit

回答 1 投票 0

为什么Alternative的some和many是hashkell中的无限递归函数？

我在haskell里看Alternative typeclass，我在ghci里玩的时候发了这个some(Just 2)就挂了，我看了一下Alternative的源码，Alternative的some和 ...

haskell recursion typeclass some-and-many haskell-alternative

回答 1 投票 4

返回联合类型的通用方法

我有一个Union类型为Scala的Union类型为Int和String，我想将其添加到通用方法中。您能帮我写这个方法吗，没有编译错误。对象OrTypeMain扩展了App {...

scala pattern-matching typeclass implicit union-types

回答 1 投票 0

我可以避免一遍又一遍明确地推导内置的Haskell类型类吗？

haskell typeclass deriving

回答 1 投票 2

将Int定义为Haskell中类型类的实例时的问题

我正在尝试将Int定义为我的类型类Add的实例。我想定义自己的运算符+++，该运算符应在整数和字符串上重载。我的目标是能够添加整数，然后...

haskell types instance typeclass

回答 1 投票 3

使用typeclass方法的默认实现省略参数

我希望能够定义一个（mulit-parameter-）typeclass实例，该实例的类方法的实现会忽略其参数之一。这可以很容易地完成，如下所示。实例MyType MyData ...

haskell typeclass

回答 1 投票 4

如何使元组成为Haskell中此类的实例？

我一直在读《学习Haskell时我希望我知道什么》一书，在这个示例中停下来：类Bifunctor p，其中bimap :::（a-> b）->（c-> d）-> pac -> pbd ...

haskell types typeclass type-kinds

回答 2 投票 7

如何在Haskell中为此类创建实例？

我一直在阅读《学习Haskell时我希望知道的东西》一书，在这个示例中我停了下来：类Bifunctor p，其中bimap ::（a-> b）->（c-> d）-> pac -> pbd ...

haskell typeclass

回答 1 投票 2

实例在Haskell中是什么意思？

在Java中，我们可以从类中创建对象/实例。在Haskell中，我们可以从类型类中创建实例，例如：data ShirtSize = S | M | L-这里ShirtSize是一个枚举数据类型类MyEq a，其中...

haskell functional-programming typeclass

回答 2 投票 14

功能不完整的枚举

[出于某种原因，我的ghci不断发出此警告“函数toEnum中的非穷尽模式”，这是我的代码：data Rank = Numeric Int |杰克|女王国王Ace派生（Eq，Ord）实例显示...

haskell functional-programming typeclass ghci

回答 1 投票 0

我想拥有一个与每种联合类型的单一类型都匹配的类型，但与那些单一类型的任何联合都不匹配

假设我定义了以下类型：type A = {a：number};类型B = {a：string};类型C = {a：boolean};输入All = A | B | C;现在，我要定义通用类型S（不使用任何类型A，...

typescript types typeclass typescript-generics type-systems

回答 1 投票 0

为什么Haskell递归导入实例？为什么不只从指定模块导入所有实例？

haskell import instance typeclass

回答 1 投票 1

尝试实现`Absurd`类型类时出现隐式错误

我正在尝试在Scala中实现Absurd类型类（如Haskell的Data.Boring库中所示）。我可以为Nothing定义一个荒谬的实例。不幸的是，当我尝试定义一个荒谬的...

scala typeclass implicit bottom-type

回答 1 投票 4

我如何为此类型编写可折叠实例？

我定义了以下数据类型：数据SynthesisTreeResult comp a = CompNode（comp a）[SynthesisTreeResult comp a] |我希望能够输入的叶位置...

haskell typeclass fold

回答 1 投票 1

智能构造函数类型可以具有多个有效的Functor实例吗？

关于函子的这两个规则是众所周知的：如果类型参数相反地出现，则不能创建函子。任何类型最多具有一个有效的函子实例，但是如果您作弊，...]

haskell constructor typeclass functor parametric-polymorphism

回答 1 投票 3

在功能性Scala中，将一种参数化类型转换为另一种类型的好方法是什么？

我需要实现从一种数据结构到另一种数据结构的转换：A [B] => C [D]我可以将其实现为一种方法：def transform（in：A [B]）：C [D] = ???但我想在...

scala functional-programming typeclass scala-cats

回答 1 投票 1

typeclass 相关问题

最新问题