https://mstdn.nere9.help/@orange_in_space/105635250963690795
この「仕様が破られたことが検知できたのでエラーを返す」という仕様は、つまり潜在的に「あらゆる関数は実装ミス由来の挙動まで想定して戻り値型を返せ」という話ですよね。もっと言えば、いかなる関数も Result<RealReturnType, ImplementationBug> 型を返せという。
https://mstdn.nere9.help/@orange_in_space/105635250963690795
この「仕様が破られたことが検知できたのでエラーを返す」という仕様は、つまり潜在的に「あらゆる関数は実装ミス由来の挙動まで想定して戻り値型を返せ」という話ですよね。もっと言えば、いかなる関数も Result<RealReturnType, ImplementationBug> 型を返せという。
@lo48576 エラー返すところがバグってるかもしれないからResult<Result<RealReturnType, ImplementationBug>, ImplementationBug>にしないと
@prime if(b == true) は b == true が true であることを検査しているから if((b == true) == true) と書くべきだという話を思い出しましたw
senooken JP Social is a social network, courtesy of senooken. It runs on GNU social, version 2.0.2-beta0, available under the GNU Affero General Public License.
All senooken JP Social content and data are available under the Creative Commons Attribution 3.0 license.