🆕 新着Qiita記事をお知らせします。
『スペースによるパターンマッチの網羅性検査』https://qiita.com/vain0x/items/47bdd322d5de05c2db0b by @vain0x @Qiita
#rust_qiita #コンパイラ_qiita #言語処理系_qiita #言語実装_qiita
静的型付き言語の便利な点の1つとして、パターンマッチに漏れがなく網羅的であることがコンパイル時に検証されることがあります。本稿ではパターンマッチの説明から始めて、「スペース」という概念を利用する方法によるパターンマッチの網羅性の検査の...
Qithub(bot)
『スペースによるパターンマッチの網羅性検査』『スペースによるパターンマッチの網羅性検査』