Re: Declaration design preference: type or name first

On Sun, Nov 11, 2007 at 10:10:54AM -0800, James Harris wrote:
> On 6 Nov, 08:39, torb...@[EMAIL PROTECTED]
 (Torben ?gidius Mogensen)
> 
> > > Sorry, can't bring myself to go with inferred types. (Why do you
like
> > > them?)
> >
> > For several reasons:
> >
> >  1. It makes the programs shorter.
> 
> But it also makes them ambiguous.

I don't see what you mean here. As long as the behavior of the type 
inferencer is well-specified, I don't think there is anything about type 
inference that makes programs ambiguous.

> >  2. You don't have to decide in advance how polymorphic/generic your
> >     functions are -- the type inference makes them maximally
> >     polymorphic.
> 
> I want control over how polymorphic functions are.

You can have type inference and still be allowed to specify types. Then 
you have control for when you need it, and succinctness when you want 
it.

Regards,

Bob

-- 
You'll get my inches, miles and gallons when you pry them from my cold
dead feet!

	-- Seen on Slashdot