Learn-OCaml : un assistant à l'enseignement d'OCaml - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2019

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

Cagdas Bozman
  • Function : Author
Benjamin Canou
  • Function : Author
  • PersonId : 983728
Roberto Di Cosmo
Pierrick Couderc
  • Function : Author
  • PersonId : 962080
Louis Gesbert
  • Function : Author
  • PersonId : 762186
  • IdRef : 144152622
Grégoire Henry
  • Function : Author
Fabrice Le Fessant
Michel Mauny

Abstract

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.
Fichier principal
Vignette du fichier
main.pdf (556.5 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01962838 , version 1 (20-12-2018)
hal-01962838 , version 2 (11-12-2019)

Identifiers

  • HAL Id : hal-01962838 , version 2

Cite

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-01962838v2⟩
361 View
661 Download

Share

Gmail Facebook X LinkedIn More