Difference between revisions of "Courses/PFON"

From LRDE

(Created page with "{{Course |title=Introduction à la Programmation Fonctionnelle |acronym=PFON |teacher=Didier |period=S2, Ing1, App1 |audience=Tronc-commun, Apprentis |optional course=oui |mod...")
 
Line 1: Line 1:
 
{{Course
 
{{Course
  +
|visible=Yes
 
|title=Introduction à la Programmation Fonctionnelle
 
|title=Introduction à la Programmation Fonctionnelle
 
|acronym=PFON
 
|acronym=PFON
Line 9: Line 10:
 
|prerequisites=THL
 
|prerequisites=THL
 
|objectives=Fournir une vision d'ensemble du paradigme de programmation fonctionnelle et de son positionnement relatif aux autres paradigmes de programmation. Illustrer l'ensemble des concepts abordés au moyen de deux langages fonctionnels: Lisp et Haskell.
 
|objectives=Fournir une vision d'ensemble du paradigme de programmation fonctionnelle et de son positionnement relatif aux autres paradigmes de programmation. Illustrer l'ensemble des concepts abordés au moyen de deux langages fonctionnels: Lisp et Haskell.
  +
|content=* Introduction* Tutoriels Lisp / Haskell* Évaluation / Scoping / Preuves* Types Collectifs* Fonctions du 1er Ordre* Traits Impératifs et Impureté * Complexité et Performance"
|content=* Introduction
 
* Tutoriels Lisp / Haskell
 
* Évaluation / Scoping / Preuves
 
* Types Collectifs
 
* Fonctions du 1er Ordre
 
* Traits Impératifs et Impureté
 
* Complexité et Performance"
 
 
|references=http://didier.lrde.org/lectures/afp.php
 
|references=http://didier.lrde.org/lectures/afp.php
 
}}
 
}}

Revision as of 14:10, 3 February 2020

Titre

Introduction à la Programmation Fonctionnelle

Sigle

PFON

Enseignant

Didier Verna

Période

S2, Ing1, App1

Public

Tronc-commun, Apprentis

Contrôle
Durée
Optionnel

oui

Module

Informatique Fondamentale

Prérequis

THL

Objectifs

Fournir une vision d'ensemble du paradigme de programmation fonctionnelle et de son positionnement relatif aux autres paradigmes de programmation. Illustrer l'ensemble des concepts abordés au moyen de deux langages fonctionnels: Lisp et Haskell.

Plan
  • Introduction* Tutoriels Lisp / Haskell* Évaluation / Scoping / Preuves* Types Collectifs* Fonctions du 1er Ordre* Traits Impératifs et Impureté * Complexité et Performance"
Documentation
Support
Journaux