Université Lyon 1
Arqus
Accueil  >>  Licence  >>  Informatique  >>  Informatique et mathématiques  >>  Programmation fonctionnelle
  • Domaine : Licences du domaine SCIENCES ET TECHNOLOGIES
  • Diplôme : Licence
  • Mention : Informatique
  • Parcours : Informatique et mathématiques
  • Unité d'enseignement : Programmation fonctionnelle
Nombre de crédits de l'UE : 3
Code APOGEE : INF2030L
UE Libre pour ce parcours
UE valable pour le semestre 1 de ce parcours
    Responsabilité de l'UE :
COQUERY EMMANUEL
 emmanuel.coqueryuniv-lyon1.fr
04.72.44.58.25
    Type d'enseignement
Nb heures *
Cours Magistraux (CM)
9 h
Travaux Dirigés (TD)
9 h
Travaux Pratiques (TP)
12 h
Durée de projet en autonomie (PRJ)
0 h
Durée du stage
0 h
Effectif Cours magistraux (CM)
210 étudiants
Effectif Travaux dirigés (TD)
35 étudiants
Effectif Travaux pratiques (TP)
18 étudiants

* Ces horaires sont donnés à titre indicatif.

    Pré-requis :
  • Savoir utiliser un éditeur de code
  • Savoir utiliser la ligne de commande Linux/MacOSX (bash)
  • Avoir une connaissance d'un langage de programmation
    Compétences attestées (transversales, spécifiques) :
Spécifiques:
  • Comprendre et exécuter un cahier des charges
  • Utiliser des composants logiciels existants et les intégrer dans un développement
  • Choisir une structure de données pertinente
  • Identifier, utiliser et choisir les différents paradigmes de programmation, au moins les classiques : fonctionnelle, procédurale, orientée objet, évènementielle, logique
    Programme de l'UE / Thématiques abordées :
L'UE programmation fonctionnelle aborde la notion de fonction comme étant une valeur au même titre que des valeurs plus simples. Cela facilite la généralisation des traitements et la paramétrisation des comportements (comme dans le cadre de certaines pratique de programmation concurrente). On y aborde plus particulièrement les points suivants:
  • lambda-calcul: le langage fonctionnel théorique fondamental
  • typage: types de bases et types paramétrés
  • retour sur la récursivité et lien avec les types de structures
  • ordre supérieur
  • fonctions pures et non-pures, fermetures
  • généralisation des traitements sur les collections
  • introduction à la programmation asynchrone
Ces notions seront mises en pratique à travers un langage de programmation fonctionnelle fortement typé.
SELECT MEN_ID, `MEN_DIP_ABREVIATION`, `MEN_TITLE`, `PAR_TITLE`, `PAR_ID` FROM parcours INNER JOIN ue_parcours ON PAR_ID_FK=PAR_ID INNER JOIN mention ON MEN_ID = PAR_MENTION_FK WHERE PAR_ACTIVATE = 0 AND UE_ID_FK='26078' ORDER BY `MEN_DIP_ABREVIATION`, `MEN_TITLE`, `PAR_TITLE`