2006-01-27から1日間の記事一覧

ISWIM : SECD machine : P.J. Landin

クロージャの一件で、Landinさんという名前を知ったのだけれど、この方について調べてみたら、面白いことに行き当たりました。 (下の論文には、クロージャ(閉包)という言葉をLandinが使ったという記述があります。 http://www.ice.nuie.nagoya-u.ac.jp/~h…

Concurrent Clean : 一意型と上手く付き合うには?

Cleanで実用的なプログラミングをするには、一意型を使わざるを得ないので、命令的なプログラミングになって、純粋関数型言語を使っているメリットが全然ないという不満があったのですが、SICPを読み進めるうちに、上手いやりようはあるのではないかと思うよ…

Java : 高階関数

Iter関数をJavaで書くと・・・ abstract class Iter { int m = 1; Iter(int n) { m = n; } int call(int i) { for (int c=0; c