L'intérêt de la formalisation mathématique n'est pas forcément visible pour le programmeur. Ca peut être utilisé pour prouver qu'une nouvelle syntaxe sera transformée en du code qui se comporte bien. Toi, tout ce que tu fais, c'est utiliser la nouvelle syntaxe. T'as pas besoin de faire de maths ni de logique...
Ca peut aussi être utilisé dans le compilateur pour prouver que ton code marche bien. Les systèmes de types, par exemple, font ça. T'as pas besoin de comprendre les types. Si ça passe pas le typage, c'est que t'avais un bug de toute façon et t'aurais été obligé de réfléchir...
[^] # Re: Le cerveau n'est pas logique
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Pourquoi la recherche en langages de programmation ?. Évalué à 4.
L'intérêt de la formalisation mathématique n'est pas forcément visible pour le programmeur. Ca peut être utilisé pour prouver qu'une nouvelle syntaxe sera transformée en du code qui se comporte bien. Toi, tout ce que tu fais, c'est utiliser la nouvelle syntaxe. T'as pas besoin de faire de maths ni de logique...
Ca peut aussi être utilisé dans le compilateur pour prouver que ton code marche bien. Les systèmes de types, par exemple, font ça. T'as pas besoin de comprendre les types. Si ça passe pas le typage, c'est que t'avais un bug de toute façon et t'aurais été obligé de réfléchir...