Conversation

Notices

1. らりお・ザ・何らかの🈗然㊌ソムリエ (lo48576@mastodon.cardina1.red)'s status on Wednesday, 08-Dec-2021 20:52:42 JST らりお・ザ・何らかの🈗然㊌ソムリエ

   そもそも比較演算子も boolean を返す演算子なんだから、「v が true と等しいことを確認する」を v == true と書くなら、それは結局「v == true という演算の結果が true と等しいことを確認する」ことでもあるんだから (v == true) == true と書かなければ筋が通らないし、以下略

   • らりお・ザ・何らかの🈗然㊌ソムリエ (lo48576@mastodon.cardina1.red)'s status on Wednesday, 08-Dec-2021 20:53:18 JST らりお・ザ・何らかの🈗然㊌ソムリエ

     in reply to

     (((v == true) == true) == true) と書かないのに v == true と書くのは一貫性がないでしょう

   • らりお・ザ・何らかの🈗然㊌ソムリエ (lo48576@mastodon.cardina1.red)'s status on Wednesday, 08-Dec-2021 20:54:12 JST らりお・ザ・何らかの🈗然㊌ソムリエ

     in reply to

     a == b を「事実の表明」か何かだと勘違いしているのかもしれないが、そんなものはない。ただの比較演算子です

   • らりお・ザ・何らかの🈗然㊌ソムリエ (lo48576@mastodon.cardina1.red)'s status on Wednesday, 08-Dec-2021 20:54:29 JST らりお・ザ・何らかの🈗然㊌ソムリエ

     in reply to

     まあ数学の文脈を引き摺っているのだとしたら多少は同情するけど、いや論理学というものがあってね……

   • らりお・ザ・何らかの🈗然㊌ソムリエ (lo48576@mastodon.cardina1.red)'s status on Wednesday, 08-Dec-2021 20:55:24 JST らりお・ザ・何らかの🈗然㊌ソムリエ

     in reply to

     逆に中学高校までの数学で「a が 2 と等しいかどうか」の『かどうか』を表現する記法が存在しないので、その影響でというのはあるかもね

   • らりお・ザ・何らかの🈗然㊌ソムリエ (lo48576@mastodon.cardina1.red)'s status on Wednesday, 08-Dec-2021 20:56:19 JST らりお・ザ・何らかの🈗然㊌ソムリエ

     in reply to

     やっぱり意味論を知るべしという話なんだよなぁ

   • 杉田匠 (tacumi@misskey.io)'s status on Wednesday, 08-Dec-2021 20:58:16 JST 杉田匠

     in reply to

     @lo48576@mastodon.cardina1.red Haskellとかなら事実の表明よ、これが成り立つなら中括弧の内側は成り立つという事実になるのだから。

   • らりお・ザ・何らかの🈗然㊌ソムリエ (lo48576@mastodon.cardina1.red)'s status on Wednesday, 08-Dec-2021 20:58:16 JST らりお・ザ・何らかの🈗然㊌ソムリエ

     in reply to

     • 杉田匠

     @tacumi 中括弧？

   • 杉田匠 (tacumi@misskey.io)'s status on Wednesday, 08-Dec-2021 21:03:01 JST 杉田匠

     in reply to

     @lo48576@mastodon.cardina1.red んげ、haskellってブロックを中括弧で示さなかった?if(boolean) { if conditional is true, sentence executed } else { if conditional is false, sentence executed }と思ってるけど……

   • らりお・ザ・何らかの🈗然㊌ソムリエ (lo48576@mastodon.cardina1.red)'s status on Wednesday, 08-Dec-2021 21:03:01 JST らりお・ザ・何らかの🈗然㊌ソムリエ

     in reply to

     • 杉田匠

     @tacumi そもそも Haskell だと括弧によるブロックよりもオフサイドルールを使うし、もっといえば guard とかでどうにかするケースの方が多そう