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

Marco Servetto marco.servetto at gmail.com
Sat May 3 21:43:23 PDT 2014


No James, No
is in *the language* or is expressed with *libraries* ?


On 4 May 2014 14:19, James Noble <kjx at ecs.vuw.ac.nz> wrote:
> Grace is optionally, gradually, structurally typed.
>
> that means Grace code is always logically dynamically typed.
>
> On 3/05/2014, at 10:22 am, Marco Servetto <marco.servetto at gmail.com> wrote:
>
>> So, grace *the language* has static-incremental typing or is a grace
>> library that support it?
>
> yes
>
> J
>


More information about the Grace-core mailing list