В чем разница между Clojure, Scheme / Racket и Common Lisp?

Я знаю, что это диалекты одного семейства языков, называемого шепелявым, но в чем именно заключаются различия? Не могли бы вы дать обзор, если возможно, охватывающий такие темы, как синтаксис, характеристики, функции и ресурсы.

У всех них много общего:

• Динамические языки
• Строго типизированный
• скомпилированный
• Синтаксис в стиле Лиспа, то есть код написан как структуры данных (формы) Лиспа, причем наиболее распространенным шаблоном являются вызовы функций, например: (function-name arg1 arg2)
• Мощные макросистемы, которые позволяют обрабатывать код как данные и генерировать произвольный код во время выполнения (часто используются для «расширения языка» с помощью нового синтаксиса или создания DSL)
• Часто используется в стиле функционального программирования, хотя может учитывать и другие парадигмы.
• Акцент на интерактивной разработке с помощью REPL (т.е. вы разрабатываете интерактивно в запущенном экземпляре кода)

Отличительные особенности Common Lisp:

• Мощная подсистема ООП ( Common Lisp Object System )
• Вероятно, лучший компилятор (Common Lisp - это самый быстрый Lisp согласно http://benchmarksgame.alioth.debian.org/u64q/which-programs-are-fastest.html, хотя в нем не так много ...)

Отличительные особенности Clojure:

• Самая большая библиотечная экосистема, так как вы можете напрямую использовать любые библиотеки Java
• Векторы []и карты, {}используемые в качестве стандартных в дополнение к стандартным спискам ()- помимо общей полезности векторов и карт, некоторые считают, что это нововведение, которое делает в целом более читабельным
• Большой упор на неизменяемость и ленивое функциональное программирование, в некоторой степени вдохновленное Haskell
• Сильные возможности параллелизма, поддерживаемые программной транзакционной памятью на уровне языка (стоит посмотреть: http://www.infoq.com/presentations/Value-Identity-State-Rich-Hickey )

Отличительные особенности схемы:

• Возможно, самый простой и легкий для изучения Лисп
• Гигиенические макросы (см. Http://en.wikipedia.org/wiki/Hygienic_macro ) - элегантно избегает проблем со случайным захватом символов в расширениях макросов.

Люди выше пропустили несколько вещей

1. Common Lisp также имеет векторы и хеш-таблицы. Разница в том, что Common Lisp использует # () для векторов и не использует синтаксис для хеш-таблиц. На схеме есть векторы, я считаю

2. В Common Lisp есть макросы для чтения, которые позволяют использовать новые скобки (как и Racket, потомок Scheme).

3. Scheme и Clojure имеют гигиеничные макросы в отличие от негигиеничных макросов Common Lisp.

4. Все языки либо современные, либо есть обширные проекты ремонта. Common Lisp получил обширные библиотеки за последние пять лет (в основном благодаря Quicklisp), Scheme имеет некоторые современные реализации (Racket, Chicken, Chez Scheme и т. Д.), А Clojure был создан относительно недавно.

5. Common Lisp имеет встроенную объектно-ориентированную систему, хотя она сильно отличается от других объектно-ориентированных систем, которые вы, возможно, использовали. Примечательно, что это не принудительно - вам не нужно писать объектно-ориентированный код.

6. У языков несколько иная философия дизайна. Схема была разработана как минимальный диалект для понимания модели актера; позже он стал использоваться в педагогике. Common Lisp был разработан для объединения бесчисленного множества диалектов Lisp, которые возникли. Clojure был разработан для параллелизма. В результате Scheme имеет репутацию минималистичного и элегантного, Common Lisp - мощного и парадигматического (функционального, объектно-ориентированного и т. Д.), А Clojure - функционального программирования.

Не забывайте о различиях Lisp-1 и Lisp-2.

Scheme и Clojure - это Lisp-1:
это означает, что имена переменных и функций находятся в одном пространстве имен.

Common Lisp - это Lisp-2:
функция и переменные имеют разные пространства имен (фактически, CL имеет много пространств имен).

GIMP написан на схеме :)

На самом деле, часть программного обеспечения, которое, по мнению некоторых людей, могло быть написано на C ++, вероятно, было сделано под эгидой Lisp, трудно выделить золотые яблоки из этой кучи. Дело в том, что C ++ не всегда был популярен, он кажется популярным сегодня только из-за истории обновлений. Меньшую половину века C ++ даже не использовал многопоточность, именно здесь Python сегодня превратился в помойку бесполезного непроверенного кода с ошибками. Пройдите немного быстрее, и теперь мы наблюдаем рост функционального программирования, это больше похоже на адаптацию или смерть. Я думаю, что в части адаптации Java все правильно.

Scheme был разработан для упрощения языка Lisp, это было его единственной целью, за исключением того, что он так и не прижился. Я думаю, что Clojure делает что-то подобное, оно предназначено для упрощения схемы для JVM и не более того. Он, как и любой другой язык JVM, предназначен только для того, чтобы улучшить пользовательский опыт, только для упрощения написания шаблона на языке Java.