type-inference - 为什么 Hack 不推断可空类型？

Question

Hack 不自动推断可空类型的任何具体原因？相反，您必须?明确编写。如果改为使用推理，它是否也不能检查常规 PHP 程序的空值？

例如，此函数将具有类型bool -> ?string：

function foo($condition) {
  if ($condition) {
    return null;
  else {
    return 'a string';
  }
}