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	23981	October 24, 2022
Inline module expr Ecosystem compiler	15	1719	November 4, 2020
Ad hoc polymorphism and usability Ecosystem	50	5571	January 14, 2022
Objects use cases in OCaml Learning oop , objects	38	8682	June 19, 2019
How would I implement a polymorphic recursive modules for generic types? Learning	10	4284	May 11, 2018

Who needs polymorphics types? (when we have modules)

Related topics