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