Sous le capot du MOOC OCaml - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Sous le capot du MOOC OCaml

Benjamin Canou
  • Fonction : Auteur correspondant
  • PersonId : 983728

Connectez-vous pour contacter l'auteur
Cagdas Bozman
  • Fonction : Auteur
Grégoire Henry
  • Fonction : Auteur

Résumé

Dans cet article, nous présentons les éléments techniques du MOOC OCaml. Dispensé sur la plate-forme France Université Numérique n 2015, ce cours en ligne a regroupé 3553 étudiants. Nous présentons l'environnement d'exercices de programmation en ligne, qui comprend un éditeur intelligent avec intégration des messages d'erreurs et indentation forcée, un environnement interactif, ainsi qu'un correcteur automatique permettant à l'étudiant de mettre au point sa solution progressivement à l'aide de rapports détaillés. L'ensemble est exécuté dans le navigateur des étudiants ; le serveur est utilisé uniquement pour la sauvegarde des solutions et des notes. Enfin, nous présentons la bibliothèque OCaml utilisée pour décrire le MOOC et le déployer sur la plate-forme de production, avec des garanties statiques de conformité. Cet article ne discute que très brièvement du contenu pédagogique, réalisé par Roberto Di Cosmo, Yann Régis Gianas et Ralf Treinen de l'Université Paris Diderot.
Fichier principal
Vignette du fichier
main.pdf (601.36 Ko) Télécharger le fichier
Origine : Accord explicite pour ce dépôt
Loading...

Dates et versions

hal-01333599 , version 1 (15-09-2016)

Licence

Paternité

Identifiants

  • HAL Id : hal-01333599 , version 1

Citer

Benjamin Canou, Cagdas Bozman, Grégoire Henry. Sous le capot du MOOC OCaml. Vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA 2016), Jan 2016, Saint-Malo, France. ⟨hal-01333599⟩

Collections

JFLA2016
113 Consultations
335 Téléchargements

Partager

Gmail Facebook X LinkedIn More