Re: Extensional functions in SML?

Article View: comp.lang.functional

Article #471

Back to comp.lang.functional Previous Next

#471

From: David MacQueen
Date: Fri, 28 Sep 1990 12:41

8 lines
891 bytes

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

Technical Details

Message-ID: <11396@alice.UUCP>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!tut.cis.ohio-state.edu!att!dptg!ulysses!andante!alice!dbm

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>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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

Reply to Parent Message