型システムのデバッグ

型システムをデバッグするために、MPSは型システムトレースを提供します - それは型システムエンジンの中で起こる評価プロセスへのインサイトをあなたに与える統合された視覚的なツールです。

自分で試してみる

型システムを簡単に試すことができるように、専用のサンプル言語を用意しました。MPSにバンドルされている式サンプルプロジェクトを開きます。これは、ユーザーホームフォルダー内のサンプルプロジェクトの中で使用可能になります。

サンプル言語

実験する言語は、いくつかのタイプ、4つの算術演算（+、-、*、/）、割り当て（：=）、2種類の変数宣言、および変数参照を備えた簡易式言語です。エディターは非常に基本的なもため、ほとんどカスタマイズされていません。そのため、式の編集はおそらくかなり荒いものになります。それでも、新しいコードを書くよりも既存のサンプルをインスペクションし、それらのタイプをデバッグすることを期待しているため、スムーズな編集の欠如は課題になりません。

言語はSimpleMathWrapperの概念のおかげでJavaに埋め込むことができますが、言語とBaseLanguageの間の対話は不可能です。

式言語は、2つのブランチにサブタイプ規則によって編成された6つのタイプをサポートします。

要素->数値->フロート->長い-> Int
要素->ブール

型を調べる

シンプルサンプルクラスを開くと、カーソルを式の任意の部分に移動するか、有効な式ブロックを選択できます。Control +Shift + Pを押すとすぐに、ポップアップダイアログに選択したノードの種類が表示されます。

メインサンプルクラスは、型推論が適切な型を変数に正しく伝達する方法を示す、より複雑な例を示します。

計算された型を自分で確認してください。

タイプエラー

TypeErrorサンプルクラスは、型エラーの簡単な例を示しています。コード（Control/Cmd + /）のコメントを外して、報告されたエラーをチェックするだけです。

この変数宣言はその型がIntであることを明示的に宣言しているため、初期化子は型フロートであるため、型システムはエラーを報告します。一番下のステータスバーを確認するか、誤ったコードの上にマウスを移動するとします。

型システムトレース

Control/Cmd + Shift + Xを押すか、ポップアップメニューをナビゲートすると、型システムトレースパネルが右側に表示されます。

トレースは、型システムエンジンが実行したすべてのステップ（たとえば型システム規則）をパネル2に示す。ステップは、実行された順序で上から下に並べられます。ボタン1 _選択済みを使用している場合、パネル2はエディターで選択されているノードのタイプに直接または間接的に影響するステップ（パネル1）を強調表示します。パネル3は、パネル2で選択されたステップの詳細を示します。ステップで型システムエンジンの状態にどのような変更が加えられたかを説明しています。エンジンのワーキングメモリの実際の状態はパネル4に表示されます。

ステップバイステップのデバッグ

シンプルサンプルクラスはおそらく実験を始めるのに最も簡単なものです。型は、言語で指定されている型システムの規則に従って、6つのステップで解決されます。F4 _または_Control / Cmd + Nを使うの「Go to Root Node」コマンドを押すことで、これらの規則を素早く参照することができます。F3は現在のルールの影響を受けているノードにナビゲートします。

変数宣言の型は、初期化子の型のスーパータイプでなければなりません。aValue変数にa型システム変数が割り当てられ、初期化式にb型システム変数が割り当てられ、a> = b（bサブタイプまたはaと等しい型）が作業メモリに追加されます。
算術式の型システム規則に従って、bは番号のサブタイプでなければならず、10にはc変数が割り当てられ、1.3Fにはd変数が割り当てられ、when-concreteハンドラーが追加されてcが計算されます。
浮動小数点定数dの規則に従うと、フロートとして解かれます。
整数定数cの規則に従うと、Intとして解かれます。これにより、ステップ2で登録されたwhen-concreteハンドラーおよび別のwhen-concreteハンドラーがdを待つように登録されます。dはすでにフロートに解決されているため、ハンドラーはb（算術式全体）をトリガーし、フロートとして解決します。これは、b <=数値という以前の式（ステップ2）も解きます。
これでaはフロートとして解くことができます。これはa> = bというステップ1の方程式も解きます。
ツールバーのボタンを押して型展開を有効にすると、最後のステップとして、すべてのノードの具体的な型への最終展開が得られます。

最終更新日: 2020年2月28日

MPS 2019.3ヘルプ