[K, U] extends [U, K] ← ナニコレ

タイトルは初見時の自分の気持ちでした。内容は結構あっさりしたもので、5分あれば読めると思います。 「あーなるほどね」となった方はわざわざ読む必要がない記事っぽいです。 型の互換性チェック 一言で言ってしまえばそういうことです。KとUが互いに置き換え可能かどうかを確認しています。 これがKとUのままだと分かりづらいのですが、適当な型に置き換えてみると分かりやすいです。 type Test1 = [1, 1] extends [1, 1] ? true : false; // true type Test2 = [number, number] extends [number, number] ? true : false; // true type Test3 = [string, string] extends [string, string] ? true : false; // tru

[benzoh_w]

むずい

[shoh8]

かたぱずる

[Windymelt]

型パズルのやりやすさで言うとScalaのがずっとマシな気がする。K =:= Uって書くだけなので・・・

[ultimatebreak]

型パズルはマジで訳分からん

[shingo-sasaki-0529]

あ＝なるほどね。とはなったけど、問題例の方はいみわからんかった。

[daruyanagi]

“KとUが互いに置き換え可能かどうかを確認しています”