提交 318f6db1 编写于 作者: G guenchi

update

上级 bfca1c89
# 标志符
Scheme对标识符的宽容度远大于其他语言,你可以在标识符里使用大多数符号,可以重写所有的系统预留关键字,但仍有一些符号严格禁止使用在标志符里。
在Scheme里它们大多数是预留的读取器宏。
> 读取器宏是一种在编译前对代码进行替换的工具,你可以将它看作高级版的C语言宏。在Scheme的近亲语言,Common Lisp里你可以自由的编写读取器宏。在Scheme的世界里读取器宏被视作邪恶而混乱的,只预留了少量程序语言标准层面的读取器宏来简化程序编写。
```
#
```
编译器预留符号, 它用来表示字符,比如`#\a #\b #\c`。用来表示进制数,比如`#b100 #x7C0`,用来表示向量,比如`#(1 2 3)`。用来表示编译器行为钩子,比如`(#3%display "Hello,World!")`在ChezScheme中表示强制用第三级优化火力全开的display hello world。
```
' 单引号
```
读取器宏,`'object`将在编译前被替换成`(quote object)`。它也用来表示列表,如`'(a b c)`.
> 在Scheme中,quote有重要的作用,它代表标志符的符号的一面。而不被quote住的标志符代表它作为程序的一面。LISP与其他程序语言最大的区别即是代码即是数据,数据即是代码。在这种情况下我们必须明确一个标志符在当下是否被自动进行求值。即它对编译器展现它名字的一面,还是它程序的一面。这个区别便由quote来表示。
```
` 往右斜的单引号
```
读取器宏,`` `object ``将在编译前被替换成`(quasiquote object)`
```
, 逗号
```
读取器宏,`,object`将在编译前被替换成`(unquote object)`
```
@
```
读取器宏,`,@object`将在编译前被替换成`(unquote-splicing object)`
在Scheme规定中`@`只是不能出现在标致符的开头。但实际使用中,含`@`的标志符会导致太多问题。比如,在标志符尾部的`@`有可能影响读取器对右括号的读取。所以这里尽量建议不要在标志符中使用`@`
```
.
```
`.`在scheme程序中起到表示"对"的作用。比如(a . b)。它不能使用在标识符的开头。
```
+
-
```
`+``-`因为需要表示数学格式,所以不能出现在标志符的开头。
*特例*
```
->
```
`->`组合在标志符开头是合法的。
> 可以使用在标识符里的字符有:`? ! . + - * / < = > : $ % ^ & _ ~`。比起记住它们,更好的办法是记住那些禁止使用的字符。
以下的代码风格并不由编译器严格要求,但是它能帮助你更好的编写Scheme程序,还有助于其他人更好的阅读你的代码。
*** 使用短-连接标识符词组 ***
在Scheme惯例中我们不使用驼峰命名法或者下划线。在此我特别不建议使用下划线连接词组。因为当你的Scheme程序需要链接C模块时,C程序将和Scheme程序共享命名空间。这个时候用`a-c-function`来包装C语言的`a_c_function`就显得特别一目了然。
*** 全大写标识符表示常量 ***
继承自C程序的常量表示法是个良好的习惯。在Scheme里没有常量,但至少你应该知道它禁止更改。
*** 用 * 号包围的标识符表示全局变量 ***
当看见如`*value*`包裹的全局变量,在引入有副作用的过程时就需要三思。
*** 标识符用后缀?表示返回布尔值 ***
`char?` `list?` 这些过程都返回布尔值。
*** 标识符用!后缀表示过程有副作用 ***
`set!`表示它改变了指针指向的某些值,虽然它的返回有可能是布尔值。
*** 标识符用->表示类型转换 ***
请记住Scheme是强类型语言,在惯例中,我们使用`->`来表示从左边的类型转换到右边的类型。比如`list->vector`
*** 用两个空格缩进 ***
因为有时需要嵌套两个左空格`(`,有且仅有使用两个空格的缩进才会不让你的缩进乱了套。
*** 用空格对齐选择的分支 ***
在选择的分支,填充多余的空格来让分支对齐。而不是只使用两个空格。
```
(if test?
consequent
alternative)
(cond ((clause1 ...) (do ...))
((clause2 ...) (do ...))
...
(else ...))
```
\ No newline at end of file
#  链表 List
*** 链表 ***
链表是LISP中最重要的数据类型,LISP的名称来源即是LISt Processing.
在LISP程序中,程序自身以链表构成,而同时链表又是一种数据类型。这便是LISP之于其他编程语言最大的区别与魔力:它可以将程序自身作为数据处理。
* 最简单的链表由0至无限个序对组成。
* 链表的末尾总是由null结束,但它可以没有末尾。一个链表可以是回环的,或者是无穷的。
* 链表的本质是由有限或无限个指针指向的地址段。每个地址段有两个数据位,每个数据位可以存放数据或另一个指针。
\ No newline at end of file
Markdown is supported
0% .
You are about to add 0 people to the discussion. Proceed with caution.
先完成此消息的编辑!
想要评论请 注册