On 6/22/07, Onnie Winebarger <owinebar at gmail.com> wrote:
> I am failing to see how your thesis is true.
> If you are committed to functionalism, your code should (a) only create
> immutable objects, (b) never mutate objects handed to it, and (c) require
> that other code calling it not mutate objects out from under it. Any time
> some other person uses your code without following its advertised
> restrictions, they are taking their chances.
> Maybe I'm missing something, but how does your code determine whether the
> calling code uses mutable pairs? I know the compiler has this knowledge, I
> just don't know where your code can detect and/or specify it as a negative
> requirement.
It is possible I was overly hopeful about what R6RS achieves, or set
out to achieve.
--
Carl Eastlund
Received on Fri Jun 22 2007 - 15:33:32 UTC