Language standards for LispOS

Chris Bitmead uid
Thu, 22 May 1997 09:59:11 +1000

Marc Wachowitz wrote:

> (Henry G. Baker) wrote:
>> If certain CL functions _should_ be returning immutable
>> conses, and if some program depends upon the fact that they don't,
>> then of course it should break.
>Sure, that's exactly what I was suggesting. However, if we would make
>CONS-IMMUTABLE a supertype of CONS, we would break any program which
>assumes that what it gets is a CONS, even if it does only read it. 

Why would it break it? I just can't see how. In a staticly typed
language, sure I can see that. But in a dynamically typed language???