型
2022/2/15 15:25:00
プログラミングにおける型
循環してる。説明になってないぞ。
状態遷移を型として表現状態を型として表現『ECMAScript、Web標準の型はどう管理されているか / How ECMAScript and Web standards types are maintained - Speaker Deck』TypedSQL依存型Discriminated union typesTagged Union奉納型『SQLite3で型に厳格なSTRICTテーブルを作る』『Zodで真のTypeScript firstを手にする』Zod型述語『TypeScriptで知ってコードの安全性が上がったtips集』コールシグネチャ『ナメやがってこの型ァ!!超イラつくぜぇ～～～～～ッ!!』テンプレートメタプログラミングの沼あれあれ『型システム入門』型付きラムダ計算
TypedSQL
2024/8/28 13:57:00
依存型
2024/8/3 15:15:00