Haskell Language
RankNTypesによる任意のランクの多型

algorithm C Language C++ clojure F# Java Language GNU/Linux Python Language Regular Expressions Scala Language
サーチ…


前書き

GHCの型システムは、 RankNTypes言語Rank2TypesとRankNTypes言語拡張を使用することで、型内の任意ランク明示的普遍化をサポートしています。

構文

  • RankNTypes言語Rank2TypesまたはRankNTypes言語拡張のいずれかを使用して、任意のランク数量を有効にします。
  • この拡張機能を有効にすると、 forallキーワードを使用してより上位の数量を追加できます。

RankNTypes

StackOverflowは私に1つの例を持たせます。このトピックが承認されたら、ここでこの例を移動する必要があります。



Modified text is an extract of the original Stack Overflow Documentation
ライセンスを受けた CC BY-SA 3.0
所属していない Stack Overflow