jargon: (was: Difference Lists (was: Rotation, or something...))

Article View: comp.lang.prolog

Article #7

From: Olivier Ridoux
Date: Wed, 28 Oct 1992 14:54

13 lines
994 bytes

From article <BwKJ9J.C6M@gabriel.keele.ac.uk>, by csa09@seq1.keele.ac.uk (Paul Singleton):

> On another jargon issue: how should I describe a data type which may
> represent a single abstract value in more than one way?  E.g. sets
> represented as unordered lists?  Is this "non-canonical"?  Does it
> lack "equality"?

In my private jargon, it is "multimorphism".  It is a really frequent
situation: floating point 0's, pointers on some base:offset machines...
I would not call it "lack of equality" because a proper comparator
always exists: the trick is to use the good one :-)

Olivier Ridoux

Technical Details

Message-ID: <1992Oct28.145405.9303@irisa.fr>

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!corton!irisa!ridoux

References: <BwKJ9J.C6M@gabriel.keele.ac.uk>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!corton!irisa!ridoux
From: ridoux@irisa.fr (Olivier Ridoux)
Newsgroups: comp.lang.prolog
Subject: jargon: (was: Difference Lists (was: Rotation, or something...))
Message-ID: <1992Oct28.145405.9303@irisa.fr>
Date: 28 Oct 92 14:54:05 GMT
References: <BwKJ9J.C6M@gabriel.keele.ac.uk>
Sender: news@irisa.fr
Organization: IRISA, Rennes (Fr)
Lines: 13

Reply to Parent Message