[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Scheme-reports] EQV? on numbers should be based on operational equivalence

Ray Dillinger scripsit:

> A high-level language such as scheme ought to treat values as values
> according to their types, not as bit layouts.  Control over bit
> layouts should be purely for external purposes; reading/writing binary
> formats and interfacing with ABI's.

Well then, either binary files and FFIs cannot be standardized, or we
have to admit that there are boundaries to "operational equivalence".
I go with the latter viewpoint.

No saves, Antonio, loke es morirse en su lingua. Es komo            John Cowan
kedarse soliko en el silensyo kada dya ke Dyo da, komo          cowan@x
ser sikileoso sin saver porke.                      http://www.ccil.org/~cowan
                        --Marcel Cohen, 1985

Scheme-reports mailing list