Board logo

標題: [Lisp] Common Lisp, Typing and Mathematics. [打印本頁]

作者: weiye    時間: 2006-11-10 01:09     標題: [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/




歡迎光臨 Math Pro 數學補給站 (https://math.pro/db/) 論壇程式使用 Discuz! 6.1.0