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…

Thanks. I’ll take a look at some of those resources. It may be that there’s a niche for an article that describes exactly the OCaml approach to extensible and decoupled generic programming with modules. A lot of materials I’ve seen have talked about ascribing types to modules at definition site. But…

Modules/module types–many-to-many relationship

Learning

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

Modules/module types–many-to-many relationship

Related topics