Clozure CLCCL)是一個Common Lisp實現。它實現了完全的ANSI Common Lisp標準,並具有一些擴展(CLOS MOP、線程、CLOS條件、CLOS串流等)。 它包含一個命令行開發環境,和使用Hemlock英語Hemlock (text editor)編輯器的一個試驗性的Mac OS X集成開發環境(IDE),它也可以採用SLIME英語SLIME(用於GNU Emacs的Common Lisp開發環境)。Clozure CL是開源軟件,這個計劃依託於Clozure協會。

Clozure CL
開發者Clozure協會
當前版本
  • 1.12.2(2023年8月9日;穩定版本)
編輯維基數據鏈接
作業系統Linux, Solaris, FreeBSD, Mac OS X, Microsoft Windows
平台跨平台
語言Common Lisp
類型IDE, 編譯器運行時系統
許可協議Apache 2[1]自從2016年1月,早期版本在LGPL 2.1下發行。
網站ccl.clozure.com

支持平台

編輯

Clozure CL支持Mac OS XLinuxFreeBSDSolarisMicrosoft Windows平台。每個都有32位和64位的x86版本。此外,還有對Mac OS X和Linux的PowerPC移植,和對Linux的32位ARM移植。

應用

編輯

Clozure CL被ITA Software英語ITA Software用於新的航線預定系統英語Airline Reservation System的業務邏輯[2]

Clozure CL經常被用作ACL2定理證明器的底層Common Lisp實現[3]

歷史

編輯

以前叫做OpenMCL,Clozure CL是Macintosh Common Lisp英語Macintosh Common Lisp的演化。

技術

編輯

CCL包含一個精確的、分代的、簡潔的垃圾回收器。CCL的編譯器為Lisp表達式和文件產生本機指令。缺省的在REPL錄入的所有表達式都編譯成本機代碼。

Lisp線程實現為搶佔式調度、本機作業系統線程。

CCL實現了用來容易的同C和Objective-C庫交互的內建設置(Cocoa橋),而它們被用來實現IDE和其他東西。

IDE(基於Hemlock英語Hemlock (text editor)編輯器)目前仍是試驗性的。

引用

編輯
  1. ^ Clozure CL now Apache 2 licensed. [2021-11-03]. (原始內容存檔於2021-11-03). 
  2. ^ ECLM 2009 talk by Dan Weinreb Archive.is存檔,存檔日期2012-07-07
  3. ^ ACL2 installation requirements. [2021-11-03]. (原始內容存檔於2022-01-04). 

外部連結

編輯