École Informatique 2019 - Programmation fonctionnelle
de
lundi 16 septembre 2019 (10:00)
à
vendredi 20 septembre 2019 (16:00)
lundi 16 septembre 2019
10:00
Pause café
Pause café
10:00 - 10:30
10:30
Organisation de l'école et logistique
-
Thierry OLLIVIER
(
IPNL
)
Organisation de l'école et logistique
Thierry OLLIVIER
(
IPNL
)
10:30 - 10:40
10:40
Objectifs de l'école et fonctionnement des TD
-
Antoine Pérus
(
Cnrs/In2p3/Lal
)
Objectifs de l'école et fonctionnement des TD
Antoine Pérus
(
Cnrs/In2p3/Lal
)
10:40 - 11:00
11:00
Concepts de la programmation fonctionnelle (1/5)
-
Gabriel Scherer
(
INRIA
)
Concepts de la programmation fonctionnelle (1/5)
Gabriel Scherer
(
INRIA
)
11:00 - 12:30
12:30
Déjeuner
Déjeuner
12:30 - 13:30
14:00
Concepts de la programmation fonctionnelle (2/5)
-
Gabriel Scherer
(
INRIA
)
Concepts de la programmation fonctionnelle (2/5)
Gabriel Scherer
(
INRIA
)
14:00 - 15:30
15:30
Pause café
Pause café
15:30 - 16:00
16:00
Concepts de la programmation fonctionnelle (3/5)
-
Gabriel Scherer
(
INRIA
)
Concepts de la programmation fonctionnelle (3/5)
Gabriel Scherer
(
INRIA
)
16:00 - 17:30
18:30
Apéritif
Apéritif
18:30 - 19:00
19:00
Diner
Diner
19:00 - 20:00
mardi 17 septembre 2019
09:00
Concepts de la programmation fonctionnelle (4/5)
-
Gabriel Scherer
(
INRIA
)
Concepts de la programmation fonctionnelle (4/5)
Gabriel Scherer
(
INRIA
)
09:00 - 10:30
10:30
Café
Café
10:30 - 11:00
11:00
Concepts de la programmation fonctionnelle (5/5)
-
Gabriel Scherer
(
INRIA
)
Concepts de la programmation fonctionnelle (5/5)
Gabriel Scherer
(
INRIA
)
11:00 - 12:30
12:30
Déjeuner
Déjeuner
12:30 - 13:30
14:00
Idiomes de programmation fonctionnelle pour les langages courants 1/2
-
Gabriel Scherer
Idiomes de programmation fonctionnelle pour les langages courants 1/2
Gabriel Scherer
14:00 - 15:30
15:30
Café
Café
15:30 - 16:00
16:00
Idiomes de programmation fonctionnelle pour les langages courants 2/2
-
Gabriel Scherer
Idiomes de programmation fonctionnelle pour les langages courants 2/2
Gabriel Scherer
16:00 - 17:30
19:00
Diner
Diner
19:00 - 20:00
mercredi 18 septembre 2019
09:00
Atelier C++
Atelier C++
09:00 - 10:30
Atelier Java/Scala
Atelier Java/Scala
09:00 - 10:30
Atelier Python
Atelier Python
09:00 - 10:30
10:30
Café
Café
10:30 - 11:00
11:00
Atelier C++
Atelier C++
11:00 - 12:30
Atelier Java/Scala
Atelier Java/Scala
11:00 - 12:30
Atelier Python
Atelier Python
11:00 - 12:30
12:30
Déjeuner
Déjeuner
12:30 - 13:30
14:00
Atelier C++
Atelier C++
14:00 - 15:30
Atelier Java/Scala
Atelier Java/Scala
14:00 - 15:30
Atelier Python
Atelier Python
14:00 - 15:30
15:30
Café
Café
15:30 - 16:00
16:00
Culture Fonctionnelle : Haskell
-
Alexandre Delanoë
(
ISCPIF
)
Culture Fonctionnelle : Haskell
Alexandre Delanoë
(
ISCPIF
)
16:00 - 17:30
19:00
Diner
Diner
19:00 - 20:00
20:00
Retour d'expérience Haskell
-
Alexandre Delanoë
(
ISCPIF
)
Retour d'expérience Haskell
Alexandre Delanoë
(
ISCPIF
)
20:00 - 21:30
jeudi 19 septembre 2019
09:00
Atelier C++
Atelier C++
09:00 - 10:30
Atelier Python
Atelier Python
09:00 - 10:30
10:30
Café
Café
10:30 - 11:00
11:00
Atelier C++
Atelier C++
11:00 - 12:30
Atelier Python
Atelier Python
11:00 - 12:30
12:30
Déjeuner
Déjeuner
12:30 - 13:30
14:00
Atelier C++
Atelier C++
14:00 - 15:30
Atelier Python
Atelier Python
14:00 - 15:30
15:30
Café
Café
15:30 - 16:00
16:00
Culture Fonctionnelle : Monads
-
Gabriel Scherer
(
INRIA
)
Alexandre Delanoë
(
ISCPIF
)
Culture Fonctionnelle : Monads
Gabriel Scherer
(
INRIA
)
Alexandre Delanoë
(
ISCPIF
)
16:00 - 17:30
19:45
Bouchon lyonnais
Bouchon lyonnais
19:45 - 21:45
vendredi 20 septembre 2019
09:30
Property based testing
Property based testing
09:30 - 10:45
Comment tester des fonctions en se basant sur leur propriétés? Après l'introduction en OCaml vue en début de semaine, l'implémentation et les tests dans le language de son choix : Scala, Python (travail libre, mais guidé par les intervenants).
10:45
Café
Café
10:45 - 11:15
11:15
Property based testing
Property based testing
11:15 - 12:30
Comment tester des fonctions en se basant sur leur propriétés? Après l'introduction en OCaml vue en début de semaine, l'implémentation et les tests dans le language de son choix : Scala, Python (travail libre, mais guidé par les intervenants).
12:30
Déjeuner
Déjeuner
12:30 - 13:30
14:00
Culture fonctionnelle : F#
-
Francois David Collin
(
{CNRS}UMR5149
)
Culture fonctionnelle : F#
Francois David Collin
(
{CNRS}UMR5149
)
14:00 - 15:00
Depuis quelques années la stratégie de Microsoft a fait un virage à 180° sur plusieurs éléments clefs de son écosystème de développement. Les deux points à retenir : - .net core qui a complètement rebattu les cartes pour l'architecture .NET, maintenant 100% Open Source et multiplateforme. - D'autre part, le langage F# (qui fête bientôt ses 20 ans d'existence) qui s’intègre totalement dans une approche dite « pragmatique » de la programmation fonctionnelle et propose un certains nombre de fonctionnalités uniques dans ce domaine. Nous proposons de passer en revue ces différents aspects, et de les illustrer, articulés ensemble, par des démonstrations dans un IDE (Visual Studio Code) sur un exemple concret.
15:00
Bilan de l'ANF
Bilan de l'ANF
15:00 - 15:30