Hack 言語の型システムには、「any」型とも呼ばれる「トップ」型、またはユニバーサル「オブジェクト」型がありますか? つまり、すべての型がサブクラスである型ですか?
マニュアルには「混合」タイプが記載されていますが、これは似ているかもしれませんが、実際には説明されていません。いくつかの場所で型宣言を単純に省略する可能性もあります。ただし、これはどこでも実行できるわけではありません。たとえば、何かを最上位の型から関数として宣言したい場合、stringこれを行う方法が明確ではありません。function (string): mixed?