Не под ртутью потому, что эта директория исключена из hg и нужно было её как-то назвать. Я её уже стёр, кстати.
Цитата:
Т.е. будущее за метаязыками, которые будут ограничивать сверху язык разработки.
Угу. Самое интересное, что и прошлое тоже за такими метаязыками. В лиспе есть всё необходимое, чтобы, если не административно и жёстко запретить опасные конструкции, то, во всяком случае, сделать их хорошо заметными. Например, ввести свою операцию +, в которой не будет 4/5=0 или где нельзя к числу добавить вектор - это просто элементарно. Написать в теле программы обычный плюс просто так при этом уже не получится - нужно будет явно указать пр-во имён. Запретить стандартный плюс в данном файле насовсем тоже возможно, но это уже труд. Наша задача - не потерять эти возможности при создании Яра.
Цитата:
Для крупного проекта динамическая типизация всегда смерть.
Там было ещё что-то про эксперименты, видимо, подразумевая то, что я не в курсе этой проблемы и вообще всё затеянное мной дело безнадёжно. Хотя как раз улучшение поддержки статической типизации является первой причиной существования данного проекта. В лиспе вообще-то статическая типизация возможна, хотя в ней есть и дыры (всё же язык изначально динамический, а статику потом сверху налепили). Плюс к тому она слишком многословна. Проблему многословности мы вчерне решили (скриншот с факториалом есть прямо на главной странице проекта), а дыры закрываем (делаем патчи к компилятору SBCL).
Другие комментаторы отмечали, что лисп декларативен (что не соответствует действительности) и ещё что-то. Т.е. типично русский форум - тебе будут 2 часа объяснять, какой-то м***к. Ладно бы ещё объяснения были компетентными. И всё это вместо того, чтобы ответить на мои довольно простые и конкретные вопросы.
Сухой остаток: я ничего нового не узнал про Оберон, зато услышал много глупостей про лисп и много пожеланий неудачи, замаскированных под добрые советы и сочувствие.
Можете ещё про цуникримпель прочитать - тоже очень похоже на данную тему.