Почему так много реализаций Лиспа? 
Я приведу аналогию с тем что мне известно - это типа Turbo Pascal, Free Pascal, Virtual Pascal. Т.е. язык один, но везде своя среда и компилятор со своими возможностями и фишками. Я правильно понимаю, с Лиспом то же самое?

Условно можно разделить реализации на два типа - выжившие и нишевые, коммерческие рассматривать не будем -
они существуют по законам рынка, а не эволюции.

Основные из выживших:

CMUCL - компилятор/интерпретатор, один из старейших и уважаемых;

SBCL - реструктуризированный CMUCL, ныне все дальше уходящий от первоисточника;

OpenMCL - вырос из MCL, версии CL для Macintosh, теперь поддерживает и x86-64 процессора,
x86 очевидно не будет поддерживать никогда, тк x86 архитектура с малым числом регистров
процессора требует значительных изменений кода;

Corman Lisp - создан Роджером Корманом более для собственных нужд, получил распространение
благодаря выдающемуся таланту автора и отсутствию некоммерческих реализаций под win32.

Нишевые:

CLISP - интерпретатор байткода, мало уступает компиляторам, низкие требования к памяти,
хорош для скриптов и больших программ, развитые библиотеки, поддержка многих платформ.
Основной недостаток - не поддерживает нити;

ECL - спроектирован быть легко встраиваемым в другие программы, генерирует и компилирует С-код.

GCL - первоначальное и основное назначение - язык расширения для Maxima, Axiom и ACL2,
аналогичен ECL по архитектуре;

ABCL - вариант CL на Java.

M Cr@$h

svg, ++ за чёткое объяснение новичку.

 

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

Поискал стандарты. Вот, что удалось найти:

• ISO/IEC 13816:1997 Информационные технологии. Языки программирования, их среды и интерфейсы системного программного обеспечения. Язык программирования ISLISP

Есть ещё ANSI X3.226 — стандарт Common LISP, принят в 1994.

Спасибо, Void. Вот, что ещё удалось мне собрать:

• ISO/IEC 13816:1997
  Information technology -- Programming languages, their environments and system software interfaces -- Programming language ISLISP
  

  Цитата

  The ISLISP programming language is a member of the Lisp family of programming languages. It attempts to bridge the gap between the various incompatible members of the Lisp family of languages (most notably Common Lisp, Eulisp, LeLisp, and Scheme) by focusing on standardizing those areas of widespread agreement. It is a small language, closer to the size of Scheme than to Common Lisp, for example. ISLISP had these design goals: Compatible with existing Lisp dialects where feasible. Provide basic functionality. Object-oriented. Designed with extensibility in mind. Gives priority to industrial needs over academic needs. Promotes efficient implementations and applications.

  
  ISLISP и его реализации в Википедии.
  Подробная информация о ISLISP.
  Спецификация на ISLISP (черновик стандарта).
• IEEE Std 1178-1990
  IEEE Standard for the Scheme Programming Language
  

  Цитата

  The form and meaning of programs written in the Scheme programming language in particular, their syntax, the semantic rules for interpreting them, and the representation of data to be input or output by them, are specified. The fundamental ideas of the language and the notational conventions used for describing and writing programs in the language are presented. The syntax and semantics of expressions, programs, and definitions are specified. Scheme's built-in procedures, which include all of the language's data manipulation and input/output primitives, are described, and a formal syntax for Scheme written in extended Backus-Naur form is provided. A formal denotational semantics for Schemes and some issues in the implementation of Scheme's arithmetic are covered in the appendixes.

• ANSI INCITS 226-1994 (R1999)
  Information Technology - Programming Language - Common Lisp (formerly ANSI X3.226-1994 (R1999))
  

  Цитата

  Promotes the portability of Common Lisp programs among a variety of data processing systems. It is a language specification aimed at an audience of implementors and knowledgeable programmers. It is neither a tutorial nor an implementation guide.

  
  Купить стандарт.
• OMG formal/00-06-02
  Lisp Mapping Specification
  

  Цитата

  Complete Lisp Mapping Specification

  
  На указанной странице документ лежит в форматах PDF и PostScript.

Получается, стандартизованы ISLISP, Common Lisp и Scheme. Плюс OMG держит спецификацию на Lisp Mapping.
К словам Lisp2D

теперь мы видим, что всего три Lisp'а стандартизованы на свете. Это семейство имеет разные реализации. ISLISP никто не смотрел? Не преследует ли он те добрые цели?