TypeScriptの型 - 西尾泰和の外部脳

TypeScriptの型
TypeScriptの型

 {[key: string]: number} 
 async (x:string):number=>{...} 
 const x:T = y   const x = y as T 

Links
TypeScript
Documentation · TypeScript

Introduction - TypeScript Deep Dive

Introduction - TypeScript Deep Dive 日本語版
TypeScriptは型を再帰的に定義できない？
TypeScriptの型

まとめ

interfaceのような名前のついた型ではツリーの定義などは前からできた

3.7からtype aliasでも一部のケースで出来るようになった

しかし今回やりたかったような方法での再起的定義はできない
ReactN+TypeScript
ReactNをTypeScriptで使うときにArgument of type '"a"' is not assignable to parameter of type 'never'.が出たのを、マニュアル読まずにフィーリングで直したら、実は直ってなかったので、正しい直し方をメモ。

TypeScriptの型

useGlobalに型指定を付けたらコンパイルエラーがなくなったのでそれで良いのかと思ったら、型がおかしくなっていて後から問題が起きた。
TypeScriptでI=SSK
TypeScriptの型

VSCodeの自動インデントで比較的まともな見栄えにならないかなと少し工夫してみた

次はこれからanyを消すパズルです

うーん、素朴にやったら謎の型ができてしまった

Argument of type
TypeScriptの型の練習
TypeScriptの型

元ネタ https://twitter.com/teramotodaiki/status/1214149145935532033

key

get2

keyof typeof obj === "s" | "f"なので
構造を変えれば区別できる
TypeScriptの型
TypeScriptで奇数型
TypeScriptの型

TypeScriptの型の情報で例えば「英数字のみからなるidを持つ」って定義できる？ src

ってのを見て、そういえばどうやるんだろうなと思って調べたのでメモ

この種のニーズって要するに構造的型付けのTypeScriptにおいて、データの構造としては既存のStringを使いつつ、値の範囲を制限して、その値の集合に別の名前をつけたい、Nominal Typingしたい、ということかと思う。
TypeScript types memo
TypeScriptの型

T1 extends T2 ? F<T1> : never

similar to f(t1 as T2)

circularly references

{0: T1}[T extends any ? 0 : 0]
TypeScriptの型で自然数を作る
TypeScriptの型

5 * 6 == 30 はできるけど 6 * 7 == 42 はできない
TypeScriptの型で虫食い算を解く
TypeScriptの型で虫食い算を解く

1~3の相異なる値で、T1 + T2 = T3を満たすものを見つける、という簡単な問題

数は二進法表記して加算を1ビットの論理演算で構築

チャーチ数使おうとしてTypeScriptは型を再帰的に定義できない？の罠にハマった

条件式の表現はanyかneverを返す形にした
状態名と変数を束ねて型で制約
TypeScriptの型

console.log(state) become more useful