Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Thu, 25 Aug 1994 03:57:51 +0100
Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA20660;
          Wed, 24 Aug 1994 20:41:30 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
Received: from dworshak.cs.uidaho.edu by leopard.cs.byu.edu 
          with SMTP (1.37.109.8/16.2) id AA20656;
          Wed, 24 Aug 1994 20:41:28 -0600
Received: from toadflax.cs.ucdavis.edu (toadflax.cs.ucdavis.edu [128.120.56.188]) 
          by dworshak.cs.uidaho.edu (8.6.9/1.0) with SMTP id TAA20064 
          for <info-hol@cs.uidaho.edu>; Wed, 24 Aug 1994 19:36:52 -0700
Received: from ice.cs.ucdavis.edu by toadflax.cs.ucdavis.edu (4.1/UCD.CS.2.6) 
          id AA27870; Wed, 24 Aug 94 19:36:43 PDT
Received: by ice.cs.ucdavis.edu (5.65/UCD.CS.2.6) id AA24806;
          Wed, 24 Aug 1994 19:36:43 -0700
Date: Wed, 24 Aug 1994 19:36:43 -0700
From: shaw@cs.ucdavis.edu (Rob Shaw)
Message-Id: <9408250236.AA24806@ice.cs.ucdavis.edu>
To: info-hol@cs.uidaho.edu
Subject: Fast ML tables?


I have the need for lots of table lookups. Does the HOL88 ML
have any kind of array or sequenced objects? Lookups are frequent
enough that I really must hash, and each table will need to 
hold low hundreds of entries potentially.

If lists and el are my only option, that would be discouraging,
though I could build balanced trees, I suppose. (Tables do not need
to change once built (at least at present, anyway)).

Thanx!

Rob Shaw