Clozure CL
開發者 | Clozure協會 |
---|---|
當前版本 |
|
作業系統 | Linux, Solaris, FreeBSD, Mac OS X, Microsoft Windows |
平台 | 跨平台 |
語言 | Common Lisp |
類型 | IDE, 編譯器和運行時系統 |
許可協議 | Apache 2[1]自從2016年1月,早期版本在LGPL 2.1下發行。 |
網站 | ccl |
Clozure CL(CCL)是一個Common Lisp實現。它實現了完全的ANSI Common Lisp標準,並具有一些擴展(CLOS MOP、線程、CLOS條件、CLOS串流等)。 它包含一個命令行開發環境,和使用Hemlock編輯器的一個試驗性的Mac OS X集成開發環境(IDE),它也可以採用SLIME(用於GNU Emacs的Common Lisp開發環境)。Clozure CL是開源軟件,這個計劃依託於Clozure協會。
支持平台
Clozure CL支持Mac OS X、Linux、FreeBSD、Solaris和Microsoft Windows平台。每個都有32位和64位的x86版本。此外,還有對Mac OS X和Linux的PowerPC移植,和對Linux的32位ARM移植。
應用
Clozure CL被ITA Software用於新的航線預定系統的業務邏輯[2]。
Clozure CL經常被用作ACL2定理證明器的底層Common Lisp實現[3]。
歷史
以前叫做OpenMCL,Clozure CL是Macintosh Common Lisp的演化。
技術
CCL包含一個精確的、分代的、簡潔的垃圾回收器。CCL的編譯器為Lisp表達式和文件產生本機指令。缺省的在REPL錄入的所有表達式都編譯成本機代碼。
Lisp線程實現為搶佔式調度、本機作業系統線程。
CCL實現了用來容易的同C和Objective-C庫交互的內建設置(Cocoa橋),而它們被用來實現IDE和其他東西。
引用
- ^ Clozure CL now Apache 2 licensed. [2021-11-03]. (原始內容存檔於2021-11-03).
- ^ ECLM 2009 talk by Dan Weinreb Archive.is的存檔,存檔日期2012-07-07
- ^ ACL2 installation requirements. [2021-11-03]. (原始內容存檔於2022-01-04).