Re: monomorphism is ... ?

From: Simon Helsen (
Date: Thu Jan 21 1999 - 16:45:53 MET

Date: Thu, 21 Jan 1999 16:45:53 +0100 (MET)
From: Simon Helsen <>
To: Toby Moth <>
Subject: Re: monomorphism is ... ?
In-Reply-To: <>
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.



This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:18 MET