1回答
(some codes here to compare prices between two bikes)
我遇到的问题是实现一个类型类" Traffic“，让Car和Bike成为Traffic的实例。所有实例都将实现一个名为"comparePrice“的函数。
浏览 2提问于2011-10-07得票数 2
回答已采纳
我使用过模块，它使得将记录等Haskell数据结构序列化为人类可读的格式成为可能，并且仍然能够使用read轻松地反序列化它们。输出格式甚至比YAML和JSON更具可读性。使用Text.Show.Pretty的Haskell记录的序列化输出示例 { author = "Plato" , numbers = [123 ]我来自Ruby世界，我知道YAML和
浏览 0提问于2013-04-25得票数 10
回答已采纳
2回答
对于我正在编写的库，我希望能够检索具有Bounded和Enum约束的任何类型的大小，作为类型级别的Nat。其目的是定义类型类型实例，例如：我唯一能想到的其他“解决方
浏览 3提问于2020-02-11得票数 1
回答已采纳
我们知道，编写JUnit测试演示了通过代码实现的一条特定路径。手动编写单元测试是实例证明。他来自Haskell的背景，Haskell拥有像快速检查这样的工具和程序类型行为的原因的能力。
他的意思是，有许多其他的输入组合是未经此方法尝试的，而您的代码没有经过测试。我的问题是:手工编写单元测试是否通过实例来证明？
浏览 0提问于2017-12-22得票数 10
回答已采纳
在我尝试调试的Haskell程序中，定义了一个类： lookupIn :: d -> Word -> String
我想创建一个名为runs的变量，
浏览 1提问于2013-03-08得票数 2
回答已采纳
我对函数式的使用感到困惑类型或类声明的报头格式不正确:流x y flow t flow(s, p) = flow(t+s, p)如果有更多可运行的示例，而不是haskell当我替换示例中的属性时
浏览 0提问于2011-04-03得票数 0
回答已采纳
1回答
如何定义超类？
、、
如何定义Haskell中的超类？我的情况是，我已经定义了一个类StringHashed，它将成员的名称映射为字符串。我希望通过使字符串名简单地返回t来实现Show t中的所有show t。where stringHash = show
但是Haskell抱怨一个无效的实例声明。我也尝试过instance StringHashed (Show t)和</em
浏览 4提问于2014-09-22得票数 4
回答已采纳
我有两个我认为是等价的类型类和实例定义的实现。PureScript版本构建时没有错误，但是Haskell版本在错误Un-determined variables: e, f中失败。我能在Haskell做这件事吗？Haskell:newtype Bar a b = Bar (a, b)
instance (Foo a c e, Foo b d f
浏览 3提问于2021-11-03得票数 4
回答已采纳
如果函数器是这种底层和统一的技术，为什么我必须显式地加载Control.Monad.Instances才能获得该功能。在没有它的情况下(->)是如何实现的(或者只是隐藏并仅导出-> )？
浏览 1提问于2010-11-18得票数 5
回答已采纳
我知道我们可以使用类型类来实现多重继承。我已经写了小的haskell代码，但是无法弄清楚这个问题。如果你在Haskell中提供一些关于多重继承的信息和例子会很有帮助。
参考：
浏览 0提问于2016-04-15得票数 3
契约文档提到了
当模块发出实现时，该模块被称为“实现”所述接口，并且必须提供一个实现。这允许抽象，类似于Java的接口、Scala的特性、Haskell的类型类或OCaML的签名。可以在给定的模块中实现多个接口，允许对行为进行表达性分层。我知道您可以编写一个接口(这对应于在Haskell中声明一个class )，然后您可以为一个或多个模块实现该接口(这对应于Haskell中的instance )。只要函数是Show的实例，就可以编写
浏览 3提问于2022-07-20得票数 1
回答已采纳
3回答
在面向对象的语言(例如Java和Python)中，我们可以从类中生成对象/实例。在Haskell中，我们可以从类型类中创建实例，例如：
classhaskell中意味着什么？在java中，我们可以从类中生成实例，但在haskell中，似乎实例是类型(如ShirtSize)，您可以将类型类函数应用于(例如
浏览 4提问于2017-07-03得票数 20
回答已采纳
5回答
假设您有一个类型的T a，它可以给出一个Monad实例。由于每个monad都是通过赋值Applicative和(<*>) = ap来实现的，然后每个应用程序都是通过fmap f x = pure f <*> x定义的Functor，所以最好先定义Monad实例，然后再给出Applicative和Functor的T实例。我知道Haskell只是受到范畴理论的启发，很明显，在构造证明时使用的技术并不是编写有用程序时使用的技术，但我想从Hask
浏览 6提问于2013-10-28得票数 18
回答已采纳
4回答
如果使用Haskell作为库，从 my C程序调用，那么调用Haskell会对性能产生什么影响？my 1000 actors and have them make a decision based on
// HaskellCode() function, which is compiled Haskell值得关注的是，这些数据可能更大、更大--我还希望编写算法，对大得多的数据集进行操作，使用Haskell代码的几个调用所使用的不变数据模式。我在Haskell之外并行化的理由是，我知道
浏览 8提问于2011-04-14得票数 28
回答已采纳
我是Haskell的新人，以下是我的问题：class MyClass a where然后我有一个更具体的子类：
class (MyClass a我期望在SubClass的定义中设置一个默认的实现，但它没有。我将需要单独定义MyClass的实例，但这听起来很愚蠢。当我知道某些子类明确满足某些属性时，如何实现默认实现？更具体地说，我想用Haskell来表达when a class satisfies some propertie
浏览 0提问于2015-07-24得票数 3
1回答
Haskell一书《Haskell Programming from First Principles》中有一个练习，要求我在数据类型List上实例化Applicative Cons f fs <*> Cons x xs = Cons (f x) ((fmap f xs) <> (fs <*> xs))
我写了上面的代码，发现我必须首先实例化这可以在没有实例Semigroup的情况下实现<
浏览 0提问于2018-10-27得票数 1
我试图在编译时解析一些markdown，并保留它生成的Html实例。通常，我会使用派生的Language.Haskell.TH.Lift.Lift实例执行以下操作： -- Lib.hs但是，当我使用包含Blaze.Html字段的类型尝试此模式时：(我使用的是TemplateHaskell DeriveLift DeriveGeneric扩展，以及template-haskellth-lift和blaze-html包) data MyBadType = MyBadType { f1 :: Html } d
浏览 25提问于2021-01-04得票数 2
我读了一些Haskell的Stack和Queen示例代码(比如：)。他们使Stack和Queen作为国家Monad的实例，使其易于使用。如果可以的话，为什么Haskell不把它作为State的实例呢？我认为因为它是最常用的数据结构，所以如果将它作为State的实例，就很难使用(与直接使用它相比)
浏览 4提问于2021-06-09得票数 0
回答已采纳
云服务器
对象存储
ICP备案
云点播
实时音视频
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号