musicdenotation@gmail.com wrote:

> Why is static analysis a problem? The compiler can tell whether
> something is a function or a macro by looking at it's source code. If
> it's from a library, look at the source code of a library or the
> library should flag whether a procedure is a function or a macro.

  For example, how would something like

    (define (c f x) (f x))

  be compiled?

  Also, perhaps more importantly, how
  would (apply f x) work when f is a fexpr?

  ---Vassil.

--
Would you like your metaphors shaken or stirred?

Vassil Nikolov | Васил Николов | <vnikolov@pobox.com>

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