Publicité :
Programmetion fonctionelle
La programmation fonctionnelle est un paradigme de programmation qui considère le calcul en tant qu'évaluation de fonctions mathématiques.
Comme le changement d'état et la mutation des données ne peuvent pas être représentés par des évaluations de fonctions la programmation fonctionnelle ne les admet pas, au contraire elle met en avant l'application des fonctions, contrairement au modèle de programmation impérative qui met en avant les changements d'état. |
Qu'est-ce que Caml ?
|
Caml est un langage de programmation généraliste, conçu pour garantir la sûreté et la fiabilité des programmes. Il est très expressif et néanmoins facile d'apprentissage et d'emploi. Caml se prête à la programmation dans un style fonctionnel, impératif ou orienté objets. Il est développé et distribué par l'INRIA depuis 1985.
|
|
Le système OCaml est la principale implémentation du langage Caml. Il offre un puissant système de modules ainsi qu'une couche orientée objets. Il est livré avec un compilateur produisant du code natif pour de nombreuses architectures, pour une haute performance; un compilateur produisant du code-octets (« bytecode »), pour une portabilité accrue; et une boucle interactive, permettant l'expérimentation et un développement rapide. |
|
Le système Caml Light est une implémentation légère et portable du noyau du langage Caml. Grâce à son statut stable, il est utilisé de façon active dans l'enseignement. Pour la plupart des autres utilisations, nous recommandons de lui préférer son successeur OCaml. |
Cours d'OPM :
Calculabilité :
1. La récursivité :
1. La récursivité :
2. Machine de Turing :
![](http://www.weebly.com/weebly/images/file_icons/pdf.png)
calculabilite_2__me_partie_machine_de_turing.pdf |
TPs PRF:
Les TPs :
![](http://www.weebly.com/weebly/images/file_icons/pdf.png)
lestp.pdf |
Sollution des TPs :
![](http://www.weebly.com/weebly/images/file_icons/pdf.png)
solutions-de-tps-caml.pdf |