From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 99E19BBBC for ; Thu, 25 May 2006 19:35:03 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id k4PHZ3nX030388 for ; Thu, 25 May 2006 19:35:03 +0200 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id TAA14383 for ; Thu, 25 May 2006 19:35:02 +0200 (MET DST) Received: from blizzard.cs.caltech.edu (blizzard.cs.caltech.edu [131.215.44.2]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id k4PHZ1PB030369 for ; Thu, 25 May 2006 19:35:02 +0200 Received: from localhost (flood.cs.caltech.edu [131.215.44.31]) by blizzard.cs.caltech.edu (Postfix) with ESMTP id C4DAA4026FB for ; Thu, 25 May 2006 10:35:00 -0700 (PDT) Received: from blizzard.cs.caltech.edu ([131.215.44.2]) by localhost (flood.cs.caltech.edu [131.215.44.31]) (amavisd-new, port 10024) with ESMTP id 27176-06 for ; Thu, 25 May 2006 10:35:00 -0700 (PDT) Received: from [192.168.1.100] (charter-242-015.caltech.edu [131.215.242.15]) by blizzard.cs.caltech.edu (Postfix) with ESMTP id 3ED8740268C for ; Thu, 25 May 2006 10:34:59 -0700 (PDT) Message-ID: <4475EAC1.4090805@cs.caltech.edu> Date: Thu, 25 May 2006 10:34:57 -0700 From: Aleksey Nogin Reply-To: Caml List Organization: California Institute of Technology, Computer Science Department User-Agent: Mozilla Thunderbird 1.0.7-1.1.fc3 (X11/20050929) X-Accept-Language: en-us, en MIME-Version: 1.0 To: Caml List Subject: Re: [Caml-list] Re: immutable strings (Re: Array 4 MB size limit) References: <20060515141230.ajyupn2z28k0484s@horde.akalin.cx> <446D5E4A.8060005@akalin.cx> <20060519162844.GA32550@osiris.uid0.sk> <200605192226.34917.jon@ffconsultancy.com> <20060520211117.GA2670@first.in-berlin.de> In-Reply-To: X-Enigmail-Version: 0.89.5.0 X-Enigmail-Supports: pgp-inline, pgp-mime Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 4475EAC7.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 4475EAC5.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; ocaml:01 ocaml:01 compiler:01 wrote:01 constants:01 caml-list:01 imho:01 immutable:01 immutable:01 strings:01 strings:01 caltech:02 caltech:02 string:02 string:02 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 On 25.05.2006 04:18, Brian Hurt wrote: > I wish to reiterate that my comments on immutable strings are solely in > the context of designing a new language, and should not be construed to > indicate a desire to change Ocaml. Well, I am advocating a change. IMHO the immutable strings is a very useful concept and I would really like to see it in OCaml. > Changing this behavior in Ocaml > would break huge amounts of code (including some of my code). It is obvious that at this point changing the default behavior would not be possible. However, adding the new "immutable strings" type would definitely be great and adding a compiler flag that would turn all string constants, "^", etc in a given module into immutable string operations would be nice as well and would not break any existing code. -- Aleksey Nogin Home Page: http://nogin.org/ E-Mail: nogin@cs.caltech.edu (office), aleksey@nogin.org (personal) Office: Moore 04, tel: (626) 395-2200