scalazのTraverseとStateモナドを使ってTreeの重複を削除(もしくはdirected acyclic graphをtreeに変換)する話(scalapropsの内部実装)

タイトルを無闇に長くしていくスタイル

最初真面目にblog書こうとしたけど、disciplineのモチベーションなどから書いてたからだいぶ長くなりそうだし、雑にtweetしてしまったので、せめてtweetを貼り付けておく

URL昨日久しぶりに「The Essence of the Iterator Pattern」みて思い出したけど、disciplineと同じで型クラスの継承関係の重複nodeを削除するためにscalaz.Traverse[Tree]と

2015-06-09 01:16:43 via Twitter Web Client

Stateモナド使ってaccumulateとmapを1回の走査で同時に行うの、Traverseの好例だと思うで、ブログで解説書きたいなーと前から思ってたけど、なんだか最近ブログ書く気が起きないので、こうやってtweetして済ませよう(もしくは誰か解説書いてくれ)

2015-06-09 01:17:10 via Twitter Web Client to @xuwei_k

Treeというか、正確には「有向非循環グラフ(directed acyclic graph)の状態のものをTreeに変換」か

2015-06-09 01:43:36 via Twitter Web Client to @xuwei_k

せめて、わかりやすいように(?)テストを書いておいたURL URL

2015-06-09 02:30:34 via Twitter Web Client to @xuwei_k

つまり、これを

こうしたい