Уже полгода на моем рабочем столе лежит презентацияThe Next Mainstream Programming Language:A Game Developer’s Perspective- крик души разработчика игр. Лежит как напоминание о том, что хороший структурный редактор должен соответствовать этим ясно выраженным потребностям. Должен признать, что предложенные автором решения мне понравились. А компьютерные игры - это передовой край Computer Science, эталон пригодности инструментального программного обеспечения к решению сложных задач.

Если вкратце, то проблемы (и их решение) следующие:
ошибочная перезапись в оперативной памяти (решенная проблема)утечки памяти (решенная проблема)висячие указатели (сборщик мусора обязателен)выход индекса за границы массива (нужен статический контроль компилятора)разыменование нулевых указателей (нужен статический контроль компилятора)доступ к неинициализированным переменным (нужен статический контроль компилятора)целочисленное переполнение (нужен целочисленный тип данных переменной длины, причем если длина стандартная, то в ячейке хранится само значение, а если длина больше стандартной - указатель на ячейку со значением)не поддерживаются параллельные вычисления (необходимы локальные кучи, отсутствие побочных эффектов)