On 10/16/2010 03:58 PM, Rainer Deyke wrote: > On 10/16/2010 14:02, Walter Bright wrote: >> If it's a cringeworthy name, I'd agree. But "duck" is not cringeworthy. > > Fact: I cringe every time I hear "duck typing". Me too, for a long time. Then I had to get used to it because most everybody was using it. Andrei