Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
rml [2010/01/29 17:05]
vkuncak
rml [2010/01/29 17:43] (current)
vkuncak
Line 13: Line 13:
   * built in operators   * built in operators
   * define them whenever natural, or state strong enough properties   * define them whenever natural, or state strong enough properties
 +
 +===== Type System =====
 +
 +Simple types
 +
 +Parametric polymorphism
 +
 +Soft typing systems on top?
  
 ===== Starting Points ===== ===== Starting Points =====