型
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集』コールシグネチャ『ナメやがってこの型ァ!!超イラつくぜぇ～～～～～ッ!!』テンプレートメタプログラミングの沼
あれ
2025/4/19 15:26:00
私は型の支援がないともう何もできねぇ。
コードを変更したら、連動して変更すべき場所を自動で示してもらわないともうむり。
というか型エラーとかそのうちAIが自動で直してくれそう。
あれ
2025/2/7 23:55:00
TypeScript、「anyはバグる」を経由して、「stringはバグる」に至った。
stringという何でも入る型よりも、MailAddressのような意味付けされた型の方がバグらない。