[cap-talk] Fwd: definition of the term "safe language"

[Raoul Duke]

+cap-talk, oops.


---------- Forwarded message ----------
From: Raoul Duke <raould at gmail.com>
Date: Fri, Apr 9, 2010 at 2:58 PM
Subject: Re: [cap-talk] definition of the term "safe language"
To: mikesamuel at gmail.com


On Fri, Apr 9, 2010 at 2:51 PM, Mike Samuel <mikesamuel at gmail.com> wrote:
> Please see the 7th and 12th posts.

i have to apologize for being easily lost and confused. trying to
parse things and put them together, i am guessing you mean that
Pierce's definition of 'safe language' requires all of the language's
abstractions to be protected, and that if any single one is not, then
it is not a safe language?

sincerely.