haskell-jp / mokumoku-online #86

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

山本悠滋です。引き続き https://github.com/haskell-jp/makeMistakesToLearnHaskell/issues/121 に取り組みます。今日も眠いしあんまり進まないかも

S.K.です。遅くなってしまいましたが、今週もお世話になります。よろしくお願いいたします。
今週も「Implementing Functional Languages: a tutorial」のやり残した部分を進めたり、「プログラミング Haskell 第2版」の続きを読み進めたりしようと思います。

「プログラミング Haskell 第2版」の「第16章 プログラムの論証」を参照しながら、「Mark 6: Dependency analysisy」の Ex.6.14 (depthFirstSearch 関数の性質に関する(非形式的な)証明)に取り組んでいます。
グラフの頂点のリストの構造に関する帰納法で証明しようとしてまして、空リストの場合の証明を済ませて、空リストでない場合を証明しようとしています。帰納法の仮定をどのように使うか思案中です。

案の定全く進んでいないのでもうちょっと頑張ります :weary:

Typeclassopedia by Brent Yorgey (2009) "Arrow"  読了　Arrow の守備範囲は広い　全部を適切に使いこなせる気はしないが　(>>>) などより自然な用法から使いたい　参考文献多数 Hughes: Programming with Arrows や Lindley, Wadler, Yallop: Idioms are oblivious, arrows are meticulous, monads are promiscuous 等々 後日拝読

ようやくやる気が出てSharedWorkerがWasmファイルをロードしてメインスレッドにpostMessageする処理まで書いてみましたが、なぜかSharedWorkerのconnectイベントが発火しなくてハマりました:tired_face:
https://github.com/haskell-jp/makeMistakesToLearnHaskell/commit/09801ce355c774d874a0a20f6864bbecc7c53e9d

Typeclassopedia by Brent Yorgey (2009) を読んで苦手の type classes について学びます 今日は Comonad いよいよ最終章です

S.K.です。かなり遅くなってしまいましたが、今週もお世話になります。よろしくお願いいたします。
「Implementing Functional Languages: a tutorial」のやり残した部分の続きを進めようと思います。

山本悠滋です。遅くなってしまいましたが、引き続き https://github.com/haskell-jp/makeMistakesToLearnHaskell/issues/121 に取り組みます。

Typeclassopedia by Brent Yorgey (2009) "Comonad" 読了　とはいえ本文は短く参考文献が豊富　過去に comonad について一番腑に落ちたのは Conway's Game of Life であったが　次に挙げるのも読んでみたい　Gabriel Gonzalez's Comonads are objects , Javran's Comonad, Zipper and Conway's Game of Life (Part 2) , Milewski's Comonads, Category Theory 　さて本シリーズもこれで終わり　次は何を読もうかな？　Lean とかでもイイのかな？

先週ハマった https://haskell-jp.slack.com/archives/CUPBC8WCE/p1780236278963199?thread_ts=1780219411.931569&cid=CUPBC8WCE の問題に再び取り組んでいますがまださっぱり。

「Mark 6: Dependency analysisy」の Ex.6.14 (depthFirstSearch 関数の性質に関する(非形式的な)証明)の続きを進めました。
グラフの頂点のリストの構造に関する帰納法による証明の、空リストでない場合のについて、一応自分なりに証明を書いてみましたが、論理的に飛躍してないか確認中でして、終わったとはまだ言えない状態です。

Worker内でpost.startを呼ぶタイミングをいじってみたらなんかうまく行くようになってきたっぽいですが、まだ完璧にはならず。Shared Workerの挙動が分かりづらすぎるし情報もなさ過ぎる。

Lean とかでもイイのかな？

どうしましょうかねぇ。Haskell-jp もくもく会に名前を変えて以来、建前上Haskellに絡むもののみを対象としてきましたが、現状私ですら、目的がHaskellに関係しているとは言え技術的には大分遠いですし。

Haskell 以外のモノを大っぴらにするのはマズそうなので　まず前半で Project Euler を Haskell で解いて　後半に Lean の Introduction をヤリます

S.K.です。今週もかなり遅くなってしまいましたが、お世話になります。よろしくお願いいたします。
「Implementing Functional Languages: a tutorial」のやり残した部分の続きを進めようと思います。

山本悠滋です。例の如く遅くなってしまいましたが、引き続き https://github.com/haskell-jp/makeMistakesToLearnHaskell/issues/121 に取り組みます。そろそろ関数型まつりの資料作りもやらねば

今週も「Mark 6: Dependency analysisy」の Ex.6.14 (depthFirstSearch 関数の性質に関する(非形式的な)証明)の続きを進めました。
グラフの頂点のリストの構造に関する帰納法による証明の、空リストでない場合の証明を見直していましたが、論理的に飛躍していた箇所がありました。
帰納法の仮定が正しくありませんでしたので訂正中です。目に見える進捗はありませんでしたが、間違いに気づけたのが今日の進捗ということで．．．言い訳でした。

Project Euler #135 終了　Lean の Intro 読了　PE に時間をかけ過ぎたために Lean の Installation は未達

前回の経験を元にWorkerとメインスレッドのやり取りを書き直してみましたが、却って動かなくなってしまいました。なんなんだSharedWorker、マジで全然わからん。

どうやらNeovimの :wa で複数のファイルを一度に保存したとき vite に一つ目のファイルの変更しか伝わってない、かつ、GHC版Wasmをロードするときにどこかでハングしているらしい、という二重の現象のせいで話がややこしくなっていることに気付きました。やれやれ。とりあえず書き直し後の方式で前回と同程度の実装（ワーカーがWasmファイルをロードしたことをメインスレッドに伝える）までできたので、次回からは多分関数型まつりの資料作りに集中します...