Effectivement ca ajoute une dépendance à gcc, ca se tient.
les problématiques de preuves automatiques de programmes que par des histoires d'optimisations.
Je ne connais que la méthode B dans le domaine, mais j'ai un peu l'impression que le B est à des années lumières de Lisaac (au niveau de la grammaire)... Vous avez tout de même les mêmes objectifs ?
[^] # Re: Comment faire un langage plus rapide que C ?
Posté par TImaniac (site web personnel) . En réponse à la dépêche 23 mars: Conférence au LORIA sur Lisaac, un nouveau langage. Évalué à 2.
les problématiques de preuves automatiques de programmes que par des histoires d'optimisations.
Je ne connais que la méthode B dans le domaine, mais j'ai un peu l'impression que le B est à des années lumières de Lisaac (au niveau de la grammaire)... Vous avez tout de même les mêmes objectifs ?