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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 83E81BC37 for ; Sun, 8 Nov 2009 17:01:49 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtwAAJR69krRVdvWkGdsb2JhbACEcZZEPwEBAQEJCQwHEwOtMoFhhF6IagEDAwWBLYI4VASCYIdF X-IronPort-AV: E=Sophos;i="4.44,704,1249250400"; d="scan'208";a="39736676" Received: from mail-ew0-f214.google.com ([209.85.219.214]) by mail1-smtp-roc.national.inria.fr with ESMTP; 08 Nov 2009 17:01:49 +0100 Received: by ewy10 with SMTP id 10so2383297ewy.9 for ; Sun, 08 Nov 2009 08:01:48 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:sender:received:date :x-google-sender-auth:message-id:subject:from:to:content-type; bh=a+2PkxqF2+E2RH7Hhe1RrpD5IRPQUFx5CZLZR+5U6Yo=; b=gCMD1cdo49NOeHA2ZOkCGiIpCy7bvPvD3awsYby9orVoQMBVDKVdvUl4RZmKUT7gzE 8XMw4fX1++UCsTinnsJHRYRRL8HIUr2ffyT20Rlv+rgUzJJIoyHw7EO+IottplIuggB6 x5XskmPEQHTeY1NG9qsGfBKqJzhaTQeVXky1s= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:date:x-google-sender-auth:message-id:subject :from:to:content-type; b=FYQic0Xjxjza/YsNBGyWK2UlwtgjhmElrKEBAIWPZz0yGbGGez7PVKpqKbsxAgk21Y ufbCbZy1MniWVFTK6IdCGiTxK3ukFSHY2KxwZQ6OSxKX6yix2UZhddRELuTJbEx6UqM6 +z7csv3658SCkDsQtm9rgFrnBYH5k7lpJEFX0= MIME-Version: 1.0 Sender: daniel.c.buenzli@gmail.com Received: by 10.213.23.195 with SMTP id s3mr2178637ebb.5.1257696108588; Sun, 08 Nov 2009 08:01:48 -0800 (PST) Date: Mon, 9 Nov 2009 00:01:48 +0800 X-Google-Sender-Auth: 94ef2d07818c81dd Message-ID: <91a3da520911080801w6637b652w94a717a830b1c5bd@mail.gmail.com> Subject: Unboxed float tuples From: =?UTF-8?Q?Daniel_B=C3=BCnzli?= To: caml-list@inria.fr Content-Type: text/plain; charset=UTF-8 X-Spam: no; 0.00; unboxed:01 buenzli:01 unboxed:01 vectors:01 dependencies:01 runtime:01 imho:01 tuples:01 tuples:01 data:02 modules:02 represented:02 floats:02 floats:02 handles:03 Tuples and records are represented the same way. However when it comes to records with only floats fields we get a special unboxed representation. Why don't we get that for tuples of floats only ? Using tuples (vs records) to handles points and vectors is syntactically more lightweight (IMHO). More important it makes it easier to share that kind of data between independent modules without introducing new dependencies. However I don't want to sacrifice the unboxed representation for that. Is it worth to ask for a feature request ? I guess many people would be against changing the runtime representation. Best, Daniel