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	24270	October 24, 2022
Ad hoc polymorphism and usability Ecosystem	50	5877	January 14, 2022
Inline module expr Ecosystem compiler	15	1787	November 4, 2020
Polymorphism in OCAML Learning polymorphism	7	817	July 12, 2024
Interesting article about ad-hoc polymorphism. An argument against modular implicits, perhaps? Learning	21	1115	February 28, 2025

Who needs polymorphics types? (when we have modules)

Related topics