Category Theory for Programmers (Part Three: 31. Monads, Monoids, and Categories) 読了 これが最終章 前回は中途で頓挫だったので まずはともあれ通読メデタし ! この章の結論で ”a category is just a monad in the bicategory of spans” とはあっけない結末だった 競プロ典型 90 問 78 日目 - Easy Graph Problem（★2） ヤルだけ 本日はこれにて離脱
5.2 Mark 1: A minimal parallel G-machine, 5.2.2 The evaluator の Ex.5.2 を何とか終えて、5.2.3 Compiling a program を読み進めています。 シーケンシャルマシンのコードから少しずつエラーの出ないように流用しつつ、パラレルマシンのコードを写経したり実装したりています。 動かせるようになるまで先は長そうですが、自分にできるペースで進めて行こうと思います。