![](https://cdn-ak-scissors.b.st-hatena.com/image/square/39f5efccd557fcf4f0d9aa11cec6b7be5732fd46/height=288;version=1;width=512/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fcdn.qiita.com%252Fassets%252Fpublic%252Fadvent-calendar-ogp-background-f625e957b80c4bd8dd47b724be996090.jpg%3Fixlib%3Drb-4.0.0%26w%3D1200%26mark64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTkxNiZoPTMzNiZ0eHQ9R2xhc2dvdyUyMEhhc2tlbGwlMjBDb21waWxlciUyMCVFMyU4MSVBRSVFNiU5QiVCOCVFNiU4RiU5QiVFMyU4MSU4OCVFOCVBNiU4RiVFNSU4OSU4NyVFMyU4MSVBQiVFMyU4MSU4QSVFMyU4MSU5MSVFMyU4MiU4QiVFOSVBQiU5OCVFOSU5QSU4RSVFNSU5RSU4QiVFMyU4MSVBRSVFMyU4MyU5MSVFMyU4MiVCRiVFMyU4MyVCQyVFMyU4MyVCMyVFNyU4NSVBNyVFNSU5MCU4OCZ0eHQtY29sb3I9JTIzM0EzQzNDJnR4dC1mb250PUhpcmFnaW5vJTIwU2FucyUyMFc2JnR4dC1zaXplPTU2JnR4dC1jbGlwPWVsbGlwc2lzJnR4dC1hbGlnbj1sZWZ0JTJDbWlkZGxlJnM9YmJkNTdhM2Y1MzNlMTZlNjE5YzRjMjYxNjgxMmNkMTI%26mark-x%3D142%26mark-y%3D151%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTcxNiZ0eHQ9JTQwdG5hZ2FvNyZ0eHQtY29sb3I9JTIzM0EzQzNDJnR4dC1mb250PUhpcmFnaW5vJTIwU2FucyUyMFc2JnR4dC1zaXplPTMyJnR4dC1hbGlnbj1sZWZ0JTJDdG9wJnM9YjA2MmRiMjEyNjM0YTBkODllOGZiNzUzY2M5NGRkODM%26blend-x%3D142%26blend-y%3D491%26blend-mode%3Dnormal%26s%3Dcfae38076f57c97698ce9f7e63439f9b)
エントリーの編集
![loading...](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/common/loading@2x.gif)
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
Glasgow Haskell Compiler の書換え規則における高階型のパターン照合 - Qiita
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
![アプリのスクリーンショット](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/entry/app-screenshot.png)
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
Glasgow Haskell Compiler の書換え規則における高階型のパターン照合 - Qiita
この記事は Haskell Advent Calendar 2023 の 18 日目の記事です. はじめに 2023 年 10 月にリリースさ... この記事は Haskell Advent Calendar 2023 の 18 日目の記事です. はじめに 2023 年 10 月にリリースされた GHC 9.8 で,GHC の書換え規則における高階型のパターン照合が強化されました. 強化された書換え規則を実際に試してみたので,書換え規則の基本を振り返りつつ,簡単に紹介したいと思います. GHC 9.8.1 リリースノート より: Rewrite rules now support a limited form of higher order matching when a pattern variable is applied to distinct locally bound variables, as proposed in GHC Proposal #555. For example: