Initiation à l'algorithmique fonctionnelle

Résumé du document

En programmation fonctionnelle, un calcul, c'est l'application d'un calcul mathématique.
Langage de programmation utilisé :
CAML (Categorical Abstract Logical Machine) :
- CAML-Light
- OCAML (Objective CAML)
CAML appartient à la famille de langages ML (Meta Language). L'idée de cette famille a été créée vers la fin des années 70
(...)

Extraits

[...] Une expression : - est suite de symbole ( ( 4 ) ) - ne peut pas contenir des caractères illégaux - ne peut pas être syntaxiquement incorrecte ( ) ne peut pas être lexicalement incorrecte peut contenir des noms de variables liées à des valeurs ( 2 + x ) ne peut pas contenir de variable mal typée ( 2.5 + 3.0 ) ( 2.5 + ) entier = int CAML est considéré comme une super calculatrice Evaluation : ( 3 + 4 ) = 24 let x = 2 and y = 3 and z = + ( 4 ) ~ > function ( z ) x + ( y * z ) Abstraction in x + ( y * ( function ( z ) x + ( y * z ) ) ( ) Appréciation let x = 5 and y = 0 and z = + ( ~ > function ( z ) x + ( y * z ) Abstraction in x + ( y * ( function ( z ) x + ( y * z ) ) ( ) Appréciation 3 let x = 4 and y = 1 and z = + ) ~ > function ( z ) x + ( y * z ) Abstraction in x + ( y * type : int + int * int int int + int*int int = z ne sont pas des affectations, ce sont des liaisons locales. let ( function ( z ) x + ( y * z ) ) ( ) Appréciation ( 3.* sin ( 2.) ) + . [...]

[...] " , _ _ _ _ " _ . . [...]

[...] and d = 0.5 and e = cos and f = 4. function ( d , f ) ( a * b ( c ) + . d * e ( f ) ) ( 3.,sin cos, 4.) Application float * ' a float * ' a * float * ' b float * ' b + float ( ( a * b ( c ) + . [...]

[...] On appelle fonction d'ordre supérieur, une fonction qui a plus d'une flèche int int int Ex : : Toutes les fonctions sauf fst et snd ont un seul paramètre. Fonction de mapping : _ _ _ _ _ _ _ _ _ _ _ _ : _ _ _ _ _ _ _ _ _ , } ou 10 _ _ _ _ _ } Applique_a_liste correspond à map _ _ , _ _ _ : _ , : _ , : _ : _ : _ _ _ _ _ _ _ Fonctions de mapping Fonctions d'accumulation Fonctions de filtrage map map2 it_list list_it : : .1 _ _ _ _ _ / _ , _ _ _ _ _ ; _ _ _ _ _ _ _ 3 _ _ : : _ _ _ _ _ : _ ' _ _ _ 12 _ _ : ^ ^ ^ Programmation par filtrage : Phrases : expressions définitions globales de valeur directives définitions de type définition exception _ : _ _ _ _ _ _ " " 13 i2_segment.mli . [...]

[...] Université de Nantes 2006/2007 Initiation à l'algorithmique fonctionnelle Licence 1 Module S2I Sommaire Chapitre I : Introduction / expressions, valeurs, types et fonctions Chapitre 2 : Induction Récursivité Chapitre 3 : Listes Chapitre 4 : Ordre supérieur (Higher order) Chapitre I : Introduction / expressions, valeurs, types et fonctions. En programmation fonctionnelle, un calcul, c'est l'application d'un calcul mathématique. Langage de programmation utilisé : CAML (Categorical Abstract Logical Machine) : - CAML-Light - OCAML (Objective CAML) CAML appartient à la famille de langages ML (Meta Language). [...]