回答情况：
提问时间：
问题标签：
GHC用户指南引用以下示例描述了：f (Just g) = Just (g [3], g "hello")但是，当我在文件中定义这个示例并试图调用它时，我会得到一个类型错误： Couldn't match expected type `forall a. [a] -> [a]
浏览 9修改于2013-01-21得票数 12
回答已采纳
它可以插入不同类型的可存储对象的列表{-# LANGUAGE RankNTypes, ExistentialQuantification, ImpredicativeTypes然后我创建了一些数据类型{-# LANGUAGE RankNTypes, ExistentialQuantification, ImpredicativeTypes
浏览 1修改于2016-07-08得票数 1
回答已采纳
abc"
wantThisToBeTrue = case res of _ -> False
我尝试过使用ImpredicativeTypes
浏览 1提问于2012-01-05得票数 15
回答已采纳
1回答
polymorphic or qualified type: Perhaps you intended to use ImpredicativeTypes
浏览 2提问于2015-01-12得票数 5
回答已采纳
Random a => (a,a) -> a)我认为RankNTypes应该足够了，但是我还没有这样的扩展经验。
提前感谢！
浏览 3修改于2015-10-07得票数 6
回答已采纳
{-# LANGUAGE RankNTypes, ImpredicativeTypes #-}
f = undefined
g :: (
浏览 0提问于2015-07-25得票数 5
对于我和我真正想要的清单来说，最直接的类型是：aList :: [forall a.Show a => a]此外，()ImpredicativeTypes“最好是脆弱的，最坏的是坏的”，它没有编译：
Couldn't match与有问题的ImpredicativeTypes不同，人们可能更喜欢更稳定和更广泛接受的RankNTypes。这基本上意味着:将所需的forall a.
浏览 0修改于2021-02-02得票数 41
回答已采纳
示例：f :: (x, Any) -> (Any, y) -> (x,y)这在{-# LANGUAGE ImpredicativeTypes
浏览 12提问于2015-01-10得票数 3
回答已采纳
因此，我表面上理解了Rank2Types，但当我尝试以下内容时
import Data.Machine
浏览 4修改于2014-03-11得票数 12
回答已采纳
1回答
，我得到了：Perhaps you intended to use ImpredicativeTypes现在，我对这些事情有了足够的了解，知道启用ImpredicativeTypes不是一个好主意。
浏览 1修改于2015-07-20得票数 2
回答已采纳
MVector s a -> ST s ())] -> Vector a -> Vector a{-# LANGUAGE RankNTypes, ImpredicativeTypes #-}
浏览 6提问于2015-09-05得票数 2
回答已采纳
我在看我能用ImpredicativeTypes做什么，并想看看我到底能用它们做些什么。当我跑到我觉得是一些奇怪的行为，当涉及到他们与TypeClasses的互动。
浏览 4提问于2016-07-21得票数 2
回答已采纳
我想出了这样的东西：{-# LANGUAGE GADTs #-}{-# LANGUAGE ImpredicativeTypes
浏览 0提问于2019-06-17得票数 2
回答已采纳
.{-# LANGUAGE RankNTypes, ScopedTypeVariables, TypeOperators, TypeFamilies,ImpredicativeTypes
浏览 0提问于2015-11-03得票数 4
idea实际上，我在的位置和维图斯说的一样：
如果希望将多态函数保留在某些结构中，则需要专门的数据类型(例如，newtype i=i(foralla.a -> a))或ImpredicativeTypes
浏览 8修改于2017-05-23得票数 7
回答已采纳
(succ n0, f n0)与succf f (n, _y) = (succ n, f n)
显示可能需要ImpredicativeTypes
浏览 5修改于2021-05-19得票数 4
{-# LANGUAGE ImpredicativeTypes, ScopedTypeVariables #-}
memo
浏览 3修改于2013-05-29得票数 8
回答已采纳
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号