Hi, would I be right to conclude that polymorphic types in OCaml would not have been needed if modules were better integrated in the language? E.g. taking OCaml as it is now it is possible to code without using polymorphic types and yet retain the full expressive power of OCaml and the only down…

You cannot write the following function with monomorphic functor currently: type 'a t = | Elt of 'a | List of 'a list t let rec list: 'a. 'a t -> 'a list = function | Elt x -> [x] | List l -> List.concat (list l) since the corresponding recursive functor is unsafe: module Listify(T: sig …

Who needs polymorphics types? (when we have modules)

Learning

smolkaj April 21, 2021, 4:25am 16

Oops, I missed that.

Topic		Replies	Views
Modular Implicits Ecosystem compiler , faq	63	24341	October 24, 2022
Ad hoc polymorphism and usability Ecosystem	50	5916	January 14, 2022
Inline module expr Ecosystem compiler	15	1801	November 4, 2020
Polymorphism in OCAML Learning polymorphism	7	826	July 12, 2024
Nested functors: Compiler can't determine type equality Learning functor	20	403	March 12, 2026

Who needs polymorphics types? (when we have modules)

Related topics