Dear OCamlers, OCaml.org tutorial updates continue. We’ve just published the three tutorials on the module system announced in December: Modules — Based on the previous version Functors — Mostly rewritten Libraries with Dune — New The target audience is developers learning OCaml. No functional p…

Thanks for the announce. I believe your urls are missing a /docs/ in the middle.

As for the rest of your work, thank you for these tutorials. Here are my 2 cents (somewhat opinionated). I think modules and functors, as they are constructs of the language, should be presented independently of dune (and also of utop). I do think most of your examples would be fine with just using…

In re: libraries with dune “In OCaml, a library is a collection of modules” Very wrong. The OCaml language does not include any “library” concept. Then partway through we get " ``` $ opam exec – dune exec nube" Wtf? OPAM, really? Here’s another doozie: “In OCaml, each source file is compiled …

In OCaml, a library is a collection of modules Very wrong. The OCaml language does not include any “library” concept. This is an overloaded word. How do you call ocamlc / ocamlout output when using the -a option? I read library in the manual. $ opam exec – dune exec nube" Wtf? OPAM, really? …

[image] cuihtlauac: This is an overloaded word. How do you call ocamlc / ocamlout output when using the -a option? I read library in the manual. Archive. Even in Dune, “library” does not imply archive - (wrapped false) cancels the default archiving.

Wrt to dune libraries: I think it would be helpful to explain private_module. The dune docs say such modules are “marked” as private. But that’s a dunism, the language does not distinguish “private modules” in any way. So what exactly does that mean, and how are such modules related to the archive/…

I don’t see that this is the case? With (wrapped false), I still get a .cma file. It is just structured differently, without an extra module being added to wrap and “namespace” the individual compilation units. In any case, I don’t see what is so scandalous about calling a “library” what is called …

That’s good feedback for the dune docs, and obviously feel free to follow up on them, but in this thread can we keep the feedback to the OCaml website introductory docs mentioned in the OP please?

[image] Levi_Roth: I don’t see that this is the case? With (wrapped false), I still get a .cma file. It is just structured differently, without an extra module being added to wrap and “namespace” the individual compilation units. My bad, what was I thinking? (wrapped false) cancels the namesp…

One missing point is First-class module… yes, it is an advanced point about modules, but one can be exposed when using caqti for example. Should I propose something ?

Tutorials on Modules, Functors and Libraries

Learning

cuihtlauac February 13, 2024, 10:33am 19

Of course, you’re more than welcome to propose anything. Do you see this as a section in an existing tutorial or the basis for an advanced modules & functors tutorial. There’s plenty to discuss there.

Topic		Replies	Views
Draft tutorials on Modules, Functors and Libraries Learning module , functor , dune , learn-ocaml , tutorial	10	1335	December 24, 2023
How do dune libraries and library dependencies work? Learning opam , compiler , dune	8	3406	May 16, 2023
How should `dune` be used in the newcomer tutorials? Learning dune , ocamlorg , tutorial	16	683	February 7, 2024
Using Modules (15 characters long now) Learning	10	1122	December 20, 2023
Exposing modules in library Learning dune	4	1231	November 29, 2018

Tutorials on Modules, Functors and Libraries

Related topics