Re: [Scheme-reports] Some comments after reading the r7rs public draft Mark H Weaver (12 Jun 2012 15:13 UTC)
[Scheme-reports] Unsafe optimizations Göran Weinholt (13 Jun 2012 11:48 UTC)

Re: [Scheme-reports] Some comments after reading the r7rs public draft Mark H Weaver 12 Jun 2012 15:10 UTC

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