Re: Je ne veux pas être rabat-joie mais...

En lisant les caractéristiques du code que ca produit on comprend que c'est vraiment hyper spécialisé :

Safe control structures

* Mostly linear control sequences.
* No loops, no recursion, no jumps.
* Therefore, predictable execution time.

Safe data structures

* No dynamic variables.
* Fully static memory allocation.
* Integrity of data can thereby be ensured.


... bref c'est pas demain la veille qu'on pourra coder un OS généraliste avec ce genre d'outils