TypeScriptは型を再帰的に定義できない？
まとめ
interfaceのような名前のついた型ではツリーの定義などは前からできた
3.7からtype aliasでも一部のケースで出来るようになった
しかし今回やりたかったような方法での再起的定義はできない
それをinterfaceにすることもできない
足し算したかっただけなんだけど…
tstype N0 = [];
type succ<N> = [any, N];
type N1 = succ<N0>
type N2 = succ<N1>
type N3 = succ<N2>
type pred<N> = N extends [any, infer R] ? R : never;
type NEQUAL<Na, Nb> = Na extends Nb ? any : never;
type testNEQUAL = NEQUAL<pred<N2>, succ<N0>> // any
type add<Na, Nb> = Nb extends N0 ? Na : add<succ<Na>, pred<Nb>>
// Type alias 'add' circularly references itself.TypeScript 3.7で
tstype ValueOrArray<T> = T | Array<ValueOrArray<T>>; // OK
type ValueOrArray<T> = T | ValueOrArray<Array<T>>; // NGtstype add<Na, Nb> = Nb extends N0 ? Na : add2<Na, Nb>;
interface add2<Na, Nb> extends add<succ<Na>, pred<Nb>> { }; // NG
// An interface can only extend an object type or intersection of object types with statically known members.Related Pages
- →TypeScript×sentry×react.forwardref×無意識に例外を握りつぶしてた×any消し祭りのゴミ片付け×requireしたものはanyになる×クラスのインスタンスをspreadしてもメソッドは複製されない→
- →regroup×pregroup-done-2019×2020 年、 React 軸で学ぶべき技術×TypeScript×react×webpack×visual_studio_code×styled-components×reactmodal×ipadはfocusを無視することがある×paper.js×パスドロー×パスの形がおかしい×付箋・パスの投げ縄選択×firestore×websocket×amazon_s3×netlify×apple_pencil×ipad上でのダイレクトタッチとpencilタッチの区別×二本指ジェスチャでズームと平行移動×redux×reactn×undoの実装×キャンバス汚染×キャンバス汚染解決編×cssで条件分岐と変数と計算を使う×100vhだと縦にはみ出す×メニューアイコンがiphoneなどの狭い画面ではみ出す×ズームアウトした状態でペンで描くとガタガタになる×線の太さを一定にする×paper.jsの更新後に呼ばれるコールバックをつける×バルーンメニュー×投げ縄選択→削除×付箋の自動フォントサイズ調整×gが下に突き出す×okr問題×regroup2019→
"Engineer's way of creating knowledge" the English version of my book is now available on [Engineer's way of creating knowledge]
(C)NISHIO Hirokazu / Converted from [Scrapbox] at [Edit]