Il est prévu de faire de le preuve dans Lisaac. La simplicité de la syntaxe aide à cela.
Je sais pas si ca a changé depuis la dernière fois que je me suis intéressé aux specs du langage, mais dans mes souvenirs on pouvait allègrement mixé du Lisaac avec du code écrit en C. Partant de là, niveau preuve et sécu...
Et qu'est-ce qui permet de dire cela ?
Très bonne question. Ce n'est pas moi qui est cherché à faire ce parallèle hein. Tu crois que les lib fleuves sont l'aboutissement de tout langage ?
C'est quoi le rapport ?
[^] # Re: C'est trop compliqué !
Posté par TImaniac (site web personnel) . En réponse au journal Des langages de haut niveau. Évalué à 1.
Je sais pas si ca a changé depuis la dernière fois que je me suis intéressé aux specs du langage, mais dans mes souvenirs on pouvait allègrement mixé du Lisaac avec du code écrit en C. Partant de là, niveau preuve et sécu...
Et qu'est-ce qui permet de dire cela ?
Très bonne question. Ce n'est pas moi qui est cherché à faire ce parallèle hein.
Tu crois que les lib fleuves sont l'aboutissement de tout langage ?
C'est quoi le rapport ?