Lisaac est le premier langage objet à prototype compilé. Digne héritier de Self et Eiffel (il a été conçu au sein du laboratoire où a été écrit GNU/SmartEiffel, sous la férule de Dominique Colnet), il améliore grandement les techniques utilisées dans SmartEiffel afin de produire un code aussi rapide que du C. Lisaac a été conçu dans le cadre du projet "IsaacOS" afin de disposer d'un langage objet de haut niveau, suffisamment performant pour écrire un système d'exploitation.
Pour cette version, la bibliothèque standard du compilateur passe en LGPL et l'ensemble du code fourni en exemple passe en GPL. En effet, Lisaac est fourni avec une bibliothèque complète, incluant depuis cette version des fonctionnalités permettant d'écrire des interfaces utilisateurs. Un gros effort a été fourni pour rendre le code totalement portable sous GNU/Linux, DOS et Windows (Lisaac produit du C ANSI).
Notez que le versionning est à rapporter aux spécifications originales du langages : le compilateur est stable et fonctionnel.
![[fr]](../images/fr.png)
Isaac project (748 hits)-
Des benchs mesurant la performance du code produit (394 hits)
-
Les motivations du projet IsaacOS (325 hits)
-
La page de téléchargement (158 hits)
> Lire la dépêche (88 commentaires, moyenne: 3,3).
Vous avez demandé le commentaire #653924.
Run by 
Cette page a été générée par Templeet en 0.0489s (dont 0.0048 de SQL).
Cette page est peut-être conforme xhtml 1.0.
Information sur le site.
le... "versionning" ?
je suppose que ça doit avoir un rapport avec le numéro de version,
est-ce que ça regroupe d'autres concepts ?
[^]Re: le... "versionning" ?
Les spécifications d'Isaac ont été conçu en 2002 et on peu évoluées depuis. La notation de version est en fonction du respect des spécifications.
Tout les compilateurs diffusés par Benoit Sonntag sont considérés comme stable.
[^]Re: le... "versionning" ?
Plus de précisions :
Le 1.0 signifie la perfection, je ne sais donc pas si je verrai Lisaac 1.0 de mon vivant ;-))
Actuellement la spécification courante est la 0.1
La 0.2 est prete et apporte
- Amélioration prog par contrat (hold et result comme dans eiffel), permettant de prendre en compte l'ancienne valeur d'une variable.
- Le fait qu'une fonction puisse rendre plusieurs paramètres, ce qui permettra de faire plein de "Cameleries" en Lisaac.
Pour la suite, on a de très belles idées, mais on verra plus tard...
[^]Re: le... "versionning" ?
Faite attention à la programmation par contrat qui dégage en mode release par rapport au mode debug.
Un mode debug c'est bien pour le debug mais pas pour la validation.
Par exemple, dans l'industrie, tu lances toujours tes long scripts de validation sur la version du binaire final, surtout si tu es dans une application dite temps réel. Si le but de lisaac est d'être bas niveau, il y a un gros marché à ce niveau là.
Or, il ne signifie rien de faire une validation lourde dans une appli temps réel en mode debug.
Le cout d'une validation est telle, que souvent, on préfaire faire modifier le hardware que le soft !
Tout ça pour dire que cela serait bien de faire une vérification statique avec "back propagation" pour vérifier le contrat, plutôt que de le faire au run time.