This tutorial explains how to write an automatically graded exercise
for the learn-ocaml platform. As a prerequesite to this tutorial, make
sure you have followed the tutorial to setup your development
environment howto-setup-exercise-development-environment.md.
After this tutorial, you will be able to submit your exercise to an
exercise GIT repository if you want. The procedure for submission is
explained in howto-submit-an-exercise.md. If your exercises are not
to be shared, you can already deploy an instance of the learn-ocaml
platform using your local directory of exercises.
All the files used in that tutorial are available on a GIT repository:
git clone git@github.com:yurug/learn-ocaml-tutorial.git
Each step of the tutorial is a branch in the repository. Therefore, do
git checkout step-1
to get the files for step 1, and replace step-1 by step-2 to
get the files for the second step, and so on and so forth.
Structure of an exercise
Purpose of each file
Step 1: Create a trivial exercise
Step 2: Basic grading by comparison with your solution
Simple example to grade by comparison with a solution
With polymorphic functions
With multiple arguments functions
Step 3: Grading with generators for Ocaml built-in types
Generate tests by using the pre-construct samplers
Generate tests by defining its own sampler
Step 4: Grading with generators for user-defined types
Generate tests for non-parametric user-defined types
Generate tests for parametric user-defined types