ЕМНИП, преподавание Информатики в части алгоритмов и так ведётся на формальном языке программирования, и вроде бы это что-то было похоже на Алгол. Более того, алгоритмы, которым и нужно учить, обычно представляются в соответсвующей литературе не на каком-то конкретном языке программирования, а на псевдо-языках.
Языки с русскоязычными синтаксическими конструкциями есть (тот же 1С не к ночи будь помянут).
В принципе, насколько я понимаю, любой конкретный язык можно переложить на родной: строим соответсвие один-к-одному по операторам, синтаксическим конструкциям и транслитерации имён всяких там переменных — и вперёд. Для обучения уже вполне

Ну, возможно придётся повозиться с переводами диагностики, выдаваемой утилитами, но тут тоже нет ничего невозможного.
С интернационализацией разработки сложнее, но тоже можно попробовать прикрутить словарь язык-язык (опять же один-к-одному!) для перевода слов, словосочетаний и т.п. (ну, да, без искусственного интеллекта и знания некоторого контекста, в котором разрабатывается конкретная программа, может получаться маразм на других языках, но что поделаешь

).
Внимание вопрос: о чём спорим-то?