Haskell中的类型类是支持ad hoc多态的语言机制。它们也存在于Scala，Coq和Isabelle中。
我正在尝试使用symulacrum的@typeclass来避免编写Ops / Syntax样板。我有一个参数化效果和类型的特征：@typeclass trait关闭[F [_]，T] {def close（t：T）：F [Unit]} ...
*用户>：t sqrt sqrt ::浮动a => a - > a我不明白什么浮动a => a - > a试图告诉我。我的教授告诉我sqrt可以被认为像sqrt :: Double - > ...
试图理解这些参数化类型如何在Haskell中工作，例如：数据列表a = Nil | Cons a（列表a）数据a b = Left a |右b数据树a = Nil |节点a（树a）（树a）......
我正在尝试制作一个井字游戏，我决定构建单元格（板的元素）和板的类型如下：data Cell = X | O派生（Show，Eq）类型Board = [[Maybe Cell]] ...
我正在编写一个Haskell函数，它以列表作为输入。也就是说，没有理由它不能成为队列或出队，或任何允许我访问其“头”及其“尾巴”的东西（并检查是否...
可能重复：制作（a，a）一个Functor我编写了以下quicksort实现：import Data.List（partition）quicksort [] = [] quicksort（x：xs）= let（small，notSmaller）= ...
我试图通过类型类添加诸如“通过标量乘法”的方法到Array [T]，以模仿numpy功能。我看了一个例子，它有效并添加了一个没有参数的“show”方法......
我试图了解如何在实例上下文中添加约束来更改Haskell中的实例解析。在这个例子中：类C a其中f :: a - > [Char]实例{ - ＃OVERLAPPABLE＃ - } ...
我一直在反对这一点，我无法弄清楚是否有办法正确地做到这一点。我觉得我知道问题是什么，但不知道如何解决它。我有一个方法：隐式def ...
使用类型类比继承更重要的是什么？这是一个通过上下文绑定使用Monad类型类的函数：def f [A：Monad]（x：A）= ??? （是的，我们现在得到flatMap方法）这个，......
data CanBe a =是一个|丢失派生（Show，Ord）实例Eq（CouldBe m）其中Is x ==是y = x == y Lost == Lost = True _ == _ = False给出错误：没有（Eq m）的实例来自...
仍然不是百分之百地避免如何制作更复杂类型的实例。有这个：数据可以a =是一个|丢失派生（Show，Ord）制作了一个Functor实例，使用Maybe作为...
在来自First Principles的Haskell Programming的练习中，它首先通过为它创建一个newtype来声明TooMany的类型（Num a，TooMany a）=>（a，a）的实例。我的问题是......
要设置场景，这里有一堆我们将使用的语言扩展，以及CLaSH的一些简化定义：{ - #LANGUAGE GADTs，StandaloneDeriving＃ - } { - #LANGUAGE TypeOperators，DataKinds，...
我是Haskell的新手，所以请事先原谅我。为什么以下的haskell代码没有编译？似乎编译器以某种方式未能看到表达式的类型（maxBound :: a）是...
假设我有一个case类定义如下：case class User（name：String，age：Int）我想覆盖它的toString方法，如下所示：case class User（name：String，age：Int）{...
为什么`succ i`在`i :: Num a => a`（而不是'Enum a`）中有效？
这似乎适用于GHCi和GHC。我将首先展示一个GHCi的例子。给定i类型已被推断如下：Prelude> i = 1 Prelude>：t i i :: Num p => p鉴于succ是...
Scala for-comprehension with Option and Some，由ReaderT包装
下面是一个工作正常的示例：import cats.data.ReaderT import cats.instances.option._ ... def f1：ReaderT [Option，Service，Int] = ReaderT（service => for {res
我试图捕捉这样一个事实，即在Isabelle / HOL的任何幂等半环中存在诱导的部分排序，但是我在制定最佳/正确的方法时遇到了麻烦。我定义：class ...
我正在尝试为国际象棋游戏进行基于属性的测试。我已经设置了以下类型类Monad m => HasCheck m其中isCollision：...