Conversation

Notices

1. らりお・ザ・何らかの🈗然㊌ソムリエ (lo48576@mastodon.cardina1.red)'s status on Thursday, 02-Jun-2022 17:07:25 JST らりお・ザ・何らかの🈗然㊌ソムリエ

   Refutability: Whether a Pattern Might Fail to Match - The Rust Programming Languagehttps://doc.rust-lang.org/book/ch18-02-refutability.html

   某界隈だと irrefutable を「反駁不可能」と訳したりしている (初見だと何が何だかわからないと思うけど……)

   • らりお・ザ・何らかの🈗然㊌ソムリエ (lo48576@mastodon.cardina1.red)'s status on Thursday, 02-Jun-2022 17:09:04 JST らりお・ザ・何らかの🈗然㊌ソムリエ

     in reply to

     パターンマッチで「他にもこういう構造の場合がありえるやろ」という “反駁” ができるような網羅的でないパターンが反駁可能 (refutable)、そういう抜けがないような網羅的パターンが反駁不可能 (irrefutable)