mastodon.cardina1.red は、数々の独立したMastodonサーバーのうちのひとつです。サーバーに登録してFediverseのコミュニティに加わってみませんか。

サーバーの情報

3
人のアクティブユーザー

らりお・ザ・何らかの🈗然㊌ソムリエ

たとえば i32 / i32 はクソなので i32 / NonZeroI32 だけを用意しろみたいなの、まあまあ正論ではあるんだけど、そのためには定理証明が必要になって、そして定理証明って案外非力なのよね。少なくともコンパイラに組み込んであらゆる場合に強制してやろうと思えるほど都合の良いものではない

というか確実に証明できる範囲が狭すぎる

コンパイル時に SAT ソルバが走るとか嫌やでワイは (脳裏を過る、型システムがチューリング完全な言語の数々)