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 featur

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