In OCaml, modules can structurally conform to many module types. I think this is kind of widely and implicitly understood to be the way to make data types or APIs conform to various ‘protocols’ or ‘typeclasses’, but can anyone point to any reading materials which walk through this? E.g., something t…

Modules/module types–many-to-many relationship

enetsee November 11, 2019, 12:40pm 2

Some of the material in this reply may be of interest.

Topic		Replies	Views
Modules and generic type signature Learning	2	3504	May 31, 2019
Instance modules for more-parametrized-types Learning	1	1344	March 31, 2020
Extensible variants and functors Learning type-system , module	5	704	January 5, 2023
The type in the module Learning build	8	857	June 10, 2018
Resources for Advanced Module Usage Learning	4	2383	November 21, 2018