选择方言和解释器#

Lisp 到现在有 67 年了，必然产生各种各样的方言，每个方言还有很多版本的解释器，因此可以选择的余地非常繁杂：

但是目前只有两种比较流行的方言：Common Lisp 和 Scheme，这篇文章我选择了 Scheme 方言，并且选择了 gauche 编译器。

Common Lisp 和 Scheme 有什么不同呢？个人认为，Common Lisp 和 Scheme，就像狮子和家犬。狮子更加强大，难以驯服；家犬更加小巧，容易驯服。而选择哪一种，取决于实际需要。鉴于郝同学只是需要学习一下函数式编程的思想，所以 Scheme 足够了。

—— 函数式编程之 Scheme 入门 | 好好学习的郝

万物皆函数#

在 Lisp 中，每个东西都是函数，都是有返回值的表达式，而单个函数被括号包围，这叫做原子。

例如，想要计算 1+1 等于几，要这么写：

(+ 1 1)

其中，+ 是要将参数输入进去的函数，两个 1 就是参数，整个函数被括号包围。

函数式编程#

我之前尝试过 Haskell，函数式编程大概可以总结成这样：

• 变量不可变。
• 使用递归代替循环。
• 函数不得有副作用。
• 函数除了参数，不得被其它因素干扰输出。

真不知道这种情况下还怎么做项目，毕竟太麻烦了，可能是给计算机科学家看的吧（？

但是谢天谢地的是，Lisp 没有 Haskell 做的那么严格，比如 (do) 函数同样可以实现循环，(set!) 函数也可以强制改变变量值。

但这不属于最佳实践，因此在这篇文章中还是会尽量选择函数式编程的写法。

真正的解释型语言#

通常解释性语言都会在运行前做一遍预检查，如果出现明显的语法错误或命名错误，都会直接抛出异常。

但这个语言不会做这种预检查，只会检查正在运行的一行，所以我觉得 Lisp 更像解释型语言。

极为超前，像来自未来#

看到这里，我感觉 Lisp 更像是现代的语言，而不是来自 1958 年，看看 Lisp 实现了什么：

• 世界上第一个解释型语言。
• 弱化数据类型，并且完全隐藏底层。
• 提倡函数式编程。
• 支持高级函数用法。（递归、隐式函数）
• all in one 思想。
• 等等…

我有些明白了，为什么 Lisp 称之为 “上帝的编程语言”，因为哪怕现在看来也是极为超前的。

代码示例#

我编写了一个代码示例，里面用到了 Lisp 的很多特性和功能，但为了有更好的可读性，括号的格式化仿照了 C 系风格：

(define (star-line currently target)
    (cond ((< currently target)
            (display "*")
            (star-line (+ currently 1) target)
        )(else
            (newline)
        )
    )
)
 
(define (star currently target)
    (cond ((< currently target)
            (star-line 0 target)
            (star (+ currently 1) target)
        )
    )
)
 
(display "你叫什么名字：")
(define name (read-line))
(display (string-append "你好，" name))
(newline)
(display "你想要几颗星：")
(define input (read-line))
(define num (string->number input))
(if (and (integer? num) (> num 0))
    (star 0 num)
    (display "输入的不是有效数字")
)