如何在hacklang中实例化一个形状类型的对象

Question

这似乎应该在文档中，但事实并非如此。

我有一个形状类型。

type ThisIsMyShapeType = shape(
'some_prop' => bool,
);

如何实例化这种类型的对象？

Answer 1

您使用相同的shape关键字：

$x = shape(
'some_prop' => true,
);

在Hack中，形状使用结构类型，因此不需要声明变量是ThisIsMyShapeType——类型检查器将验证$x是否具有与类型匹配的所有正确字段。

官方文件中有不少例子。