森田です。

> 始めると意外と近いものです。シンタックスやセマンティックのア
> イディアから実装にいたるまで気軽にメールしてください。
お言葉に甘えて、ご挨拶がてら、少しシンタックス・セマンティクスに関するア
イディアネタを振ってみます。

今考えているアイディアとしては、オブジェクト指向に関するものです。

現在多くのオブジェクト指向言語では、"Class"シンタックスもしくはそれに順
ずるシンタックスで、"オブジェクトテンプレート"セマンティクスと"オブジェ
クト分類"セマンティクスを同時に実現するものが多いように思えます。（しっ
かり調査したわけではないので、違うものもあるかもしれません。）

で、この"オブジェクトテンプレート"セマンティクスと"オブジェクト分類"セマ
ンティクスを分けて表現できないか、というのがアイディアです。

感覚としては、"オブジェクトテンプレート"でオブジェクトを生成し、そのオブ
ジェクトを使う側が、自分の使い方に適した"オブジェクトの分類"をそのオブジェ
クトに*勝手に*適用する、というものです。そうすることで、本来オブジェクト
に存在しなかったインターフェースを、利用者にとって必要な形で自由に作れる
と考えています。

また、こうすることで、オブジェクトの動的分類・多重分類を、またやりように
よっては、階層分類をキレイに表現できるのではないかと考えています。

具体的記述方法は手前のblogをご覧下さい。（シンタックスはまだまだ洗練され
てません。セマンティクスを実現するための、仮のものとお考えください。）
http://d.hatena.ne.jp/emeitch/20050713/1121270500

現在のオブジェクト指向言語によるプログラミングでは、まずクラスが先にあり
きで、そのあとオブジェクトを生成するという、演繹的なアプローチがとられま
す。ですが、現実世界を考えたとき、クラスという概念は、多数のオブジェクト
から導出するという、帰納的アプローチが一般的だと思います。

人間の認知を考えたとき、帰納的アプローチを支援するプログラミング言語は人
間にやさしいのではないかな？というのが僕のバックボーンにある意見です。上
記アイディアは、そのオブジェクトはどんなクラスか？という情報を利用者が後
から勝手に付帯することができるので、帰納的アプローチをよりよく支援するも
のになると考えています。

こんなアイディアなのですが、どうでしょうか？

On Tue, 13 Sep 2005 15:41:19 +0900
Yukihiro Matsumoto <matz ruby-lang.org> wrote:

> まつもと ゆきひろです
> 
> In message "Re: [langsmith:290] ML参加希望"
>     on Tue, 13 Sep 2005 14:30:58 +0900, 森田秀幸【digiturbo】 <h_morita digiturbo.co.jp> writes:
> 
> |始めまして。森田秀幸と申します。
> |
> |まつもとさんの、「ハッカーズライフ」（UNIX USER 10月号）を見させてもらい、
> |「こんな楽しそうなMLがあったとは。」との思いで、入会メールを出しました。
> 
> はじめまして。いらっしゃいませ。
> 
> |言語処理系は一度も作ったことはありません。
> |「こんな言語はどうかなぁ。」と思いつつ、シンタックスやセマンティクスのみ
> |デザインしたりすることはあるのですが、書籍についているサンプル処理系すら
> |実装したことのない自分にとっては、オリジナル処理系実装の道のりは遠そうで
> |す。
> 
> 始めると意外と近いものです。シンタックスやセマンティックのア
> イディアから実装にいたるまで気軽にメールしてください。
> 
> --
> ML: langsmith quickml.atdot.net
> 使い方: http://www.atdot.net/~ko1/quickml

---
森田秀幸(emeitch)


--
ML: langsmith quickml.atdot.net
使い方: http://www.atdot.net/~ko1/quickml