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).