[Grace-core] Is grace as statically typed as python?

[Marco Servetto]

Oh, Right python 3 function annotations, I keep forgetting about that syntax.
Is ti working also for local variables?

On 5 May 2014 08:35, Michael Homer <mwh at ecs.vuw.ac.nz> wrote:
> On 5 May 2014 08:04, "Marco Servetto" <marco.servetto at gmail.com> wrote:
>>
>> On 5 May 2014 05:40, Andrew P. Black <black at cs.pdx.edu> wrote:
>> > but the mechanism itself is part of  the language.
>>
>>
>> I agree for point (1), types for python would require some non-elegant
>> and non-natural solutions, since the syntax was not designed to
>> accommodate this kind of annotations, and they added decorators later.
> Python has (type, if you wish) annotations with exactly the same syntax,
> character for character, as Grace.
> -Michael