From: Jean Balthazar <jean.balthazar.fr@gmail.com>
To: caml-list@inria.fr
Subject: Unable to define a polymorphic map method
Date: Fri, 17 Apr 2009 11:37:52 +0200 [thread overview]
Message-ID: <d83f21e60904170237k1068ca12sc348470a5deff744@mail.gmail.com> (raw)
[-- Attachment #1: Type: text/plain, Size: 1228 bytes --]
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")
[-- Attachment #2: Type: text/html, Size: 1572 bytes --]
next reply other threads:[~2009-04-17 9:37 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-04-17 9:37 Jean Balthazar [this message]
2009-04-17 12:01 ` [Caml-list] " Peng Zang
2009-04-17 12:49 ` Jean Balthazar
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=d83f21e60904170237k1068ca12sc348470a5deff744@mail.gmail.com \
--to=jean.balthazar.fr@gmail.com \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).