こんにちは。水島です。私も、現在、手軽に書ける静的型言語(になる予定)を
作っていて、この話題には特に興味があるので、参加させていただきます。

> structural conformanceと呼ぶ人もいるようですね。
> structureかというと、微妙な気もしますけれど。

型の外部から見た構造(!=内部構造)ということで、structureでいい気がします。

>
> こういうのと、型推論を組み合わせたらどうかなあと妄想したことは
> ありましたが、どうなんでしょうね。
> たとえば、
>
>   void print(s)
>   {
>     stdout.print(s.to_s());
>   }
>
> とメソッド定義した時に、void print(ToString s)とみなすとか、
> さらにはToString相当の型が見つからなかったら自動的に作って
> しまう(メソッドのシグニチャの集合だけで型適合するなら型名は
> 何でもいい)とか。

この場合、返り値が引数で渡されているから良いですが、返り値が
捨てられるような場合、どうするんでしょうか。パラメータ型を返すように
するとかでしょうか？

---------------------------
水島宏太
e-mail: hau51010 tree.odn.ne.jp


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