From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id VAA24451 for caml-redistribution@pauillac.inria.fr; Wed, 3 Nov 1999 21:54:26 +0100 (MET) Resent-Message-Id: <199911032054.VAA24451@pauillac.inria.fr> Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id KAA17122 for ; Tue, 2 Nov 1999 10:16:38 +0100 (MET) Received: from lri.lri.fr (lri.lri.fr [129.175.15.1]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id KAA14466; Tue, 2 Nov 1999 10:16:37 +0100 (MET) Received: from pc87.lri.fr (pc87.lri.fr [129.175.8.106]) by lri.lri.fr (8.9.1a/8.9.1) with ESMTP id KAA04946; Tue, 2 Nov 1999 10:16:23 +0100 (MET) Received: by pc87.lri.fr (8.9.3/feuille) id KAA10887 ; Tue, 2 Nov 1999 10:15:08 +0100 X-Authentication-Warning: pc87: jcourant set sender to jcourant@pc87 using -f From: Judicael Courant MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Message-ID: <14366.43872.92288.351263@pc87> Date: Tue, 2 Nov 1999 10:14:08 +0100 (MET) To: Xavier Leroy Cc: luther@dpt-info.u-strasbg.fr, caml-list@inria.fr Subject: Re: module, module type et foncteurs, ... In-Reply-To: <19991029104620.42535@pauillac.inria.fr> References: <19991022160304.A27175@maxime.u-strasbg.fr> <19991029104620.42535@pauillac.inria.fr> X-Mailer: VM 6.62 under Emacs 20.3.1 Content-Transfer-Encoding: 8bit Resent-From: weis@pauillac.inria.fr Resent-Date: Wed, 3 Nov 1999 21:54:26 +0100 Resent-To: caml-redistribution@pauillac.inria.fr In his message of Fri October 29, 1999, Xavier Leroy writes: > > > D'un autre cote est-ce qu'un type de tableau de booleens qui serait > > represente de maniere efficace existe ? on aurrait un bit par > > booleen, et non un int comme cela est fait actuellement. J'imagine > > qu'on peut faire cela en definissant un type de tableau d'entier, et > > aller voir la valeur de chaque bit de ces entiers. > > Il n'y a pas (encore?) de module de bibliothèque qui fasse cela, mais > c'est en effet facile à implémenter. Mieux vaut utiliser une chaîne > de caractères qu'un tableau d'entiers (31 ou 63 bits), cependant. > Si, il y a http://www.lri.fr/~filliatr/ftp/ocaml/bitv/ Judicaël. -- Judicael.Courant@lri.fr, http://www.lri.fr/~jcourant/ [Computing timetable constraints..................done: 0 solution(s)]