Re:Pycket: A Tracing JIT for a Functional Language
by andrewchambers on Thursday May 14, 2015 @07:06PM
(#9548084)
Pixie https://github.com/pixie-lang/pixie has a branch which intends to follow the design of this pycket VM. This will allows true tail calls in a clojure like language. Really exciting.
Re:Pycket: A Tracing JIT for a Functional Language
by kbd on Thursday May 14, 2015 @07:22PM
(#9548136)
Very impressive that PyPy's JIT with Pycket out-performed Racket's language-specific JIT, and that it supports tail calls and continuations, both of which are impractical to implement on say, the JVM (see Clojure).
Re:Pycket: A Tracing JIT for a Functional Language
by sanxiyn on Thursday May 14, 2015 @10:51PM
(#9548733)
If you read the paper, not only Pycket supports continuations, but it optimizes continuations better than Racket. To quote:
"Since first-class continuations are difficult to implement in a mostly-C environment, two benchmarks which focus on this feature (ctak and fibc) perform very poorly on Racket and Bigloo, both of which implement continuations by copying the C stack."
Racket actually isn't optimized for continuations-heavy codes, simply because such codes are rare in practice. Neither is Pycket, but design of Pycket is such that continuations optimize as well as normal calls without any special effort. The result is that for ctak and fibc, Pycket is more than 100 times(!) faster than Racket.
Re:Pycket: A Tracing JIT for a Functional Language
by 616c on Friday May 15, 2015 @04:28AM
(#9549485)
I had trouble compiling Pixie a few weeks ago specifically because it tries to embed PyPy from source, IIRC, and I cold not figure out how to tell it to talk to the PyPy I had already compiled. Looks like I need to try again.
And if this comes to Racket, this formidable stack will be unstoppabe!
In any event, I will invest more time into this. All the talk of RPython, and (yes I know they are unrelated) Cython toolkits makes Python look wonderful again.
https://github.com/pixie-lang/pixie/issues/312
"Since first-class continuations are difficult to implement in a mostly-C environment, two benchmarks which focus on this feature (ctak and fibc) perform very poorly on Racket and Bigloo, both of which implement continuations by copying the C stack."
Racket actually isn't optimized for continuations-heavy codes, simply because such codes are rare in practice. Neither is Pycket, but design of Pycket is such that continuations optimize as well as normal calls without any special effort. The result is that for ctak and fibc, Pycket is more than 100 times(!) faster than Racket.
And if this comes to Racket, this formidable stack will be unstoppabe!
This is not the same as the pypy binary you have installed.
https://aur.archlinux.org/packages/?O=0&K=pypy
In any event, I will invest more time into this. All the talk of RPython, and (yes I know they are unrelated) Cython toolkits makes Python look wonderful again.