Conversation

Notices

1. らりお・ザ・何らかの🈗然㊌ソムリエ (lo48576@mastodon.cardina1.red)'s status on Friday, 08-Oct-2021 07:30:34 JST らりお・ザ・何らかの🈗然㊌ソムリエ

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

   • きゅーけー repeated this.
   • らりお・ザ・何らかの🈗然㊌ソムリエ (lo48576@mastodon.cardina1.red)'s status on Friday, 08-Oct-2021 07:30:53 JST らりお・ザ・何らかの🈗然㊌ソムリエ

     in reply to

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

   • らりお・ザ・何らかの🈗然㊌ソムリエ (lo48576@mastodon.cardina1.red)'s status on Friday, 08-Oct-2021 07:31:32 JST らりお・ザ・何らかの🈗然㊌ソムリエ

     in reply to

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