Je suis matheux à la base, je ne connais pas la logique propositionnelle, je ne sais pas ce que sont les sequents.
Ca ne m'empêche pas de bien aimer la prog fonctionnelle, de bien me débrouiller en OCaml. Et je ne pense pas qu'utiliser un langage fonctionnel impose grand chose. Je connais des gars pas matheux pour un sous qui adorent la prog fonctionnelle.
Par contre pour ce qui est des tutos je sais pas...
[^] # Re: re
Posté par mickabouille . En réponse au message Quel langage fonctionnel pour commencer?. Évalué à 3.
Ca ne m'empêche pas de bien aimer la prog fonctionnelle, de bien me débrouiller en OCaml. Et je ne pense pas qu'utiliser un langage fonctionnel impose grand chose. Je connais des gars pas matheux pour un sous qui adorent la prog fonctionnelle.
Par contre pour ce qui est des tutos je sais pas...