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". -- Rainer Deyke - rainerd at eldwood.com