[SML 7313] Re: ブロック生成のメタプログラミング

[NISHIHARA Satoshi]

Squeak-ja にも Cc: します．全文引用ですみません．

え〜，Symbol>>asBlock と Symbol>>asBlockFor: をフォーマットしただけで
す． SequenceableCollection>>with:collect: は Squeak オリジナルのを使い
ます．他は Collection>>fold: を定義しました．人の褌で何とやらです (笑)．

on 07.9.6 10:12 AM, AOKI Atsushi wrote:
> ＳＲＡ先端技術研究所の青木です。
> 
> じゅんメーリングリストの話題をＳＭＬにも流すことにしました。
> 
> ブロック生成の例として、シンボルが asBlock / asBlockFor: の
> メッセージを理解できるようにするプログラムを添付します。。
> 
> 似たようなプログラムがちらほらと存在するのですが、どれもベタ
> なプログラムでエレガントさに欠けますので、ユニバーサル・メッ
> セージ（万能関数）を用いたメタプログラミング（高階関数）手法
> で実装しておきました。
> 
> ＃VisualWorks のプログラムですが、Squeak でも動作することを
> ＃西原さんが確かめてくれています。
> 
> 伝言選択子（メッセージ・セレクタ）シンボルに対して用いるのが
> 適切です。使い方は以下のようになります。
> 
> #size asBlock
> 
> #@ asBlock
> 
> #x:y: asBlock
> 
> #x:y: asBlockFor: Point
> 
> どんなブロックが生成されているのかは、逆コンパイルをしてみれ
> ば判明します。
> 
> #size asBlock method decompiledSource
> ==> '
> [:t1 |
> | t2 |
> t2 := Array new: 0.
> t1 perform: #size withArguments: t2]'
> 
> #@ asBlock method decompiledSource
> ==> '
> [:t1 :t2 |
> | t3 |
> (t3 := Array new: 1) at: 1 put: t2.
> t1 perform: #@ withArguments: t3]'
> 
> #x:y: asBlock method decompiledSource
> ==> '
> [:t1 :t2 :t3 |
> | t4 |
> (t4 := Array new: 2) at: 1 put: t2.
> t4 at: 2 put: t3.
> t1 perform: #x:y: withArguments: t4]'
> 
> (#x:y: asBlockFor: Point) method decompiledSource
> ==> '
> [:t1 :t2 |
> | t3 |
> (t3 := Array new: 2) at: 1 put: t1.
> t3 at: 2 put: t2.
> self perform: #x:y: withArguments: t3]'
> 
> 伝言選択子としてのシンボルがブロックになる効用は、次のような
> 典型的な場合が考えられます。
> 
> (0 to: 9) select: #even asBlock
> ==> #(0 2 4 6 8)
> 
> (0 to: 9) reject: #even asBlock
> ==> #(1 3 5 7 9)
> 
> (0 to: 9) collect: #even asBlock
> ==> #(true false true false true false true false true false)
> 
> #('asaoka' 'aoki') collect: #size asBlock
> ==> #(6 4)
> 
> #(0 2 4 6 8) with: #(1 3 5 7 9) collect: #@ asBlock
> ==> #(0 ＠ 1 2 ＠ 3 4 ＠ 5 6 ＠ 7 8 ＠ 9)
> 
> #(0 2 4 6 8) with: #(1 3 5 7 9) collect: (#x:y: asBlockFor: Point)
> ==> #(0 ＠ 1 2 ＠ 3 4 ＠ 5 6 ＠ 7 8 ＠ 9)
> 
> #(0 2 4 6 8) fold: #+ asBlock
> ==> 20
> 
> #(1 3 5 7 9) fold: #* asBlock
> ==> 945
> 
> #(12 21 -19) inject: 9999 into: #min: asBlock
> ==> -19
> 
> #(12 21 -19) inject: -9999 into: #max: asBlock
> ==> 21
> 
> 今、ある人たちと協力して、この機構を VisualWorks の新バージョ
> ンに導入しよう、というロビー活動をしてます。ぜひ Squeak でも。
> 
> asBlock / asBlockFor: のメッセージに応えられる他のオブジェク
> トの候補としては Message / MessageSend / BlockClosure などの
> オブジェクトたちがあげられると思います。
> 
> Smalltalk はメタプログラミングが気軽に（あまりにあっけなく）
> できるので、プログラマに備わっているファンタジー創世の能力が
> 刺激され、増幅されることがしばしばでしょう。
> 
> また、メタプログラミングはスーパープログラマへの道です。自己
> 相似の中に入ってフラクタルな次元に遊ぶ、という感じになります。
> 
> このように言及しても、成長段階にあるプログラマには通じないで
> しょうから、C プログラミングの状況で、誤解を恐れずに翻訳する
> と、おおよそ以下のようになると思います。
> 
> 今、ここに「test.c」というプログラムがあったとします。この実
> 行可能プログラム「test」が走行している真っ只中でやっているこ
> とは、走行状況に応じて「subs.c」というソースコードを創り出し、
> それをコンパイル＆リンクするための「Makefile」も創り出してお
> いて「make」を起動（fork:dup&exec&wait）させ、「subs」という
> 実行可能プログラムを獲得します。そして最後に「subs」を起動し、
> その実行結果をもらって、「test」が走行し続けるというものです。
> もちろん「subs.c」や「Makefile」そして「subs」などは跡形も無
> く（unlink）しておくのは当然のこと。
> 
> ------------------------------------------------------------
> R2D2 (AOKI Atsushi)        http://www.sra.co.jp/people/aoki/
> 


-- 
--------------------------------------------
西原聡士 (NISHIHARA Satoshi)
URL:    http://www.zephyr.dti.ne.jp/~nishis/
--------------------------------------------
-------------- next part --------------
文字コード指定の無い添付文書を保管しました...
名前: BlockGeneration-Tests.1.cs
URL:  http://www.akademia.co.jp/pipermail/sml/attachments/20070906/f122ee32/BlockGeneration-Tests.1.asc
-------------- next part --------------
文字コード指定の無い添付文書を保管しました...
名前: BlockGeneration.1.cs
URL:  http://www.akademia.co.jp/pipermail/sml/attachments/20070906/f122ee32/BlockGeneration.1.pot