From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <flux@modeemi.cs.tut.fi>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by sympa.inria.fr (Postfix) with ESMTPS id CF6647F1E1
	for <caml-list@sympa.inria.fr>; Sat, 12 Jan 2013 21:56:00 +0100 (CET)
Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  flux-caml@inside.org) identity=pra; client-ip=130.230.4.42;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="flux@modeemi.cs.tut.fi";
  x-sender="flux-caml@inside.org";
  x-conformance=sidf_compatible
Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  flux@modeemi.cs.tut.fi) identity=mailfrom;
  client-ip=130.230.4.42;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="flux@modeemi.cs.tut.fi";
  x-sender="flux@modeemi.cs.tut.fi";
  x-conformance=sidf_compatible
Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail.cs.tut.fi) identity=helo;
  client-ip=130.230.4.42;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="flux@modeemi.cs.tut.fi";
  x-sender="postmaster@mail.cs.tut.fi";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Ao0BAHTN8VCC5gQqe2dsb2JhbABEFr4ODgEBFiYEI4IeAQEEATpECwshJQ8BBA0LRIgHAwkGrVoNh1aMAIIFgykDlDWBVoEcihuICQ
X-IronPort-AV: E=Sophos;i="4.84,458,1355094000"; 
   d="scan'208";a="189632441"
Received: from mail.cs.tut.fi ([130.230.4.42])
  by mail1-smtp-roc.national.inria.fr with SMTP; 12 Jan 2013 21:55:59 +0100
Received: from amavis2.cs.tut.fi (amavis2.cs.tut.fi [130.230.4.70])
	by mail.cs.tut.fi (Postfix) with ESMTP id 6DBC8E66
	for <caml-list@yquem.inria.fr>; Sat, 12 Jan 2013 22:55:58 +0200 (EET)
Received: from mail.cs.tut.fi ([130.230.4.42])
 by amavis2.cs.tut.fi (amavis2.cs.tut.fi [130.230.4.70]) (amavisd-maia, port 10024)
 with ESMTP id 28576-37 for <caml-list@yquem.inria.fr>;
 Sat, 12 Jan 2013 22:55:57 +0200 (EET)
Received: from modeemi.modeemi.fi (modeemi.modeemi.fi [130.230.72.134])
	by mail.cs.tut.fi (Postfix) with SMTP id B4B1AE65
	for <caml-list@yquem.inria.fr>; Sat, 12 Jan 2013 22:55:57 +0200 (EET)
Received: from coffee.modeemi.fi (coffee.modeemi.fi [130.230.72.140])
	by modeemi.modeemi.fi (Postfix) with ESMTP id B3438163B3
	for <caml-list@yquem.inria.fr>; Sat, 12 Jan 2013 22:56:02 +0200 (EET)
Received: by coffee.modeemi.fi (Postfix, from userid 17990)
	id A1D0B2D607A; Sat, 12 Jan 2013 22:56:02 +0200 (EET)
From: Erkki Seppala <flux-caml@inside.org>
To: caml-list@yquem.inria.fr
References: <wfliby8inl.fsf@gmail.com>
Date: Sat, 12 Jan 2013 22:56:02 +0200
In-Reply-To: <wfliby8inl.fsf@gmail.com> (Wojciech Meyer's message of "Sat, 12
	Jan 2013 16:34:22 +0000")
Message-ID: <m49y5fyt925.fsf@coffee.modeemi.fi>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.3 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Virus-Scanned: Maia Mailguard 1.0.2
Subject: Re: [Caml-list] [ANN] ilist-0.1.0 - indexed lists

Wojciech Meyer <wojciech.meyer@gmail.com> writes:

> Hi,
>
> I'm happy to release a small library that brings up to use convenience
> and safety of indexed lists using GADT encodings.

Pretty nice! But I must not be the only one thinking this would be even
more useful with arrays? I imagine it would need to be a bit different,
have the array type alongside with similar kind of linked list of types.

Do you think it would be doable, though?

-- 
  _____________________________________________________________________
     / __// /__ ____  __               http://www.modeemi.fi/~flux/\   \
    / /_ / // // /\ \/ /                                            \  /
   /_/  /_/ \___/ /_/\_\@modeemi.fi                                  \/