1回答
我研究Haskell已经有一段时间了，所以我是个新手。purStrLn $ show [1]putStrLn $ show []Prelude> []Prelude> :t itPrelude>
所以类型似乎是多态的。同样的行为在其他类型中</em
浏览 0提问于2013-04-18得票数 9
回答已采纳
考虑以下示例： f x = xGHC推断f :: a -> a f x = const x g现在GHC推断出f多态递归 size Leaf = 0
size因此，看起来Haskell (GHC)并没有使用多态
浏览 18提问于2014-06-08得票数 18
回答已采纳
5回答
根据我所读到的关于Haskell的内容，以及我对GHC所做的实验，Haskell似乎有返回类型重载(又名即席多态)。我认为fromInteger正在从Num的每个实例中返回一个值(某种程度上是不确定的类型)。
这似乎是一种合理的解释，但据我所知，Haskell从来不让我们查看其中的多个实例值(部分归功于)。我们所看到的实际实例的值也可以静态地确定。由于所有这些，似乎可以合理地说，在表达式fd (fromInteger 5)中<
浏览 5提问于2012-07-10得票数 20
1回答
按类型索引的类型族.类型构造函数、类型族中的参数多态性
取决于类型或多态性的术语。系统F，也就是二阶lambda演算(在图中写成λ2 )，是通过强加这个性质得到的。Haskell在术语和类型以及类型擦除之间有很强的区别，因此在OOP (如typeof(a)或b.GetType() )
浏览 4提问于2015-07-01得票数 4
回答已采纳
3回答
当我第一次学习Haskell时，我很快就爱上了参数多态性。这是一个令人愉快的简单的想法，效果令人吃惊。整体的“如果它编译它通常是正确的”的事情主要是由于参数多态，IMHO。我可以将foo写成一个多态函数。但是，当bar调用foo时，它将使用一组特定的参数类型进行调用。或者，如果bar本身是多态的，那么它的调用方将指定明确的类型。通过归纳，似乎如果您要使用任何有效的Haskell程序并分析整个代码基，您可以静态地确定整个程序中每一个事物的类型。
从某种意义上说，这有点像C
浏览 6提问于2012-05-10得票数 30
回答已采纳
它们从字符串中读取n个元素，可以是Int，也可以是Float。我怎样才能把公共代码分解出来呢？我不知道Haskell中有什么机制支持将类型作为参数传递。[1..n] next (lst, x:xs) _ = (lst ++ [v], xs) v = read x :: Float
我是Haskell
浏览 0提问于2012-04-06得票数 8
回答已采纳
为什么我可以这样做：但当我尝试时：let b = 2.0 Couldn't match expected它有没有把你绊倒过？
附言:我知道"1“和"2.0”是多态常量。这并不是我担心的问题。让我担心的是，为什么haskell在第一种情况下做一件事，而在第二种情况下做另一件事！
浏览 20提问于2011-11-25得票数 17
回答已采纳
1回答
根据在我的PL中的程序中编写的内容，在我的语言的运行时，我希望将不同类型的Haskell函数动态应用于不同类型的Haskell值(它们的类型在运行时是已知的)，其类型在运行时是已知的。有没有用Haskell写的做类似事情的语言的例子，我可以学习他们的方法？一个复杂的问题是: Haskell函数和值需要在浮点数上是多态的，因为我在Haskell a
浏览 4提问于2018-02-03得票数 2
2回答
OCaml显式类型签名
、、、
在Haskell中，显式声明函数的类型签名被认为是一个很好的实践，尽管它(通常)可以被推断出来。在OCaml中，这似乎是不可能的。在OCaml中这是不可能的吗？
如果是，为什么？OCaml的类型系统似乎与Haskell并没有那么大的不同。
浏览 2提问于2011-05-14得票数 38
回答已采纳
我想知道在Haskell中人们是如何做到这一点的？在Haskell中是否存在部分专业化的等效概念？在C++中，我可以使用一个特殊的通用map/hash_map容器的特殊函数来部分专门化通用的交换函数，该容器具有一个特殊的交换方法，用于O(1)容器交换。你如何在Haskell中做到这一点，或者在Haskell</em
浏览 1提问于2008-12-18得票数 11
回答已采纳
我之所以选择使用Haskell是因为它的。这给了我更多的信息在编译时，我的程序，帮助我有信心，它是健全的。read :: (Read a) => String -> aaddFive :: Int -> Int putStrLn (read "11")
我得到
浏览 2提问于2014-04-26得票数 0
回答已采纳
3回答
OCaml中的弱多态性
、、、
我对OCaml中的弱多态性感到有点困惑。cache with | None -> cache := Some x; x)编译器推断出弱多态类型'_a -> '_a，而且，cache似乎是在remember调用之间共享的。为什么编译器在这里推断一个弱多态类型，为什么cache是共享的？在本地使用。
浏览 3提问于2013-07-29得票数 7
回答已采纳
我是哈斯克尔的新手，同时我也在努力学习。shouldBe` ([], []) }’ it "0 elements" $ do { halve [] `shouldBe` ([], []) }
当我在ghci
浏览 6提问于2014-11-16得票数 2
1回答
阅读维基百科对的定义，我提出了一个问题：看起来维基百科不包含一些多态性类型的描述，比如，这对我来说是新的，并且在Haskell中得到了支持。看起来主要的两个是：
Ad多态性
浏览 1提问于2019-05-27得票数 7
回答已采纳
将通用类型Num a => a分配给2而不是缺省为某个特定类型(如Int或Integer )背后的基本原理是什么
其次，我在很多地方都读到过2是一个多态的值，但是多态的定义不允许使用约束变量。那么2在Haskell中是多态的吗？
浏览 0提问于2016-11-13得票数 1
1回答
我想我在Haskell类型推断上有问题。
我创建了自己的数据类型，并将其作为Read类的实例。我的数据类型实际上是接受另一个类型作为参数，它是一个类型参数。如何告诉haskell推断read的类型与插入参数的类型相同？
浏览 0提问于2012-11-26得票数 1
回答已采纳
foldr (*) 1 xsnew_product = foldr (*) 1new_product = \xs -> foldr (*) 1 xs
没有因使用
浏览 3提问于2016-08-25得票数 2
我在学习Haskell。这是我写过的第一个程序，我只是想做一个简单的函数，返回给定参数的乘积。mult :: Float -> Float -> Floatmult 4 5 == 20.0我可以做一个多态的mult 函数，它接受任何数字类型吗为什么解析器会从一个也与其他类型一起工作的函数中推断出Integrer ？
到目前为止，我还没有找到答案，但这似乎是一个简单的问题。我会感激你的帮助。
浏览 2提问于2017-03-16得票数 0
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
云直播活动推荐
腾讯云开发者
