Skip to Main content Skip to Navigation

Learn-OCaml : un assistant à l'enseignement d'OCaml

Cagdas Bozman 1 Benjamin Canou 1 Roberto Di Cosmo 2, 3 Pierrick Couderc 1 Louis Gesbert 1 Grégoire Henry 1 Fabrice Le Fessant 1 Michel Mauny 4 Carine Morel 5 Loïc Peyrot 5 Yann Regis-Gianas 6
6 PI.R2 - Design, study and implementation of languages for proofs and programs
UPD7 - Université Paris Diderot - Paris 7, CNRS - Centre National de la Recherche Scientifique, IRIF (UMR_8243) - Institut de Recherche en Informatique Fondamentale, Inria de Paris
Résumé : La plateforme Learn-OCaml est un assistant à l'enseignement du langage de program-mation OCaml, développée dans le cadre du projet éponyme porté par la Fondation OCaml, qui vise à soutenir et développer l'usage d'OCaml dans l'enseignement. La plateforme permet d'écrire des exercices munis de correcteurs automatiques qui peuvent tester non seulement la correction fonctionnelle des programmes soumis par les étudiants mais aussi la façon dont ces programmes sont écrits ou calculent. Dans cet article, nous présentons la plateforme dans son ensemble, le projet dans lequel s'inscrit son développement, et ses fonctionnalités principales, à travers notamment l'écriture d'un exercice et de son correcteur ainsi qu'un premier retour sur deux expériences d'usage menées à l’Université McGill et à l’Université Paris Diderot.
Document type :
Conference papers
Complete list of metadatas

Cited literature [5 references]  Display  Hide  Download

https://hal.inria.fr/hal-02405876
Contributor : Yann Regis-Gianas <>
Submitted on : Wednesday, December 11, 2019 - 9:33:35 PM
Last modification on : Friday, March 27, 2020 - 3:47:02 AM
Document(s) archivé(s) le : Thursday, March 12, 2020 - 11:09:56 PM

File

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02405876, version 1

Collections

Citation

Cagdas Bozman, Benjamin Canou, Roberto Di Cosmo, Pierrick Couderc, Louis Gesbert, et al.. Learn-OCaml : un assistant à l'enseignement d'OCaml. JFLA 2019 - Journées Francophones des Langages Applicatifs, Jan 2019, Les Rousses, France. ⟨hal-02405876⟩

Share

Metrics

Record views

31

Files downloads

126