Lisp - компилируемый язык?

Это надо умудриться задать такой вопрос рядом с темой "Компилятор Common Lisp"...

ага.
не узрел.

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

Что касается Lispа: (1) Lispов много -- в том смысле, что есть несколько языков, которые можно назвать Lispом: Common Lisp, ISLisp, Scheme, Emacs Lisp, XLisp, AutoLisp и.т.п. Хотя сейчас обычно когда говорят Lisp имеют в виду именно CL. (2) у большинства из этих языков по нескольку реализаций (в отличие от perlа), некоторые являются чистыми интерпретаторами, некоторые байт-компиляторами, некоторые нативными компиляторами. (3) Common Lisp разрабатывался в общем как "компилируемый язык" и все свободные его реализации сейчас являются компиляторами (только clisp не умеет генерировать нативный код). Реализации Scheme чаще являются байт-компиляторами или интерпретаторами, но есть и нативные компиляторы

спасибо за подробный ответ.
какой вы посоветуете "lisp", который умеет компилировать?

человек уже наверно устал отвечать.
в предыдущем топике "Компилятор Common Lisp" давались советы:
gcl, ecl.

а вообще это не lisp-way.

lisp'омучитель из предыдущих топиков. :-)

2 lisp'омучитель из предыдущих топиков:
спасибо.
как освоение просторов Лиспа? мощь чувствуется?

Пока не очень. Но я к этому стремлюсь.
Тяжело вникать в новые понятия нового языка, по книгам на английском языке.  :-)

на lib.ru есть Мир Лиспа помоему

да. читабельность у лиспа оставляет желать лучшего.

Я бы скорее советовал cmucl или sbcl -- они, в общем, лучше компилят чем gcl и ecl, стабильнее, лучше реализуют стандарт и проч.

Компиляция -- это разумеется Lispy-way. Не надо только путать компиляцию -- т.е. порождение машинного кода -- и создание исполняемых ELF-файлов.

Не лисп-way - раздельная компиляция. А так - почти все common lisp-ы - компиляторы, даже Armed Bear. Самый быстрый код даёт CMU CL, следом за ним - его форк SBCL.

тупой вопрос: что такое раздельная компиляция?

Это компиляция исходных модулей по отдельности в объектные модули с последующим связыванием (линкованием) в один бинарник (не важно, ранним или динамическим связыванием). Так работают C++, Java, OCaml, некоторые отдельные реализации Лиспа и почти все реализации Схемы.

Для Лиспа модель другая - каждый откомпилированный модуль (или даже каждое отдельное выражение) СРАЗУ добавляется к core - это называется инкрементальной компиляцией.

Есть и третий вариант - полнотекстная компиляция. Пример - MLTon...

соко в мире всего интересного! непознанного...
на сон времени вообще не остается.

>Не надо только путать компиляцию -- т.е. порождение машинного кода -- и создание исполняемых ELF-файлов

поясните разницу

Формат бинарника вовсе не обязательно должен быть ELF, только и всего...

А в каких задчах его использут? случаем не с текстовыми?

Кого? Ты о каком формате говоришь? Текстовый формат бинарника я что-то только один могу с ходу представить - .as

> А в каких задчах его использут? случаем не с текстовыми?

Практически в любых. Что общего у Лиспа и разбора текста ? Есть библиотека поддерживающая регулярные выражения и генераторы разборщиков есть, если надо с текстом бороться.