Без заголовка

Ну, это очень похоже на предложения Вольфрама (он вообще считает, что учить нужно в средах типа Matematica -- и даже не потому, что он является владельцем выпускающей этот продукт фирмы, а потому как именно так нужно учить математику: чтобы комьпютер выполнял тупые вычисления, а школьник приобретал математическую интуицию). Это всё, кстати, близко к моей мысли, которую я у себя в ЖЖ неоднократно уже высказывал: в основании и математики (ага, неологицизм) и программирования (как в части алгоритмики, так и в части моделирования данных) лежит философская логика, и если ей учить явно, то можно существенно сэкономить общее время обучения. А среды типа Matematica и Coq показывают еще и глубокую связь программирования и логики-алгебры-математики. Курс программирования, на который вы показали, хорош для заявленных в нём целей. Весь вопрос, в каком классе школы это можно/нужно начинать учить, и какие должны быть задачи, чтобы не начинать с 20 страниц определений (мои знакомые преподаватели различают курсы школьные и вузовские именно так: вузовские курсы начинаются с 20 страниц определений, а школьные не имеют права это делать -- школьник теряет интерес уже после второго определения, которое он не может выучить впрок, не понимая, зачем оно введено и как его использовать на практике). У меня сильно поменялось мировоззрение с тех пор, как я увидел на своей памяти сначала опускание вузовского курса аж до седьмого класса школы, а затем (после дальнейшего разбирательства с возникающими проблемами) опускание этого же курса до начальной школы и даже кусками до детского сада. Я теперь считаю, что "вузовскость" любого курса нужно еще доказывать, а "школьность" принимаю по умолчанию: проблема обычно только в том, чтобы дидактически перепаковать содержание, подобрать задачи и объяснялки и подобрать правильную компьютерную среду в несколько ступенек-языков.