haskell-jp / mokumoku-online #89

@村上豪 has joined the channel

前半は Project Euler を Haskell で解いて　後半は The Hitchhiker's Guide to Logical Verification (2025 edition) の Part II Functional–Logic Programming / Chapter 5 Functional Programming をヤリます (いよいよ Part II なんか少し面白くなってきた)

S.K.です。お世話になっております。
参加の申し込みをしていましたが、用事ができまして、今日のもくもく会はお休みさせていただきます。
また次回以降参加させていただこうと思います。よろしくお願いいたします。
末筆ながら、参加者の皆様の本日のご健闘をお祈り申し上げます。

山本悠滋です。遅くなりましたが github.com/haskell-jp/makeMistakesToLearnHaskell/issues/121 に取り組みます

相変わらずShared Workerとmain thread間のやり取りがうまく行ってませんが、Wasm版GHCにHaskellのソースコードを渡してみたらちゃんと動いているらしいことが確認できました。やっぱShared Workerを諦める、が正解な気がして来ました...

Project Euler #150 Sub-triangle Sums　まったく歯が立たない　Kadane's Algorithm を３方向に適用する方策かも
The Hitchhiker's Guide to Logical Verification (2025 edition)　ともかく 5.4 Pattern Matching Expressions まで読む　午睡してしまい報告が遅れました

前半は Project Euler を Haskell で解いて　後半は The Hitchhiker's Guide to Logical Verification (2025 edition) の Chapter 6 Inductive Predicates をヤリます

S.K.です。お世話になっております。
先週とは別の用事がありまして、今日のもくもく会もお休みさせていただきます。
また参加になりましたら、よろしくお願いいたします。
末筆ながら、参加者の皆様の本日のご健闘をお祈り申し上げます。

山本悠滋です。遅くなりましたが github.com/haskell-jp/makeMistakesToLearnHaskell/issues/121 に取り組みます。昼寝しないでどこまでいけるかな～？

AIにお願いしてShared WorkerからWorkerに切り替えてみたけど、問題直らず。そう言えば以前AIにデバッグをお願いしたときにタイミングの問題で届かない、みたいなのを聞いたし、見直すべきはそういう所か。

Project Euler #151 A Preference for A5　割と平易　Finite state transitions を Memoization を使って解く
The Hitchhiker's Guide to Logical Verification (2025 edition)　ねむいがともかく 6.4 Linear Arithmetic Tactic まで読む
Lean には Prolog-style logic programming の発展形があると賜っているいる　実際のところ標語的に
"Lean = functional programming + logic programming + more logic" と自画自賛しているのは好き　まだ実感無いけど