[link] Языки программирования через сто лет
"С другой стороны, я думаю, основу языка будущего можно было бы придумать и сегодня. В сущности, кое-кто может сказать, что он, по большей части, уже придуман в 1958 году."
Про числа-списки он, видимо, чтобы маленьких детей напугать написал
ни одного конкретного примера...
скажу фииии ему ...
Более того, специалист по языку Lisp мог бы быть в курсе его русских аналогов: Refal-а и Haskel-я....
Имхо, последний очень похож на язык будущего(или на его предка) даже по критериям автора статьи
haskell -- русский аналог lisp'а?
Сокращение количества информации о конкретной реализации сделает программы гибче. Спецификации меняются, пока программа пишется, и это не только неизбежно, но и желательно.
Я это называю принципом максимального минимализма , т.е. информация, на основе которой пишется программа, должна быть минимальной. Имхо, в объектно-ориентированном подходе некоторыми проповедуется обратный подход -- моделирование (программирование) объектов реального мира.
P.S. вот и я добавил немного воды
Нет никакого реального мира
Приведи, плиз, пример, который поясняет данную идею.
Lisp конечно не совсем аналог Refal-а, но они гораздо ближе друг другу, чем к java/с, например.
А Haskel - прямой потомок Refal-а.
---
...Я работаю антинаучным аферистом...
Он конечно тоже из этой серии, но про него пока реч не шла...
---
...Я работаю антинаучным аферистом...
Ты имеешь в виду, что их нельзя сравнивать? Или еще что?
---
...Я работаю антинаучным аферистом...
Универсальный критерий сравнения - эффективность решения определенных классов задач.
"Haskel" может быть и прямой потомок, а вот Haskell -- нет.
А то на нём можно более эффективно решать некоторые задачи.
---
...Я работаю антинаучным аферистом...
А то от тебя пока кроме критики ничего не поступало.
Если Хаскелл ещё можно связать родственными связями с Лиспом, то Рефал --- нет.
---
...Я работаю антинаучным аферистом...
1) непонятно, к чему ты это сказал, т.к. это не отрицает возможной связи Refal->ML->...->Haskell
2) Refal - Турчин (1972 ML - Milner (1973 так что твоё утверждение весьма спорно
на марковской модели, а не чёрчевской, на которой основан ML.
Поэтому связь его с Лиспом сомнительна.
А Лисп Тёрнера не знаешь, когда появился?
Скорее можно углядеть связь:
Лисп Маккарти --> Лисп Тёрнера --> ML --> LazyML = Haskell.
---
...Я работаю антинаучным аферистом...
А использование одинаковой модели еще ни о чем не говорит.
---
...Я работаю антинаучным аферистом...
Одинаковое представление чего?
---
...Я работаю антинаучным аферистом...
И причем она тут вообще?
что использует совершенно другую модель вычислений.
---
...Я работаю антинаучным аферистом...
http://www.oreilly.com/news/graphics/prog_lang_poster.pdf
Рефала там к сожалению нет, но если бы эту схему составлял я, то поставил бы этот язык в абсолютно независимую ветку.
для VB.NET все-таки следовало бы нарисовать стрелочку от С++, Java
Оставить комментарий
sergey_m
интересная статья, имхо