From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 8847CBC69 for ; Tue, 10 Apr 2007 23:03:15 +0200 (CEST) Received: from dedibox1.ambre.net (dedibox1.ambre.net [88.191.29.66]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l3AL3Eow004584 for ; Tue, 10 Apr 2007 23:03:15 +0200 Received: from [192.168.0.1] (lau18-1-82-246-197-195.fbx.proxad.net [82.246.197.195]) by dedibox1.ambre.net (Postfix) with ESMTP id 8BF48114C13B for ; Tue, 10 Apr 2007 23:03:14 +0200 (CEST) Subject: Read-only arrays ? From: David Teller To: OCaml Content-Type: text/plain Date: Tue, 10 Apr 2007 23:03:08 +0200 Message-Id: <1176238988.5364.18.camel@Blefuscu> Mime-Version: 1.0 X-Mailer: Evolution 2.8.1 Content-Transfer-Encoding: 7bit X-Miltered: at discorde with ID 461BFB93.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; read-only:01 arrays:01 univ-orleans:01 read-only:01 arrays:01 cheers:01 univ-orleans:01 lifo:01 d'orleans:01 laboratoire:03 hack:04 distributed:05 doesn't:12 systems:12 fondamentale:12 Hi everyone, Is there a simple manner of providing read-only/write-only arrays ? I was hoping that a simple hack using co-variance or contra-variance would work, but, well, after a few minutes of thought, turns out that it doesn't. Cheers, David -- David Teller ------------------------------------------ Security of Distributed Systems ----------------------- -- http://www.univ-orleans.fr/lifo/Members/David.Teller ----- Laboratoire d'Informatique Fondamentale d'Orleans