hacklang中的线性类型：静态强制函数调用顺序

Question

因此，Hacklang推出了一个新的、奇特的类型系统，在该系统中，必须先检查一个可为空的变量，然后才能使用它。我想知道的是，你能实现类似线性类型的功能吗，静态地强制函数调用的顺序，常见的例子是在读取文件之前打开文件？在伪代码中：

$file_handler = get_file_handler("myfile");
$file_handler->open();
$string = $file_handler->read();

现在，$file\u处理程序-

$file_handler = get_file_handler("myfile");
$string = $file_handler->read(); /* Won't compile, must run open() first */

可行吗？

（好吧，也许是PHP/Hacklang的坏例子，因为它不是这么低级，但你明白了。）




Answer 1

Hack目前对线性类型没有任何本机支持。对于您要询问的特定情况，不透明类型别名在包装器类中可能很有用：（危险，直接在浏览器中键入的代码，可能有小错误，但应该说明这一点）

<?hh

newtype closedfile = resource;
newtype openfile = resource;

function get_file_handler(string $filename): closedfile {
  return some_wrapped_function($filename);
}

function open_file_handler(closedfile $file): openfile {
  $file->open();
  return $file;
}

function read(openfile $file): string {
  return $file->read();
}

根据您的应用程序，这样做可能不可能，甚至不是一个好主意，但它最接近我们现在所拥有的。

也就是说，如果你是在设计API而不是使用现有的东西，那么把它设计成没有尚未打开的文件，从一开始就消除这种错误，而不需要任何类型的系统杂技，这可能是一个好主意必须的。（基本上，至少在我看来，这是一个应用编程接口设计问题，而不是类型系统问题！即使您可以使用类型系统静态地使无效代码成为错误，API的使用者甚至可以编写该代码并认为它具有潜在意义的事实也是API的一个缺陷。（