A stackoverflow answer says Speaking of OCaml, underneath the hood, first-class modules are simply a record of functions. If that’s the case, why not simply use polymorphic records? What’s good about the module abstraction? Take module type Set.S as an example. First-class module version: mo…

The point of generative types, is that when you construct a set using case-insensitive-set operations, you cannot hand that set to string-set operations. The type system prevents it. That’s the point of generative types: types that are structurally identical, are still different and values of thos…

Is first-class module more powerful than polymorphic record?

Learning

unfode October 13, 2023, 1:10pm 22

Is it possible to achieve this in a dependently typed language?

Topic		Replies	Views
Who needs polymorphics types? (when we have modules) Learning	17	1566	April 21, 2021
Nested functors: Compiler can't determine type equality Learning functor	20	433	March 12, 2026
Single-function functors or first-class modules in function arguments? Learning ocaml , module , first-class_modules , functor	0	1450	November 28, 2019
Polymorphism in OCAML Learning polymorphism	7	835	July 12, 2024
Functor implementing polymorphic module type... Help! Learning types , functor , polymorphism	11	2136	September 9, 2020

Is first-class module more powerful than polymorphic record?

Related topics