骨子裡

讀〈Computing Good Nash Equilibria in Graphical Games〉。我發現上次抱怨 algorithmic game theory 和 functional programming 交集為空，其實只是表面現象。雖然是 "graphical" games，但實際上處理的 graphs 只是 trees 甚至 paths，都是 inductive datatypes。Preliminaries 裡面簡短描述的 generic algorithm 有 "upstream pass"、"downstream pass"，根本就是 tree 上的 (higher-order) fold。演算法都用自然語言和數學符號描述，把程式和證明嵌在一塊，就像 dependently-typed program 一樣。而且因為用的是數學語言，其實很適合用 functional languages 改寫，甚至寫成 derivation，應該會比目前的型式好讀一些。不過我就先不花時間做這種自找麻煩的事了，看懂他們怎麼做 dynamic programming 比較要緊 XD。

--
FP 應該設定成必修課才對…