Lookup Tables: Alists and Plists（查找表：关联表和属性表） Lookup Tables: Alists and Plists（查找表：关联表和属性表） In addition to trees and sets, you can build tables that map keys to values out of c...

Playlists Playlists The basic idea behind the interface will be that each MP3 client that connects to the Shoutcast server gets its own playlist, which serves as the source of ...

Multiple Values Multiple Values Another feature of Common Lisp that I’ve mentioned in passing—in Chapter 11, when I discussed **GETHASH** --is the ability for a single form to ...

vi 补充说明 语法 选项 参数 知识扩展 vi 功能强大的纯文本编辑器 补充说明 vi命令 是UNIX操作系统和类UNIX操作系统中最通用的全屏幕纯文本编辑器。Linux中的vi编辑器叫vim，它是vi的增强版（vi Improved），与vi编辑器完全兼容，而且实现了很多增强功能。 vi编辑器支持编辑模式和命令模式，编辑模式下...

vi 补充说明 语法 选项 参数 知识扩展 vi 功能强大的纯文本编辑器 补充说明 vi命令 是UNIX操作系统和类UNIX操作系统中最通用的全屏幕纯文本编辑器。Linux中的vi编辑器叫vim，它是vi的增强版（vi Improved），与vi编辑器完全兼容，而且实现了很多增强功能。 vi编辑器支持编辑模式和命令模式，编辑模式下可以...

vi 补充说明 语法 选项 参数 知识扩展 vi 功能强大的纯文本编辑器 补充说明 vi命令 是UNIX操作系统和类UNIX操作系统中最通用的全屏幕纯文本编辑器。Linux中的vi编辑器叫vim，它是vi的增强版（vi Improved），与vi编辑器完全兼容，而且实现了很多增强功能。 vi编辑器支持编辑模式和命令模式，编辑模式下...

函数式编程概述 面向对象编程（OOP）与面向函数编程（FOP） 面向对象编程（OOP） 面向函数编程（FOP） 匀称的数据结构 + 匀称的算法 函数与映射 函数式编程基本特性 组合与范畴 范畴的对象 态射 组合操作符 函数是”第一等公民” 高阶函数（Higher order Function） λ演算 （Lambda calculus ...

The Database The Database The main problem with the database in Chapter 3 is that there’s only one table, the list stored in the variable *db* . Another is that the code doesn’...

3.10 集合 (Sets) 3.10 集合 (Sets) 列表是表示小集合的好方法。列表中的每个元素都代表了一个集合的成员： > ( member 'b ' ( a b c )) ( B C ) 当 member 要返回“真”时，与其仅仅返回 t ，它返回由寻找对象所开始的那部分。逻辑上来说，一个 Cons 扮演的角色和 t ...

What is Agda? Dependent types Typing for programmers Dependent types Dependent types and logic What is Agda? Agda is a dependently typed programming language. It is an ex...