monomorphism is ... ?

From: Toby Moth (tm1@cise.npl.co.uk)
Date: Thu Jan 21 1999 - 12:50:29 MET


Date: Thu, 21 Jan 1999 11:50:29 GMT
From: Toby Moth <tm1@cise.npl.co.uk>
Message-Id: <199901211150.LAA06705@squall.cise.npl.co.uk>
To: caml-list@inria.fr
Subject: monomorphism is ... ?

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



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