From: Pierre Weis <Pierre.Weis@inria.fr>
Subject: Re: monomorphism is ... ?
To: email@example.com (Toby Moth)
Date: Thu, 21 Jan 1999 16:32:00 +0100 (MET)
In-Reply-To: <199901211150.LAA06705@squall.cise.npl.co.uk> from "Toby Moth" at Jan 21, 99 11:50:29 am
> Am I right in thinking that the following holds ?
> polymorphic = has type 'a = for all
> monomorphic = has type '_a = exists
> Here '=' stands for 'equal in spirit'.
> Toby Moth
Yes you are 'right in spirit': more precisely '_a means an unknown
type, that should be precised by further constraints or computations
(as are unknowns in math). There is no quantifier in a type with '_a,
as opposed to existential types (type scheme with existential
quantifier in fact).
INRIA, Projet Cristal, Pierre.Weis@inria.fr, http://cristal.inria.fr/~weis/
This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:18 MET