SBCL が Mac OS X(Darwin) に正式に対応したみたいだね。OpenMCL
に比べて、クロスプラットフォームなところが嬉しいです。CMUCL を
使えなかった穴を埋めてくれるでしょうか。
http://sbcl.sourceforge.net/

しばらくたちますが、Concurrent Clean も Mac OS X に対応してます。
http://www.cs.kun.nl/~clean/

ML も Haskell も Dylan も使えるなんて素晴らしいですね。ObjC や Java
も良いですが、たまには関数型言語も如何でしょうか。