comp.lang.ada
 help / color / mirror / Atom feed
From: je@bton.ac.uk (John English)
Subject: Re: private and limited private
Date: 1996/10/21
Date: 1996-10-21T00:00:00+00:00	[thread overview]
Message-ID: <54g9a8$6tr@saturn.brighton.ac.uk> (raw)
In-Reply-To: DzEI6q.11tK@imagin.net


Samuel Mize (smize@imagin.net) wrote:
: In article <53vmmb$560@saturn.brighton.ac.uk>,
: John English <je@bton.ac.uk> wrote:
: >Actually, playing cards would be better represented by a limited type
: >with a Move (as opposed to a Copy) primitive, since in the real world
: >you move cards from A to B, you don't *copy* them.

: But you can remember which cards have been played* (that's why casinos
: use several decks at the Blackjack tables)**.  That's hard to represent
: with a limited type -- your "player" program can't make a "mental copy"
: of the values it's seen.

You can certainly extract the suit and value of a card, and you could
remember those.  You wouldn't be able to use that information to
manufacture a counterfeit card, any more than remembering what the
Ace of Spades looks like will allow you to materialise one from
behind your ear.

---------------------------------------------------------------
 John English              | mailto:je@brighton.ac.uk
 Senior Lecturer           | http://www.comp.it.bton.ac.uk/je
 Dept. of Computing        | fax: (+44) 1273 642405
 University of Brighton    |
---------------------------------------------------------------




      reply	other threads:[~1996-10-21  0:00 UTC|newest]

Thread overview: 8+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1996-10-08  0:00 private and limited private AGBOH CHARLES
1996-10-10  0:00 ` Matthew Heaney
1996-10-10  0:00 ` David Kirkland
1996-10-11  0:00 ` Samuel Mize
1996-10-15  0:00   ` John English
1996-10-15  0:00     ` Pat Rogers
1996-10-17  0:00     ` Samuel Mize
1996-10-21  0:00       ` John English [this message]
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox