Hacklangコマンドラインプログラム厳密モード

Question

ハックの厳密モードでコマンドラインプログラムを作成する方法はありますか？HACKの厳密モードでは、関数外のステートメントを許可しないため、main関数を呼び出すことができません。

（これは、主な関数を呼び出すための非厳密なファイルを持つことによって問題を回避することが容易なので理論的な質問です。）

Answer 1

この制限により、プロジェクト（コマンドラインプログラムなど）100％を書くことはできません。実際には、Toplevel（「疑似文」）にいくつかのブートストラップコードを持つ必要があります。これは現在厳密には許可されていません。この理由は、Toplevelコードが基本的に静的にタイプチェックすることが基本的に不可能であるため、すべてがグローバルであり、任意のコードによっていつでもシーンの後ろに変更できます。

しかし、最終的な結果は愚かなものであり、最終的に修正したいものは、例えば、パラメータなしの関数の単一の呼び出しを防ぐ理由はありません。つまり、すぐに疑似文から抜け出す必要があるものそして関数に。