Alex Shinn <alexshinn@gmail.com> 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.

      Mark

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