Glasgow Haskell Compiler の書換え規則における高階型のパターン照合 - Qiita
この記事は 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:
スーパーモナドについて - Qiita
この記事は Haskell Advent Calendar 2017 (その1) の 10 日目の記事です。 スーパーモナド (supermonad) という気になる概念を見かけたので、ちょっと調べてみました。 スーパーモナドとは 世の中には、私たちがよく知っている普通のモナド1 以外にも、モナド的概念がいろいろと存在します。たとえば、こんなのがあります。2 指標付きモナド (indexed monad) https://hackage.haskell.org/package/indexed https://hackage.haskell.org/package/monad-param https://hackage.haskell.org/package/index-core 作用モナド (effect monad) https://hackage.haskell.org/package
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
