Lisaac
Cet article ne s'appuie pas, ou pas assez, sur des sources secondaires ou tertiaires ().
Pour améliorer la vérifiabilité de l'article ainsi que son intérêt encyclopédique, il est nécessaire, quand des sources primaires sont citées, de les associer à des analyses faites par des sources secondaires.
| Lisaac | |
| Date de première version | 2000 |
|---|---|
| Paradigmes | prototype, impératif, objet |
| Auteur | Benoît Sonntag |
| Développeur | Benoît Sonntag |
| Dernière version | 0.42 () |
| Typage | Fort, statique |
| Influencé par | Self, Eiffel, Smalltalk |
| Système d'exploitation | Multiplate-forme |
| Licence | Licence publique générale GNU version 3 |
| Site web | https://lisaac.org/ |
| modifier |
|
Lisaac est un langage de programmation impératif à prototype compilé à l'origine conçu afin d'écrire le système d'exploitation IsaacOS et pour être adapté au développement de pilotes de périphériques. Il est principalement utilisé dans le cadre pédagogique par son créateur[1].
Lisaac est inspiré du langage Self pour les concepts d'objets à prototypes, ainsi que du langage Eiffel, pour les aspects d'ingénierie logicielle et notamment pour la programmation par contrat. Des concepts utiles à la programmation système comme la gestion des interruptions ont ensuite été ajoutés. Le compilateur Lisaac génère du C ANSI et est ainsi multi-plateforme.
Caractéristiques
[modifier | modifier le code]Syntaxe et sémantique
[modifier | modifier le code]La syntaxe est d'abord inspirée de Smalltalk mais aussi d'Eiffel et de Self, la syntaxe des blocs d'instructions est largement inspirée de C. Il reprend aussi quelques éléments syntaxique de Pascal.
Comme son grand frère Self, ce langage est minimaliste avec l’absence de construction pour les conditionnelles, les boucles et les itérations : Le compilateur Lisaac ne sait pas ce qu'est une conditionnelle, on implémente celle-ci avec les trois objets Boolean, True, False (True et False héritant de Boolean), dans lesquels les méthodes conditionnelles (if ; if/else, etc.) sont définies. Les types de base sont des objets, à la manière des classes de type expanded du langage Eiffel.
Section Header
- name := HELLO_WORLD;
Section Public
- main <-
(
"Hello world\n".print;
);
Spécificités du langage
[modifier | modifier le code]- Le langage permet de définir des sections SELF, qui comme dans beaucoup d'autres langages permettent de limiter la portée du code (équivalent des blocs imbriqués), ainsi que des sections à types (par exemple
Section NUMERIC) pour limiter l'usage de ces sections par les types définis; - On peut redéfinir les opérateurs dans n'importe quel objet (comme en Ruby par exemple) vu qu'ils sont des méthodes comme les autres;
- Lisaac implémente la programmation par contrat introduite par Eiffel dont il reprend la syntaxe, il est donc possible de définir des préconditions, postconditions et invariants au sein des méthodes.
Annexes
[modifier | modifier le code]Liens externes
[modifier | modifier le code]- Site officiel.
- Sources du système IsaacOS (abandonné depuis 2008)
Notes et références
[modifier | modifier le code]- « Programmation orientée objets 2 - UFR de mathématique et d'informatique - Université de Strasbourg », sur mathinfo.unistra.fr (consulté le )
