回答情况：
提问时间：
问题标签：
我正在为做作业。类型类Expr用于表示表达式，而类型类HasVars用于任何包含变量的表达式。class Expr a where mul :: a -> a -> a下面是Expr for Integer的代码。 add m n = m
浏览 2修改于2014-07-23得票数 2
回答已采纳
因此，我有一对类型类，我将经常一起使用它们，我希望避免每次都指定这两个类。基本上，而不是把在我所有类型规范的开头，我宁愿把因此，我最初的想法是声明一个新的类型类
example
浏览 0提问于2008-11-20得票数 23
回答已采纳
在下面的示例中，调用函数以构造实现某些类型类(例如deserialize )的实例的首选方法是什么：@typeclass trait Encodable._
// is it best practise to define a function like this for all constructor-like functions in the typeclass
浏览 0修改于2018-03-07得票数 0
回答已采纳
在软件基础"QuickChick“的第4卷中，我们有以下摘录：{}.
(* So I am trying to do it *)
{
le := fun (opt1 opt2 : option A) =&
浏览 1提问于2020-08-06得票数 0
回答已采纳
我刚刚意识到，函数有Monad、函子和应用程序的实例。有人能解释一下这些例子吗？您通常会听说List和可能的实例，到目前为止，这对我来说是很自然的，但是我不明白函数怎么可能是函子，甚至是Monad。fmap (+) (+) 1 (+1) 1
浏览 3修改于2017-04-12得票数 2
回答已采纳
从一些简单的代码开始： def move(a: A): Atrait Animal {} implicit object CatMoveable extends Moveable[Cat] { }case class Cat(pos
浏览 4修改于2017-05-23得票数 1
回答已采纳
我正在与Scala2.12做一些斗争：trait A
def write(config: A): Unit
override def write(config: A) = println("hi")writer.write(w)val writer = new Writer
浏览 8修改于2021-12-16得票数 0
回答已采纳
我是Haskell的新手，为了变得更好，我正在试着做一个简单的web服务器。我想让我表示页面的方式是可扩展的，所以我的想法是使网页成为可呈现数据的列表(就像如何在Java中创建实现某个接口的对象列表)，其中 render :: a -> IO StringmyPage =
浏览 0提问于2012-10-08得票数 13
回答已采纳
我正在尝试实现一个函数，该函数可以在具有map和flatMap方法的类型上工作。我已经为Traversable制作了它，但这并不直接包括Future和Option。因此，我决定使用我自己的界面，使用一个类型类型： def map[B](l: M[A])(f: A => B): M[B]} implicit def canmapopt[A] = new CanMap[A, Option] {
de
浏览 3修改于2020-06-20得票数 3
回答已采纳
我正在试图理解要将代码放入带有Yesod中持久化的数据库的函数所使用的正确的类型约束。为了使事情具体化，我有一个功能： runDB $ insert obj我想弄清楚它应该是什么类型的签名。我很确定这应该是SomethingPersist应该是什么？我很高兴能被指向解释持久类型的文档，但我无法从Yesod的书中找到它。
浏览 2修改于2013-12-08得票数 1
回答已采纳
假设我有一个用来显示实例的Display[T] { apply(t: T): Unit }类型类(我有String、Int等的实例)。我还有一个将T转换成TCWithDependentType#DependentType的TCWithDependentType[T] { type DependentType ; def apply(t: T): DependentType }。 我正在尝试显示DependentType的实例，但它无法工作，因为编译器找不到Display[TCWithDependentType#DependentType] (我假设它就是这个)实例(即使它在编译时应该是已知的
浏览 32修改于2021-10-25得票数 0
我正在尝试做一些类似于的事情。class Wrapper f where unwrap :: f a -> a然后定义 parseJSON (String s) = wrap <$> pure (fromString $ unpack s)
parseJSON inv
浏览 0提问于2018-06-29得票数 3
回答已采纳
我试图抽象出为特定类型触发的json解析逻辑。trait Parser {}class JsonParser extends Parser {
private def parseInternal[T:JsonParserLike](payload:Stri
浏览 0修改于2018-07-16得票数 4
回答已采纳
我正在尝试编写一个类型化的类型化程序，它可以使用persistent、aeson和scotty简化CRUD后端的编写。runDB x = liftIO $ do info <- mysqlInfo getBasePath :: a -> String
浏览 0提问于2013-04-11得票数 9
回答已采纳
在回答我的问题之前，让我陈述一下我的理解(也许是不正确的)，即列表[]是一种更友好的类型：[] :: * -> *现在来回答我的问题。 bar :: String -> ainstance Foo [String] where
bar []
浏览 1提问于2014-10-09得票数 2
回答已采纳
我试图在偏序集上定义字符串上的字典顺序，但我不完全确定如何使用PartialOrder类型集。 | lnil: forall l, lex_leq nil l forall (hd1 hd2 : A) (tl1 tl2 : list A),
hd1 <= hd2 ->
浏览 2修改于2017-06-18得票数 1
回答已采纳
在我看来，您似乎总是可以传递函数参数，而不是使用类型类型。例如，与其定义平等类型，不如： (==) :: a -> a -> Boolelem :: (Eq a) => a -> [a] -> Bool
浏览 2提问于2020-04-16得票数 18
回答已采纳
你好，在做真实世界Haskell书中的例子时，我遇到了这个例子，我无法理解它的含义以及它是如何工作的：在这种情况下，我应该翻译为：“对于SymbolicManip类型的Num实例，a类型的字段有一个约束，即：a是Num本身的一个实例”？有人能告诉我我是正确的解释还是解释？-- The "operators" that we're going to support
data Op = Plus | Minus |
浏览 0提问于2018-07-10得票数 2
回答已采纳
我是Haskell的新手，正在尝试创建一个带有实例的类。data Branch a = Branch a Integer deriving (Show, Eq)
length :: (Num a) => l -> a
length (Br
浏览 0提问于2012-07-19得票数 3
回答已采纳
我正在将中的Haskell代码翻译成Scala，以便自己学习。我用这样的方式翻译了"class Semiring“(第2页)： def zero: S def add(a: S, b: S): S } trait SemiringI[S] extends Semiring[S] { }
然后，我必须为特定类型的参数提供实例，所
浏览 0提问于2019-05-12得票数 0
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号