Euh, ce genre de programmation restera je pense, pour un bon moment, réservé à certains domaines bien spécifiques. C'est à dire des applications pas trop complexe, mais dont la fiabilité doit être de 100%(du genre le programme qui gère les méchanismes de la centrale nucléaire).
[^] # Re: Les mathématiques Formels
Posté par Vador Dark (site web personnel) . En réponse au journal L'expressivité des langages. Évalué à 1.