たとえば i32 / i32 はクソなので i32 / NonZeroI32 だけを用意しろみたいなの、まあまあ正論ではあるんだけど、そのためには定理証明が必要になって、そして定理証明って案外非力なのよね。少なくともコンパイラに組み込んであらゆる場合に強制してやろうと思えるほど都合の良いものではない
というか確実に証明できる範囲が狭すぎる
コンパイル時に SAT ソルバが走るとか嫌やでワイは (脳裏を過る、型システムがチューリング完全な言語の数々)
Mastodonに参加して、世界で起きていることを見つけよう。
連合内の誰でもフォローして投稿を時系列で見ることができます。アルゴリズム、広告、クリックベイトはありません。