Université Lyon 1
Université de Lyon
Arqus
Accueil  >>  Licence  >>  Sciences de la Vie  >>  Bio-informatique, statistique et modélisation  >>  Programmation fonctionnelle
  • Domaine : Licences du domaine SCIENCES, TECHNOLOGIES, SANTE
  • Diplôme : Licence
  • Mention : Sciences de la Vie
  • Parcours : Bio-informatique, statistique et modélisation
  • 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 de l'étudiant (PRJ)
0 h
Durée du stage
0 h
Effectifs Cours magistraux (CM)
210 étudiants
Travaux dirigés (TD)
35 étudiants
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 * 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 UE_ID_FK ASC, PAR_ID_FK ASC