發新話題
打印

[Lisp] Common Lisp, Typing and Mathematics.

推到噗浪
推到臉書

[Lisp] Common Lisp, Typing and Mathematics.

http://www-fourier.ujf-grenoble.fr/~sergerar/Papers/Ezcaray.pdf


Text written as lecture notes for a three hours talk given on September 11, 2001, a satellite talk of the EACA Meeting at Ezcaray (Spain).

This paper (45p.) is a presentation of Common Lisp for Mathemacians, more exactly a presentation of the Common Lisp Object System (= CLOS) which is now the main constituent of the language achitecture. The nature of this paper is didactic, with simple examples that can be repeated on any ANSI Common Lisp environment. Sections:

Introduction.
Common Lisp Object System.
What typing is.
CLOS and mathematical structures.
CLOS and the Kenzo program.

作者網頁: http://www-fourier.ujf-grenoble.fr/~sergerar/

TOP

發新話題