Comment by pmarreck

1) This may be temporary.

2) The bounds checking argument is a problem, I guess?

3) This article makes no mention of type-checking, which is also a new feature, which moves some checks that normally only run at runtime to only needing to be checked once at compile time, and this may include bounds-style checks