まつもと ゆきひろです

In message "Re: [langsmith:230] Re: 参加希望します"
    on Mon, 23 May 2005 23:20:34 +0900, YAMASHINA Hio <hio hio.jp> writes:

|  「気軽」というのが, 私の主観ですが今のところ
|  「構文チェックがとおればだいたい動く」という感覚を主としているので
|  ささっと書けるという感じの気軽さは多少ずれるかもしれません. 

そういう「気軽」は(私にとっては)目新しいです。そういうのもア
リでしょうね。

|  特に制約を持たせようとすると, どう制約を書けるのかは少なくとも
|  記述が必要になってくるので, その分に関しては「手間」とも
|  いえるでしょう. 

はい。

|  (javaの)interfaceをもうちょっと融通聞くようにして, 
|  implementsしなくても定義が一致すれば通る程度の物はどうかなと
|  考えています. 
|  例えば, 
|  interface ToString
|  {
|    string to_s();
|  }
|  void print(ToString s)
|  {
|    ...
|  }
|  とあれば string to_s() というメソッドを実装していれば
|  なんであれprintに渡せる, という様な. 
|  
|  duck typing という言葉わからなかったのでgoogleさんに聞いてみたの
|  ですけれどこういうことであっていますでしょうか.

はい、そういうことです。私も一時はそういうのを考えていたので
すが、

  * Rubyという既存の言語に追加するには大きすぎる変更
  * どこまでを「一致する」と見なすか定義するのが難しい(or 面
    倒くさい)
  * 効率の良い実装方法が思いつかない

などの理由で断念しています。新しい言語を作るのであれば、最初
の障害はないので、より現実味があるかもしれません。上記のよう
なduck typingの型システムを持つ広く知られた言語はないので、
非常に興味深い試みになると思います。

                                まつもと ゆきひろ /:|)

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