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.