(>>=)演算子の引数の順がKleisli Tripleと合ってなくて、キモイと思ったけど、(>>=)は結合律を満たすので、中置記法にするのは自然。(bind f (bind g h))だと、結合律が陽に見えない。そして、敢えて、引数の順序を入れ替えることで、中置記法にした時、例え…

Haskell本を立ち読みしてきた。普通よりダメなプログラマな私は対象読者ではない結局、今週は、何もせずBuchbergerアルゴリズムを書いて終わった。超ナイーブな実装、変数の順序は変数名で自動的に決める、単項式順序は辞書式順序限定という、かなりあれな代…