commit 06c3a9bc665614cc18dfd9deaedc8bd3140f20ce
parent e66a97901a71cec454b5d7e5bbbb3edf101f1e05
Author: SliTaz User <tux@slitaz.(none)>
Date: Thu, 28 Oct 2010 13:57:21 +0200
Réflexions sur l'implémentation.
Diffstat:
3 files changed, 113 insertions(+), 3 deletions(-)
diff --git a/implementation-fonctions.lisp b/implementation-fonctions.lisp
@@ -1,7 +1,24 @@
;; variables "locales" : documentation
(defvar documentation '(function variable struct)) ;; TODO
-;; "Primitives" : asm, eval
+;; TODO : décider de quelles "primitives" on a besoin.
+;; "Primitives" :
+;; - (%asm in-values out-values clobber-registers instructions)
+;; - (%eval expr env)
+;; - (%push-new-env "description")
+;; - (%add-top-level-fun-binding name value)
+;; - (%add-top-level-var-binding name value)
+;; - (%add-fun-binding name value)
+;; - (%add-var-binding name value)
+;; - (%ref-fun name)
+;; Les ref-xxx renvoient un bout de code ASM comme ci-dessous :
+;; - Pour une valeur dans la pile :
+;; (%asm () (r0) (r0) "load X(sp) r0;")
+;; où X est la position dans la pile de name
+;; - Pour une valeur dans le top-level :
+;; (%asm () (r0) (r0) "load X(bp) r0;")
+;; - Pour une valeur dans le tas (si on en a un)
+;; (%asm () (r0) (r0) "load X r0;")
(defmacro defun (name args &rest body)
(let ((has-docstring
@@ -117,4 +134,4 @@
(defun last (list)
(if (atom (cdr list))
list
- (last (cdr list))))
-\ No newline at end of file
+ (last (cdr list))))
diff --git a/implementation/notes.txt b/implementation/notes.txt
@@ -0,0 +1,88 @@
+Types
+=====
+CLTL 2 et 2.15
+Les types LISP sont organisés avec un héritage multiple.
+Les objets ont des types, pas les variables.
+
+Voici la hiérarchie des types (CLTL 2.15) :
+
+le type t (type, pas symbole) est le super-type (comme Object en Java).
+Tous lesobjets sont de type t.
+
+le type nil (type, pas symbole) est le super-sous-type.
+Aucun objet n'est de type nil.
+Donc c'est un sous-type de tous les autres types.
+
+Les types suivants sont disjoints (un objet ne peut pas être dans 2 de ces types à la fois) :
+cons symbol array number character hash-table readtable package pathname stream random-state
+
+De plus, un type créé par defstruct ou defclass est disjoint de chacun des types ci-dessus.
+
+function est disjoint de cons symbol array number character.
+Par contre function n'est pas disjoint de list :
+ ;; Intersection non nulle
+ (functionp '(lambda (x) x)) => t
+ (listp '(lambda (x) x)) => t
+ ;; function pas inclus dans list
+ (functionp #'car) => t
+ (listp #'car) => nil
+ ;; list pas inclus dans function
+ (functionp '(1 2 3)) => nil
+ (listp '(1 2 3)) => t
+
+Hiérarchie des nombres :
+ Number
+ |
+Complex -------|-------- Real
+ |
+ float --------|-------rational
+ | |
+ | ratio ------|------ integer
+ | |
+ | fixnum -----|----- bignum
+ |
+ |-------------|-------------|-----------|
+ short-float single-float double-float long-float
+
+A chaque niveau, les deux types sont disjoints (complex et real, float et rational, ...).
+Exception : les différents sous-types de float ont des relations d'inclusion bizarres (voir CLTL).
+De plus, fixnum et bignum forment une partition de integer (il n'y a pas d'autre sous-type à par nil).
+
+null est le type contenant uniquement le symbole nil. C'est un sous-type de symbol.
+null et cons forment une partition de list : (listp l) === (xor (consp l) (nullp l))
+
+etc... (voir cltl et implementation/types.lisp).
+
+Pour connaître le type de chaque objet, on utilise les n premiers bits,
+plus les relations d'inclusion (voir implementation/types.lisp).
+Par ex (tous les mots font 32 bits) :
+0... cons (les 31 bits restants sont l'adresse du car, puis 32 bits pour l'adresse du cdr).
+ Si tout est à 0 (64 bits tous à zéro), c'est nil
+100... fixnum (29 bits)
+10100... caractères unicode sur 8 bits ;; TODO : y a-t-il des caractères unicode dans le standard ?
+10101... caractères unicode sur 16 bit
+110... symbol
+111... Tout le reste :
+11100000... array
+11100001... complex
+11100010... bignum
+11100011... rien.
+111001xx... floats (xx : 00 = short, 01 = single, 10 = double, 11 = long)
+11101000... hash-table
+11101001... readtable
+11101010... package
+11101011... pathname
+11101100... stream
+11101101... random-state
+11101110... function (attention: d'autes objets peuvent être des fonctions)
+
+
+Les symboles
+============
+CLTL 2
+Un symbole, (par ex 'foo), est un "objet" (commençant par 010 dans l'exemple ci-dessus).
+Lorsqu'on écrit 'foo, c'est remplacé par un pointeur sur cet objet.
+Les symboles ont une liste de propriétés (qu'on implémentera par une alist)
+Les symboles ont un nom (qu'on implémentera par une chaîne de caractères).
+Le symbole contiendra donc deux pointeurs vers son nom et sa liste de propriétés.
+Le symbole nil existe toujours (et a l'adresse 0)
diff --git a/implementation/types.lisp b/implementation/types.lisp
@@ -0,0 +1,6 @@
+;; TODO : est-ce que cette fonction existe ?
+(defun tp (x) t)
+
+;; TODO : est-ce que cette fonction existe ?
+(defun nilp (x) nil)
+
