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.3 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id F0F93BB84 for ; Tue, 9 Sep 2008 09:50:37 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApgBAJzHxUjRVcbkjmdsb2JhbACSDT4BAQEBCQMKBw8FmjmGaAEChAY X-IronPort-AV: E=Sophos;i="4.32,364,1217800800"; d="scan'208";a="16729892" Received: from rv-out-0506.google.com ([209.85.198.228]) by mail3-smtp-sop.national.inria.fr with ESMTP; 09 Sep 2008 09:50:37 +0200 Received: by rv-out-0506.google.com with SMTP id f6so1644957rvb.3 for ; Tue, 09 Sep 2008 00:50:35 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:to :subject:cc:in-reply-to:mime-version:content-type :content-transfer-encoding:content-disposition:references; bh=s8ywI2CgfmsZJVCHRS4EYVoPP4Psfwl25mza9dCWxU0=; b=OgEeTRMQqVnfe1wqFMd+cSu5+2DCC9zPt1R98BaqcIWG/2mfMOu/Zz9K+Ym9bB5eWY WQxBmARzCPwqU0K4+AOHuY3NYBM7ExHjmpacPWvpQfZ2794k1Ybpk8qgzkCpO3X6WiFy xAM61oK1Arh9at2qWXFeUDQD2gnRMQw9HtT9M= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:cc:in-reply-to:mime-version :content-type:content-transfer-encoding:content-disposition :references; b=FQrLeR3qKxt+FcqBtg03noKgmw1vmDnFdYdqDHBdJgtXHRCQ2PSUBOv/zna6ArhpjW ONpyjvwGmBKBsi8uSiifODiIUuiVHnbU4pO02lBVb7bZv4GPNmjrWzzDdTTjm1OwKDJ8 YsX0G7cBXBJvsXI8b87jk2AtYDue3Rii0cCww= Received: by 10.141.28.4 with SMTP id f4mr9523157rvj.66.1220946635692; Tue, 09 Sep 2008 00:50:35 -0700 (PDT) Received: by 10.141.5.12 with HTTP; Tue, 9 Sep 2008 00:50:35 -0700 (PDT) Message-ID: Date: Tue, 9 Sep 2008 00:50:35 -0700 From: "Nathaniel Gray" To: "Jon Harrop" Subject: Re: [Caml-list] New Ocaml Plug-in for NetBeans Cc: caml-list@yquem.inria.fr In-Reply-To: <200809090843.33190.jon@ffconsultancy.com> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <1217061979.488ae45b452b9@webmail.inescporto.pt> <200809080210.57000.jon@ffconsultancy.com> <200809090843.33190.jon@ffconsultancy.com> X-Spam: no; 0.00; ocaml:01 ocaml:01 kloc:01 foo:01 gunzip:01 plug-in:98 smoke:98 token:01 wrote:01 wrote:01 caml-list:01 encoding:02 gzip:04 gzip:04 caltech:05 On Tue, Sep 9, 2008 at 12:43 AM, Jon Harrop wrote: > On Tuesday 09 September 2008 06:31:51 you wrote: >> Sure, I had the same thought, but gzip already exists, doesn't require >> approval from INRIA, and .gz is easily read in just about any language >> (including OCaml). Once the .annot files are smaller than the source >> files I'm completely willing to generate them all the time. > > I think you will find that GZip is orders of magnitude less efficient that the > approach I suggested and too slow to be useful in this case. > > For example, gzipping and unzipping the .annot files from the 4kLOC core of > Smoke takes 0.5s. So GZip is too slow for interactive use even on this tiny > code base. Why would you want to unzip more than one .annot file during interactive use? If I query the type of some token foo in bar.ml I only need to read from bar.annot.gz, not all the files in the project. The biggest .annot file I have lying around is from a 40KB source file. It's about 270KB before gzip, 30KB after. According to "time" it takes 0.009 seconds to gunzip on my MacBook Pro. I'd say that's plenty fast enough to be useful, even if your machine isn't quite as snappy as mine. I don't dispute that a more efficient encoding than gzip can be found, but good luck convincing anybody at INRIA to work on it. ;^) -- >>>-- Nathaniel Gray -- Caltech Computer Science ------> >>>-- Mojave Project -- http://mojave.cs.caltech.edu -->