From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id WAA12198 for caml-redistribution; Sun, 10 Oct 1999 22:27:50 +0200 (MET DST)
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id VAA21954 for <caml-list@pauillac.inria.fr>; Sun, 10 Oct 1999 21:03:51 +0200 (MET DST)
Received: from math1.unice.fr (math.unice.fr [134.59.10.171])
	by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id VAA24386
	for <caml-list@inria.fr>; Sun, 10 Oct 1999 21:03:50 +0200 (MET DST)
Received: from victor (adp-03.unice.fr [134.59.69.12])
	by math1.unice.fr (8.8.7/8.8.7) with SMTP id VAA11534
	for <caml-list@inria.fr>; Sun, 10 Oct 1999 21:05:34 -0100
Message-ID: <00f101bf1352$840db4c0$0101a8c0@victor>
From: "Vyskocil Vladimir" <vyskocil@math.unice.fr>
To: <caml-list@inria.fr>
Subject: Re: Proposal for study: Add a categorical Initial type to ocaml
Date: Sun, 10 Oct 1999 20:52:17 +0200
MIME-Version: 1.0
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: 7bit
X-Priority: 3
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook Express 4.72.3110.5
X-Mimeole: Produced By Microsoft MimeOLE V4.72.3110.3
Sender: weis



>I would like to propose adding a new special type to ocaml,
>a categorical initial type. This type is the categorical dual
>of the categorical terminal type, unit. 


I ask for this some time ago, but it was said that "it's not a good thing"...

Vladimir.