Hi Ludo,
Ludovic Courtès writes:
> Hello!
>
> Chris Marusich skribis:
>
>> In your paper "Code Staging in GNU Guix" [1], you use the following
>> example to illustrate how G-Expressions are hygienic ("they preserve
>> lexical scope across stages"):
>>
>> (let ((gen-body (lambda (x)
>>
Hello!
Chris Marusich skribis:
> In your paper "Code Staging in GNU Guix" [1], you use the following
> example to illustrate how G-Expressions are hygienic ("they preserve
> lexical scope across stages"):
>
> (let ((gen-body (lambda (x)
> #~(let ((x 40))
>
zimoun writes:
> the Unison language
Thank you for sharing the link! I only read the overview, but I can see
why this makes you think of G-Expressions. It's always interesting to
read about how content addressability can make some problems easier.
> I cannot wait for your presentation at
Hi Chris,
My comment is not related at all, just for reference and/or curiosity. :-)
Yesterday night, I "discovered" the Unison language [1] which seems
presenting similar ideas than G-expression. Well, even I am not sure
to understand the both.
And Nix guys seems floating around [2]. ;-)
[1]
Hi Ludo,
In your paper "Code Staging in GNU Guix" [1], you use the following
example to illustrate how G-Expressions are hygienic ("they preserve
lexical scope across stages"):
(let ((gen-body (lambda (x)
#~(let ((x 40))
(+ x #$x)
#~(let ((x 2))
