École Informatique 2019 - Programmation fonctionnelle
from
Monday, September 16, 2019 (10:00 AM)
to
Friday, September 20, 2019 (4:00 PM)
Monday, September 16, 2019
10:00 AM
Pause café
Pause café
10:00 AM - 10:30 AM
10:30 AM
Organisation de l'école et logistique
-
Thierry OLLIVIER
(
IPNL
)
Organisation de l'école et logistique
Thierry OLLIVIER
(
IPNL
)
10:30 AM - 10:40 AM
10:40 AM
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 AM - 11:00 AM
11:00 AM
Concepts de la programmation fonctionnelle (1/5)
-
Gabriel Scherer
(
INRIA
)
Concepts de la programmation fonctionnelle (1/5)
Gabriel Scherer
(
INRIA
)
11:00 AM - 12:30 PM
12:30 PM
Déjeuner
Déjeuner
12:30 PM - 1:30 PM
2:00 PM
Concepts de la programmation fonctionnelle (2/5)
-
Gabriel Scherer
(
INRIA
)
Concepts de la programmation fonctionnelle (2/5)
Gabriel Scherer
(
INRIA
)
2:00 PM - 3:30 PM
3:30 PM
Pause café
Pause café
3:30 PM - 4:00 PM
4:00 PM
Concepts de la programmation fonctionnelle (3/5)
-
Gabriel Scherer
(
INRIA
)
Concepts de la programmation fonctionnelle (3/5)
Gabriel Scherer
(
INRIA
)
4:00 PM - 5:30 PM
6:30 PM
Apéritif
Apéritif
6:30 PM - 7:00 PM
7:00 PM
Diner
Diner
7:00 PM - 8:00 PM
Tuesday, September 17, 2019
9:00 AM
Concepts de la programmation fonctionnelle (4/5)
-
Gabriel Scherer
(
INRIA
)
Concepts de la programmation fonctionnelle (4/5)
Gabriel Scherer
(
INRIA
)
9:00 AM - 10:30 AM
10:30 AM
Café
Café
10:30 AM - 11:00 AM
11:00 AM
Concepts de la programmation fonctionnelle (5/5)
-
Gabriel Scherer
(
INRIA
)
Concepts de la programmation fonctionnelle (5/5)
Gabriel Scherer
(
INRIA
)
11:00 AM - 12:30 PM
12:30 PM
Déjeuner
Déjeuner
12:30 PM - 1:30 PM
2:00 PM
Idiomes de programmation fonctionnelle pour les langages courants 1/2
-
Gabriel Scherer
Idiomes de programmation fonctionnelle pour les langages courants 1/2
Gabriel Scherer
2:00 PM - 3:30 PM
3:30 PM
Café
Café
3:30 PM - 4:00 PM
4:00 PM
Idiomes de programmation fonctionnelle pour les langages courants 2/2
-
Gabriel Scherer
Idiomes de programmation fonctionnelle pour les langages courants 2/2
Gabriel Scherer
4:00 PM - 5:30 PM
7:00 PM
Diner
Diner
7:00 PM - 8:00 PM
Wednesday, September 18, 2019
9:00 AM
Atelier C++
Atelier C++
9:00 AM - 10:30 AM
Atelier Java/Scala
Atelier Java/Scala
9:00 AM - 10:30 AM
Atelier Python
Atelier Python
9:00 AM - 10:30 AM
10:30 AM
Café
Café
10:30 AM - 11:00 AM
11:00 AM
Atelier C++
Atelier C++
11:00 AM - 12:30 PM
Atelier Java/Scala
Atelier Java/Scala
11:00 AM - 12:30 PM
Atelier Python
Atelier Python
11:00 AM - 12:30 PM
12:30 PM
Déjeuner
Déjeuner
12:30 PM - 1:30 PM
2:00 PM
Atelier C++
Atelier C++
2:00 PM - 3:30 PM
Atelier Java/Scala
Atelier Java/Scala
2:00 PM - 3:30 PM
Atelier Python
Atelier Python
2:00 PM - 3:30 PM
3:30 PM
Café
Café
3:30 PM - 4:00 PM
4:00 PM
Culture Fonctionnelle : Haskell
-
Alexandre Delanoë
(
ISCPIF
)
Culture Fonctionnelle : Haskell
Alexandre Delanoë
(
ISCPIF
)
4:00 PM - 5:30 PM
7:00 PM
Diner
Diner
7:00 PM - 8:00 PM
8:00 PM
Retour d'expérience Haskell
-
Alexandre Delanoë
(
ISCPIF
)
Retour d'expérience Haskell
Alexandre Delanoë
(
ISCPIF
)
8:00 PM - 9:30 PM
Thursday, September 19, 2019
9:00 AM
Atelier C++
Atelier C++
9:00 AM - 10:30 AM
Atelier Python
Atelier Python
9:00 AM - 10:30 AM
10:30 AM
Café
Café
10:30 AM - 11:00 AM
11:00 AM
Atelier C++
Atelier C++
11:00 AM - 12:30 PM
Atelier Python
Atelier Python
11:00 AM - 12:30 PM
12:30 PM
Déjeuner
Déjeuner
12:30 PM - 1:30 PM
2:00 PM
Atelier C++
Atelier C++
2:00 PM - 3:30 PM
Atelier Python
Atelier Python
2:00 PM - 3:30 PM
3:30 PM
Café
Café
3:30 PM - 4:00 PM
4:00 PM
Culture Fonctionnelle : Monads
-
Gabriel Scherer
(
INRIA
)
Alexandre Delanoë
(
ISCPIF
)
Culture Fonctionnelle : Monads
Gabriel Scherer
(
INRIA
)
Alexandre Delanoë
(
ISCPIF
)
4:00 PM - 5:30 PM
7:45 PM
Bouchon lyonnais
Bouchon lyonnais
7:45 PM - 9:45 PM
Friday, September 20, 2019
9:30 AM
Property based testing
Property based testing
9:30 AM - 10:45 AM
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 AM
Café
Café
10:45 AM - 11:15 AM
11:15 AM
Property based testing
Property based testing
11:15 AM - 12:30 PM
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 PM
Déjeuner
Déjeuner
12:30 PM - 1:30 PM
2:00 PM
Culture fonctionnelle : F#
-
Francois David Collin
(
{CNRS}UMR5149
)
Culture fonctionnelle : F#
Francois David Collin
(
{CNRS}UMR5149
)
2:00 PM - 3:00 PM
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.
3:00 PM
Bilan de l'ANF
Bilan de l'ANF
3:00 PM - 3:30 PM