command-line - 厳格モードの Hacklang コマンド ライン プログラム

Question

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

(メイン関数を呼び出す非厳密なファイルを使用することで問題を回避するのは簡単であるため、これはむしろ理論的な問題です。)

Answer 1

この制限により、現在のところ、Hack strict モードでプロジェクト (コマンド ライン プログラムまたはその他) を 100% 作成することはできません。実際、トップレベル (「疑似ドメイン」) にいくつかのブートストラップ コードが必要になりますが、これは厳密には現在許可されていません。この理由は、すべてがグローバルであり、任意のコードによっていつでも舞台裏で変更できるため、トップレベル コードを静的に型チェックすることは基本的に不可能だからです。

しかし、最終結果はばかげており、最終的には修正したいものです。たとえば、パラメーターなしの関数への単一の呼び出しを禁止する理由はありません。つまり、疑似メインからすぐに出て、関数。