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

From: Damien Doligez (Damien.Doligez@inria.fr)
Date: Tue Oct 12 1999 - 17:44:28 MET DST


Date: Tue, 12 Oct 1999 17:44:28 +0200
From: Damien Doligez <Damien.Doligez@inria.fr>
Message-Id: <199910121544.RAA20178@tobago.inria.fr>
To: caml-list@inria.fr
Subject: Re: Proposal for study: Add a categorical Initial type to ocaml

>From: John Prevost <prevost@maya.com>

>val Array.make_with_option (or something) : unit -> 'a option array
>
>which in some sort of "unsafe" mode doesn't actually initialize the
>array and guarantee that all values are well-formed.

That would break the invariants of the memory manager.

-- Damien



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