前田です。

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

妄想なのであまり深くは考えていませんでした、すみません(^_^;

思い付きですが、to_s()の戻り値は「(voidも含めて)何でもいい」ことを
表現する型(たとえばany)にするとかでしょうか。
ただ、こういう方向を進めていくと、強い型の利点のうちのいくらかは
損なわれてしまうので微妙な気もします。

-- 
前田 修吾

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