Types and DBC in Ginger
Posted in Computing on Apr 11th, 2008 1 Comment »
Ginger supports type annotations as part of it’s design by contract support. These contracts may be enforced or checked at compile time if enough type information is available, otherwise they are checked at runtime. Type annotations can become part of the signature for the function (thus allowing overloading) for required arguments (but not [...]