t_wの輪郭

Feedlyでフォローするボタン

2021/9/14 16:58:00

2022/2/16 0:25:00

プログラミングにおける型
循環してる。説明になってないぞ。

TypedSQL『ECMAScript、Web標準の型はどう管理されているか / How ECMAScript and Web standards types are maintained - Speaker Deck』依存型Tagged UnionDiscriminated union typesスライス型整数型テンプレートメタプログラミングの沼エラー型『SQLite3で型に厳格なSTRICTテーブルを作る』型述語型注釈ベクタ型コールシグネチャZod奉納型あれ同じ型再帰的な型関数型データ型Result『型システム入門』列挙型型強制型付けbool型Derefトレイトを実装して型を参照のように扱う型付きラムダ計算あれ型安全コレクション型『ナメやがってこの型ァ!!超イラつくぜぇ~~~~~ッ!!』『TypeScriptで知ってコードの安全性が上がったtips集』ユニット型『Zodで真のTypeScript firstを手にする』