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

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'
Type de document :
Communication dans un congrès
Journées Francophones des Langages Applicatifs (JFLA), Jan 2019, Les Rousses, France
Liste complète des métadonnées

https://hal.inria.fr/hal-01962838
Contributeur : Michel Mauny <>
Soumis le : jeudi 20 décembre 2018 - 19:40:36
Dernière modification le : mardi 8 janvier 2019 - 01:01:26

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01962838, 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. Journées Francophones des Langages Applicatifs (JFLA), Jan 2019, Les Rousses, France. 〈hal-01962838〉

Partager

Métriques

Consultations de la notice

30

Téléchargements de fichiers

25