下表总结了Hack中可用的类型系统，它们如何在注释中使用，可以在其中注释它们（函数，类方法，类属性，函数/方法返回，参数）以及它们是否可以为空的示例。记住，返回类型总是在a之前:。