type-challenges

日本語の README

内容としては簡単。ただファイルで import している @type-challenges/utilが気になった。
これを理解するだけでも勉強になりそう。気になった時にその都度参照できるようにしておきたい。

途中で諦めて解答を見た。in, keyof は key in keyof K みたいな定形でしか使っていなかったのでちゃんと調べよう。

型の評価の法則が若干わからん。
例えば以下だと、as Exclude が key と T のいずれに作用するのかよく分からなかった。結論は key の方。

type MyOmit<T, K extends keyof T> = {
  [key in keyof T as Exclude<key, K>]: T[key]
}

in の使いこなせるようにならないとな。途中まではいい感じにできた

珍しく一瞬で解けた

タプルって readonly T[] のことだったのか。

集合の概念をそのまま扱っていてる感じで秀逸だった。

文法の勉強になる。