typeclass 相关问题

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

确保隐式定义始终具有较高/较低优先级的一般方法

我在以下格式中有一个比较复杂的类型类情况：密封特征TypeClass [S

scala typeclass implicit

回答 1 投票 2

如何为Scala隐式定义确保更高/更低的优先级？

我在以下格式中有一个比较复杂的类型类情况：密封特征TypeClass [S

scala typeclass implicit

回答 1 投票 1

重叠多参数实例和实例特异性

{{-＃LANGUAGE MultiParamTypeClasses＃-} {-＃LANGUAGE FlexibleInstances＃-} {-＃LANGUAGE FlexibleContexts＃-}模块OverlappingSpecificsError其中，类EqM ab其中（===）:: a-> b-> ...] >

haskell typeclass overlapping-instances multiparameter

回答 2 投票 0

此仿函数标记类类型的名称是什么？

我注意到，我有很多函数可以在我的值中添加某种标记。例如，请考虑以下两个数据类型：名为a的数据=名为a的字符串...

haskell typeclass functor

回答 1 投票 4

Haskell访问类型类参数问题

这可能是一个简单的问题，但我找不到以下答案：如何访问自定义类型的参数？可以说我的代码是这样的：（anotherFunc仅在这里帮助我...

list haskell recursion parameters typeclass

回答 1 投票 -2

[使用DefaultSignatures时无法解析类型

我正在为一系列实例使用默认定义。 GHC由于某种原因无法解析类型。 {-＃语言DefaultSignatures＃-} {-＃语言DeriveAnyClass＃-} {-＃语言...

haskell typeclass

回答 1 投票 0

typeclass默认方法实例中的歧义类型解析

为什么以下代码无法正确键入？ {-＃LANGUAGE AllowAmbiguousTypes，MultiParamTypeClasses＃-}模块主类，类接口a b c，其中get :: a-> [b] change :: b-> ...

haskell types type-inference typeclass

回答 1 投票 3

F型有界多型在返回类问题上的优势

返回当前类型的问题通常在StackOverflow上询问。这是一个这样的例子。常见的答案似乎是F界多态性或类型类模式解决方案。奥德斯基...

scala typeclass f-bounded-polymorphism return-current-type

回答 1 投票 2

具有量化约束的Ord（forall a。Ord a => Ord（f a））

有了量化约束，我可以得出方程（A f）很好吗？但是，当我尝试导出Ord（A f）时会失败。当约束类具有...

haskell typeclass derived-class quantified-constraints

回答 1 投票 2

Haskell无法获得我的功能依赖项

我正在尝试创建一个实现基本队列行为的队列类型类。我的代码如下：{-＃LANGUAGE MultiParamTypeClasses＃-} {-＃LANGUAGE FunctionalDependencies＃-}数据QueueA a = ...

haskell constraints typeclass functional-dependencies

回答 2 投票 2

Applicative类型类的实例的要求与它们对Functor的实现有何关系

根据Haskell的库文档，Applicative类的每个实例必须满足以下四个规则：身份：纯id v = v成分：pure（。）u v

haskell typeclass functor applicative

回答 1 投票 0

为新类型重用MArray实例

我有很多这样的新类型：newtype MyBool = MyBool Bool newtype MyInt = MyInt Int我想重用现有实例：instance MArray IOUArray Int IO，其中... instance MArray（...

haskell typeclass newtype deriving

回答 2 投票 4

创建完全依赖的并置

关于串联的一个不错的真实事实是，如果我知道方程式中的任何两个变量：a ++ b = c那么我知道第三个变量。我想在我自己的concat中捕捉到这个想法，所以我使用了功能性的...

haskell typeclass functional-dependencies type-level-computation

回答 1 投票 7

类结构的设计模式

我的目标是以优雅和高效的方式表示一组具有相似行为的类型。为了实现这一点，我创建了一个使用单一类型的解决方案，然后使用一组...

haskell design-patterns pattern-matching typeclass

回答 1 投票 1

创建包含列表的数据类型并在其上定义函数

非正式地说，我创建了一个数据类型Tdict，其中每个实例都是一个对列表，并且每个对都由一个String和一个String列表组成；在其他语言中，我将使用哈希，映射...

haskell types typeclass

回答 1 投票 1

如何从TypeClass解析中排除特定类型？

我想为大多数类型提供ToCondition操作，但不为字符串提供。（这是在移植Javascript代码时，非常经常执行非null和非零的测试，这很乏味...

scala typeclass type-constraints

回答 2 投票 2

委托一个更特定的上下文绑定（附加的隐式参数）

[我正在尝试创建一个具有两个实现的ZIO模块示例：将YAML与circe-yaml一起使用将HOCON与pureConfig一起使用我的常规接口如下所示：trait Service [R] {def ...

scala typeclass implicit circe scalaz-zio

回答 2 投票 3

变量名称与Scala中的类型构造函数名称相同

[我正在观看John De Gos的“ FP to the Max”视频。在代码中，他做了这样的事情来获取隐式对象：object Program {def apply [F [_]]（implicit F：Program [F]）：Program [F] = F ...

scala functional-programming typeclass

回答 1 投票 0

Haskell将adt作为xml设计问题

我是haskell的初学者，在玩具项目中碰壁。我只是想对一个单元和一个容器建模，该单元和容器可以将单元和容器作为成员。我想序列化单元和...

haskell functional-programming xml-serialization typeclass abstract-data-type

回答 1 投票 0

带函子的数字映射

我想在Functor上映射案例类Bonus [A：Numeric]（amt：A），但失败。编译错误为错误：（157，69）找不到类型为Numeric [B]（No ...

scala typeclass functor

回答 2 投票 3

typeclass 相关问题

最新问题