This is the mail archive of the firstname.lastname@example.org mailing list for the guile project.
|Index Nav:||[Date Index] [Subject Index] [Author Index] [Thread Index]|
|Message Nav:||[Date Prev] [Date Next]||[Thread Prev] [Thread Next]|
Jim Blandy <email@example.com> writes: > > While this is generally true, a smart compiler that does some type > > inference can do very well. I believe Stalin is the canonical example. > > It supposedly generates better code than good FORTRAN implementations > > from some problems, out of Scheme code written in a natural style. > > Are you *sure* you're talking about stock Scheme code, without special > declarations? If so, then I really want to see that paper. With > declarations, anything is possible. Yes, it's with stock scheme code & without declarations. Stalin does a lot of heavy duty optimizations, especially type inference. I don't know if there're associated papers, but there's a compiler. See Jeffrey Siskind's home page, http://www.neci.nj.nec.com/homepages/qobi/, and in particular, http://www.neci.nj.nec.com/homepages/qobi/software.html -- Harvey J. Stein BFM Financial Research firstname.lastname@example.org