groupe langages fonctionnels

Utilisation des langages fonctionnels dans
l’enseignement - rapport
d’activité 2012-2013
IREM des Pays de la Loire
juin 2013
1
Composition du groupe
BORER Matthias - département de mathématiques Université de Nantes
CHAUVIN Pascal - Collège Pierre Garcie Ferrande - 85800 St Gilles Croix de Vie
CONNAN Guillaume - IUT de Nantes
GRAGNIC Christophe - lycée Carcouët - 44000 Nantes
GROGNET Stéphane - département de mathématiques Université de Nantes
THORAVAL René - département d’informatique Université de Nantes
2
Objectifs
Les membres de ce groupe échangent des informations techniques concernant les langages fonctionnels.
Ils échangent des points de vues sur leurs expériences dans le domaine de l’enseignement autour
de l’utilisation de ces langages.
3
Actions
Les échanges transitent avant tout par courrier électronique.
Christophe Gragnic a réalisé un exposé sur les entrées-sorties en Haskell le jeudi 13 décembre 2013
de 16h à 18h dans la salle des animateurs IREM [7] suite à une suggestion de René Thoraval.
Guillaume Connan a présenté des nouveautés xcas au séminaire IREM/APMEP de bordeaux [4, 5]
Le langage OCaml a été rajouté par nos soins dans la base de donnée PLUME en mars 2013[11].
Trois ateliers ont été présentés aux Journées académiques de l’IREM des Pays de la Loire les 17
et 18 avril 2013 [10, 1] :
Pascal Chauvin : Mathématiques et programmation fonctionnelle.
Guillaume Connan : La boı̂te de Pandore des mathématiques expérimentales : comment un TP
qui semblait fonctionner tourne au cauchemar...,
Guillaume Connan : Langage (et ou de) programmation pour mieux parler de mathématique(s)...,
Une réunion-bilan a eu lieu le mardi 18 juin après-midi.
La bibliothèque ocamlmath évolue régulièrement [9].
Matthias Borer a installé divers logiciels autour d’OCaml au laboratoire de mathématiques.
Divers aspects de programmation fonctionnelle ont été publiés sur internet par des membres du
groupe : voir la bibliographie.
1
IREM des Pays de la Loire — Utilisation des lang. fonct. dans l’ens. — juin 2013
2
Guillaume Connan a publié un article sur Mathèmatice : L’informatique au secours de l’algèbre...et
réciproquement [6]
Des membres du groupe ont participé à la rédaction de deux ouvrages [12, 13].
Références bibliographiques
[1] Description de l’atelier de Pascal Chauvin : http://www.irem.sciences.univ-nantes.fr/
archives/JA2013/PC-IREM-JA-2013.pdf
[2] Documents pour l’atelier de Pascal Chauvin : http;//http://chauvinp.olympe.in/math/
[3] Différents programmes et différents langages par Guillaume Connan : http://informathix.
tuxfamily.org/?q=node/11
[4] La page de la conférence xcas par Guillaume Connan : http://informathix.tuxfamily.org/
?q=node/57
[5] Le diaporama de la conférence xcas : http://download.tuxfamily.org/tehessinmath/les%
20pdf/Bordeaux_XCAS_beamer.pdf
[6] G. Connan. L’informatique au secours de l’algèbre... et réciproquement ! http://revue.
sesamath.net/spip.php?article497
[7] Diaporama de Christophe Gragnic : http://profgra.org/lycee/presentation_Haskell_IO.
html.
[8] Différents programmes par Christophe Gragnic : http://profgra.org/lycee/
[9] La page de la bibliothèque ocamlmath : http://www.irem.sciences.univ-nantes.fr/Calcul/
Ocaml/index.html
[10] La page des Journées académiques de l’IREM : http://www.irem.sciences.univ-nantes.fr/
archives/JA2013/
[11] La page OCaml du projet Plume : https://www.projet-plume.org/fr/fiche/ocaml
[12] A.
Casamayou-Boucau,
P.
Chauvin,
G.
Connan.
Programmation
en
Python
pour
les
mathématiques.
Dunod
:
Paris,
2012.
http://www.
dunod.com/sciences-techniques/sciences-fondamentales/mathematiques/
programmation-en-python-pour-les-mathematiques
[13] A. Casamayou et al. Calcul mathématique avec Sage. Amazon, 2013. http://sagebook.gforge.
inria.fr/