Delphi : クロージャ
[id:lethevert:20060110]
ちょっと修正した。
-
-
- -
-
今回作成したクロージャは大きく２種類あるが、
- _(@F)
- _(@F, Init, @Final)
１つめの方は、普通に使われるクロージャで、２つめの方は、クロージャが関数の返値として使われる場合のクロージャです。２つめの方は、環境を永続的に利用できるように、動的レコードを作成してくっつけているので、ちょっと面倒な形になっています。
リスト操作などに使うには、１つめのクロージャで十分です。
２つめのクロージャが必要になるのは、コンビネータを作る時などに必要になります。（というか、２つめのクロージャの使いにくさを考えると、Delphiでコンビネータを作るのは、実質的に無理かな）
あと、１つめのクロージャは、再帰的に生成（関数内でその関数のクロージャを作成すること）はできないようだ。
-
-
- -
-
ところで、先のfix関数って、Y Combinatorというんだね、ということに最近気づいた。
http://en.wikipedia.org/wiki/Fixed_point_combinator
