• [^] # Re: C'est trop compliqué !

    Posté par (site web personnel) . En réponse au journal Des langages de haut niveau. Évalué à 2.

    Il est prévu de faire de le preuve dans Lisaac. La simplicité de la syntaxe aide à cela.

    Pour l'instant, est implémentée la preuve pour les appel sur un objet null. Le compilo prouve que 95% des appels seront bon. C'est un bon début !

    "mais ce dernier ne va pas apporter grand chose comme a pu apporter la locomotive par rapport à la charette."

    Et qu'est-ce qui permet de dire cela ? Tu crois que les lib fleuves sont l'aboutissement de tout langage ?

    "La première sécurité est la liberté"