C++ - это полноприводный гоночный автомобиль с тремя свободными дифференциалами, механической коробкой передач с тремя валами и двумя сцеплениями, четырьмя отдельными педалями тормоза на все колеса и двумя рулями на обе оси. Работая с ним - нельзя ошибаться!
Ну хаскель, например, тоже не лыком шит, но там можно бы написать списки типов так, чтобы тому, кто нечаянно опишется в коде, колено не прострелило.
Хотя да, и сообщения GHC могут быть порой весьма непонятными — некоторые представления всё же и тут нужны.
Да, это так. Но речь как раз о том, что шарповый GC далеко не всегда можно использовать влоб, надеясь на то, что он умный и быстрый.
Ну, мне кажется, этого и не утверждалось. Пока что, к сожалению, мржно спокойно надеяться мало на что, и места для нетривиальных оптимизаций (и тривиальных, которые почему-нибудь проглядит компилятор) обширно.