[Kos-dev] Compilo

[Thomas Petazzoni]

salut,

ca ne se voit pas beaucoup, mais je travaille :o) sur deux choses :

- d'une part, je bosse le Caml. j'ai tape entierement le demonstrateur 
de propositions, ce qui ne fut pas chose facile, etant donne que le code 
donne dans le bouquin etait ecrit pour Caml Light, alors qu'on utilise 
OCaml. Il y a quand meme pas mal de choses qui coince. L'idee etait de 
me familiariser avec les flux, l'analyse lexicale et syntaxique. A 
l'heure actuelle, le programme compile parfaitement et se lance, mais 
n'importe quelle proposition, meme la plus simple qui soit est fausse 
(meme "P => P" est faux d'apres lui !). Bref c'est pas encore gagne, 
mais j'avance de ce cote la.

- d'un autre cote, je regarde du cote des drivers IDE, j'ai trouve un 
truc pas trop mal code, meme si ca reste relativement complique. 
Faudrait que je commence a faire quelques experimentations (ce soir ?).

Voila ou ca en est pour le moment... et vous ?

thomas
-- 
PETAZZONI Thomas
thomas.petazzoni@enix.org
ICQ : 34937744
Projet KOS : http://kos.enix.org