Home     About     Download     Resources     Contact us

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at ocaml.org.

Browse thread
Unable to define a polymorphic map method
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
 Date: 2009-04-17 (09:37) From: Jean Balthazar Subject: Unable to define a polymorphic map method
Dear OCamlers,

I try to define a polymorphic container  encapsulating a list. I'd like to
define
a map and a fold method. I have read in the documentation how
to specify a polymorphic fold method but I'm unable to transpose
for the map method. I include in the code below a tentative: the map1 method
is not polymorphic. If I uncomment the map2 method, I have the error

This type scheme cannot quantify 'c :
it escapes this scope.

Do you have any idea how to solve this problem? And aditionnaly, could you
explain
me why it works for fold and not for map?

All the best,
Jean

******************************************************************************************************

class ['elt] container arg =
object

val  _repr = arg

method fold : 'b. ('b -> 'elt -> 'b) -> 'b -> 'b
= fun f accu -> List.fold_left f accu _repr

method map1 f = {< _repr = List.map f _repr >}

(*
method map2 : 'c.('elt -> 'c) -> ('c container)
= function f -> new container (List.map f _repr)
*)
end

let l = new container [1;2;3]

let fint = l#fold (fun acc x -> x + acc) 0
and fstring = l#fold (fun acc x -> (string_of_int x)^acc) "empty"

let mint = l#map1 (function x -> 0)
let mstring = l#map1 (function x -> "zero")