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

Question

Hack没有自动推断可空类型的任何具体原因？相反，你必须明确地写?。如果它使用了推理，那么它是否也不能为常规PHP程序检查null？

例如，此函数的类型为bool -> ?string：

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