From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 ; 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 , caml-list@inria.fr References: <3e61c49d-8b20-378b-0c24-75b8da14b4f7@alliot.org> From: =?UTF-8?Q?Fran=c3=a7ois_Pottier?= Message-ID: 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: 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 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/