[Types-sig] type declaration syntax

[Greg Stein]

On Sat, 18 Dec 1999, skaller wrote:
> Greg Stein wrote:
> > On Sat, 18 Dec 1999, skaller wrote:
> > >...
> > > But the _return_ type doesn't need to be annotated as much.
> > > Why? Because the inferencer can usually deduce it:
> > > it's an output, the argument types are inputs.
> > 
> > Users of the function need the return type. The inferencer won't be
> > global -- it isn't going to look at the function to determine the return
> > type. 
> 
> 	Viperc _will_ use a global inferencer.
> Please don't assume "python" means CPython. There are two other
> full scale implementations now. There may be more in the future.
> And there may be other programs -- not full interpreters or
> compilers, like PyLint -- which will _use_ the information.

But I am talking about CPython. Do what you want with Viper, but I'm
concerned with the core/authoritative distribution. I do not believe that
will have a global inferencer. Sure, maybe it will one day, but my
proposal assumes "no".

Cheers,
-g

-- 
Greg Stein, http://www.lyra.org/