monomorphism is ... ?

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

Next message: Pierre Weis: "Re: monomorphism is ... ?"
Previous message: Eduardo Gimenez: "Prefix operators in ocaml"
In reply to: Chris Keane: "Constructed types"
Next in thread: Pierre Weis: "Re: monomorphism is ... ?"
Reply: Pierre Weis: "Re: monomorphism is ... ?"
Reply: Simon Helsen: "Re: monomorphism is ... ?"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Next message: Pierre Weis: "Re: monomorphism is ... ?"
Previous message: Eduardo Gimenez: "Prefix operators in ocaml"
In reply to: Chris Keane: "Constructed types"
Next in thread: Pierre Weis: "Re: monomorphism is ... ?"
Reply: Pierre Weis: "Re: monomorphism is ... ?"
Reply: Simon Helsen: "Re: monomorphism is ... ?"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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