Date: Thu, 21 Jan 1999 16:45:53 +0100 (MET)
From: Simon Helsen <helsen@informatik.uni-tuebingen.de>
To: Toby Moth <tm1@cise.npl.co.uk>
Subject: Re: monomorphism is ... ?
In-Reply-To: <199901211150.LAA06705@squall.cise.npl.co.uk>
Message-Id: <Pine.A32.3.96.990121164248.57908C-100000@modas>
>Am I right in thinking that the following holds ?
>
>polymorphic = has type 'a = for all
>monomorphic = has type '_a = exists
not in the type-theoretic sense of the word. Exists normally refers to
data abstraction, whereas the '_a here is a "hack" of the ocaml
interactive environment. As soon as it gets a type, you cannot
"re"-instantiate it. SML doesn't have the '_a at all and returns a dummy
type-variable. I think (but I am not sure about this) that the batch
compiler doesn't deal with '_a at all.
cheers,
Simon
This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:18 MET