computerprogramming functionalprogramming(computerscience) funktionaleprogrammierung haskell(computerprogramlanguage) interpréteurcommande lambdacalcul multimedia multimediasystems polymorphisme programmationfonctionnelle(informatique) sémantiquedénotationnelle typeabstrait évaluation