Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revisionBoth sides next revision
research:software:gradualtalk [2013/05/09 10:44] eallenderesearch:software:gradualtalk [2013/05/09 12:06] etanter
Line 4: Line 4:
  
 The type system of Gradualtalk supports as much Smalltalk idioms as possible through a number of features: a combination of nominal and structural types, union types, self types, parametric polymorphism, and blame tracking, amongst others.  The type system of Gradualtalk supports as much Smalltalk idioms as possible through a number of features: a combination of nominal and structural types, union types, self types, parametric polymorphism, and blame tracking, amongst others. 
 +
 +**Gradualtalk team:** Esteban Allende, Oscar Callaú, Johan Fabry, Éric Tanter
  
 ===== Kind of Types ===== ===== Kind of Types =====