Scheme非完整笔记

反正边学边记就是了……

======================================================

标识符允许的范围：

[a-zA-Z?!*\/<=>:$%\^&_.~][a-zA-Z0-9?!.+\-*\/<=>:$%\^&_.~@]*

也就是：
小写字符a-z
大写字符A-Z
数字0-9
符号 ? ! . + - * / < = > : $ % ^ & _ ~ @

标识符开头不能为'@'，一般也不以数字、'+'、'-'、'.'开头。
"+"、"-"、"..."为例外。

标识符的大小写不敏感。

------------------------------------------------------

注释标记：
';'开始直到行末是注释。

------------------------------------------------------

数据类型：

表：用成对的括号("()")括住的。可以嵌套。也称为S-expression（Symbolic expression）。

向量：("#()")括住的，例如#(this is a vector of symbols)。

字符：("#\")开头的，例如#\a。

字符串：成对的双引号之内括住的，例如"This is a string."。

数字：
--整型：123, +123, -123
--有理数：1/2
--浮点数：1.3, 1e23
--复数：1.2-2.3i（平面坐标）, -1.2@73（极坐标）

布尔值：#t #f。在Scheme的条件表达式里，只有#f才被认为是假，而其它对象都被认为是真。所以3, (), "false", nil都是真。

(DEFINE (test a)
  (COND
    ((EVAL a) (DISPLAY "true"))
    (ELSE (DISPLAY "false"))
  )
)
(test #f) ;=> false
(test ()) ;=> true

======================================================

谓词：
EQ? EQV? EQUAL? LIST? NULL?

数字谓词：
= <> < > <= >= >= EVEN? ODD? ZERO?

======================================================

表操作函数：

CAR：取表头
CDR：取表头以外剩余的部分
CONS：连接表。与CAR/CDR是相对的操作。

(CONS (CAR list) (CDR list)) ;=> list

APPEND：合并两个表

(APPEND list1 list2)

(APPEND '(a b c) '(d e f)) ;=> (a b c d e f)

======================================================

控制流/条件语句：

if语句：

(IF
  predicate_expression
  then_expression
  else_expression
)

例如

(IF (> a b)
  (- a b)
  (- b a)
)

------------------------------------------------------

cond语句：

(COND
  (predicate_1 expression_1 expression_2 ...)
  (predicate_1 expression_1 expression_2 ...)
  (predicate_1 expression_1 expression_2 ...)
  ...
  (predicate_1 expression_1 expression_2 ...)
  (else expression_1 expression_2 ...)
)

cond语句按照代码书写的顺序从前向后匹配谓词，然后执行第一个值为真的谓词后面的表达式。
else是可选的。实际上这里else就是一个#t值而已。

例如

(COND
  ((> a b) 1)
  ((= a b) 0)
  ((< a b) -1)
)

======================================================

lambda表达式：

(LAMBDA (formal_parameter_1 formal_parameter_2 ...)
  expression_1 expression_2 ...
)

======================================================

quote表达式：

所有表和原子符号都会被解释器eval，为了避免某些表或原子符号被eval，则需要将其quote起来。

(QUOTE expression)

这个也可以被缩写为

'expression

======================================================

定义常量或函数：

(DEFINE symbol expression)

(DEFINE function_name (LAMBDA (formal_parameter_1 formal_parameter_2 ...)
  expression_1 expression_2 ...
))

(DEFINE (function_name formal_parameter_1 formal_parameter_2 ...)
  expression_1 expression_2 ...
))

======================================================

let表达式：

(LET (
  (name_1 expression_1)
  (name_2 expression_2)
  ...
  (name_n expression_n)
    )
  expression_1 expression_2 ..
)

======================================================

一些数值运算函数：

(SQRT a) ：a的平方根
(EXPT a b) ：a的b次幂
(REMAINDER a b) ：a模b
(LOG a) ：a的自然对数
(SIN a) ：a的正弦值，其中a是弧度

======================================================

输入/输出：

(DISPLAY expression)

(NEWLINE)