Re: [Scheme-reports] EQV? on numbers should be based on operational equivalence John Cowan (09 May 2012 04:03 UTC)

Re: [Scheme-reports] EQV? on numbers should be based on operational equivalence John Cowan 09 May 2012 04:03 UTC

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@ccil.org
ser sikileoso sin saver porke.                      http://www.ccil.org/~cowan
                        --Marcel Cohen, 1985

_______________________________________________
Scheme-reports mailing list
Scheme-reports@scheme-reports.org
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports