The Next Big Language

[Walter Bright]

retard wrote:
> Thu, 21 Oct 2010 19:30:50 -0400, bearophile wrote:
> 
>> retard:
>>
>> - "Safety features": it misses integral overflow tests and static
>> contract checking (and many other things done by C lint tools, etc).
> 
> The list was describing the type system of the language. I can't agree 
> these are all part of the types or type systems.

Your list would be better if the terms were clickable links to their 
definitions. In fact, it could actually become a nice list this way.