Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!tut.cis.ohio-state.edu!att!dptg!ulysses!andante!alice!dbm
From: dbm@alice.UUCP (David MacQueen)
Newsgroups: comp.lang.functional
Subject: Re: Extensional functions in SML?
Message-ID: <11396@alice.UUCP>
Date: 28 Sep 90 12:41:15 GMT
References: <STABL.90Sep19204925@trillian-gw.fmi.uni-passau.de> <1990Sep20.074513.19190@d.cs.okstate.edu> <STABL.90Sep20195507@trillian-gw.fmi.uni-passau.de> <2279@gould.doc.ic.ac.uk>
Reply-To: dbm@alice.UUCP (mh8896)
Organization: AT&T, Bell Labs
Lines: 8


Standard ML does have references and assignments, and some implementations
(such as Standard ML of New Jersey) have arrays with destructive array
update.  So it is possible to define hash tables.  src/util/intmap.sml
in the SML of New Jersey distribution is one such definition.

Dave MacQueen
macqueen@research.att.com