已经知道的分类法类型包括 NAICS、UNSPSC、SIC 或地理代码（GEO）；已经知道的标识符类型包括 D-U-N-S、托马斯注册号（Thomas Registry number）及美国税号（US Tax ID）。

The known taxonomy types include NAICS, UNSPSC, SIC, or a geographic code (GEO); the known identifier types include D-U-N-S, Thomas Registry numbers, and US Tax ID.

youdao

这些节点代表了具体的标识符，如函数名称、变量及枚举类型。

These represent specific identifiers, such as the names of functions, variables, and enumerated types.

youdao

标识符上下文在运行时决定类型。

The identifier context determines the type at run time.

youdao

If you're writing a one line function, whose sole purpose in life is addition, and, clearly, this is about addition, well, then it's, in fact, A reasonable to use a shorter symbol like A, but I do have to specify it's type.

如果你在写一个一行的函数，它唯一的目的是,做加法，显然这是关于加法的，好的，实际上，用一个短的标识符是合理的，像，但是我必须指明它的类型。

哈佛公开课 - 计算机科学课程节选