I noticed that it would be advantageous to have signatures(that allows the user to set a value type) in Ocaml but I’m not sure how produce such a thing. I played around a bit and arrived at the code below but it feels more like a hack than a real solution. Any comments or guidance? module type MySi…

You can use destructive substitutions: module MyInt:(MySig with type k := int) = struct type t = int (* no need for this line anymore type k = t (*feels kind of hackish here*) *) let createKey key = key let string_of_key key = string_of_int key let compare = compare e…

Can Ocaml produce generic or generic like signatures?

Learning

G4143 November 28, 2018, 11:29pm 4

Thanks! That’s exactly what I wanted.

Topic		Replies	Views
Modules and generic type signature Learning	2	3773	May 31, 2019
After `module M = Map.Make(O)`, what should go in the signature? Learning	5	802	August 5, 2022
Subtyping function signatures Learning	4	1007	April 15, 2019
Generic Module Signatures Learning module	4	457	March 1, 2024
Signature file using ppx and functors Learning	4	1398	January 24, 2018

Can Ocaml produce generic or generic like signatures?

Related topics