Return-Path:
Return-Path: <john.harrison-request@uk.ac.cam.cl>
Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0)
          id <11335-0@swan.cl.cam.ac.uk>; Wed, 15 Jan 1992 10:41:00 +0000
Received: by ted.cs.uidaho.edu.cs.uidaho.edu (16.6/1.34) id AA03559;
          Wed, 15 Jan 92 02:27:26 -0800
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Received: from Maui.CS.UCLA.EDU by ted.cs.uidaho.edu.cs.uidaho.edu (16.6/1.34)
          id AA03555; Wed, 15 Jan 92 02:27:22 -0800
Received: from LocalHost.cs.ucla.edu
          by maui.cs.ucla.edu (Sendmail 5.61b+YP/3.13) id AA10795;
          Wed, 15 Jan 92 02:29:28 -0800
Message-Id: <9201151029.AA10795@maui.cs.ucla.edu>
To: info-hol@edu.uidaho.cs.ted
Cc: chou@edu.ucla.cs
Subject: Why sets?
Date: Wed, 15 Jan 92 02:29:27 PST
From: chou@edu.ucla.cs

I was browsing through library "sets" and this occurred to me:
Why do we need sets at all?  Why can't we just use the predicates?
What is the advantage of having a new type (*)set?  And when should
I use (*)set and when should I use (* -> bool)?

Ching-Tsun <chou@cs.ucla.edu>