he beats us over the head with the fact that gcc uses ssa yet seems to think that this fact makes general mutability desirable at the language level. the compiler is not a magic wand. hey why not make everything a string too? works for tcl!!!!
Tcl's a very interesting language by the way - more than most people give it credit for - and was very successful in its heyday.