Common Lisp和計算機代數系統

快捷方式: 差异，相似，杰卡德相似系数，参考。

Common Lisp和計算機代數系統之间的区别

Common Lisp vs. 計算機代數系統

Common Lisp，縮寫為CL（不是組合邏輯的縮寫）是Lisp編程語言的一種方言，由ANSI INCITS 226-1994(R2004)（前身為ANSI X3.226-1994(R1999)），所定義的語言規範標準。Common Lisp HyperSpec是源自於ANSI Common Lisp標準的網頁超連結版本。 CL語言是為標準化和改良Maclisp而開發的後繼者。到20世紀80年代初，幾個工作群組已經在設計MacLisp各種後繼者，例如：Lisp Machine Lisp（又名 ZetaLisp），Spice Lisp，NIL和S-1 Lisp。CL是為了標準化和擴展此前眾多的MacLisp分支而開發，它本身並非具體的實作，而是對語言設立標準的規範。有數個實作符合Common Lisp規範，其中包括自由和開源軟件，以及商業化產品。CL支援了結構化、函數式和物件導向編程等範式。相对于各种嵌入在特定产品中的语言，如Emacs Lisp和AutoLISP，Common Lisp是一種用途廣泛的编程语言。不同於很多早期Lisp，Common Lisp如同Scheme，其中的變量是預設為詞法作用域的。 身為一種動態編程語言，它有助於進化和增量的軟件開發，並將其迭代編譯成高效的執行程序。這種增量開發通常是互動持續地改善，而不需中斷執行中的應用程序。它還支援在後期的分析和優化階段添加可選的型別註記與轉型，使編譯器產生更有效率的代碼。例如在硬體和實作的支援範圍內，fixnum能保存一個未封裝整數，允許比大整數或任意精度類型更高效率的運算。同樣地，在每個模組或函數的基礎上可聲明優化，指示編譯器要編譯成哪一類型的安全級別。 CL包含了支援多分派和方法組合的物件系統，縮寫為CLOS，它通常以元物件（Metaobject）協定來實現。 CL藉由標準功能進行擴展，例如Lisp宏（编译时期程序自身完成的代码重排（compile-time code rearrangement accomplished by the program itself））和阅读器宏（赋予用户自定义的語法以扩展具特殊意义的符号（extension of syntax to give special meaning to characters reserved for users for this purpose））。 CL為Maclisp和约翰·麦卡锡的原創Lisp提供了一些向後兼容性。這允許較舊的Lisp軟件移植到Common Lisp之上。. 計算機代數系統（computer algebra system，縮寫作：CAS）是進行符號運算的軟件。這種系統的要件是數學表示式的符號運算。.

C语言

C是一种通用的程式語言，广泛用于系统软件与应用软件的开发。于1969年至1973年間，為了移植與開發UNIX作業系統，由丹尼斯·里奇與肯·汤普逊，以B语言为基础，在贝尔实验室設計、开发出來。 C语言具有高效、灵活、功能丰富、表达力强和較高的可移植性等特点，在程式設計中备受青睐，成为最近25年使用最为广泛的编程语言。目前，C语言編譯器普遍存在於各種不同的操作系统中，例如Microsoft Windows、macOS、Linux、Unix等。C語言的設計影響了众多後來的程式語言，例如C++、Objective-C、Java、C#等。 二十世纪八十年代，為了避免各開發廠商用的C語言語法產生差異，由美國國家標準局為C語言訂定了一套完整的國際標準語法，稱為ANSI C，作為C語言的標準。二十世纪八十年代至今的有关程式開發工具，一般都支持符合ANSI C的語法。.

Common Lisp和C语言 · C语言和計算機代數系統 · 查看更多 »

GNU通用公共许可证

GNU通用公共授權條款（GNU General Public License，简称 GNU GPL、GPL）是廣泛使用的免費軟件許可證，可以保證終端用戶得自由運行，學習，共享和修改軟件。許可證最初由GNU項目的自由軟件基金會 （FSF）的理查德·斯托曼（Richard Matthew Stallman）撰寫，並授予計算機程序的收件人自由軟件定義的權利。 GPL是一個Copyleft許可證，這意味著衍生作品只能以相同的許可條款分發。 這與許可免費軟件許可證有所區別 ，其中BSD許可證和MIT許可證是廣泛使用的示例。 GPL是第一個普遍使用的Copyleft許可證。 歷史上，GPL許可證系列一直是免費和開源軟件領域最受歡迎的軟件許可之一。 根據GPL許可的優異自由軟件程序的例子有Linux內核和GNU編譯器集合 （GCC）。 David A. Wheeler認為，GPL提供的Copyleft對於基於Linux的系統的成功至關重要，給予向內核貢獻的程序員保證他們的工作將有益於整個世界並保持自由，而不至於被不提供回饋給社群的不肖軟件公司所剝削。 2007年，發布了第三版許可證（GNU GPLv3），以解決在長期使用期間發現的第二版（GNU GPLv2）所發生的一些困擾。 為了使許可證保持最新狀態，GPL許可證包含一個可選的“並延伸到未來版本”條款，允許用戶在FSF更新的原始條款或新版本之間進行選擇。 有些開發人員在軟件授權使用時，選擇省略它; 例如，Linux內核已經在GPLv2下獲得許可，就不需包括“並延伸到未來版本”的聲明。 GPL授予程序接受人以下權利，或稱“自由”，或稱“copyleft”：.

Common Lisp和GNU通用公共许可证 · GNU通用公共许可证和計算機代數系統 · 查看更多 »

Maxima

Maxima是一种用LISP编写的计算机代数系统（Computer Algebra System），用于公式推导和符号计算，它是一套自由软件，在GNU通用公共许可证下發行。它由麻省理工学院在美国能源部的支持下于60年代末创造的Macsyma演变而来。Macsyma後來慢慢走上商業化的道路，自1982年开始，Bill Schelter教授默默地维护基于能源部获得的代碼的Macsyma，他把這個軟體叫做Maxima，開放源码。因為版權的問題，Maxima一直没有公開發行，--有少數人知道有這個軟體的存在。1998年，Maxima終於得到公開發行的許可，這已是Schelter教授努力了16年之後的事。Schelter教授在2001年去世，不過已經正式成為合法開放源碼軟體，因此陸續有支持開放源碼的程式設計師，學者投入Maxima的開發工作。 Maxima的前身Macsyma在當時是非常創新的軟體。現在流行的商業计算机代数系统軟體Maple及Mathematica，都是受到Macsyma的啟發而設計出來的。.

Common Lisp和Maxima · Maxima和計算機代數系統 · 查看更多 »