typeclass 相关问题

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

尽管函数上下文中有条目，Ghc也无法推断出使用mtl实例

我有一个API，可帮助从大量记录中提取值。这是功能定义之一。其他示例，使用日志记录类型类功能。 -| -统一...

haskell typeclass monad-transformers

回答 1 投票 1

Haskell-重叠实例和转换类型类

我正在编写代码以通过数学逻辑中的定义来实现扩展。它接受语言及其扩展名的描述，并输出一个新的haskell文件，该文件将解析高-...

haskell types typeclass overlapping-instances

回答 1 投票 0

将类型模式匹配转换为类型类

我有以下代码：val byteBuffer = array（0）match {case _：Int => ByteBuffer.allocate（4 * array.length）case _：Long => ByteBuffer.allocate（8 * array.length）case _：...

scala apache-spark functional-programming pattern-matching typeclass

回答 1 投票 2

各种“ ..Instances”编译指示如何协同工作，是否有解决我当前问题的方法？

请考虑以下代码：{-＃LANGUAGE FlexibleInstances＃-} {-＃LANGUAGE UndecidableInstances＃-}类X一个类Y一个实例Y布尔实例（Y a）=> X一个实例{-＃重叠＃-} X Int ...

haskell ghc typeclass

回答 1 投票 0

如何输入字典传递样式？

我知道TS不支持更高种类的类型。作为没有HKT和类型类的语言的替代方法，有字典传递样式：const map =（{map}）=> f => tx => ...

typescript typeclass higher-kinded-types

回答 1 投票 0

如何使用shapeless将存储库客户端抽象为通用存储库模块

[我正在尝试编写一个通用的存储库模块，该模块可以处理不同数量的键。性状Repo [K，V] {def read（key：K）：V}性状DynamoDBRepo扩展了Repo [K，V] {def aRepo [K：...

scala typeclass shapeless path-dependent-type

回答 1 投票 0

通过父类型获取类型类实例

我需要为所有从单个特征派生的一堆案例类提供类型类实例，但是据我了解，Scala编译器期望特定类的实例并且不会增加...]]

scala typeclass implicit

回答 2 投票 0

为什么参数可以接受类型类的任何构造，但是其值不能有条件地构造？

我对Haskell还是很陌生，尽管对编程不是很熟悉，而且我一直在使用req库执行HTTPS请求。为了保留一些通用性，将有两种类型的请求-一种请求...

haskell types typeclass haskell-req

回答 1 投票 5

如何在Kotlin中为数据类指定类型类

在scala中，支持案例类的父类是product，因此我们可以将其用于案例类的多态性。如何为Kotlin中的数据类实现类似的目标？对于yaml ...

kotlin typeclass

回答 1 投票 0

为什么“约束技巧”在此手动定义的HasField实例中不起作用？

我有这个使用镜头和GHC的代码（很怪异）。记录：{-＃LANGUAGE DataKinds，PolyKinds，FlexibleInstances，UndecidableInstances＃-} {-＃LANGUAGE MultiParamTypeClasses＃-} {-＃LANGUAGE ...

haskell typeclass typechecking

回答 1 投票 5

我可以在内置的Isabelle类型类中更改表示法吗

typeclass isabelle

回答 2 投票 2

一个函数中两个多态类的解释器

我具有用于模型和客户端的通用monad的多态代码（请参阅此问题）：import Control.Monad.Writer类Monad m => Model m，其中act :: Client c => String-> ca-> ...

haskell polymorphism monads typeclass tagless-final

回答 1 投票 0

[一个函数中的两个多态类

我使用State monads编写此代码：import Control.Monad.State数据ModelData = ModelData字符串数据ClientData = ClientData字符串act :: String-> State ClientData a-> State ModelData a ...

haskell polymorphism monads typeclass tagless-final

回答 1 投票 1

GHC推断我的模糊类型以使约束成功

[在实现类型级编码树的早期，我遇到了GHC在其类型推断中的特殊行为，当它遇到涉及类型约束的模棱两可的类型时。我...

haskell type-inference typeclass

回答 1 投票 1

是否有很多类会使我的Angular应用程序变慢

在我的angular 7应用程序中，我为模型类型ex创建了200至300个类，例如component.model.ts（仅用于类型检查）。我没有为这些类创建任何对象。当我是...

angular typescript class interface typeclass

回答 1 投票 0

使用无变形从案例类中得出查询字符串参数

我正在尝试派生用于将案例类序列化为查询字符串的类型类。尽管有一个不同之处-列表不是以常规方式编码的（据我所知，“常规”方式是什么）...