Хотя лично моё мнение, что языки программирования будут развиваться как и сказал Пол Грэм, в сторону повышения эффективности программирования в смысле возможности программиста оперировать крупными образами, не опускаясь до детализации. Тут интересен ещё один подход: в принципе любую программу можно рассматривать как транслятор с некоторого входного языка и когда программист пишет программу он пишет на самом деле транслятор. Но в свою очередь такой транслятор -- это тоже язык и т.д. То есть, интересно развитие языков программирования в сторону метаязыков.
Правильно мыслишь. И Грехем то как раз о том же самом говорит: истинный язык должен быть как можно более тривиальным ядром для создания метаязыков. Кстати, та же Scheme на эту роль очень даже (на настоящий момент) канает. Я тут на эту тему поигрался малость: http://dslengine.sourceforge.net/
Да, а про строки в виде списков он малость опоздал предсказывать - в Хаскелле оно давно уже так сделано. Сейчас вот думаю, как бы то же самое прозрачно (с обязательной обратной совместимостью) проделать со Схемой - но только наоборот, из соображений эффективности: сейчас во многих моих задачах 99% машинного времени уходит на объединение строк. ;)
Нет, он станет функциональным и строготипизированным. Но типы будут, на манер oldskool BASIC, задаваться суффиксами в идентификаторах, а функции будут использовать $1, $2 etc в качестве имен аргументов, а результат выполнения последней функции всегда будет доступен в $_ =)
Ну вот бля... Впервые дал на LOR-е ссылку на свой код, надеялся, что говном справедливо обольют (то бишь, на бесплатный аудит) - а все как рыбы об лёд. Всё бля, не хожу больше на LOR, нет от него выгоды в форме банковских билетов - а любая другая выгода меня не интересует...
А ты что, всерьез надеялся найти в дебрях местного форума кого-нибудь, знающего Scheme, или хотя бы способного понять глубину замысла? Три раза "ха"! =) Вот если б ты это на паскале или там жабке нарисовал (хотя не совсем понятно как... ну да ладно, _предположим_), вот тогда говно бы полилось цистернами.
>Тут интересен ещё один подход: в принципе любую программу можно рассматривать как транслятор с некоторого входного языка и когда программист пишет программу он пишет на самом деле транслятор. Но в свою очередь такой транслятор -- это тоже язык и т.д.
Вот чем и хорош Форт :D
Там эта идея является фундаментальной :)