typeclass 相关问题

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

Summon Aux用于更高级别的类型而不参考原始类型

我试图使用具有更高kinded类型的Aux模式，而不必在之后指定更高级别类型的参数。这类似于此处描述的SO问题但是......

scala generics typeclass type-level-computation

回答 1 投票 2

在Scala中的隐式实例中强制执行优先级

这是对伴侣对象中Scala隐式类型类优先级问题的后续跟进。假设我有两个特征，Trait2扩展了Trait1。每个特征都有一个特定的类型类实例Eq ....

scala typeclass implicit

回答 1 投票 4

从参数自动推断更高通道的辅助参数

在早期的SO帖子中，我问过如何创建使用具有更高kinded类型的Aux模式（这里有一个很好的回复！）。现在根据回复，我试图采取抽象一点但......

scala generics typeclass type-level-computation

回答 1 投票 0

没有方法的类型类，用作约束：它们是否得到字典？

如果我使用类型类来重载方法，那就是在'字典传递样式'中实现的。也就是说，该方法获得一个额外的参数（不会出现在表面Haskell中）;解决 ...

haskell typeclass

回答 1 投票 4

Haskell中依赖于类型变量的默认方法实现

我试图定义默认方法实现，但只有当类的类型变量派生某些其他类时。我尝试使用=>创建依赖于类型的实例（我甚至使用...

haskell typeclass type-constraints default-method overlapping-instances

回答 1 投票 1

（Data.Monoid） - Sum和Product同时导出Bounded和Num？

在Data.Monoid中：newtype Sum a = Sum {getSum :: a} derived（Eq - ^ @since 2.01，Ord - ^ @since 2.01，Read - ^ @since 2.01，Show ...

haskell typeclass monoids deriving

回答 1 投票 2

Purescript联盟行

我一直在尝试使用指定eval函数的Component类型类在Purescript中开发一个组件系统。 eval函数可以由每个子...的组件递归调用。

typeclass purescript row-polymorphism

回答 2 投票 3

为什么GHC不解析'data Wrap f a = Wrap（f a）'的仿函数实例？

在Haskell Programming From First Principles第16.13节中，Wrap数据类型用于演示一种类型，其Functor实例需要对其中一个参数进行类型类约束：data ...

haskell typeclass functor

回答 1 投票 0

Scala中具有两个参数的类型构造函数的函数实例

我有一个带有两个参数的类Foo，我正在尝试为Foo写一个Functor实例，第一个参数是固定的，如下所示：object Scratchpad {trait Functor [F [_]] {def fmap [A ，B]（。 ..

scala typeclass scalaz kind-projector

回答 2 投票 5

对Haskell中类型类和变量赋值的误解[重复]

Haskell非常新，并试图理解类型类和变量如何交互。我的第一件事是：i :: a; i = 1我的期望是，因为我被打字为一般......

haskell types variable-assignment typeclass parametric-polymorphism

回答 1 投票 4

是否可以对类更高的类型的类实例强制执行类型约束？

我有一个这样定义的类型：newtype PrimeSet a = P整数派生Eq我还定义了一个函数，它将一个素数集转换为一个列表，因为它的类型参数是一个积分。 ...

haskell typeclass type-constraints higher-kinded-types

回答 2 投票 3

scala类型类可以有抽象类型成员吗？

我有这种类型：密封特性DbValueOps [T.

scala generics types typeclass abstract-type

回答 2 投票 0

Scala类型类扩展泛型类型：没有为参数找到的含义

我想编写一个类型类，为泛型类型添加一些行为。但是，我无法弄清楚该怎么做;我一直遇到下面的错误。想象一下你有一个通用类型MyList [A]：trait ...

scala generics typeclass

回答 2 投票 0

如何在haskell中使用泛型类型的函数

我有一些代码从队列中读取数据。我希望函数能够将回调函数作为参数，回调函数基本上包含有关如何处理的代码...

haskell typeclass monad-transformers

回答 1 投票 0

Java中的Haskell类型类层次结构

我编写了一个带有类似Haskell类型类的Java接口的库，以及实现所有“可派生”方法的抽象类（例如Monad.join可以使用>> =和return编写）。这是 ...

java inheritance haskell hierarchy typeclass

回答 1 投票 2

我可以使用类的类型注释来决定类的方法的结果类型吗？

我有一些有两个继承人。特质MyTrait [T } MyTraitImpl1类扩展MyTrait [MyTraitImpl1]类MyTraitImpl2扩展MyTrait [MyTraitImpl2]这些......

scala typeclass

回答 1 投票 2

在Coq中递归使用类型类方法

有没有办法使用Coq的类型类的递归？例如，在为列表定义show时，如果要递归调用list的show函数，那么你将不得不使用一个fixpoint ...

coq typeclass

回答 1 投票 4

具有Scala功能的半群

我正在尝试将Haskell Semigroup转换为Scala。 Haskell代码工作正常但我不能在Scala Haskell中编写它：import Data.Semigroup newtype组合b =组合{unCombine ::（a - > b）...

scala haskell functional-programming typeclass semigroup

回答 2 投票 0

如何在Scala中使用具有类型类的路径依赖类型

我在路径依赖类型方面遇到了一些问题。我有一些类型Foo与抽象类型成员F.像Bar这样的实例将提供具体类型。然后有一个类型Baz。我有 ...

scala types typeclass path-dependent-type

回答 1 投票 4

更高程度的高级类型？

我刚刚学会了更高级的kinded类型，但我提供的每个例子都只使用了2度（* - > *） - > *，就像Functor一样。在Scala中，使用了一个奇怪的特征定义，并且......

scala haskell traits typeclass higher-kinded-types

回答 2 投票 2

typeclass 相关问题

最新问题