IRILL - Research and Innovation on Free Software
IRILL, Paris

La prochaine séance du [GdT Programmation / séminaire IRILL ] est le jeudi 7 octobre 2021 à 14h sur le campus Jussieu (15-16 101)

Louis Gesbert (OCP) parlera de

learn-ocaml: plate-forme en ligne d'enseignement pour OCaml

abstract :

En 2015 était lancé le premier MOOC OCaml, reposant sur une plate-forme d'exercices entièrement en ligne développée par OCamlPro [1], intégrant des énoncés d'exercices, un environnement de programmation OCaml comprenant typeur et évaluateur, ainsi qu'un système de corrections automatique. L'année suivante, le code de la plate-forme est nettoyé et distribué sous license libre, sous le nom de learn-ocaml [2].

Depuis, learn-ocaml [3], cédé à la nouvelle Fondation OCaml, a été adopté par plusieurs universités à travers le monde et s'est avéré précieux pour l'enseignement à distance l'année passée. Il a aussi continué son évolution, avec de nombreuses contributions telles que des fonctions destinées aux professeurs pour faciliter le suivi des étudiants.

Dans cet exposé, nous donnerons un aperçu des fonctionnalités de la plate-forme, de son utilisation tant du point de vue des professeurs que des étudiants ; nous discuterons comment la mettre en œuvre et y ajouter des exercices ; et nous mentionnerons les aspects techniques et les évolutions à venir.


[1] 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⟩

[2] Benjamin Canou, Grégoire Henry, Çagdas Bozman, Fabrice Le Fessant. Learn OCaml, An Online Learning Center for OCaml. OCaml Users and Developers Workshop 2016, Sep 2016, Nara, Japan. ⟨hal-01352015⟩

[3] https://github.com/ocaml-sf/learn-ocaml, demo à https://ocaml-sf.org/learn-ocaml-public/