Differences
This shows you the differences between two versions of the page.
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 ===== |