haskell-jp / mokumoku-online #82

S.K.です。かなり遅くなってしまいましたが、今週(今年)もお世話になります。よろしくお願いいたします。
今週も Implementing Functional Languages: a tutorial の Chapter 6 Lambda Lifting の Ex.6.7 の続きを進めて行こうと思います。

山本悠滋です。いつもどおりmakeMistakesToLearnHaskellの続きと、できればmakeMistakesToLearnHaskellを一般公開するときに向けたウェブアプリケーション作り（というよりNixの勉強？）に取り組みます。

Competitive programming in Haskell: Range queries, Classified 読了　Static/Dynamic range queries やら sliding windows, segmented tree, Fenwick tree 等々の分類と概説　後者の２つについては F U N C T I O N A L P E A R L - You Could Have Invented Fenwick Trees が挙げられていて勉強になった　演習は prefix sums を用いる Determining Nucleotide Assortments をやった　素直にできた

makeMistakesToLearnHaskellの進捗: https://github.com/haskell-jp/makeMistakesToLearnHaskell/commit/c59b093e96054a3471f31ddcae47f7d18f8833e0
Nixの勉強は、 https://zero-to-nix.com/start/nix-build/ まで読んだのでようやくコピペしたのをベースにflake.nixを作り始めています。

あ、あと、 https://qiita.com/advent-calendar/2025/haskell の未読分を一部読んでました。

「6.5.2 Abstracting free variables in functions」のEx.6.7 (abstractJ_e 関数を case 式にも対応させる)の続きを進めていました。
State モナドを使った簡単なサンプルプログラムを写経して動作を確認してから、NameSupply の値を状態として保持するための変更に取り掛かりました。
自分にとっては難しく、結局 Copilot 先生に教えを乞うてしまいました(すみません)。
おかげでエラーとなっていたテストプログラムが正しく処理されるようになり、既存のテストプログラムも Mark3 らしく処理されました。正しく動作している模様です。
変更箇所は、ラムダリフタ最上位関数、変数名ユニーク化関数、ラムダ式を抽出してlet式でラップする関数とその補助関数に渡りました。
(abstractJ_e 関数の case 式対応部分では環境 env の更新は不要だったようです。)
引き続き変更内容の理解を進めていこうと思います。