Cours d'Ocaml, programmation fonctionnelle

Résumé du document

1) Qu'est-ce qu'une fonction récursive ?

Une fonction récursive est une fonction qui se rappelle elle même dans sa définition un certain nombre de fois (nombre d'appels récursifs). On utilise la récursivité pour répéter un calcul, le plus souvent, un nombre indéterminé de fois (...)

Extraits

[...] On parle aussi de paramètres. Exemples: Fonction qui fait la moyenne de deux notes: let moy note1 note2= (note1 note2)/.2;; Explications: Le premier argument de la fonction est la première note, le deuxième argument est la seconde note. Les notes sont de type float (car elles peuvent prendre des valeurs comme 12.3 ou 16.4 ou 2.0 c'est pourquoi on utilise l'opérateur et pas + (pour plus d'information, se référer à la partie Chap1 : Types simples prédéfinis en Caml Définition locale d'une fonction en Ocaml: Tout comme les variables, les fonction en Ocaml peuvent se définir localement, de façon analogue: let nom_de_la_fonction argumen1= let nom_de_la_fonction_locale argument2= expression en fonction de l'argument2 in nom_de_la_fonction_locale argument1;; Exemple: 4/12 let moy note1 note2= let div x/.2 in div (note1 note2);; Cette fonction calcule la moyenne de deux notes. [...]

[...] Exemple : ; ; ; ; . etc Chacque caractère possède son code ascii : pour le connaitre, il suffit de tapper dans Ocaml : int_of_char par exemple, pour connaitre le code ascii du caractère (sous word ou notepad, restez appuyé sur la touche alt et tappez le code ascii du caractère, par exemple alt maintenu enfoncé en 97 donne : a). Le type string: Une chaine de caractères est de type string. Exemple : "je programme en Ocaml" ; "bestinformatik.4yu.fr" . [...]

[...] Cours d'Ocaml, écrit par Thomas LE PILLOUER, Septembre 2008 CHAPITRE 1 : Introduction a Ocaml . p3 Types simples prédéfinis en Caml Le type int Le type float Le type char Le type string Le type bool II] Définition en Caml Définition globale Définition locale III] Les fonctions en Caml Définition d'une fonction en Ocaml Définition locale d'une fonction en Ocaml Définition anonyme d'une fonction en Ocaml IV] Les alternatives en Caml Syntaxe de If Then Else Contraintes d'utilisation de If Then Else CHAPITRE 2 : Récursivité . [...]

[...] Ainsi opération (function x function y 6 donne 14. Mais on peut aussi écrire opération (function x->function 2 Ce qui donne 6. 5/12 IV] Les alternatives en Ocaml Syntaxe de If Then Else Tous les langages de programmation possèdent ce type d'opération. Il permet d'imposer des conditions d'éxécution. [...]

[...] Exemples : let coef_prog_info=9;; let deu_o_carre=2*2;; . On peut également définir plusieurs variables à la fois : let a=5 and Cependant, il faut que toutes les variables soient indépendantes : on ne peut pas écrire let a=5 and Définition locale Une définition locale permet de stocker des valeurs temporairement afin de s'en servir lors d'un calcul par exemple, mais une fois ce calcul effectué, ces valeurs sont effacées. Syntaxe: let = in Exemple : let a=4 in Cela donne 8. [...]