haskell-jp / mokumoku-online #85

Typeclassopedia by Brent Yorgey (2009) を読んで苦手の type classes について学びます 今日は Monoid から

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

Typeclassopedia by Brent Yorgey (2009) "Monoid"　読了　数多くの type が Monoid となるが Ordering が引き金となって　Map, Set, Sequences にも及ぶのは興味深い　そういう訳で例はいくらでもあって　それと知らず無意識に使っているようだ　今回の記事で一番注目すべきは豊富な（古くて Link 切れを除く）参照文献であって　Writer (State) Monad で tell (modify) が accumulators となって mappend とみなせる話などなど面白い　たくさんあって読み切れない　後日拝読　今日は用事があるので　これにて離脱

山本悠滋です。めちゃめちゃ遅くなってしまいましたが引き続き https://github.com/haskell-jp/makeMistakesToLearnHaskell/issues/121 に取り組みます。（進むか？）

「6.7 Mark 5: Improvements to full laziness」「6.7.1 Adding case expressions」の Ex.6.11 (Mark4 ラムダリフタの case 式対応)の続きを進めていました。
float_case 関数の実装を何とか済ませて、テストプログラムで float 処理だけの簡単な動作確認を行った後、identifyMFEs 関数の case 式対応を進めようとしています。
case 式対応完了まで、まだ時間がかかりそうです。

前回、wasm32-wasi-cabal buildではどうもGHC APIを呼ぶコードをビルドできなさそうなことが分かったため、
https://zenn.dev/asa1984/books/nix-hands-on/viewer/ch03-01-stdenv などを復習してNixでビルドするよう試しに書いてました。