3

私はLispの方言（Racket）を学び始めたばかりですが、誰かがリンクを持っているかどうか、またはLisp言語のファミリーの理論的基礎を、私が論文、記事、または本を意味するリソースによって示すことができるかどうかを知りたいですあなたが考えることができるものは何でも。

できれば、どの数学的概念を使用して演算子を構築するか、それらをどのように解決するか、恒等式などを統一することを示します。ウィキペディアでSEXPを読んだことがありますが、少し浅いです。

物事がどのように機能するかを他の人に説明できるようにしたいので、私は基礎に興味があります。

前もって感謝します。

4

6 に答える 6

7

最初から始めることができます: http://www-formal.stanford.edu/jmc/recursive.html

于 2012-08-30T23:03:40.483 に答える
6

http://library.readscheme.org

http://en.wikipedia.org/wiki/Lisp_in_Small_Pieces

于 2012-08-30T23:15:30.860 に答える
3

Landin の「The Next 700 Programming Languages」もこのリストに追加します。McCarthy は、他のプログラムを解釈するプログラムの概念を明らかにし、Landin は、ほぼすべてのプログラミング言語の根底に同じ理論的フレームワークがどのように見られるかを示しています。

実際、LISP に似た言語の理論が単に... プログラミング言語の理論であると示唆するのは不合理ではないと思います。

于 2012-08-30T23:43:34.117 に答える
2

Paul Graham は、Lisp の歴史に関する素晴らしいミニ記事をいくつか持っています: http://www.paulgraham.com/lisp.html

于 2012-08-31T00:45:56.017 に答える
1

Guy Steele と Gerald Sussman によるオリジナルのラムダ ペーパーをお見逃しなく。

  • 「ラムダ：究極の命令」
  • 「ラムダ：究極の宣言型」
  • 「ラムダ 究極のGOTO」
于 2012-09-02T10:25:46.227 に答える
0

ここにいくつかのリンクがあります：

Allen と Dhagat による Lisp 入門書

Lisp チュートリアル

于 2012-08-30T23:02:08.227 に答える