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