Здравствуйте, ELazin, Вы писали:

KP>>быстрый код в общем случае не уступающий C/C++;
KP>>гарантии корректной работы с памятью.

EL>одно исключает другое

В случае раста есть некоторые накладные расходы на проверки, но в общем случае это утверждение неверно. Статически можно проверять все, даже выход за границы массивов, но сейчас это мейнстримом не является.