严格模式下的Hacklang命令行程序

由于此限制，当前无法在Hack严格模式下100％编写项目（命令行程序或其他程序）。实际上，您确实需要在顶层（“ pseudomain”）中有一些引导程序代码，严格来说，这是目前不允许的。原因是顶级代码基本上不可能进行静态类型检查，因为所有内容都是全局的，并且可以在任何时间通过任何代码在后台进行更改。

但是最终结果很愚蠢，我们最终想解决的问题-例如，没有理由阻止对不带参数的函数的单次调用，即完全需要立即退出pseudomain并进入a功能。