Version française
Home     About     Download     Resources     Contact us    
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: -- (:)
From: Jean Balthazar <jean.balthazar.fr@g...>
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")