haskell-jp / mokumoku-online #74

igrep
2025-03-02 17:50:28 +0900
出先の用事が長引いてしまったので、今日は帰ってから延長戦で軽くやります:bow:
karoyakani
2025-03-02 18:04:43 +0900
Applied Category Theory, Chapter 5: Signal flow graphs: Props, presentations, and proofs. Part 1 の動画視聴 + text 読了　prop と presentation の定義が　膨大な量の例で示される　新しい概念いっぱい出て来て正直辟易とする　おそらく次回にそれらが signal flow graph として統合されるのだろうが　それを楽しみとしよう　ひたすら我慢の子
Competitive Programming in Haskell: Scanner は Haskell 競プロ勢に必読の良記事　さっそく Kattis の Popular Vote と Board Wrapping に使用した（後者は目下 Debug 中）
S.K.
2025-03-02 18:18:52 +0900
先週に続き、Ex.5.9 のデバッグのために、Ex.5.10. の実行結果を確認していました。
再確認の結果、関数適用ノードやグローバルノードのロック方法や、ロックされたノードの解除方法は、とりあえず一応テキストの遷移規則通りに実装しているように見えました。
先週間違いかと思ったヒープ内容変更処理も一概にそうとは言えないかもと思われたので、エラーの直接の原因となった getArg 関数の non-exhaustive を解消してみたところ、ex.5.10 のテストプログラムが最後まで動いて、前回と異なり処理結果もOutputに出力されました。
この動作が正しいのかどうか確認していこうと思います。