きゅーけー @tojoqk@mastodon.tojo.tokyo
Public

TypeScript、一見安全そうにみえる7行のコードで任意の型(neverを除く)になりすませるというこの現実。

```
const convert = <T, S>(value: T, witness: S): S => {
const obj1 = { a: witness } satisfies { a: S };
const obj2 = { a: value } satisfies { a: T };
const empty = (): {} => obj2;
const obj = { ...obj1, ...empty() } satisfies { a: S };
return obj.a;
};
```
qiita.com/tojoqk/items/1e37896

TypeScriptで万能型変換関数を実装しました - Qiita

はじめに TypeScriptの構造的部分型のトラップを明確にするため、無闇なスプレッド構文の使用が型システムの健全性を脅かし得ることを、万能型変換関数を作成することで示します。 万能型変換関数 任意の型T, SについてT型の値をS型に変換します。 変換を実行するために...

qiita.com · Qiita

0
0
0

If you have a fediverse account, you can quote this note from your own instance. Search https://mastodon.tojo.tokyo/users/tojoqk/statuses/115707279445358938 on your instance and quote it. (Note that quoting is not supported in Mastodon.)