Hi,
I would say that any value whose type contains a generalized type
variable ('a, 'b, etc.) is polymorphic.
The empty list (of type 'a list) is polymorphic:
let empty = [] in (1::empty, "2"::empty)
And so is the function always returning the empty list, even though it
has no polymorphic argument:
let empty () = []
My 2 cents,
--
David
--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
