?

Log in

No account? Create an account
Почему LISP? - Жить не можем без проблем! [entries|archive|friends|userinfo]
Жить не можем без проблем!

[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

Почему LISP? [Jan. 13th, 2011|02:05 pm]
Жить не можем без проблем!

ru_lisp

[aralex]

Как говорил Ворошилов, вопрос к Знатокам (к знатокам LISP-а в данном случае)! Почему таки LISP? Или, если конкретнее, вопроса три:

  1. Для каких именно задач LISP подходит больше, чем другие языки?
  2. За счёт чего для них он подходит больше?
  3. В чём именно выражается его преимущество?

Если не в лом, приведите, pls, коротенькие иллюстрации на LISP-е (или ссылочку на них). Заранее благодарен!

Исходно данный пост был размещён в сообществе ru_programming, но там Знатоков, способных ответить внятно и по сути, увы, не нашлось :(

linkReply

Comments:
From: (Anonymous)
2011-01-18 09:50 am (UTC)
"Декларативная конструкция - описание, спецификация объекта предметной области"

Вы все упорствуете, а ведь ваше определение бессодержательно. Получается что foo.money - это декларативно, а foo.getMoney() императивно. Но тогда декларативно можно писать вообще на всех языках.

На перл про ограничение сущностями, которыми оперирует уже тут рядом указали.

"Хаскель не декларативен."

Он декларативен, потому как это типизированное лямбда-исчисление без cell и с чистым IO.

"Если подумать, хаскель намного более императивен, чем CL"

Полагаю, вы так думаете потому, что вы фанат лиспа. Императивность/декларативность это не вопрос добра или зла, но вы кинулись защищать свой лисп, а смысл - кого он волнует? Если бы кто-нибудь написал "в замкнутой системе импульс сохраняется", то вы бы, наверное, бросились во имя великой справедливости писать, что "если подумать, импульс сохраняется в замкнутой системе намного хуже, чем ЛИСП". А чем хуже? Да очевидно же: чем ЛИСП.

"Лямбда-исчисление тоже дофига императивно. Описывает процесс вычислений потому что."

Мощное заявление. Давайте ссылку на опровержение доказательства теоремы Черча-Россера.
(Reply) (Parent) (Thread)