From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <caml-list-owner@inria.fr>
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by c5ff346549e7 (Postfix) with ESMTPS id A1B625D4
	for <caml-list@inbox.ocaml.org>; Thu, 18 Mar 2021 11:33:09 +0000 (UTC)
X-IronPort-AV: E=Sophos;i="5.81,258,1610406000"; 
   d="scan'208";a="498650215"
Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160])
  by mail2-relais-roc.national.inria.fr with ESMTP; 18 Mar 2021 12:32:16 +0100
Received: by sympa.inria.fr (Postfix, from userid 20132)
	id 04F8FE013D; Thu, 18 Mar 2021 12:32:16 +0100 (CET)
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id 92FE6E0131
	for <caml-list@sympa.inria.fr>; Thu, 18 Mar 2021 12:32:10 +0100 (CET)
IronPort-HdrOrdr: =?us-ascii?q?A9a23=3Abao02q8rs6w48Mhn9cBuk+BWI+orLtY04lQ7?=
 =?us-ascii?q?vn1ZYxpTb8CeioSKlPMUyRf7hF8qKRQdsPqHP7SNRm6ZyIV85pMfMazncA7tvm?=
 =?us-ascii?q?apK48K1/qH/xTLHSri+ulBkZpxaqQWMqyTMXFWhdv3iTPXL/8O29+CmZrFuc7/?=
 =?us-ascii?q?yDNXQRhue+Vc6W5Ce2WmO2lXYCUDOpYjDpqb4aN8xwaIXXgMdMy0Cj0kcoH4yO?=
 =?us-ascii?q?Hjr57tbR4YCxNP0mDnsRqS5LH3CBSe1BsFOgkj/Z4Z7WPHnwblj5/Jj9iHzHbn?=
 =?us-ascii?q?vVP7045bg5/IxNdFGaW36/QoFg=3D=3D?=
X-IronPort-AV: E=Sophos;i="5.81,258,1610406000"; 
   d="scan'208";a="376120073"
Received: from 91-175-127-215.subs.proxad.net (HELO MacBook-Pro-5.local) ([91.175.127.215])
  by mail3-relais-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 18 Mar 2021 12:32:10 +0100
To: Nicolas Barnier <barnier@recherche.enac.fr>, caml-list@inria.fr
References: <3e61c49d-8b20-378b-0c24-75b8da14b4f7@alliot.org>
 <aa6c6dc8-a1c7-f0a5-0433-c6c731451fc3@recherche.enac.fr>
From: =?UTF-8?Q?Fran=c3=a7ois_Pottier?= <francois.pottier@inria.fr>
Message-ID: <bd3caec3-4518-09c9-cec0-74cbd265d5c7@inria.fr>
Date: Thu, 18 Mar 2021 12:32:09 +0100
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:68.0)
 Gecko/20100101 Thunderbird/68.12.1
MIME-Version: 1.0
In-Reply-To: <aa6c6dc8-a1c7-f0a5-0433-c6c731451fc3@recherche.enac.fr>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Language: fr
Content-Transfer-Encoding: 8bit
Subject: Re: [Caml-list] Choosing a random element in a Map or a Set
Reply-To: =?UTF-8?Q?Fran=c3=a7ois_Pottier?= <francois.pottier@inria.fr>
X-Loop: caml-list@inria.fr
X-Sequence: 18432
Errors-To: caml-list-owner@inria.fr
Precedence: list
Precedence: bulk
Sender: caml-list-request@inria.fr
X-no-archive: yes
List-Id: <caml-list.inria.fr>
List-Help: <mailto:sympa_inria@inria.fr?subject=help>
List-Subscribe: <mailto:sympa_inria@inria.fr?subject=subscribe%20caml-list>
List-Unsubscribe: <mailto:sympa_inria@inria.fr?subject=unsubscribe%20caml-list>
List-Post: <mailto:caml-list@inria.fr>
List-Owner: <mailto:caml-list-request@inria.fr>
List-Archive: <http://sympa.inria.fr/sympa/arc/caml-list>
Archived-At: <http://sympa.inria.fr/sympa/arcsearch_id/caml-list/2021-03/bd3caec3-4518-09c9-cec0-74cbd265d5c7%40inria.fr>

Le 18/03/2021 à 12:10, Nicolas Barnier a écrit :
> I don't know if there are any good implementation of (Python-like)
> extensible arrays in a widespread OCaml library,

Jean-Christophe Filliâtre has proposed a Vector library for a long time
(https://www.lri.fr/~filliatr/ftp/ocaml/misc/vector.ml.html), and there
is also a CCVector module in the excellent Containers library
(https://c-cube.github.io/ocaml-containers/3.2/containers/CCVector/index.html).

-- 
François Pottier
francois.pottier@inria.fr
http://cambium.inria.fr/~fpottier/