1957年，Fortran诞生了，这是世界上第一个高级语言。
但是不知道是不是巧合，Fortran诞生仅一年，一个更加新的语言诞生了，这是世界上第二个高级语言，但这个语言越传越玄乎，不仅是麻省理工教学计算机科学的第一个语言，甚至被誉为“上帝的编程语言”。
在GNU 幽默合集中，刊载了一首诗，以下是一些摘抄和翻译：
Lisp的绿意漫过叶片分形花朵吐出递归的根当雪花裂解成唯一方程四字真言刻入永恒
…
诸神通晓所有语言却为每片羽毛预留归途三十二位的枷锁怎能丈量沙粒在Lisp中重获自由
万物皆在括号里生长别在磁盘寻找创世日志当闪电劈开愚昧的字符六日神迹闪耀Lisp的光泽
是的，上帝也有死线所以他写下——万物归λ
因此这个语言来头不小，我便虔诚的尝试了一下。
选择方言和解释器
Lisp到现在有67年了，必然产生各种各样的方言，每个方言还有很多版本的解释器，因此可以选择的余地非常繁杂：
但是目前只有两种比较流行的方言：Common Lisp和Scheme，这篇文章我选择了Scheme方言，并且选择了gauche编译器。
Common Lisp和Scheme有什么不同呢？个人认为，Common Lisp和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 “输入的不是有效数字”) )