Rank2Type有利于RankNTypes吗？ [英] Are there any advantages of using Rank2Types in favor of RankNTypes?

问题描述

据我所知，一种可判定的类型检查算法仅存在于rank-2类型中。 GHC是否在某种程度上使用了这个事实，它是否有任何实际意义？

是否还有rank-2类型的主要类型概念和类型推断算法？如果是的话，GHC是否使用它？

Rank-2类型比rank- n 类型有其他优势吗？

解决方案

Rank2Types 是同义词用于 RankNTypes 。所以现在没有rank-2优于rank-n的优势。

As far as I know, a decidable type checking algorithm exists (only) for rank-2 types. Does GHC use somehow this fact, and does it have any practical implications?

Is there also a notion of principal types for rank-2 types, and a type inference algorithm? If yes, does GHC use it?

Are there any other advantages of rank-2 types over rank-n types?

解决方案

Rank2Types is a synonym for RankNTypes. So right now there are no advantages of rank-2 over rank-n.

这篇关于Rank2Type有利于RankNTypes吗？的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！