メモです 例えばstyle要素のように、渡せる値が限られているプロパティに動的な値を渡したいとします。 このとき、渡す型を明示しないで戻り値の型を判別可能な関数を用意します。 イメージとしては以下のような型を持つpositionに、indexに応じて動的に値を渡すことになります。 type Position = "absolute" | "static" type Top = number type Style = {position: Position; top: Top;} const style: Style = { // error: Type 'number | "static"' …