Hi,

2011/11/15 Yukihiro Matsumoto <matz / ruby-lang.org>:
> |FYI, Scala supports statically checked duck typing.  ¨Βεε
> |http://markthomas.info/blog/?p=66.
>
> It's not concise at all.  ¨Βθε βεαυτω οζ δυγλ τωπιξη μιφειξ
> its implicitness (I know it's demerit as well).

I know that you don't like it, and neither do I.  Signatures in GNU
C++ (http://docs.freebsd.org/info/gcc/gcc.info.C++_Signatures.html)
look better, but it's not enough.  If both signatures and argument
type inference are available, it would be perfect, but those who like
static typing may disagree.

-- 
Shugo Maeda