- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我刚刚开始学习 Haskell。由于 Haskell 是静态类型并且具有多态类型推断,因此恒等函数的类型为
id :: a -> a
建议 id 可以采用任何类型作为参数并返回自身。当我尝试时效果很好:
a = (id 1, id True)
我只是假设在编译时,第一个id是Num a::a -> a,第二个id是Bool -> Bool。当我尝试以下代码时,出现错误:
foo f a b = (f a, f b)
result = foo id 1 True
它表明 a 的类型必须与 b 的类型相同,因为它可以很好地工作
result = foo id 1 2
但是 id 参数的类型可以是多态的,因此 a 和 b 可以是不同的类型吗?
最佳答案
好吧,这是 Haskell 类型系统的一个奇怪的角落。这里的问题是有两种方法可以输入推理函数 foo
.
-- rank 1
foo :: forall a b. (a -> b) -> a -> a -> (b, b)
foo f a b = (f a, f b)
-- rank 2
foo' :: (forall a. a -> a) -> a -> b -> (a, b)
foo' f a b = (f a, f b)
第二种类型是您想要的,但第一种类型是您得到的。正如 amalloy 所指出的,第二种类型是 2 级类型(我们将忽略这两者的含义,但如果您想要对等级有一个很好的解释,请阅读 "Practical type inference for arbitrary-rank types" 中的介绍 – 不要被PDF 文件的学术性质作为开头,写得易于理解且清晰)。
我们暂时推迟更高等级类型的定义,只是说问题是 GHC 无法推断等级 2 类型。引用论文:
Complete type inference is known to be undecidable for higher-rank (impredicative) type systems, but in practice programmers are more than willing to add type annotations to guide the type inference engine, and to document their code....
Kfoury and Wells show that typeability is decidable for rank ≤ 2, and undecidable for all ranks ≥ 3 (Kfoury & Wells, 1994). For the rank-2 fragment, the same paper gives a type inference algorithm. This inference algorithm is somewhat subtle, does not interact well with user-supplied type annotations, and has not, to our knowledge, been implemented in a production compiler.
不可判定意味着不存在总是能得出正确的是或否决策的算法。所以你就知道了:不可能推断出 3 级或更高的类型,而且推断出 2 级类型也太难了。
现在,回到排名 2。(forall a. a -> a)
这就是它排名第二的原因。 There's already an excellent Stack Overflow question about what the forall
keyword means所以我会向您推荐这一点,但这基本上意味着您可以调用 f a
和f b
在表达式 (f a, f b)
中同时有a
和b
是不同的类型,这就是你在所有这些困惑之前首先想要的。
最后一件事:您通常看不到 forall
的原因GHCi 中的 s 是任何 forall
最外层范围上的 s 被忽略。所以forall a b. (a -> b) -> a -> a -> (b, b)
相当于 (a -> b) -> a -> a -> (b, b)
.
总的来说,这是语言的一个痛点,而且解释得不好。
(在评论中向@amalloy 致敬。)
关于haskell - Haskell 类型推断令人困惑,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/36587571/
我正在尝试编写一个相当多态的库。我遇到了一种更容易表现出来却很难说出来的情况。它看起来有点像这样: {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE
谁能解释一下这个表达式是如何工作的? type = type || 'any'; 这是否意味着如果类型未定义则使用“任意”? 最佳答案 如果 type 为“falsy”(即 false,或 undef
我有一个界面,在IAnimal.fs中, namespace Kingdom type IAnimal = abstract member Eat : Food -> unit 以及另一个成功
这个问题在这里已经有了答案: 关闭 10 年前。 Possible Duplicate: What is the difference between (type)value and type(va
在 C# 中,default(Nullable) 之间有区别吗? (或 default(long?) )和 default(long) ? Long只是一个例子,它可以是任何其他struct类型。 最
假设我有一个案例类: case class Foo(num: Int, str: String, bool: Boolean) 现在我还有一个简单的包装器: sealed trait Wrapper[
这个问题在这里已经有了答案: Create C# delegate type with ref parameter at runtime (1 个回答) 关闭 2 年前。 为了即时创建委托(dele
我正在尝试获取图像的 dct。一开始我遇到了错误 The function/feature is not implemented (Odd-size DCT's are not implemented
我正在尝试使用 AFNetworking 的 AFPropertyListRequestOperation,但是当我尝试下载它时,出现错误 预期的内容类型{( “应用程序/x-plist” )}, 得
我在下面收到错误。我知道这段代码的意思,但我不知道界面应该是什么样子: Element implicitly has an 'any' type because index expression is
我尝试将 SignalType 从 ReactiveCocoa 扩展为自定义 ErrorType,代码如下所示 enum MyError: ErrorType { // .. cases }
我无法在任何其他问题中找到答案。假设我有一个抽象父类(super class) Abstract0,它有两个子类 Concrete1 和 Concrete1。我希望能够在 Abstract0 中定义类
我想知道为什么这个索引没有用在 RANGE 类型中,而是用在 INDEX 中: 索引: CREATE INDEX myindex ON orders(order_date); 查询: EXPLAIN
我正在使用 RxJava,现在我尝试通过提供 lambda 来订阅可观察对象: observableProvider.stringForKey(CURRENT_DELETED_ID) .sub
我已经尝试了几乎所有解决问题的方法,其中包括。为 提供类型使用app.use(express.static('public'))还有更多,但我似乎无法为此找到解决方案。 index.js : imp
以下哪个 CSS 选择器更快? input[type="submit"] { /* styles */ } 或 [type="submit"] { /* styles */ } 只是好
我不知道这个设置有什么问题,我在 IDEA 中获得了所有注释(@Controller、@Repository、@Service),它在行号左侧显示 bean,然后转到该 bean。 这是错误: 14-
我听从了建议 registering java function as a callback in C function并且可以使用“简单”类型(例如整数和字符串)进行回调,例如: jstring j
有一些 java 类,加载到 Oracle 数据库(版本 11g)和 pl/sql 函数包装器: create or replace function getDataFromJava( in_uLis
我已经从 David Walsh 的 css 动画回调中获取代码并将其修改为 TypeScript。但是,我收到一个错误,我不知道为什么: interface IBrowserPrefix { [
我是一名优秀的程序员,十分优秀!