Lush
Lush（Lisp Universal SHell）是一种面向对象语言，一般应用于科研、工程等需要大规模数值计算或图像处理的领域。其特点是把灵活易用的弱类型解释性语言（如Python、Perl、MATLAB等，Lush使用LISP表达式），与编译性语言C、C++等的代码集成一体。Lush使用LISP形式的表达式，但是整个程序（甚至某一函数体内）中可以与C语言混合编程。 Lush最初由Leon Bottou与扬·勒丘恩（同样是DjVu格式…
标签：#LISP程式語言
共 13 篇文章
Little b
Little b是一种领域特定的编程语言，更准确地说，是一种用于构建生物系统模块化数学模型的建模语言。该语言由Aneil Mallavarapu设计并编写，在哈佛医学院的“虚拟细胞计划”（Virtual Cell Program）中开发，该项目由数学家Jeremy Gunawardena主持。 Little b基于Lisp语言，旨在通过模块化编程来模拟生物系统，从而在模型构建中提供更高的灵活性，以便迅速应对复杂生物系统建模中所需的频繁变…
LISP
Lisp（過去拼寫為LISP）是具有悠久歷史的計算機編程語言家族，有獨特的完全用圓括號的前綴符號表示法。它起源於1958年。Lisp編程語族已經演變出許多種方言，現代最著名的通用編程方言是Scheme、Common Lisp和新近的Clojure。 简介 Lisp最初是為計算機程序創建的實用數學表示法，當時借鑒過阿隆佐·邱奇的lambda表示法。它很快成為人工智能研究中最受歡迎的編程語言。作為早期的高階編程語言之一，Lisp開創了計算機…
Common Lisp对象系统
Common Lisp对象系统（CLOS）是一种面向对象编程设施，它是ANSI Common Lisp的一部份。CLOS是强力的动态对象系统，在根本上不同于静态语言，比如C++或Java中的那种OOP设施。CLOS受到更早期的Lisp对象系统，比如MIT 和Xerox 的启发，然而它比二者要更加泛化。 历史 CLOS最初被提议作为一种附加件，首次出现在1988年发表的《》，和1990年出版的《》第二版（也叫做CLtL2）中。在1994年…
Common Lisp
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…
读取-求值-输出循环
“读取-求值-输出”循环（，简称REPL），也被称做交互式顶层构件（），是一个简单的、交互式的编程环境。这个词常常用于指代Python、Lisp的交互式开发环境，也能指代命令行的模式。 概述 “读入-求值-输出”循环 的名字来自于以下几个Lisp用来实现这种机制的内置函数： 读入函数（read）接收一个来自于用户的表达式，将其解析成数据结构并存入記憶體。例如，用户可能会输入一个s-表达式 (+ 1 2 3)，这句话会被解析成一个包含四个…
S-表达式
]] 所谓“S-表达式/運算式”（S-expression）或“sexp”（其中“S”代表“符号的”），是指一种以人类可读的文本形式表达半结构化数据的约定。S-表达式可能以其在Lisp家族的编程语言中的使用而为人所知。其他应用则见于由Lisp衍生的语言，如DSSSL，以及如IMAP之类通信协议中作为标记出现和约翰·麦卡锡的。语法细节和所支持的数据类型虽因语言而异，但这些语言间最通用的特性则是使用S-表达式作为括号化的前缀表示法（有时亦作…
Lisp机器
Lisp机器（）是被设计来高效运行以Lisp语言为主要软件开发语言的通用型计算机（通常通过硬件支持）。在某种意识上，Lisp机器是第一个商业的单用户工作站。尽管在数量上表现不如意（在1988年大概只有7000套），Lisp机器在商业上开创了许多现行的技术，包括高效的内存垃圾收集，激光打印，窗口化系统，计算机鼠标，高分辨率的位图，计算机图像解析和网络革新（像CHAOSN）。 在二十世纪八十年代，几家公司正建造和销售Lisp机器：Symbo…
列表構造函數
列表構造函數是用來構造列表的基本函數，在大多數 LISP 體系的計算機編程語言中，使用的函數名稱是cons。 cons構成了存放兩個變量與其指針的記憶體物件，這個物件被稱為CONS單元、非原子的 S 表達式或cons對。LISP 編程中表達要把 x 加入 y 的語法：(cons x y)，構造了一個新物件。產生的結果具備了左半部，稱為CAR（第一元素或暫存器位址的內容）；以及右半部稱為CDR（其餘元素或遞減暫存器的內容）。 以上約略地和…
ACL2
ACL2（A Computational Logic for Applicative Common Lisp，应用式 Common Lisp 计算逻辑）是由一个程序语言、一套一阶逻辑的可拓理论、以及一个机械化的定理证明器所组成的软件系统。ACL2 从设计上支持基于归纳逻辑理论的自动推理，可应用于软件或硬件系统的形式化验证。ACL2 的编程语言及其实现基于 Common Lisp。ACL2 是基于BSD授权发布的开源软件。 简介 ACL2…
人工智慧低谷
人工智能低谷又称AI之冬、人工智能之冬，这个词汇由经历过1974年经费削减的研究者们创造出来，是指人工智能史中资金及研究兴趣都大幅减少的时期。 这个称呼源自核冬天这个术语的使用。人工智能领域经历过好几个技术成熟度曲线，先是失望及批评，以及研究资金断绝，然后在几年后重燃研究兴趣。这个词汇第一次出现于1984年人工智能促进协会（当时叫“美国人工智能协会”）年会上的公开辩论话题。这是一个连锁反应，首先是人工智能界的悲观情绪，然后是新闻界的悲观…
格林斯潘第十定律
格林斯潘第十定律（Greenspun's tenth rule）是计算机编程领域，尤其是编程语言领域的一句格言： 这表现了Lisp语言的灵活性和可扩展性，它包含了理论上编写复杂计算机程序需要的所有功能。而其他编程语言的核心实现却不能提供开发复杂程序的关键性功能支持。 来源 该定律由菲利普·格林斯潘（Philip Greenspun）于1993年前后提出。尽管被称作“第十定律”，然而实际上并没有前九个定律。格林斯潘曾解释说： 含义 Lis…
Append
在计算机编程中，append是一些高级语言中用于连接链表或数组的操作。继LISP之后，其他以链表作为原始数据结构的高级语言也都采用了append。Haskell則使用++操作符来附加列表。OCaml使用@操作符来附加列表。 参考文献