Re: A fast scheme implementation?
- From: Jed Davis <jdev@xxxxxxxxx>
- Date: Thu, 13 Dec 2007 16:24:54 -0500
William D Clinger <cesura17@xxxxxxxxx> writes:
Think about it: a double integral. He's talking
about a general purpose library procedure, highly
tuned, that performs numerical integration. You'd
pass it a procedure in Scheme, or a function pointer
in C, and the two limits of integration.
Or, in C++, it could be templated on a class having the function as a
member; then the compiler will, pardon my French, defunctorize the
result and thus specialize the integral routine for that function.
C compilers don't know how to optimize across library
boundaries, however.
Not entirely true. If the compiler squirrels away a serialized
representation of its IR along with the object code, then when invoked
to do linking it can perform whole-program optimizations.
Such things have been known in commercial C compilers for some time;
more recently the LLVM project has been working in this area, and a
separate effort is known to exist for GCC.
--
(let ((C call-with-current-continuation)) (apply (lambda (x y) (x y)) (map
((lambda (r) ((C C) (lambda (s) (r (lambda l (apply (s s) l)))))) (lambda
(f) (lambda (l) (if (null? l) C (lambda (k) (display (car l)) ((f (cdr l))
(C k))))))) '((#\J #\d #\D #\v #\s) (#\e #\space #\a #\i #\newline)))))
.
- Follow-Ups:
- Re: A fast scheme implementation?
- From: Jeffrey Mark Siskind
- Re: A fast scheme implementation?
- From: William D Clinger
- Re: A fast scheme implementation?
- References:
- A fast scheme implementation?
- From: duaneb
- Re: A fast scheme implementation?
- From: William D Clinger
- Re: A fast scheme implementation?
- From: Barak A. Pearlmutter
- Re: A fast scheme implementation?
- From: Joel J. Adamson
- Re: A fast scheme implementation?
- From: Barak A. Pearlmutter
- Re: A fast scheme implementation?
- From: Adrian
- Re: A fast scheme implementation?
- From: William D Clinger
- A fast scheme implementation?
- Prev by Date: Re: A fast scheme implementation?
- Next by Date: Re: A fast scheme implementation?
- Previous by thread: Re: A fast scheme implementation?
- Next by thread: Re: A fast scheme implementation?
- Index(es):
Relevant Pages
|