Yes, I agree the language should be compiled for performance, types enable compiler optimizations and it would be silly to abandon that benefit. By “scripting language” I mean the syntax will be similar to existing interpreted languages and it will be easy to write small scripts without specifying types since they are inferred.