Skip to content

Conversation

Rui00Barata
Copy link

Description

If you are a teacher with a large number of students and want to assign a different set of exercises to each student based on their level and exercise difficulty, this can be a time-consuming process.

With this feature, you can save time and effort when assigning exercises to your students on the Learn-OCaml platform.

Checklist

Note to maintainers

  • Read this wiki page.
  • Make sure the PR has a milestone.
  • Assign yourself before merging.
  • Either do a regular merge:
    • for PRs containing several commits following conventional-commits,
    • or for PRs containing 1 commit shared with a later PR (to preserve the SHA1)
  • Or do a squash-merge:
    • for PRs containing only 1 commit (not shared with a later PR),
    • or for PRs containing several commits that need not be kept in the history;
    • Update the commit message header with a conventional-commit type,
    • Add a footer Close #… if a related issue exists.

@erikmd
Copy link
Collaborator

erikmd commented Apr 20, 2023

Thanks @Rui00Barata for your contribution!

We started discussed with @AltGr about your PR (just briefly for the time being), to sum up at this point:

  • it is not very clear for us if the implemented feature is already doable with the current learn-ocaml.master (namely, it is already possible from the teacher dashboard to assign specific exercises to a subset of students, e.g., filtered by tags)
  • some parts of the PR looks not-enough documented, typically like this fragment:
    let p = [|[|1;1;1;2;2|]|]
    let a = [|[|1;1;2;2;2|]; [|1;1;2;2;3|]|]
    let e = [|[|2;2;3;3;3|]; [|2;2;2;3;3|]|]
    
    e.g. what is the exact semantics of each array?, why choosing array instead of mere lists?
    and also, one may want to make these settings configurable.

Anyway at this point, I guess @AltGr and us will try the branch soon; look more closely at the code; and return to you of course.

Thanks!

@erikmd erikmd added the kind: feature New user-facing feature. label Aug 12, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

kind: feature New user-facing feature.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Feature: Add ability to assign different exercises to each student automatically

2 participants