shelarcyです。

2003/02/27 22:19:27, Shiro Kawai <shiro / lava.net> wrote:
>C++での技法、というよりは型付きマクロという感じですね。
>C++のtemplate metaprogrammingはどうも、本来そういうつもりで
>導入したんじゃない機構を無理矢理使っている風情で、
>turing machineかchurchのlambda calculusで直接プログラムを
>書くのとどっこいどっこいのように思えます。

少し前にcppllで話していたのですが、現状では型のあるLispまがいな
感じが強いですね。
(関数オブジェクトの導入やSTLでも既にその匂いはしましたが……)

 [cppll:7327] Re: テンプレートと相互参照。
http://www.tietew.jp/cppll/archive/7327


THE BOOST MPL LIBRARY
http://www.boost.org/libs/mpl/doc/index.html

[boost] Re: suggest a "select" in mpl
http://aspn.activestate.com/ASPN/Mail/Message/boost/1536506

Boost.spirit
http://cvs.sourceforge.net/cgi-bin/viewcvs.cgi/boost/boost/libs/spirit/

Boost.spirit.phoenix (lambdaに統合予定)
http://cvs.sourceforge.net/cgi-bin/viewcvs.cgi/boost/boost/libs/spirit/phoenix/

[boost] Continuations (was: tandard interface for adaptable function objects?)
http://lists.boost.org/MailArchives/boost/msg39540.php


shelarcy <shelarcy / capella.freemail.ne.jp>
http://page.freett.com/shelarcy/ 



--
ML: haskell-jp / quickml.com
使い方: http://QuickML.com/