Je pense que s/Formelle/Fonctionnel/ serait mieux, même si OCaml se permet aussi quelques fonctionnalités telles la validation formelle (cf. le prouveur COQ)
ouitoutàfait, mes doigts ont fourchés...
A ma décharge : c'est pasque je suis en plein rapport sur un bô projet utilisant Coq, et du coup j'ai du "formel" à tout bout de champ... m'en vais vérifié qu'il n'y ait pas eu quelques subsitutions formel/fonctionnel dedans d'ailleur...
[^] # Re: On oublie toujours OCaml
Posté par Fanf . En réponse à la dépêche Havoc Pennington se pose des questions sur les langages du libre. Évalué à 1.
ouitoutàfait, mes doigts ont fourchés...
A ma décharge : c'est pasque je suis en plein rapport sur un bô projet utilisant Coq, et du coup j'ai du "formel" à tout bout de champ... m'en vais vérifié qu'il n'y ait pas eu quelques subsitutions formel/fonctionnel dedans d'ailleur...
Donc OCaml est un langage fonctionnel bien sûr...