Typeof の説明の誤りについて

[suikan4github]

以下の説明は間違っていると考えます。ユニオン型は型の和集合であり、値の和集合ではありません。

2つ以上のプロパティがあるオブジェクトの型にkeyofを使った場合は、すべてのプロパティ名がユニオン型で返されます。

• keyof型演算子
• https://github.com/yytypescript/book/edit/master/docs/reference/type-reuse/keyof-type-operator.md

これはTypescript HandbookのKeyof Type Operatorを参考にしたと思われます。

The keyof operator takes an object type and produces a string or numeric literal union of its keys. The following type P is the same type as type P = "x" | "y":

しかし、ここでいうunionは「ユニオン型」ではなく「和集合」と考えるべきです。つまり、

keyof 演算子はオブジェクト型をうけとり、そのキーから文字列か数のリテラルの和集合を作ります。

と解釈すべきです。この文章はプログラム言語の解説としてはあいまいですが、「 keyof 演算子はオブジェクト型をうけとり、そのキーから文字列か数のリテラル型を作ります」と理解するのが妥当だと考えます。

ですので、冒頭の解説も

2つ以上のプロパティがあるオブジェクトの型にkeyofを使った場合は、すべてのプロパティ文字列によるリテラル型が返されます。

と変更すべきです。