Catégorie: Langages et techniques de compilation

Dans mon précédent billet j'exposais quelques motivations et quelques objectifs de conception pour un langage natif moderne.

Dans ce billet je discute certaines conséquences de la notion de types non-annulables.
Des conséquences non évoquées dans le document d'origine.

» Lire la suite!

Ce billet inaugure une série que je voudrais consacrer à la spécification et à l'implantation d'un (nouveau) langage de bas niveau.

Syntaxiquement, ce langage est inspiré de BASIC ou de MODULA, sémantiquement il se veut une modernisation du C c'est-à-dire avec les mêmes objectifs de libre performance, avec toutefois une attention particulière accordée à la sûreté de l'ensemble sans toutefois rien renier des opérations de bas niveau.

» Lire la suite!