型システムの設計で悩んでること

理想と現実のギャップ

型システムについて考えることが増えたんだけど、理論的に完璧な設計と実務的に使いやすい設計って、なかなか両立しないなってつくづく感じます。

何を重視するか

静的型付けなら安全性が上がるけどコード量は増える、動的型付けなら素早く書けるけど実行時エラーが怖い。この永遠のテーマ、プロジェクト規模によって最適解が変わるんですよ。

あと個人的には、型の記述が自明になるような設計にしておくことが大事だと思ってます。暗黙的な変換ルールが多すぎると、後々メンテする人が混乱するので。

使い手の直感

結局のところ、開発チームがその型システムの何を信頼できるか、ここが一番影響する気がします。無駄な複雑さは避けつつ、必要な部分は厳密に。そのバランス感覚が問われるんじゃないかな。