型
2022/2/15 15:25:00
プログラミングにおける型
循環してる。説明になってないぞ。
あれ型システムはもっとも成功した軽量形式検証あれ極論、Haskellでは型以外のドキュメントを見る必要がないあれ状態遷移を型として表現状態を型として表現『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集』コールシグネチャ『ナメやがってこの型ァ!!超イラつくぜぇ～～～～～ッ!!』