0972 311 312 (prix appel local)

Programmation fonctionnelle en Java (NFP101)

les TP sont très illustratifs de chaque point du cours.  Source : Enquete de satisfaction OEC auprès des auditeurs inscrits au Cnam Bretagne, 2018-2019

Objectifs

L'objectif de ce cours est d'étudier les mécanismes des langages orientés objets (encapsulation, héritage, redéfinition, liaison tardive, ...) lorsqu'ils sont sont combinés avec le style de la programmation fonctionnelle. L'accent est mis sur la sûreté de l'exécution et en particulier, sur ce que doit apporter le typage statique pour assurer...En lire plus

Compétences

Maîtrise du paradigme fonctionnel-objet. Compréhension du rôle et du fonctionnement du typage statique.

Légende :

  100% Internet - national

Condition d'accès / publics visés

Avoir une expérience de la programmation orientée objets ou avoir le niveau des unités d'enseignement VARI (NFP135 et NFP136).

Objectifs pédagogiques

L'objectif de ce cours est d'étudier les mécanismes des langages orientés objets (encapsulation, héritage, redéfinition, liaison tardive, ...) lorsqu'ils sont sont combinés avec le style de la programmation fonctionnelle. L'accent est mis sur la sûreté de l'exécution et en particulier, sur ce que doit apporter le typage statique pour assurer la correction de l'exécution.

Compétences visées

Maîtrise du paradigme fonctionnel-objet. Compréhension du rôle et du fonctionnement du typage statique.

Niveau

Niveau 6 (Bac+3 et Bac+4)

Contenu de la formation

Les séances prendront la forme de "leçons" : les concepts seront présentés en cours puis illustrés directement à travers des exemples et des exercices de programmation.
Le langage utilisé pour illustrer ces concepts sera Java, Scala ou un langage moderne équivalent.
L'accent sera mis en particulier sur les avantages du typage statique et de la combinaison des styles de programmation objet et fonctionnels pour garantir des propriétés essentielles de sûreté.
Une application majeure des techniques étudiées sera l'implantation d'algorithmes massivement parallèles dans le style classique Map-Reduce.
Ce cours se termine par une initiation à l'utilisation de méthodes formelles pour aller au-dela du typage et prouver complètement la correction d'un programme objet-fonctionnel.

Accompagnement et suivi

Sous l’autorité pédagogique du certificateur Cnam, les équipes du Cnam Bretagne vous offrent un accompagnement pendant votre parcours de formation à la fois sur les aspects administratifs, financiers, pédagogiques et techniques.

ECTS : 6

Modalité Volume horaire CPF Employeur Pôle Emploi Auto-financement
 
45 heures 900 € 900 € 225 € 225 €

INFOS
PRATIQUES

Durée

45 heures

Modalité

100% Internet - national  

Date de début des cours

22/02/2021

Date de fin des cours

26/06/2021