The little lisper

As 5 leis de Lisp

Um dos livros mais originais que se escreveram sobre Lisp é o "The Little Lisper" de Daniel P. Friedman e Matthias Felleisen.

Pode ler-se o comentário na MIT Press

"There are surprises in store for the diligent reader of this masterful introduction to recursion as a fundamental tool for expressing and solving problems. With wit and wisdom, The Little LISPer unfolds some of the most beautiful concepts in mathematics, computer science, and logic. The authors' goal is to show that recursive thinking is first of all fun, that it is powerful, and that the programming language Lisp allows one to express ideas recursively and naturally. There are hard problems along the way, but their solution brings mastery of recursive, functional, and meta-linguistic abstractions, developing skills in the underlying creative programming in Lisp. The Little LISPer is self-contained: an interpreter for the language is developed using the tools of the book itself."

As cinco regras, ou leis, a fixar são:

1. Lei de car
car só está definido para listas não vazias
2. Lei de cdr
cdr só está definido para listas não vazias. O cdr de uma lista é sempre uma lista.
3. Lei de cons
O segundo argumento de cons é uma lista. O resultado é uma lista.
4. Lei do null
null só está definido para listas.
5. Lei do eq
eq tem dois argumentos, ambos são átomos.

Simples!

Palavras chave/keywords: Lisp, livros, The little lisper

Criado/Created: NaN

Última actualização/Last updated: 10-10-2022 [14:26]


Voltar à página inicial.


GNU/Emacs Creative Commons License

(c) Tiago Charters de Azevedo