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	3900	May 31, 2019
Extend existing module Learning ocaml , module	19	7938	January 31, 2018
Documenting what signatures are intended to be implemented by a module Ecosystem documentation , module-type	6	326	July 17, 2024
De-duplicating module signatures that depend on abstract data types Learning module	11	3375	May 24, 2019
What's the OCaml way to do multiple interfaces? Learning	30	2390	September 27, 2023