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
Polymorphism in OCAML Learning polymorphism	7	650	July 12, 2024
Why can't OCaml simplify this (conjunctive) polymorphic variant type? Learning type-system	8	2324	July 19, 2017
Functor implementing polymorphic module type... Help! Learning types , functor , polymorphism	11	2006	September 9, 2020
How would I implement a polymorphic recursive modules for generic types? Learning	10	4266	May 11, 2018
Polymorphic variant type annotation Learning	5	1013	July 28, 2019

Who needs polymorphics types? (when we have modules)

Related topics