Conversation

Notices

1. らりお・ザ・何らかの🈗然㊌ソムリエ (lo48576@mastodon.cardina1.red)'s status on Friday, 29-Jan-2021 05:39:53 JST らりお・ザ・何らかの🈗然㊌ソムリエ

   https://mstdn.nere9.help/@orange_in_space/105635250963690795

   この「仕様が破られたことが検知できたのでエラーを返す」という仕様は、つまり潜在的に「あらゆる関数は実装ミス由来の挙動まで想定して戻り値型を返せ」という話ですよね。もっと言えば、いかなる関数も Result<RealReturnType, ImplementationBug> 型を返せという。

   • そすうぽよ :poyo: :sabakan: (prime@mstdn.poyo.me)'s status on Friday, 29-Jan-2021 05:44:12 JST そすうぽよ :poyo: :sabakan:

     in reply to

     @lo48576 エラー返すところがバグってるかもしれないからResult<Result<RealReturnType, ImplementationBug>, ImplementationBug>にしないと

   • らりお・ザ・何らかの🈗然㊌ソムリエ (lo48576@mastodon.cardina1.red)'s status on Friday, 29-Jan-2021 05:45:04 JST らりお・ザ・何らかの🈗然㊌ソムリエ

     in reply to

     • そすうぽよ :poyo: :sabakan:

     @prime if(b == true) は b == true が true であることを検査しているから if((b == true) == true) と書くべきだという話を思い出しましたw