Array.includes type is too narrow についてのメモ

この問題、困ることがちょこちょこあるのによくわかってないから調べたことを置いていく

この仕様については、以下の2つのコメントで回答している。問題は、配列内をスーパータイプで検索できないことへの不満ということでまとめられている。

this issue is a complaint about being unable to search for supertypes in an array (which should be valid).

We (the team) think that "anything" is a bad answer here because of examples like ["foo"].includes(42)

Subtype と Supertype の違い

anyは全ての型のsupertypeである
stringは"hello"のスーパータイプである。
number | undefinedはnumberのスーパータイプである

Subtype は Supertype の逆

なぜ、配列内でスーパータイプで検索できないのか...?

it's just that we don't have any way to make supertypes allowed without also allowing everything else

なぜかはわからなかったけど、super T のような lower bound の型は提案されたままになっている。

このスクラップは2022/02/15にクローズされました