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

Who needs polymorphics types? (when we have modules)

Related topics