http://blog.sigfpe.com/ A Neighborhood of Infinity なにもの？ という感じ。 http://iml.univ-mrs.fr/~lafont/papers.html Lafontの論文。

リストモナド＝列モナドの代数は、a:A*→A だから、任意のnに対するn講演算を備えた集合。a:A+→A なら、0項演算（特別な定数）はない。Idモナド（自明モナド）の代数は任意の自己射になる。Rに対して、a:R*→Rに対して、a(空) = 7, その他は平均値の2倍とか定…

for (var i = 0; i print(a[i]); }↑のほうが次より理解しやすいようだ。 for (var p in obj) { print(obj[p]); }a[i]でiが変化する様子はイメージできるが、obj[p]でpの変化がイメージしにくい。例えば、二人組にして次の実習をしてもらう。 一人Aに数枚のカ…