GNU Guile 3.0

#1

Post by Fice » Thu, Jan 16, 2020, 12:12 PM UTC

Re: GNU Guile 3.0

#2

Post by bjoli » Thu, Jan 16, 2020, 1:08 PM UTC

This is fantastic news. Speedups across the board and lots of small goodies everywhere!

Previously I had been using macros to bolt-on support for definitions in expression context, but that was buggy at best. If you have time you should look at the algorithm behind this letrectification. The paper is called "Fixing letrec (Reloaded)" and can be found here: https://legacy.cs.indiana.edu/~dyb/pubs/letrec-reloaded.pdf

This means letrec is now just as fast as let, which means (define ...) at the top of functions now is as fast as (let ...). For small functions called often, that could add quite a bit of overhead.

Re: GNU Guile 3.0

#3

Post by agumonkey » Thu, Jan 16, 2020, 4:06 PM UTC

bjoli wrote: post #2

This is fantastic news. Speedups across the board and lots of small goodies everywhere! Previously I had been using macros to bolt-on support for definitions in expression context, but that was buggy at best. If you have time you should look at the algorithm behind this letrectification. The paper is called "Fixing letrec (Reloaded)" and can be found here: https://legacy.cs.indiana.edu/~dyb/pubs/letrec-reloaded.pdf T…

this paper seems fantastic

Re: GNU Guile 3.0

#4

Post by pjmlp » Thu, Jan 16, 2020, 4:37 PM UTC

JIT support, great news.

Re: GNU Guile 3.0

#5

Post by jhoechtl » Thu, Jan 16, 2020, 4:38 PM UTC

Isn't Guile VM the VM behind Racket?

Re: GNU Guile 3.0

#6

Post by rgrau » Thu, Jan 16, 2020, 4:43 PM UTC

jhoechtl wrote: post #5

Isn't Guile VM the VM behind Racket?

Racket team are in the process of migrating to Chez, not Guile.

Re: GNU Guile 3.0

#7

Post by [deleted] » Thu, Jan 16, 2020, 4:44 PM UTC

jhoechtl wrote: post #5

Isn't Guile VM the VM behind Racket?

[deleted]

Re: GNU Guile 3.0

#8

Post by hencq » Thu, Jan 16, 2020, 4:55 PM UTC

Is there still any work being done on Guile Emacs? As I recall it basically worked a few years ago, but it doesn't seem to be maintained. I'm curious if these 3.0 speedups would translate there too.

Re: GNU Guile 3.0

#9

Post by bjoli » Thu, Jan 16, 2020, 5:27 PM UTC

agumonkey wrote: post #3

bjoli wrote: post #2

This is fantastic news. Speedups across the board and lots of small goodies everywhere! Previously I had been using macros to bolt-on support for definitions in expression context, but that was buggy at best. If you have time you should look at the algorithm behind this letrectification. The paper is called "Fixing letrec (Reloaded)" and can be found here: https://legacy.cs.indiana.edu/~dyb/pubs/letrec-reloaded.pdf T…

this paper seems fantastic

There are sooooo many goodies coming from the development of Chez scheme (and from Dybvig's students in general).

Re: GNU Guile 3.0

#10

Post by levosmetalo » Thu, Jan 16, 2020, 5:32 PM UTC

The only reason Guile still exists is the stubbornes of GNU project to accept better alternative solutions over the course of time and push their own as the only true.