From 91d1227001ef24276de66cc0f46572b202c00f4b Mon Sep 17 00:00:00 2001 From: cattail Date: Tue, 17 Dec 2013 17:32:35 +0800 Subject: [all/zh-cn] fix incorrect language-specific suffix Also change useless executable file mode. --- zh-cn/c-cn.html.markdown | 0 zh-cn/common-lisp-cn.html.markdown | 624 +++++++++++++++++++++++++++++++++++++ zh-cn/common-lisp.html.markdown | 624 ------------------------------------- zh-cn/elisp-cn.html.markdown | 0 zh-cn/git-cn.html.markdown | 0 zh-cn/go-cn.html.markdown | 284 +++++++++++++++++ zh-cn/go-zh.html.markdown | 284 ----------------- zh-cn/haskell-cn.html.markdown | 0 zh-cn/java-cn.html.markdown | 0 zh-cn/javascript-cn.html.markdown | 0 zh-cn/php-cn.html.markdown | 0 zh-cn/python-cn.html.markdown | 0 12 files changed, 908 insertions(+), 908 deletions(-) mode change 100755 => 100644 zh-cn/c-cn.html.markdown create mode 100644 zh-cn/common-lisp-cn.html.markdown delete mode 100644 zh-cn/common-lisp.html.markdown mode change 100755 => 100644 zh-cn/elisp-cn.html.markdown mode change 100755 => 100644 zh-cn/git-cn.html.markdown create mode 100644 zh-cn/go-cn.html.markdown delete mode 100644 zh-cn/go-zh.html.markdown mode change 100755 => 100644 zh-cn/haskell-cn.html.markdown mode change 100755 => 100644 zh-cn/java-cn.html.markdown mode change 100755 => 100644 zh-cn/javascript-cn.html.markdown mode change 100755 => 100644 zh-cn/php-cn.html.markdown mode change 100755 => 100644 zh-cn/python-cn.html.markdown diff --git a/zh-cn/c-cn.html.markdown b/zh-cn/c-cn.html.markdown old mode 100755 new mode 100644 diff --git a/zh-cn/common-lisp-cn.html.markdown b/zh-cn/common-lisp-cn.html.markdown new file mode 100644 index 00000000..f005dd58 --- /dev/null +++ b/zh-cn/common-lisp-cn.html.markdown @@ -0,0 +1,624 @@ +--- +language: "Common Lisp" +filename: commonlisp-cn.lisp +contributors: + - ["Paul Nathan", "https://github.com/pnathan"] +translators: + - ["Mac David", "http://macdavid313.com"] + - ["mut0u", "http://github.com/mut0u"] +lang: zh-cn +--- + +ANSI Common Lisp 是一个广泛通用于各个工业领域的、支持多种范式的编程语言。 +这门语言也经常被引用作“可编程的编程语言”（可以写代码的代码）。 + +免费的经典的入门书籍[《实用 Common Lisp 编程》](http://www.gigamonkeys.com/book/) + +另外还有一本热门的近期出版的 +[Land of Lisp](http://landoflisp.com/). + +```scheme +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;;; 0. 语法 +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; + +;;; 一般形式 + +;; Lisp有两个基本的语法单元：原子（atom），以及S-表达式。 +;; 一般的，一组S-表达式被称为“组合式”。 + +10 ; 一个原子; 它对自身进行求值 + +:THING ;同样是一个原子；它被求值为一个符号 :thing + +t ;还是一个原子，代表逻辑真值。 + +(+ 1 2 3 4) ; 一个S-表达式。 + +'(4 :foo t) ;同样是一个S-表达式。 + + +;;; 注释 + +;; 一个分号开头的注释表示仅用于此行（单行）；两个分号开头的则表示一个所谓标准注释； +;; 三个分号开头的意味着段落注释； +;; 而四个分号开头的注释用于文件头注释（译者注：即对该文件的说明）。 + +#| 块注释 + 可以涵盖多行，而且... + #| + 他们可以被嵌套！ + |# +|# + +;;; 运行环境 + +;; 有很多不同的Common Lisp的实现；并且大部分的实现是一致（可移植）的。 +;; 对于入门学习来说，CLISP是个不错的选择。 + +;; 可以通过QuickLisp.org's Quicklisp系统可以管理你的库。 + +;; 通常，使用一个文本编辑器和一个的“REPL”来开发Common Lisp； +;; （译者注：“REPL”指读取-求值-打印循环）。 +;; “REPL”允许对程序进行交互式的运行、调试，就好像在系统中这是一场“现场直播”。 + + +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;;; 1. 基本数据类型以及运算符 +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; + +;;; 符号 + +'foo ; => FOO 注意到这个符号被自动转换成大写了。 + +;; `intern`由一个给定的字符串而创建相应的符号 + +(intern "AAAA") ; => AAAA + +(intern "aaa") ; => |aaa| + +;;; 数字 +9999999999999999999999 ; 整型数 +#b111 ; 二进制 => 7 +#o111 ; 八进制 => 73 +#x111 ; 十六进制 => 273 +3.14159s0 ; 单精度 +3.14159d0 ; 双精度 +1/2 ; 分数 +#C(1 2) ; 复数 + + +;; 使用函数时，应当写成这样的形式：(f x y z ...)； +;; 其中，f是一个函数（名），x, y, z为参数； +;; 如果你想创建一个“字面”意义上（即不求值）的列表， 只需使用单引号 ' ， +;; 从而避免接下来的表达式被求值。即，只“引用”这个数据（而不求值）。 +'(+ 1 2) ; => (+ 1 2) +;; 你同样也可以手动地调用一个函数（译者注：即使用函数对象来调用函数）： +(funcall #'+ 1 2 3) ; => 6 +;; 一些算术运算符 +(+ 1 1) ; => 2 +(- 8 1) ; => 7 +(* 10 2) ; => 20 +(expt 2 3) ; => 8 +(mod 5 2) ; => 1 +(/ 35 5) ; => 7 +(/ 1 3) ; => 1/3 +(+ #C(1 2) #C(6 -4)) ; => #C(7 -2) + + ;;; 布尔运算 +t ; 逻辑真（任何不是nil的值都被视为真值） +nil ; 逻辑假，或者空列表 +(not nil) ; => t +(and 0 t) ; => t +(or 0 nil) ; => 0 + + ;;; 字符 +#\A ; => #\A +#\λ ; => #\GREEK_SMALL_LETTER_LAMDA（希腊字母Lambda的小写） +#\u03BB ; => #\GREEK_SMALL_LETTER_LAMDA（Unicode形式的小写希腊字母Lambda） + +;;; 字符串被视为一个定长字符数组 +"Hello, world!" +"Benjamin \"Bugsy\" Siegel" ;反斜杠用作转义字符 + +;; 可以拼接字符串 +(concatenate 'string "Hello " "world!") ; => "Hello world!" + +;; 一个字符串也可被视作一个字符序列 +(elt "Apple" 0) ; => #\A + +;; `format`被用于格式化字符串 +(format nil "~a can be ~a" "strings" "formatted") + +;; 利用`format`打印到屏幕上是非常简单的 +;;（译者注：注意到第二个参数是t，不同于刚刚的nil）；~% 代表换行符 +(format t "Common Lisp is groovy. Dude.~%") + + +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;; 2. 变量 +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;; 你可以通过`defparameter`创建一个全局（动态）变量 +;; 变量名可以是除了：()[]{}",'`;#|\ 这些字符之外的其他任何字符 + +;; 动态变量名应该由*号开头与结尾！ +;; (译者注：这个只是一个习惯) + +(defparameter *some-var* 5) +*some-var* ; => 5 + +;; 你也可以使用Unicode字符： +(defparameter *AΛB* nil) + + +;; 访问一个在之前从未被绑定的变量是一种不规范的行为（即使依然是可能发生的）； +;; 不要尝试那样做。 + + +;; 局部绑定：在(let ...)语句内，'me'被绑定到"dance with you"上。 +;; `let`总是返回在其作用域内最后一个表达式的值 + +(let ((me "dance with you")) + me) +;; => "dance with you" + +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;; 3. 结构体和集合 +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; + +;; 结构体 +(defstruct dog name breed age) +(defparameter *rover* + (make-dog :name "rover" + :breed "collie" + :age 5)) +*rover* ; => #S(DOG :NAME "rover" :BREED "collie" :AGE 5) + +(dog-p *rover*) ; => t ;; ewww) +(dog-name *rover*) ; => "rover" + +;; Dog-p，make-dog，以及 dog-name都是由defstruct创建的！ + +;;; 点对单元(Pairs) +;; `cons`可用于生成一个点对单元， 利用`car`以及`cdr`将分别得到第一个和第二个元素 +(cons 'SUBJECT 'VERB) ; => '(SUBJECT . VERB) +(car (cons 'SUBJECT 'VERB)) ; => SUBJECT +(cdr (cons 'SUBJECT 'VERB)) ; => VERB + +;;; 列表 + +;; 所有列表都是由点对单元构成的“链表”。它以'nil'（或者'()）作为列表的最后一个元素。 +(cons 1 (cons 2 (cons 3 nil))) ; => '(1 2 3) +;; `list`是一个生成列表的便利途径 +(list 1 2 3) ; => '(1 2 3) +;; 并且，一个引用也可被用做字面意义上的列表值 +'(1 2 3) ; => '(1 2 3) + +;; 同样的，依然可以用`cons`来添加一项到列表的起始位置 +(cons 4 '(1 2 3)) ; => '(4 1 2 3) + +;; 而`append`也可用于连接两个列表 +(append '(1 2) '(3 4)) ; => '(1 2 3 4) + +;; 或者使用`concatenate` + +(concatenate 'list '(1 2) '(3 4)) + +;; 列表是一种非常核心的数据类型，所以有非常多的处理列表的函数 +;; 例如： +(mapcar #'1+ '(1 2 3)) ; => '(2 3 4) +(mapcar #'+ '(1 2 3) '(10 20 30)) ; => '(11 22 33) +(remove-if-not #'evenp '(1 2 3 4)) ; => '(2 4) +(every #'evenp '(1 2 3 4)) ; => nil +(some #'oddp '(1 2 3 4)) ; => T +(butlast '(subject verb object)) ; => (SUBJECT VERB) + + +;;; 向量 + +;; 向量的字面意义是一个定长数组 +;;（译者注：此处所谓“字面意义”，即指#(......)的形式，下文还会出现） +#(1 2 3) ; => #(1 2 3) + +;; 使用`concatenate`来将两个向量首尾连接在一起 +(concatenate 'vector #(1 2 3) #(4 5 6)) ; => #(1 2 3 4 5 6) + +;;; 数组 + +;; 向量和字符串只不过是数组的特例 + +;; 二维数组 + +(make-array (list 2 2)) + +;; (make-array '(2 2)) 也是可以的 + +; => #2A((0 0) (0 0)) + +(make-array (list 2 2 2)) + +; => #3A(((0 0) (0 0)) ((0 0) (0 0))) + +;; 注意：数组的默认初始值是可以指定的 +;; 下面是如何指定的示例： + +(make-array '(2) :initial-element 'unset) + +; => #(UNSET UNSET) + +;; 若想获取数组[1][1][1]上的元素： +(aref (make-array (list 2 2 2)) 1 1 1) + +; => 0 + +;;; 变长向量 + +;; 若将变长向量打印出来，那么它的字面意义上的值和定长向量的是一样的 + +(defparameter *adjvec* (make-array '(3) :initial-contents '(1 2 3) + :adjustable t :fill-pointer t)) + +*adjvec* ; => #(1 2 3) + +;; 添加新的元素: +(vector-push-extend 4 *adjvec*) ; => 3 + +*adjvec* ; => #(1 2 3 4) + + + +;;; 不怎么严谨地说，集合也可被视为列表 + +(set-difference '(1 2 3 4) '(4 5 6 7)) ; => (3 2 1) +(intersection '(1 2 3 4) '(4 5 6 7)) ; => 4 +(union '(1 2 3 4) '(4 5 6 7)) ; => (3 2 1 4 5 6 7) +(adjoin 4 '(1 2 3 4)) ; => (1 2 3 4) + +;; 然而，你可能想使用一个更好的数据结构，而并非一个链表 + +;;; 在Common Lisp中，“字典”和哈希表的实现是一样的。 + +;; 创建一个哈希表 +(defparameter *m* (make-hash-table)) + +;; 给定键，设置对应的值 +(setf (gethash 'a *m*) 1) + +;; （通过键）检索对应的值 +(gethash 'a *m*) ; => 1, t + +;; 注意此处有一细节：Common Lisp往往返回多个值。`gethash`返回的两个值是t，代表找到了这个元素；返回nil表示没有找到这个元素。 +;;（译者注：返回的第一个值表示给定的键所对应的值或者nil；） +;;（第二个是一个布尔值，表示在哈希表中是否存在这个给定的键） +;; 例如，如果可以找到给定的键所对应的值，则返回一个t，否则返回nil + +;; 由给定的键检索一个不存在的值，则返回nil +;;（译者注：这个nil是第一个nil，第二个nil其实是指该键在哈希表中也不存在） + (gethash 'd *m*) ;=> nil, nil + +;; 给定一个键，你可以指定其对应的默认值： +(gethash 'd *m* :not-found) ; => :NOT-FOUND + +;; 在此，让我们看一看怎样处理`gethash`的多个返回值。 + +(multiple-value-bind + (a b) + (gethash 'd *m*) + (list a b)) +; => (NIL NIL) + +(multiple-value-bind + (a b) + (gethash 'a *m*) + (list a b)) +; => (1 T) + +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;; 3. 函数 +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; + +;; 使用`lambda`来创建一个匿名函数。 +;; 一个函数总是返回其形式体内最后一个表达式的值。 +;; 将一个函数对象打印出来后的形式是多种多样的... + +(lambda () "Hello World") ; => # + +;; 使用`funcall`来调用lambda函数 +(funcall (lambda () "Hello World")) ; => "Hello World" + +;; 或者使用`apply` +(apply (lambda () "Hello World") nil) ; => "Hello World" + +;; 显示地定义一个函数（译者注：即非匿名的） +(defun hello-world () + "Hello World") +(hello-world) ; => "Hello World" + +;; 刚刚上面函数名"hello-world"后的()其实是函数的参数列表 +(defun hello (name) + (format nil "Hello, ~a " name)) + +(hello "Steve") ; => "Hello, Steve" + +;; 函数可以有可选形参并且其默认值都为nil + +(defun hello (name &optional from) + (if from + (format t "Hello, ~a, from ~a" name from) + (format t "Hello, ~a" name))) + + (hello "Jim" "Alpacas") ;; => Hello, Jim, from Alpacas + +;; 你也可以指定那些可选形参的默认值 +(defun hello (name &optional (from "The world")) + (format t "Hello, ~a, from ~a" name from)) + +(hello "Steve") +; => Hello, Steve, from The world + +(hello "Steve" "the alpacas") +; => Hello, Steve, from the alpacas + + +;; 当然，你也可以设置所谓关键字形参； +;; 关键字形参往往比可选形参更具灵活性。 + +(defun generalized-greeter (name &key (from "the world") (honorific "Mx")) + (format t "Hello, ~a ~a, from ~a" honorific name from)) + +(generalized-greeter "Jim") ; => Hello, Mx Jim, from the world + +(generalized-greeter "Jim" :from "the alpacas you met last summer" :honorific "Mr") +; => Hello, Mr Jim, from the alpacas you met last summer + +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;; 4. 等式 +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; + +;; Common Lisp具有一个十分复杂的用于判断等价的系统，下面只是其中一部分的例子 + +;; 若要比较数值是否等价，使用`=` +(= 3 3.0) ; => t +(= 2 1) ; => nil + +;; 若要比较对象的类型，则使用`eql` +;;（译者注：抱歉，翻译水平实在有限，下面是我个人的补充说明） +;;（`eq` 返回真，如果对象的内存地址相等） +;;（`eql` 返回真，如果两个对象内存地址相等，或者对象的类型相同，并且值相等） +;;（例如同为整形数或浮点数，并且他们的值相等时，二者`eql`等价） +;;（想要弄清`eql`，其实有必要先了解`eq`) +;;（[可以参考](http://stackoverflow.com/questions/547436/whats-the-difference-between-eq-eql-equal-and-equalp-in-common-lisp)） +;;（可以去CLHS上分别查看两者的文档） +;;（另外，《实用Common Lisp编程》的4.8节也提到了两者的区别） +(eql 3 3) ; => t +(eql 3 3.0) ; => nil +(eql (list 3) (list 3)) ; => nil + +;; 对于列表、字符串、以及位向量，使用`equal` +(equal (list 'a 'b) (list 'a 'b)) ; => t +(equal (list 'a 'b) (list 'b 'a)) ; => nil + +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;; 5. 控制流 +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; + +;;; 条件判断语句 + +(if t ; “test”，即判断语句 + "this is true" ; “then”，即判断条件为真时求值的表达式 + "this is false") ; “else”，即判断条件为假时求值的表达式 +; => "this is true" + +;; 在“test”（判断）语句中，所有非nil或者非()的值都被视为真值 +(member 'Groucho '(Harpo Groucho Zeppo)) ; => '(GROUCHO ZEPPO) +(if (member 'Groucho '(Harpo Groucho Zeppo)) + 'yep + 'nope) +; => 'YEP + +;; `cond`将一系列测试语句串联起来，并对相应的表达式求值 +(cond ((> 2 2) (error "wrong!")) + ((< 2 2) (error "wrong again!")) + (t 'ok)) ; => 'OK + +;; 对于给定值的数据类型，`typecase`会做出相应地判断 +(typecase 1 + (string :string) + (integer :int)) + +; => :int + +;;; 迭代 + +;; 当然，递归是肯定被支持的： + +(defun walker (n) + (if (zerop n) + :walked + (walker (1- n)))) + +(walker) ; => :walked + +;; 而大部分场合下，我们使用`DOLIST`或者`LOOP`来进行迭代 + + +(dolist (i '(1 2 3 4)) + (format t "~a" i)) + +; => 1234 + +(loop for i from 0 below 10 + collect i) + +; => (0 1 2 3 4 5 6 7 8 9) + + +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;; 6. 可变性 +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; + +;; 使用`setf`可以对一个已经存在的变量进行赋值； +;; 事实上，刚刚在哈希表的例子中我们已经示范过了。 + +(let ((variable 10)) + (setf variable 2)) + ; => 2 + + +;; 所谓好的Lisp编码风格就是为了减少使用破坏性函数，防止发生副作用。 + +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;; 7. 类与对象 +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; + +;; 我们就不写什么有关动物的类了，下面给出的人力车的类 + +(defclass human-powered-conveyance () + ((velocity + :accessor velocity + :initarg :velocity) + (average-efficiency + :accessor average-efficiency + :initarg :average-efficiency)) + (:documentation "A human powered conveyance")) + +;; `defclass`，后面接类名，以及超类列表 +;; 再接着是槽的列表（槽有点像Java里的成员变量），最后是一些可选的特性 +;; 例如文档说明“:documentation” + +;; 如果超类列表为空，则默认该类继承于“standard-object”类（standard-object又是T的子类） +;; 这种默认行为是可以改变的，但你最好有一定的基础并且知道自己到底在干什么； +;; 参阅《The Art of the Metaobject Protocol》来了解更多信息。 + +(defclass bicycle (human-powered-conveyance) + ((wheel-size + :accessor wheel-size + :initarg :wheel-size + :documentation "Diameter of the wheel.") + (height + :accessor height + :initarg :height))) + +(defclass recumbent (bicycle) + ((chain-type + :accessor chain-type + :initarg :chain-type))) + +(defclass unicycle (human-powered-conveyance) nil) + +(defclass canoe (human-powered-conveyance) + ((number-of-rowers + :accessor number-of-rowers + :initarg :number-of-rowers))) + + +;; 在REPL中对human-powered-conveyance类调用`DESCRIBE`后结果如下： + +(describe 'human-powered-conveyance) + +; COMMON-LISP-USER::HUMAN-POWERED-CONVEYANCE +; [symbol] +; +; HUMAN-POWERED-CONVEYANCE names the standard-class #: +; Documentation: +; A human powered conveyance +; Direct superclasses: STANDARD-OBJECT +; Direct subclasses: UNICYCLE, BICYCLE, CANOE +; Not yet finalized. +; Direct slots: +; VELOCITY +; Readers: VELOCITY +; Writers: (SETF VELOCITY) +; AVERAGE-EFFICIENCY +; Readers: AVERAGE-EFFICIENCY +; Writers: (SETF AVERAGE-EFFICIENCY) + +;; 注意到这些有用的返回信息——Common Lisp一直是一个交互式的系统。 + +;; 若要定义一个方法； +;; 先让我们注意到我们计算自行车轮子周长时使用了这样一个公式：C = d * pi + +(defmethod circumference ((object bicycle)) + (* pi (wheel-size object))) + +;; pi在Common Lisp中已经是一个内置的常量。 + +;; 假设我们已经知道了效率值（“efficiency value”）和船桨数大概呈对数关系； +;; 那么效率值的定义应当在构造器/初始化过程中就被完成。 + +;; 下面是一个Common Lisp构造实例时初始化实例的例子： + +(defmethod initialize-instance :after ((object canoe) &rest args) + (setf (average-efficiency object) (log (1+ (number-of-rowers object))))) + +;; 接着初构造一个实例并检查平均效率... + +(average-efficiency (make-instance 'canoe :number-of-rowers 15)) +; => 2.7725887 + + +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;; 8. 宏 +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; + +;; 宏可以让你扩展语法 + +;; 例如，Common Lisp并没有自带WHILE循环——所以让我们自己来为他添加一个； +;; 如果按照汇编程序的直觉来看，我们会这样写： + +(defmacro while (condition &body body) + "While `condition` is true, `body` is executed. + +`condition` is tested prior to each execution of `body`" + (let ((block-name (gensym))) + `(tagbody + (unless ,condition + (go ,block-name)) + (progn + ,@body) + ,block-name))) + +;; 让我们来看看它的高级版本： + +(defmacro while (condition &body body) + "While `condition` is true, `body` is executed. + +`condition` is tested prior to each execution of `body`" + `(loop while ,condition + do + (progn + ,@body))) + +;; 然而，在一个比较现代化的编译环境下，这样的WHILE是没有必要的； +;; LOOP形式的循环和这个WHILE同样的好，并且更易于阅读。 + +;; 注意到反引号'`'，逗号','以及'@'符号，这三个符号； +;; 反引号'`'是一种所谓“quasiquote”的引用类型的运算符，有了它，之后的逗号“,”才有意义。 +;; 逗号“,”意味着解除引用（unquote，即开始求值）； +;; “@”符号则表示将当前的参数插入到当前整个列表中。 +;;（译者注：要想真正用好、用对这三个符号，需要下一番功夫） +;;（甚至光看《实用 Common Lisp 编程》中关于宏的介绍都是不够的） +;;（建议再去读一读Paul Graham的两本著作《ANSI Common Lisp》和《On Lisp》） + +;; 函数`gensym`创建一个唯一的符号——这个符号确保不会出现在其他任何地方。 +;; 这样做是因为，宏是在编译期展开的 +;; 而在宏中声明的变量名极有可能和常规代码中使用的变量名发生冲突。 + +;; 可以去《实用 Common Lisp 编程》中阅读更多有关宏的内容。 +``` + + +## 拓展阅读 + +[继续阅读《实用 Common Lisp 编程》一书](http://www.gigamonkeys.com/book/) + + +## 致谢 + +非常感谢Scheme社区的人们，我基于他们的成果得以迅速的写出这篇有关Common Lisp的快速入门 +同时也感谢 +- [Paul Khuong](https://github.com/pkhuong) ，他提出了很多有用的点评。 + +##译者寄语 +“祝福那些将思想镶嵌在重重括号之内的人们。” diff --git a/zh-cn/common-lisp.html.markdown b/zh-cn/common-lisp.html.markdown deleted file mode 100644 index f005dd58..00000000 --- a/zh-cn/common-lisp.html.markdown +++ /dev/null @@ -1,624 +0,0 @@ ---- -language: "Common Lisp" -filename: commonlisp-cn.lisp -contributors: - - ["Paul Nathan", "https://github.com/pnathan"] -translators: - - ["Mac David", "http://macdavid313.com"] - - ["mut0u", "http://github.com/mut0u"] -lang: zh-cn ---- - -ANSI Common Lisp 是一个广泛通用于各个工业领域的、支持多种范式的编程语言。 -这门语言也经常被引用作“可编程的编程语言”（可以写代码的代码）。 - -免费的经典的入门书籍[《实用 Common Lisp 编程》](http://www.gigamonkeys.com/book/) - -另外还有一本热门的近期出版的 -[Land of Lisp](http://landoflisp.com/). - -```scheme -;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -;;; 0. 语法 -;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; - -;;; 一般形式 - -;; Lisp有两个基本的语法单元：原子（atom），以及S-表达式。 -;; 一般的，一组S-表达式被称为“组合式”。 - -10 ; 一个原子; 它对自身进行求值 - -:THING ;同样是一个原子；它被求值为一个符号 :thing - -t ;还是一个原子，代表逻辑真值。 - -(+ 1 2 3 4) ; 一个S-表达式。 - -'(4 :foo t) ;同样是一个S-表达式。 - - -;;; 注释 - -;; 一个分号开头的注释表示仅用于此行（单行）；两个分号开头的则表示一个所谓标准注释； -;; 三个分号开头的意味着段落注释； -;; 而四个分号开头的注释用于文件头注释（译者注：即对该文件的说明）。 - -#| 块注释 - 可以涵盖多行，而且... - #| - 他们可以被嵌套！ - |# -|# - -;;; 运行环境 - -;; 有很多不同的Common Lisp的实现；并且大部分的实现是一致（可移植）的。 -;; 对于入门学习来说，CLISP是个不错的选择。 - -;; 可以通过QuickLisp.org's Quicklisp系统可以管理你的库。 - -;; 通常，使用一个文本编辑器和一个的“REPL”来开发Common Lisp； -;; （译者注：“REPL”指读取-求值-打印循环）。 -;; “REPL”允许对程序进行交互式的运行、调试，就好像在系统中这是一场“现场直播”。 - - -;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -;;; 1. 基本数据类型以及运算符 -;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; - -;;; 符号 - -'foo ; => FOO 注意到这个符号被自动转换成大写了。 - -;; `intern`由一个给定的字符串而创建相应的符号 - -(intern "AAAA") ; => AAAA - -(intern "aaa") ; => |aaa| - -;;; 数字 -9999999999999999999999 ; 整型数 -#b111 ; 二进制 => 7 -#o111 ; 八进制 => 73 -#x111 ; 十六进制 => 273 -3.14159s0 ; 单精度 -3.14159d0 ; 双精度 -1/2 ; 分数 -#C(1 2) ; 复数 - - -;; 使用函数时，应当写成这样的形式：(f x y z ...)； -;; 其中，f是一个函数（名），x, y, z为参数； -;; 如果你想创建一个“字面”意义上（即不求值）的列表， 只需使用单引号 ' ， -;; 从而避免接下来的表达式被求值。即，只“引用”这个数据（而不求值）。 -'(+ 1 2) ; => (+ 1 2) -;; 你同样也可以手动地调用一个函数（译者注：即使用函数对象来调用函数）： -(funcall #'+ 1 2 3) ; => 6 -;; 一些算术运算符 -(+ 1 1) ; => 2 -(- 8 1) ; => 7 -(* 10 2) ; => 20 -(expt 2 3) ; => 8 -(mod 5 2) ; => 1 -(/ 35 5) ; => 7 -(/ 1 3) ; => 1/3 -(+ #C(1 2) #C(6 -4)) ; => #C(7 -2) - - ;;; 布尔运算 -t ; 逻辑真（任何不是nil的值都被视为真值） -nil ; 逻辑假，或者空列表 -(not nil) ; => t -(and 0 t) ; => t -(or 0 nil) ; => 0 - - ;;; 字符 -#\A ; => #\A -#\λ ; => #\GREEK_SMALL_LETTER_LAMDA（希腊字母Lambda的小写） -#\u03BB ; => #\GREEK_SMALL_LETTER_LAMDA（Unicode形式的小写希腊字母Lambda） - -;;; 字符串被视为一个定长字符数组 -"Hello, world!" -"Benjamin \"Bugsy\" Siegel" ;反斜杠用作转义字符 - -;; 可以拼接字符串 -(concatenate 'string "Hello " "world!") ; => "Hello world!" - -;; 一个字符串也可被视作一个字符序列 -(elt "Apple" 0) ; => #\A - -;; `format`被用于格式化字符串 -(format nil "~a can be ~a" "strings" "formatted") - -;; 利用`format`打印到屏幕上是非常简单的 -;;（译者注：注意到第二个参数是t，不同于刚刚的nil）；~% 代表换行符 -(format t "Common Lisp is groovy. Dude.~%") - - -;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -;; 2. 变量 -;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -;; 你可以通过`defparameter`创建一个全局（动态）变量 -;; 变量名可以是除了：()[]{}",'`;#|\ 这些字符之外的其他任何字符 - -;; 动态变量名应该由*号开头与结尾！ -;; (译者注：这个只是一个习惯) - -(defparameter *some-var* 5) -*some-var* ; => 5 - -;; 你也可以使用Unicode字符： -(defparameter *AΛB* nil) - - -;; 访问一个在之前从未被绑定的变量是一种不规范的行为（即使依然是可能发生的）； -;; 不要尝试那样做。 - - -;; 局部绑定：在(let ...)语句内，'me'被绑定到"dance with you"上。 -;; `let`总是返回在其作用域内最后一个表达式的值 - -(let ((me "dance with you")) - me) -;; => "dance with you" - -;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -;; 3. 结构体和集合 -;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; - -;; 结构体 -(defstruct dog name breed age) -(defparameter *rover* - (make-dog :name "rover" - :breed "collie" - :age 5)) -*rover* ; => #S(DOG :NAME "rover" :BREED "collie" :AGE 5) - -(dog-p *rover*) ; => t ;; ewww) -(dog-name *rover*) ; => "rover" - -;; Dog-p，make-dog，以及 dog-name都是由defstruct创建的！ - -;;; 点对单元(Pairs) -;; `cons`可用于生成一个点对单元， 利用`car`以及`cdr`将分别得到第一个和第二个元素 -(cons 'SUBJECT 'VERB) ; => '(SUBJECT . VERB) -(car (cons 'SUBJECT 'VERB)) ; => SUBJECT -(cdr (cons 'SUBJECT 'VERB)) ; => VERB - -;;; 列表 - -;; 所有列表都是由点对单元构成的“链表”。它以'nil'（或者'()）作为列表的最后一个元素。 -(cons 1 (cons 2 (cons 3 nil))) ; => '(1 2 3) -;; `list`是一个生成列表的便利途径 -(list 1 2 3) ; => '(1 2 3) -;; 并且，一个引用也可被用做字面意义上的列表值 -'(1 2 3) ; => '(1 2 3) - -;; 同样的，依然可以用`cons`来添加一项到列表的起始位置 -(cons 4 '(1 2 3)) ; => '(4 1 2 3) - -;; 而`append`也可用于连接两个列表 -(append '(1 2) '(3 4)) ; => '(1 2 3 4) - -;; 或者使用`concatenate` - -(concatenate 'list '(1 2) '(3 4)) - -;; 列表是一种非常核心的数据类型，所以有非常多的处理列表的函数 -;; 例如： -(mapcar #'1+ '(1 2 3)) ; => '(2 3 4) -(mapcar #'+ '(1 2 3) '(10 20 30)) ; => '(11 22 33) -(remove-if-not #'evenp '(1 2 3 4)) ; => '(2 4) -(every #'evenp '(1 2 3 4)) ; => nil -(some #'oddp '(1 2 3 4)) ; => T -(butlast '(subject verb object)) ; => (SUBJECT VERB) - - -;;; 向量 - -;; 向量的字面意义是一个定长数组 -;;（译者注：此处所谓“字面意义”，即指#(......)的形式，下文还会出现） -#(1 2 3) ; => #(1 2 3) - -;; 使用`concatenate`来将两个向量首尾连接在一起 -(concatenate 'vector #(1 2 3) #(4 5 6)) ; => #(1 2 3 4 5 6) - -;;; 数组 - -;; 向量和字符串只不过是数组的特例 - -;; 二维数组 - -(make-array (list 2 2)) - -;; (make-array '(2 2)) 也是可以的 - -; => #2A((0 0) (0 0)) - -(make-array (list 2 2 2)) - -; => #3A(((0 0) (0 0)) ((0 0) (0 0))) - -;; 注意：数组的默认初始值是可以指定的 -;; 下面是如何指定的示例： - -(make-array '(2) :initial-element 'unset) - -; => #(UNSET UNSET) - -;; 若想获取数组[1][1][1]上的元素： -(aref (make-array (list 2 2 2)) 1 1 1) - -; => 0 - -;;; 变长向量 - -;; 若将变长向量打印出来，那么它的字面意义上的值和定长向量的是一样的 - -(defparameter *adjvec* (make-array '(3) :initial-contents '(1 2 3) - :adjustable t :fill-pointer t)) - -*adjvec* ; => #(1 2 3) - -;; 添加新的元素: -(vector-push-extend 4 *adjvec*) ; => 3 - -*adjvec* ; => #(1 2 3 4) - - - -;;; 不怎么严谨地说，集合也可被视为列表 - -(set-difference '(1 2 3 4) '(4 5 6 7)) ; => (3 2 1) -(intersection '(1 2 3 4) '(4 5 6 7)) ; => 4 -(union '(1 2 3 4) '(4 5 6 7)) ; => (3 2 1 4 5 6 7) -(adjoin 4 '(1 2 3 4)) ; => (1 2 3 4) - -;; 然而，你可能想使用一个更好的数据结构，而并非一个链表 - -;;; 在Common Lisp中，“字典”和哈希表的实现是一样的。 - -;; 创建一个哈希表 -(defparameter *m* (make-hash-table)) - -;; 给定键，设置对应的值 -(setf (gethash 'a *m*) 1) - -;; （通过键）检索对应的值 -(gethash 'a *m*) ; => 1, t - -;; 注意此处有一细节：Common Lisp往往返回多个值。`gethash`返回的两个值是t，代表找到了这个元素；返回nil表示没有找到这个元素。 -;;（译者注：返回的第一个值表示给定的键所对应的值或者nil；） -;;（第二个是一个布尔值，表示在哈希表中是否存在这个给定的键） -;; 例如，如果可以找到给定的键所对应的值，则返回一个t，否则返回nil - -;; 由给定的键检索一个不存在的值，则返回nil -;;（译者注：这个nil是第一个nil，第二个nil其实是指该键在哈希表中也不存在） - (gethash 'd *m*) ;=> nil, nil - -;; 给定一个键，你可以指定其对应的默认值： -(gethash 'd *m* :not-found) ; => :NOT-FOUND - -;; 在此，让我们看一看怎样处理`gethash`的多个返回值。 - -(multiple-value-bind - (a b) - (gethash 'd *m*) - (list a b)) -; => (NIL NIL) - -(multiple-value-bind - (a b) - (gethash 'a *m*) - (list a b)) -; => (1 T) - -;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -;; 3. 函数 -;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; - -;; 使用`lambda`来创建一个匿名函数。 -;; 一个函数总是返回其形式体内最后一个表达式的值。 -;; 将一个函数对象打印出来后的形式是多种多样的... - -(lambda () "Hello World") ; => # - -;; 使用`funcall`来调用lambda函数 -(funcall (lambda () "Hello World")) ; => "Hello World" - -;; 或者使用`apply` -(apply (lambda () "Hello World") nil) ; => "Hello World" - -;; 显示地定义一个函数（译者注：即非匿名的） -(defun hello-world () - "Hello World") -(hello-world) ; => "Hello World" - -;; 刚刚上面函数名"hello-world"后的()其实是函数的参数列表 -(defun hello (name) - (format nil "Hello, ~a " name)) - -(hello "Steve") ; => "Hello, Steve" - -;; 函数可以有可选形参并且其默认值都为nil - -(defun hello (name &optional from) - (if from - (format t "Hello, ~a, from ~a" name from) - (format t "Hello, ~a" name))) - - (hello "Jim" "Alpacas") ;; => Hello, Jim, from Alpacas - -;; 你也可以指定那些可选形参的默认值 -(defun hello (name &optional (from "The world")) - (format t "Hello, ~a, from ~a" name from)) - -(hello "Steve") -; => Hello, Steve, from The world - -(hello "Steve" "the alpacas") -; => Hello, Steve, from the alpacas - - -;; 当然，你也可以设置所谓关键字形参； -;; 关键字形参往往比可选形参更具灵活性。 - -(defun generalized-greeter (name &key (from "the world") (honorific "Mx")) - (format t "Hello, ~a ~a, from ~a" honorific name from)) - -(generalized-greeter "Jim") ; => Hello, Mx Jim, from the world - -(generalized-greeter "Jim" :from "the alpacas you met last summer" :honorific "Mr") -; => Hello, Mr Jim, from the alpacas you met last summer - -;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -;; 4. 等式 -;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; - -;; Common Lisp具有一个十分复杂的用于判断等价的系统，下面只是其中一部分的例子 - -;; 若要比较数值是否等价，使用`=` -(= 3 3.0) ; => t -(= 2 1) ; => nil - -;; 若要比较对象的类型，则使用`eql` -;;（译者注：抱歉，翻译水平实在有限，下面是我个人的补充说明） -;;（`eq` 返回真，如果对象的内存地址相等） -;;（`eql` 返回真，如果两个对象内存地址相等，或者对象的类型相同，并且值相等） -;;（例如同为整形数或浮点数，并且他们的值相等时，二者`eql`等价） -;;（想要弄清`eql`，其实有必要先了解`eq`) -;;（[可以参考](http://stackoverflow.com/questions/547436/whats-the-difference-between-eq-eql-equal-and-equalp-in-common-lisp)） -;;（可以去CLHS上分别查看两者的文档） -;;（另外，《实用Common Lisp编程》的4.8节也提到了两者的区别） -(eql 3 3) ; => t -(eql 3 3.0) ; => nil -(eql (list 3) (list 3)) ; => nil - -;; 对于列表、字符串、以及位向量，使用`equal` -(equal (list 'a 'b) (list 'a 'b)) ; => t -(equal (list 'a 'b) (list 'b 'a)) ; => nil - -;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -;; 5. 控制流 -;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; - -;;; 条件判断语句 - -(if t ; “test”，即判断语句 - "this is true" ; “then”，即判断条件为真时求值的表达式 - "this is false") ; “else”，即判断条件为假时求值的表达式 -; => "this is true" - -;; 在“test”（判断）语句中，所有非nil或者非()的值都被视为真值 -(member 'Groucho '(Harpo Groucho Zeppo)) ; => '(GROUCHO ZEPPO) -(if (member 'Groucho '(Harpo Groucho Zeppo)) - 'yep - 'nope) -; => 'YEP - -;; `cond`将一系列测试语句串联起来，并对相应的表达式求值 -(cond ((> 2 2) (error "wrong!")) - ((< 2 2) (error "wrong again!")) - (t 'ok)) ; => 'OK - -;; 对于给定值的数据类型，`typecase`会做出相应地判断 -(typecase 1 - (string :string) - (integer :int)) - -; => :int - -;;; 迭代 - -;; 当然，递归是肯定被支持的： - -(defun walker (n) - (if (zerop n) - :walked - (walker (1- n)))) - -(walker) ; => :walked - -;; 而大部分场合下，我们使用`DOLIST`或者`LOOP`来进行迭代 - - -(dolist (i '(1 2 3 4)) - (format t "~a" i)) - -; => 1234 - -(loop for i from 0 below 10 - collect i) - -; => (0 1 2 3 4 5 6 7 8 9) - - -;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -;; 6. 可变性 -;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; - -;; 使用`setf`可以对一个已经存在的变量进行赋值； -;; 事实上，刚刚在哈希表的例子中我们已经示范过了。 - -(let ((variable 10)) - (setf variable 2)) - ; => 2 - - -;; 所谓好的Lisp编码风格就是为了减少使用破坏性函数，防止发生副作用。 - -;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -;; 7. 类与对象 -;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; - -;; 我们就不写什么有关动物的类了，下面给出的人力车的类 - -(defclass human-powered-conveyance () - ((velocity - :accessor velocity - :initarg :velocity) - (average-efficiency - :accessor average-efficiency - :initarg :average-efficiency)) - (:documentation "A human powered conveyance")) - -;; `defclass`，后面接类名，以及超类列表 -;; 再接着是槽的列表（槽有点像Java里的成员变量），最后是一些可选的特性 -;; 例如文档说明“:documentation” - -;; 如果超类列表为空，则默认该类继承于“standard-object”类（standard-object又是T的子类） -;; 这种默认行为是可以改变的，但你最好有一定的基础并且知道自己到底在干什么； -;; 参阅《The Art of the Metaobject Protocol》来了解更多信息。 - -(defclass bicycle (human-powered-conveyance) - ((wheel-size - :accessor wheel-size - :initarg :wheel-size - :documentation "Diameter of the wheel.") - (height - :accessor height - :initarg :height))) - -(defclass recumbent (bicycle) - ((chain-type - :accessor chain-type - :initarg :chain-type))) - -(defclass unicycle (human-powered-conveyance) nil) - -(defclass canoe (human-powered-conveyance) - ((number-of-rowers - :accessor number-of-rowers - :initarg :number-of-rowers))) - - -;; 在REPL中对human-powered-conveyance类调用`DESCRIBE`后结果如下： - -(describe 'human-powered-conveyance) - -; COMMON-LISP-USER::HUMAN-POWERED-CONVEYANCE -; [symbol] -; -; HUMAN-POWERED-CONVEYANCE names the standard-class #: -; Documentation: -; A human powered conveyance -; Direct superclasses: STANDARD-OBJECT -; Direct subclasses: UNICYCLE, BICYCLE, CANOE -; Not yet finalized. -; Direct slots: -; VELOCITY -; Readers: VELOCITY -; Writers: (SETF VELOCITY) -; AVERAGE-EFFICIENCY -; Readers: AVERAGE-EFFICIENCY -; Writers: (SETF AVERAGE-EFFICIENCY) - -;; 注意到这些有用的返回信息——Common Lisp一直是一个交互式的系统。 - -;; 若要定义一个方法； -;; 先让我们注意到我们计算自行车轮子周长时使用了这样一个公式：C = d * pi - -(defmethod circumference ((object bicycle)) - (* pi (wheel-size object))) - -;; pi在Common Lisp中已经是一个内置的常量。 - -;; 假设我们已经知道了效率值（“efficiency value”）和船桨数大概呈对数关系； -;; 那么效率值的定义应当在构造器/初始化过程中就被完成。 - -;; 下面是一个Common Lisp构造实例时初始化实例的例子： - -(defmethod initialize-instance :after ((object canoe) &rest args) - (setf (average-efficiency object) (log (1+ (number-of-rowers object))))) - -;; 接着初构造一个实例并检查平均效率... - -(average-efficiency (make-instance 'canoe :number-of-rowers 15)) -; => 2.7725887 - - -;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -;; 8. 宏 -;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; - -;; 宏可以让你扩展语法 - -;; 例如，Common Lisp并没有自带WHILE循环——所以让我们自己来为他添加一个； -;; 如果按照汇编程序的直觉来看，我们会这样写： - -(defmacro while (condition &body body) - "While `condition` is true, `body` is executed. - -`condition` is tested prior to each execution of `body`" - (let ((block-name (gensym))) - `(tagbody - (unless ,condition - (go ,block-name)) - (progn - ,@body) - ,block-name))) - -;; 让我们来看看它的高级版本： - -(defmacro while (condition &body body) - "While `condition` is true, `body` is executed. - -`condition` is tested prior to each execution of `body`" - `(loop while ,condition - do - (progn - ,@body))) - -;; 然而，在一个比较现代化的编译环境下，这样的WHILE是没有必要的； -;; LOOP形式的循环和这个WHILE同样的好，并且更易于阅读。 - -;; 注意到反引号'`'，逗号','以及'@'符号，这三个符号； -;; 反引号'`'是一种所谓“quasiquote”的引用类型的运算符，有了它，之后的逗号“,”才有意义。 -;; 逗号“,”意味着解除引用（unquote，即开始求值）； -;; “@”符号则表示将当前的参数插入到当前整个列表中。 -;;（译者注：要想真正用好、用对这三个符号，需要下一番功夫） -;;（甚至光看《实用 Common Lisp 编程》中关于宏的介绍都是不够的） -;;（建议再去读一读Paul Graham的两本著作《ANSI Common Lisp》和《On Lisp》） - -;; 函数`gensym`创建一个唯一的符号——这个符号确保不会出现在其他任何地方。 -;; 这样做是因为，宏是在编译期展开的 -;; 而在宏中声明的变量名极有可能和常规代码中使用的变量名发生冲突。 - -;; 可以去《实用 Common Lisp 编程》中阅读更多有关宏的内容。 -``` - - -## 拓展阅读 - -[继续阅读《实用 Common Lisp 编程》一书](http://www.gigamonkeys.com/book/) - - -## 致谢 - -非常感谢Scheme社区的人们，我基于他们的成果得以迅速的写出这篇有关Common Lisp的快速入门 -同时也感谢 -- [Paul Khuong](https://github.com/pkhuong) ，他提出了很多有用的点评。 - -##译者寄语 -“祝福那些将思想镶嵌在重重括号之内的人们。” diff --git a/zh-cn/elisp-cn.html.markdown b/zh-cn/elisp-cn.html.markdown old mode 100755 new mode 100644 diff --git a/zh-cn/git-cn.html.markdown b/zh-cn/git-cn.html.markdown old mode 100755 new mode 100644 diff --git a/zh-cn/go-cn.html.markdown b/zh-cn/go-cn.html.markdown new file mode 100644 index 00000000..7cc9c171 --- /dev/null +++ b/zh-cn/go-cn.html.markdown @@ -0,0 +1,284 @@ +--- +language: Go +lang: zh-cn +filename: learngo-cn.go +contributors: + - ["Sonia Keys", "https://github.com/soniakeys"] + - ["pantaovay", "https://github.com/pantaovay"] +--- + +发明Go语言是出于更好地完成工作的需要。Go不是计算机科学的最新发展潮流，但它却提供了解决现实问题的最新最快的方法。 + +Go拥有命令式语言的静态类型，编译很快，执行也很快，同时加入了对于目前多核CPU的并发计算支持，也有相应的特性来实现大规模编程。 + +Go语言有非常棒的标准库，还有一个充满热情的社区。 + +```go +// 单行注释 +/* 多行 + 注释 */ + +// 导入包的子句在每个源文件的开头。 +// Main比较特殊，它用来声明可执行文件，而不是一个库。 +package main + +// Import语句声明了当前文件引用的包。 +import ( + "fmt" // Go语言标准库中的包 + "net/http" // 一个web服务器包 + "strconv" // 字符串转换 +) + +// 函数声明：Main是程序执行的入口。 +// 不管你喜欢还是不喜欢，反正G就用了花括号来包住函数体。 +func main() { + // 往标准输出打印一行。 + // 用包名fmt限制打印函数。 + fmt.Println("Hello world!") + + // 调用当前包的另一个函数。 + beyondHello() +} + +// 函数可以在括号里加参数。 +// 如果没有参数的话，也需要一个空括号。 +func beyondHello() { + var x int // 变量声明，变量必须在使用之前声明。 + x = 3 // 变量赋值。 + // 可以用:=来偷懒，它自动把变量类型、声明和赋值都搞定了。 + y := 4 + sum, prod := learnMultiple(x, y) // 多个返回变量的函数 + fmt.Println("sum:", sum, "prod:", prod) // 简单输出 + learnTypes() // 少于y分钟，学的更多！ +} + +// 多变量和多返回值的函数 +func learnMultiple(x, y int) (sum, prod int) { + return x + y, x * y // 返回两个值 +} + +// 内置变量类型和关键词 +func learnTypes() { + // 短声明给你所想。 + s := "Learn Go!" // String类型 + + s2 := `A "raw" string literal +can include line breaks.` // 同样是String类型 + + // 非ascii字符。Go使用UTF-8编码。 + g := 'Σ' // rune类型，uint32的别名，使用UTF-8编码 + + f := 3.14195 // float64类型，IEEE-754 64位浮点数 + c := 3 + 4i // complex128类型，内部使用两个float64表示 + + // Var变量可以直接初始化。 + var u uint = 7 // unsigned 无符号变量，但是实现依赖int型变量的长度 + var pi float32 = 22. / 7 + + // 字符转换 + n := byte('\n') // byte是uint8的别名 + + // 数组类型编译的时候大小固定。 + var a4 [4] int // 有4个int变量的数组，初始为0 + a3 := [...]int{3, 1, 5} // 有3个int变量的数组，同时进行了初始化 + + // Slice 有动态大小。Array和Slice各有千秋，但是使用slice的地方更多些。 + s3 := []int{4, 5, 9} // 和a3相比，这里没有省略号 + s4 := make([]int, 4) // 分配一个有4个int型变量的slice，全部被初始化为0 + + var d2 [][]float64 // 声明而已，什么都没有分配 + bs := []byte("a slice") // 类型转换的语法 + + p, q := learnMemory() // 声明p,q为int型变量的指针 + fmt.Println(*p, *q) // * 取值 + + // Map是动态可增长关联数组，和其他语言中的hash或者字典相似。 + m := map[string]int{"three": 3, "four": 4} + m["one"] = 1 + + // 在Go语言中未使用的变量在编译的时候会报错，而不是warning。 + // 下划线 _ 可以使你“使用”一个变量，但是丢弃它的值。 + _,_,_,_,_,_,_,_,_ = s2, g, f, u, pi, n, a3, s4, bs + // 输出变量 + fmt.Println(s, c, a4, s3, d2, m) + + learnFlowControl() // 回到流程控制 +} + +// Go全面支持垃圾回收。Go有指针，但是不支持指针运算。 +// 你会因为空指针而犯错，但是不会因为增加指针而犯错。 +func learnMemory() (p, q *int) { + // 返回int型变量指针p和q + p = new(int) // 内置函数new分配内存 + // 自动将分配的int赋值0，p不再是空的了。 + s := make([]int, 20) // 给20个int变量分配一块内存 + s[3] = 7 // 赋值 + r := -2 // 声明另一个局部变量 + return &s[3], &r // & 取址 +} + +func expensiveComputation() int { + return 1e6 +} + +func learnFlowControl() { + // If需要花括号，括号就免了 + if true { + fmt.Println("told ya") + } + // 用go fmt 命令可以帮你格式化代码，所以不用怕被人吐槽代码风格了， + // 也不用容忍被人的代码风格。 + if false { + // pout + } else { + // gloat + } + // 如果太多嵌套的if语句，推荐使用switch + x := 1 + switch x { + case 0: + case 1: + // 隐式调用break语句，匹配上一个即停止 + case 2: + // 不会运行 + } + // 和if一样，for也不用括号 + for x := 0; x < 3; x++ { // ++ 自增 + fmt.Println("iteration", x) + } + // x在这里还是1。为什么？ + + // for 是go里唯一的循环关键字，不过它有很多变种 + for { // 无限循环 + break // 骗你的 + continue // 不会运行的 + } + // 和for一样，if中的:=先给y赋值，然后再和x作比较。 + if y := expensiveComputation(); y > x { + x = y + } + // 闭包函数 + xBig := func() bool { + return x > 100 // x是上面声明的变量引用 + } + fmt.Println("xBig:", xBig()) // true （上面把y赋给x了） + x /= 1e5 // x变成10 + fmt.Println("xBig:", xBig()) // 现在是false + + // 当你需要goto的时候，你会爱死它的！ + goto love +love: + + learnInterfaces() // 好东西来了！ +} + +// 定义Stringer为一个接口类型，有一个方法String +type Stringer interface { + String() string +} + +// 定义pair为一个结构体，有x和y两个int型变量。 +type pair struct { + x, y int +} + +// 定义pair类型的方法，实现Stringer接口。 +func (p pair) String() string { // p被叫做“接收器” + // Sprintf是fmt包中的另一个公有函数。 + // 用 . 调用p中的元素。 + return fmt.Sprintf("(%d, %d)", p.x, p.y) +} + +func learnInterfaces() { + // 花括号用来定义结构体变量，:=在这里将一个结构体变量赋值给p。 + p := pair{3, 4} + fmt.Println(p.String()) // 调用pair类型p的String方法 + var i Stringer // 声明i为Stringer接口类型 + i = p // 有效！因为p实现了Stringer接口（类似java中的塑型） + // 调用i的String方法，输出和上面一样 + fmt.Println(i.String()) + + // fmt包中的Println函数向对象要它们的string输出，实现了String方法就可以这样使用了。 + // （类似java中的序列化） + fmt.Println(p) // 输出和上面一样，自动调用String函数。 + fmt.Println(i) // 输出和上面一样。 + + learnErrorHandling() +} + +func learnErrorHandling() { + // ", ok"用来判断有没有正常工作 + m := map[int]string{3: "three", 4: "four"} + if x, ok := m[1]; !ok { // ok 为false，因为m中没有1 + fmt.Println("no one there") + } else { + fmt.Print(x) // 如果x在map中的话，x就是那个值喽。 + } + // 错误可不只是ok，它还可以给出关于问题的更多细节。 + if _, err := strconv.Atoi("non-int"); err != nil { // _ discards value + // 输出"strconv.ParseInt: parsing "non-int": invalid syntax" + fmt.Println(err) + } + // 待会再说接口吧。同时， + learnConcurrency() +} + +// c是channel类型，一个并发安全的通信对象。 +func inc(i int, c chan int) { + c <- i + 1 // <-把右边的发送到左边的channel。 +} + +// 我们将用inc函数来并发地增加一些数字。 +func learnConcurrency() { + // 用make来声明一个slice，make会分配和初始化slice，map和channel。 + c := make(chan int) + // 用go关键字开始三个并发的goroutine，如果机器支持的话，还可能是并行执行。 + // 三个都被发送到同一个channel。 + go inc(0, c) // go is a statement that starts a new goroutine. + go inc(10, c) + go inc(-805, c) + // 从channel中独处结果并打印。 + // 打印出什么东西是不可预知的。 + fmt.Println(<-c, <-c, <-c) // channel在右边的时候，<-是接收操作。 + + cs := make(chan string) // 操作string的channel + cc := make(chan chan string) // 操作channel的channel + go func() { c <- 84 }() // 开始一个goroutine来发送一个新的数字 + go func() { cs <- "wordy" }() // 发送给cs + // Select类似于switch，但是每个case包括一个channel操作。 + // 它随机选择一个准备好通讯的case。 + select { + case i := <-c: // 从channel接收的值可以赋给其他变量 + fmt.Println("it's a", i) + case <-cs: // 或者直接丢弃 + fmt.Println("it's a string") + case <-cc: // 空的，还没作好通讯的准备 + fmt.Println("didn't happen.") + } + // 上面c或者cs的值被取到，其中一个goroutine结束，另外一个保持阻塞。 + + learnWebProgramming() // Go很适合web编程，我知道你也想学！ +} + +// http包中的一个简单的函数就可以开启web服务器。 +func learnWebProgramming() { + // ListenAndServe第一个参数指定了监听端口，第二个参数是一个接口，特定是http.Handler。 + err := http.ListenAndServe(":8080", pair{}) + fmt.Println(err) // 不要无视错误。 +} + +// 使pair实现http.Handler接口的ServeHTTP方法。 +func (p pair) ServeHTTP(w http.ResponseWriter, r *http.Request) { + // 使用http.ResponseWriter返回数据 + w.Write([]byte("You learned Go in Y minutes!")) +} +``` + +## 更进一步 + +Go的根源在[Go官方网站](http://golang.org/)。 +在那里你可以学习入门教程，通过浏览器交互式地学习，而且可以读到很多东西。 + +强烈推荐阅读语言定义部分，很简单而且很简洁！(as language definitions go these days.) + +学习Go还要阅读Go标准库的源代码，全部文档化了，可读性非常好，可以学到go，go style和go idioms。在文档中点击函数名，源代码就出来了！ diff --git a/zh-cn/go-zh.html.markdown b/zh-cn/go-zh.html.markdown deleted file mode 100644 index 7cc9c171..00000000 --- a/zh-cn/go-zh.html.markdown +++ /dev/null @@ -1,284 +0,0 @@ ---- -language: Go -lang: zh-cn -filename: learngo-cn.go -contributors: - - ["Sonia Keys", "https://github.com/soniakeys"] - - ["pantaovay", "https://github.com/pantaovay"] ---- - -发明Go语言是出于更好地完成工作的需要。Go不是计算机科学的最新发展潮流，但它却提供了解决现实问题的最新最快的方法。 - -Go拥有命令式语言的静态类型，编译很快，执行也很快，同时加入了对于目前多核CPU的并发计算支持，也有相应的特性来实现大规模编程。 - -Go语言有非常棒的标准库，还有一个充满热情的社区。 - -```go -// 单行注释 -/* 多行 - 注释 */ - -// 导入包的子句在每个源文件的开头。 -// Main比较特殊，它用来声明可执行文件，而不是一个库。 -package main - -// Import语句声明了当前文件引用的包。 -import ( - "fmt" // Go语言标准库中的包 - "net/http" // 一个web服务器包 - "strconv" // 字符串转换 -) - -// 函数声明：Main是程序执行的入口。 -// 不管你喜欢还是不喜欢，反正G就用了花括号来包住函数体。 -func main() { - // 往标准输出打印一行。 - // 用包名fmt限制打印函数。 - fmt.Println("Hello world!") - - // 调用当前包的另一个函数。 - beyondHello() -} - -// 函数可以在括号里加参数。 -// 如果没有参数的话，也需要一个空括号。 -func beyondHello() { - var x int // 变量声明，变量必须在使用之前声明。 - x = 3 // 变量赋值。 - // 可以用:=来偷懒，它自动把变量类型、声明和赋值都搞定了。 - y := 4 - sum, prod := learnMultiple(x, y) // 多个返回变量的函数 - fmt.Println("sum:", sum, "prod:", prod) // 简单输出 - learnTypes() // 少于y分钟，学的更多！ -} - -// 多变量和多返回值的函数 -func learnMultiple(x, y int) (sum, prod int) { - return x + y, x * y // 返回两个值 -} - -// 内置变量类型和关键词 -func learnTypes() { - // 短声明给你所想。 - s := "Learn Go!" // String类型 - - s2 := `A "raw" string literal -can include line breaks.` // 同样是String类型 - - // 非ascii字符。Go使用UTF-8编码。 - g := 'Σ' // rune类型，uint32的别名，使用UTF-8编码 - - f := 3.14195 // float64类型，IEEE-754 64位浮点数 - c := 3 + 4i // complex128类型，内部使用两个float64表示 - - // Var变量可以直接初始化。 - var u uint = 7 // unsigned 无符号变量，但是实现依赖int型变量的长度 - var pi float32 = 22. / 7 - - // 字符转换 - n := byte('\n') // byte是uint8的别名 - - // 数组类型编译的时候大小固定。 - var a4 [4] int // 有4个int变量的数组，初始为0 - a3 := [...]int{3, 1, 5} // 有3个int变量的数组，同时进行了初始化 - - // Slice 有动态大小。Array和Slice各有千秋，但是使用slice的地方更多些。 - s3 := []int{4, 5, 9} // 和a3相比，这里没有省略号 - s4 := make([]int, 4) // 分配一个有4个int型变量的slice，全部被初始化为0 - - var d2 [][]float64 // 声明而已，什么都没有分配 - bs := []byte("a slice") // 类型转换的语法 - - p, q := learnMemory() // 声明p,q为int型变量的指针 - fmt.Println(*p, *q) // * 取值 - - // Map是动态可增长关联数组，和其他语言中的hash或者字典相似。 - m := map[string]int{"three": 3, "four": 4} - m["one"] = 1 - - // 在Go语言中未使用的变量在编译的时候会报错，而不是warning。 - // 下划线 _ 可以使你“使用”一个变量，但是丢弃它的值。 - _,_,_,_,_,_,_,_,_ = s2, g, f, u, pi, n, a3, s4, bs - // 输出变量 - fmt.Println(s, c, a4, s3, d2, m) - - learnFlowControl() // 回到流程控制 -} - -// Go全面支持垃圾回收。Go有指针，但是不支持指针运算。 -// 你会因为空指针而犯错，但是不会因为增加指针而犯错。 -func learnMemory() (p, q *int) { - // 返回int型变量指针p和q - p = new(int) // 内置函数new分配内存 - // 自动将分配的int赋值0，p不再是空的了。 - s := make([]int, 20) // 给20个int变量分配一块内存 - s[3] = 7 // 赋值 - r := -2 // 声明另一个局部变量 - return &s[3], &r // & 取址 -} - -func expensiveComputation() int { - return 1e6 -} - -func learnFlowControl() { - // If需要花括号，括号就免了 - if true { - fmt.Println("told ya") - } - // 用go fmt 命令可以帮你格式化代码，所以不用怕被人吐槽代码风格了， - // 也不用容忍被人的代码风格。 - if false { - // pout - } else { - // gloat - } - // 如果太多嵌套的if语句，推荐使用switch - x := 1 - switch x { - case 0: - case 1: - // 隐式调用break语句，匹配上一个即停止 - case 2: - // 不会运行 - } - // 和if一样，for也不用括号 - for x := 0; x < 3; x++ { // ++ 自增 - fmt.Println("iteration", x) - } - // x在这里还是1。为什么？ - - // for 是go里唯一的循环关键字，不过它有很多变种 - for { // 无限循环 - break // 骗你的 - continue // 不会运行的 - } - // 和for一样，if中的:=先给y赋值，然后再和x作比较。 - if y := expensiveComputation(); y > x { - x = y - } - // 闭包函数 - xBig := func() bool { - return x > 100 // x是上面声明的变量引用 - } - fmt.Println("xBig:", xBig()) // true （上面把y赋给x了） - x /= 1e5 // x变成10 - fmt.Println("xBig:", xBig()) // 现在是false - - // 当你需要goto的时候，你会爱死它的！ - goto love -love: - - learnInterfaces() // 好东西来了！ -} - -// 定义Stringer为一个接口类型，有一个方法String -type Stringer interface { - String() string -} - -// 定义pair为一个结构体，有x和y两个int型变量。 -type pair struct { - x, y int -} - -// 定义pair类型的方法，实现Stringer接口。 -func (p pair) String() string { // p被叫做“接收器” - // Sprintf是fmt包中的另一个公有函数。 - // 用 . 调用p中的元素。 - return fmt.Sprintf("(%d, %d)", p.x, p.y) -} - -func learnInterfaces() { - // 花括号用来定义结构体变量，:=在这里将一个结构体变量赋值给p。 - p := pair{3, 4} - fmt.Println(p.String()) // 调用pair类型p的String方法 - var i Stringer // 声明i为Stringer接口类型 - i = p // 有效！因为p实现了Stringer接口（类似java中的塑型） - // 调用i的String方法，输出和上面一样 - fmt.Println(i.String()) - - // fmt包中的Println函数向对象要它们的string输出，实现了String方法就可以这样使用了。 - // （类似java中的序列化） - fmt.Println(p) // 输出和上面一样，自动调用String函数。 - fmt.Println(i) // 输出和上面一样。 - - learnErrorHandling() -} - -func learnErrorHandling() { - // ", ok"用来判断有没有正常工作 - m := map[int]string{3: "three", 4: "four"} - if x, ok := m[1]; !ok { // ok 为false，因为m中没有1 - fmt.Println("no one there") - } else { - fmt.Print(x) // 如果x在map中的话，x就是那个值喽。 - } - // 错误可不只是ok，它还可以给出关于问题的更多细节。 - if _, err := strconv.Atoi("non-int"); err != nil { // _ discards value - // 输出"strconv.ParseInt: parsing "non-int": invalid syntax" - fmt.Println(err) - } - // 待会再说接口吧。同时， - learnConcurrency() -} - -// c是channel类型，一个并发安全的通信对象。 -func inc(i int, c chan int) { - c <- i + 1 // <-把右边的发送到左边的channel。 -} - -// 我们将用inc函数来并发地增加一些数字。 -func learnConcurrency() { - // 用make来声明一个slice，make会分配和初始化slice，map和channel。 - c := make(chan int) - // 用go关键字开始三个并发的goroutine，如果机器支持的话，还可能是并行执行。 - // 三个都被发送到同一个channel。 - go inc(0, c) // go is a statement that starts a new goroutine. - go inc(10, c) - go inc(-805, c) - // 从channel中独处结果并打印。 - // 打印出什么东西是不可预知的。 - fmt.Println(<-c, <-c, <-c) // channel在右边的时候，<-是接收操作。 - - cs := make(chan string) // 操作string的channel - cc := make(chan chan string) // 操作channel的channel - go func() { c <- 84 }() // 开始一个goroutine来发送一个新的数字 - go func() { cs <- "wordy" }() // 发送给cs - // Select类似于switch，但是每个case包括一个channel操作。 - // 它随机选择一个准备好通讯的case。 - select { - case i := <-c: // 从channel接收的值可以赋给其他变量 - fmt.Println("it's a", i) - case <-cs: // 或者直接丢弃 - fmt.Println("it's a string") - case <-cc: // 空的，还没作好通讯的准备 - fmt.Println("didn't happen.") - } - // 上面c或者cs的值被取到，其中一个goroutine结束，另外一个保持阻塞。 - - learnWebProgramming() // Go很适合web编程，我知道你也想学！ -} - -// http包中的一个简单的函数就可以开启web服务器。 -func learnWebProgramming() { - // ListenAndServe第一个参数指定了监听端口，第二个参数是一个接口，特定是http.Handler。 - err := http.ListenAndServe(":8080", pair{}) - fmt.Println(err) // 不要无视错误。 -} - -// 使pair实现http.Handler接口的ServeHTTP方法。 -func (p pair) ServeHTTP(w http.ResponseWriter, r *http.Request) { - // 使用http.ResponseWriter返回数据 - w.Write([]byte("You learned Go in Y minutes!")) -} -``` - -## 更进一步 - -Go的根源在[Go官方网站](http://golang.org/)。 -在那里你可以学习入门教程，通过浏览器交互式地学习，而且可以读到很多东西。 - -强烈推荐阅读语言定义部分，很简单而且很简洁！(as language definitions go these days.) - -学习Go还要阅读Go标准库的源代码，全部文档化了，可读性非常好，可以学到go，go style和go idioms。在文档中点击函数名，源代码就出来了！ diff --git a/zh-cn/haskell-cn.html.markdown b/zh-cn/haskell-cn.html.markdown old mode 100755 new mode 100644 diff --git a/zh-cn/java-cn.html.markdown b/zh-cn/java-cn.html.markdown old mode 100755 new mode 100644 diff --git a/zh-cn/javascript-cn.html.markdown b/zh-cn/javascript-cn.html.markdown old mode 100755 new mode 100644 diff --git a/zh-cn/php-cn.html.markdown b/zh-cn/php-cn.html.markdown old mode 100755 new mode 100644 diff --git a/zh-cn/python-cn.html.markdown b/zh-cn/python-cn.html.markdown old mode 100755 new mode 100644 -- cgit v1.2.3