我有一个带有a_zu_binaer方法的Binaer类：> a_zu_binaer :: a -> String> instance我该如何解决这个问题？
浏览 14提问于2019-11-03得票数 1
回答已采纳
5回答
根据我所读到的关于Haskell的内容，以及我对GHC所做的实验，Haskell似乎有返回类型重载(又名即席多态)。我认为fromInteger正在从Num的每个实例中返回一个值(某种程度上是不确定的类型)。
这似乎是一种合理的解释，但据我所知，Haskell从来不让我们查看其中的多个实例值(部分归功于)。我们所看到的实际实例<
浏览 5提问于2012-07-10得票数 20
2回答
我想在Haskell中有一个重载的函数。instance Foo (String -> Int) where foo = "world"
然而，这种重载很难处理类型的歧义但是，如果我的实例列表是固定的，那么Haskell不能意识到foo :: String -> a的唯一实例是
浏览 1提问于2015-06-05得票数 4
回答已采纳
1回答
getNext a = if even a then a/2 else (3*a)+1
由于某种原因，这行代码返回一个未解决的重载错误。我已经很长一段时间没有使用Haskell了，所以我可能忘记了一些事情。
浏览 5提问于2015-08-18得票数 4
回答已采纳
我刚刚开始学习来自Haskell的Idris，并且我正在尝试编写一些简单的线性代数代码。 我想为Vect编写一个Num接口实例，但特别是为Vect n a编写一个a具有Num实例的约束。在Haskell中，我会像这样编写一个类型类实例： instance Num a => Num (Vect n a) where (*) ab = (*) <$> a
浏览 20提问于2020-10-29得票数 0
回答已采纳
假设我要在String上定义(+)，但不是通过提供Num String实例来定义的。只要代码中没有调用函数，Haskell就会关心其中有一个歧义。然后，调用带有参数的函数将确定类型，从而可以选择适当的实现。当然，一旦有了实例Num String，实际上就会发生冲突，因为在这一点上，<e
浏览 3提问于2013-02-06得票数 9
1回答
说
adopt多态性是指当一个值能够采用几种类型中的任何一种时，因为它或它所使用的值已经为这些类型中的每一种类型都定义了单独的定义。其他语言(如C++ )允许程序员提供自己的重载，提供单个函数的多个定义，并通过参数类型消除歧义。在Haskell中，这是通过类型类和类实例的系统实现的。尽管名称相似，但Haskell的类型类与大多数面向对象语言的
浏览 2提问于2019-07-18得票数 3
1回答
是否有Haskell库可用于自动区分未装箱的向量？来自Numeric.AD的grad函数需要Traversable的实例，而Data.Vector.Unboxed不需要。
浏览 3提问于2014-03-28得票数 45
1回答
我不太了解Haskell，所以我不知道发生了什么 return()
start = do putStr "\nSelect a coin\n1.
浏览 0提问于2012-06-26得票数 0
回答已采纳
from `Prelude' at problem1.hs:1:1我使用的代码是| otherwise = ((ceiling ((logBase 10 (abs (fromIntegral b))))) Prelude.+ 1)
我是否误解了过载操作人员是如何正确的，还是有完全不同的问题？
浏览 2提问于2016-03-07得票数 0
回答已采纳
枚举“向后二进制”的下列代码bin a = temp (a, 1) temp :: ([Char], Int) -> Int
浏览 2提问于2017-05-30得票数 0
回答已采纳
3回答
在Haskell中，如何重载内置的函数(如!! )？[a] -> Int -> aMyType1 -> MyType2 -> MyType3如果我重载</em
浏览 0提问于2013-08-22得票数 4
回答已采纳
我有一个关于Haskell多态性的问题。不指定输入类型的Parametric：。示例：Overloading：表示命令式编程，即向同一函数传递不同的参数。
我的问题是: Haskell如何处理重载
浏览 121提问于2011-07-10得票数 18
回答已采纳
我有一个类，它预先实现了一个函数(到现在为止)，我想通过实例来使用它，我从Int开始，它没有工作。它会编译，但是当我尝试用fac 3调用函数时，我会得到以下错误：class (Eq a, Ord a, Show a, Num a0 = 1 fac n = fac n
我不明白为什么它不适用于我<em
浏览 0提问于2018-11-15得票数 0
回答已采纳
最近，我使用查看了Haskell。foo :: (Num x) => x -> Stringtest.hs:2:9: from the context：
要加入Num，类型必须已经是Show的朋友。那么，如果Num中的所有内容都是Show和Eq
浏览 6提问于2013-10-11得票数 13
回答已采纳
当我在ghci输入:t 4时4 :: Num t => t4 :: (Ord t || Num t) => t
因为4既是Ord又是Num但Ord和Num没有联系.
浏览 1提问于2016-10-31得票数 4
回答已采纳
为什么编译器不能正确推断x和y的类型？
我读过一些关于Scala的类型推断的文章，但仍然不明白为什么它是不可能的。
浏览 0提问于2013-03-26得票数 3
以下Haskell代码未编译：getMaxBound _ = maxBound :: aCould nottype signature for: at rot13.hs:3:1-36
为什么我不能在Haskell中得到有界类型的maxBound？理想情况下，我应该像这样使用这个函
浏览 1提问于2019-01-19得票数 2
回答已采纳
我在GHCI中执行以下操作：let map = fromList [(1, 2)]GHCI知道map是一个(Map Integer Integer)。那么，当类型明确并且我可以避免时，为什么它声称Prelude.lookup和Data.Map.lookup之间存在歧义呢？ Ambiguous occurrence `lookup'
It could refer to either `Prelude.lookup', imported from Prelud
浏览 0提问于2010-02-01得票数 47
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
腾讯会议
云直播
对象存储活动推荐
腾讯云开发者
