search

cs3110 / textbook

The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"
Other
720 stars 132 forks source link

Suggestion: remove `with module M = N` from the textbook? #123

Closed favonia closed 1 year ago

favonia commented 1 year ago

The with module M = N syntax sugar is very useful in practice (I have been using it), but I think this would only confuse students who just started learning OCaml. I would respectfully suggest that maybe we could remove with module M = N from the textbook Section 5.7, focusing only on with type t = u.

clarksmr commented 1 year ago

Thanks, but we give an assignment most semesters in Cornell's CS 3110 where with module is essential. Our students who are learning OCaml seem to do just fine. So I'm not going to remove it.