Using_typesystem

タイプ操作

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

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

サブタイプ式

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

強制表現

coerce 式を使用すると、型の形式を変更できます。特定の型を特定の形式に強制変換できる場合、つまり、この型に特定の形式を持つ (特定の条件を満たす) スーパータイプがある場合、coerce 式はそのようなスーパータイプを返します。条件は、概念宣言への参照として記述できます。この場合、求められるスーパータイプはこの概念のインスタンスである必要があります。または、求められるスーパータイプが一致する必要があるパターンとして記述できます。

強制式は、coerce（type:<condition） または coerceStrong（type:<< condition）と記述されます。ここで、condition は上記で説明したものです。

強制ステートメント

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

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

マッチステートメント

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