Re: Proposal for study: Add a categorical Initial type to ocaml

From: Vyskocil Vladimir (vyskocil@math.unice.fr)
Date: Sun Oct 10 1999 - 20:52:17 MET DST

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

>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.

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