在Hack中，这些叫做什么/它们如何工作：方法或类上的<< something >>？

Question

乍一看，我以为它们是装饰器/批注，但我不确定它们到底是什么。

Answer 1

它们被称为attributes。尽管少数（__Override，__ConsistentConstruct，__Memoize，__Deprecated具有运行时和类型检查器的含义，但大多数都没有固有的含义。