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

Re: [Scheme-reports] Some comments after reading the r7rs public draft

Alex Shinn <alexshinn@x> writes:
> Implicit forcing can be done without any overhead except
> when actually making use of it.

This is not necessarily true for monomorphic procedures that are
open-coded in a natively compiled implementation with error checks
disabled.  For example, 'car' can be compiled to code that simply
extracts the field from the pair, without any conditional branches.

Implicit forcing makes monomorphic primitives into polymorphic ones.


Scheme-reports mailing list