Using_typesystem

タイプ操作

type 操作を使用して、クエリでノードのタイプを取得できます。<expr> .type と書くだけです。ここで、<expr> はノードに対して評価される式です。

推論規則および推論方法内で型操作を使用しないでください ! 推論規則は型の計算に使用され、型操作はすでに計算された型を返します。

サブタイプ式

あるタイプが別のタイプのサブタイプであるかどうかを調べるには、isSubtype 式を使用します。isSubtype（type1:<type2）または isStrongSubtype（type1:<< type2）と書くと、type1 が type2 のサブタイプである場合、または type1 が type2 の強力なサブタイプである場合にそれぞれ true を返します。

強制表現

強制発現の結果は、特定のタイプは、所与の形状、すなわちこのタイプの指定されたフォーム（満足ある条件）を有するスーパータイプを有するかどうかに強制することができるかどうかを言うブール値です。条件 は、概念宣言への参照として記述できます。つまり、求められるスーパータイプはこの概念のインスタンスである必要があります。または、求められているスーパータイプが一致する必要があるパターンとして。
強制式は、coerce（type:<condition） または coerceStrong（type:<< condition）と記述されます。ここで、condition は上記で説明したものです。

強制ステートメント

強制ステートメントは、特定のタイプを特定の形式に強制できる場合に実行されるステートメントのリストで構成されます。それは次のように書かれています:

条件を満たすように型を強制変換できる場合は最初の（if）ブロックが実行され、そうでない場合は else ブロックが実行されます。型が強制されるスーパー型は、強制ステートメントの最初のブロック内で使用できます。条件がパターンであり、型が強制変換されるスーパー型の一部に一致するいくつかのパターン変数が含まれている場合、そのようなパターン変数は強制ステートメントの最初のブロック内でも使用できます。

マッチステートメント

match ステートメントは、ノードをパターンと比較します。そのパターンの変数には、一致したノードまたはその子から対応する値が割り当てられます。