Repository navigation
Explain opaque types #543
Description
Hi,
I often trend to link this section (https://reasonml.github.io/docs/en/type#opaque-types) from ReasonML to explain opaque types, but isn't ReScript and is more confusing that clarifying (mentioning type modules).
An explanation of the possibility to create a type alias without a specific type and keep it hidden should be more than enough.
Reacted by Florian Hammerschmidt, Ishimoto Koji and Josh Vlk
Activity
fhammerschmidt commentedon Nov 3, 2026
Closing as covered by the Module Signatures documentation.
The explanation of
EstablishmentType.professiondescribes an abstract type with no exposed concrete representation, and shows how a module signature hides the implementation type from callers. This covers the opaque-type behavior requested here.