typeclass 相关问题

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

如何在Haskell中以某种方式操作类？

我正在尝试重新排列副牌（或纸牌之手）的顺序。本质上是洗手。即，我想将fullDeck随机排列。但是，由于我还是... ...>

haskell typeclass

回答 1 投票 0

如何将这个封闭类型族与一个依赖类型类结合在一起

我的问题，我有以下类型家族，可将参数从函数中分离出来：类型家族SeparateArgs（a :: Type）::（Type，[Type]）其中SeparateArgs（a-> b）= ...

haskell typeclass dependent-type type-families type-level-computation

回答 1 投票 6

什么是“ Integer”类型的适当值，我可以写一个吗？也是newtypes

Haskell 2010报告第6.4.1节说，整数文字表示从fromInteger函数到Integer类型的适当值的应用。那“合适的值”看起来是什么...

haskell typeclass newtype

回答 1 投票 0

我如何编写调用runStateT或runReaderT的函数run？

我如何编写一个通用函数运行，该函数运行某个monad转换器的对象，并调用相应的函数？给定运行s，如果s是StateT，则run = runStateT如果s是ReaderT，则run = ...

haskell monads typeclass monad-transformers

回答 2 投票 0

自定义ZipList的实现适用

haskell typeclass applicative algebraic-data-types custom-data-type

回答 2 投票 3

自身数据类型-它们与本机类型之间的转换

我需要创建自己的数据类型来表示自然数。数据类型如下定义（预定义）。此外，我需要创建在本机...之间进行转换的函数...

haskell instance typeclass custom-type

回答 1 投票 0

如何为具有两个参数的类型实例化Functor？

背景。在我的课程之一中，我们一直在探索Parser monad。解析器monad通常定义为新类型解析器a =解析器（String-> [（a，String）]）或新类型解析器a ...

haskell functional-programming typeclass functor parameterized-types

回答 1 投票 1

如何在Scala中正确使用歧义隐式进行类型求反

我最终要做的是为某个特定类型T提供类型类的一种实现，而为非T的所有其他类型提供另一种实现。我认为（可能不正确）...

scala typeclass type-systems type-level-computation

回答 1 投票 3

检查范围是否在Scala中包含值的通用方法

我想编写一个通用类，该通用类包含一个范围的端点，但是该通用版本会引发编译错误：value> =不是类型参数的成员最后一种情况是MinMax [...

scala generics typeclass

回答 1 投票 3

检查范围是否包含值的通用方法

我想编写一个通用类，该通用类包含一个范围的端点，但是该通用版本会引发编译错误：value> =不是类型参数的成员最后一种情况是MinMax [...

scala generics typeclass

回答 1 投票 1

对方法的约束取决于作用域中的实例吗？

考虑此代码：{-＃语言FlexibleInstances，UndecidableInstances＃-}模块Y，其中类C m，其中x :: m实例{-＃可重叠＃-} Monoid m => C m，其中，x = mempty ...

haskell type-inference typeclass

回答 1 投票 3

具有多个类型的类型的Functor实现

假设我有：特征Get [F [_]，A，B] {def get（a：A）：F [B]}我希望能够映射到结果类型B，即我想能够做到：val getFoo：Get [IO，String，Foo] = ??? val foo2Bar：Foo ...

scala typeclass scala-cats higher-kinded-types higher-order-types

回答 1 投票 1

约束中的非类型变量参数：Enum A => Ord A

我是Haskell的新手。我想使用Enum类为自定义数据类型实现Ord类。如果我实现Enum类并在实现中直接使用fromEnum函数，则效果很好...

haskell typeclass

回答 1 投票 0

type class NumberLike实例不带形状

我想引入一个具有比较编号的类型类，例如类型，但还要有日期。这是我的类型类：trait NumberLike [A] {def lessThenOrEqual [B]（a：A，b：B）：布尔值def moreThenOrEqual [...

scala types functional-programming typeclass

回答 1 投票 0

type class NumberLike

scala types functional-programming typeclass

回答 1 投票 0

Haskell TypeClasses派生规则和不带方法的类

我试图更深入地了解Haskell中的Global Variables范式，我作为练习练习了https://kodu.ut.ee/~nestra/eng/splst11.pdf。我要做的第一件事是重写...

haskell types typeclass

回答 1 投票 1

了解数据类型，类型类的签名，并作出数据类型的类型类的一个实例

在阅读了解你的Haskell对于一个极大的利好！并与理解实例和那种大麻烦。 Q1：所以在豆腐类型T T [作为与实物签名（*功能 - >（* - > ...

haskell typeclass type-kinds

回答 2 投票 1

如果`zip`是一个合法的类型类，它的那么的方法？

为什么这个问题有人可能会说，拉链是应用型，通常的情况是ZipList的方法。我很不高兴，因为它是不安全的。我不满意对齐也是如此，因为它是由...

haskell typeclass

回答 1 投票 4

Haskell - 过滤类型类

是否存在一个抽象过滤函数的类型类？我正在考虑像Filterable类这样的东西，其中filter ::（a - > Bool） - > t a - > t a如果不是这样，那么......

haskell filter typeclass

回答 2 投票 4

类型类函数的显式forall

从ghc-8.0开始，我们有一个非常好的扩展名为TypeApplications。这允许我们而不是：λ> show（5 :: Int）“5”这样做：λ>：set-XTypeApplicationsλ> show @Int 5 ...

haskell typeclass forall

回答 1 投票 10

typeclass 相关问题

最新问题