[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: How does a gexp relate to a derivation?
From: |
Ricardo Wurmus |
Subject: |
Re: How does a gexp relate to a derivation? |
Date: |
Sun, 18 Sep 2022 12:56:44 +0200 |
User-agent: |
mu4e 1.8.7; emacs 28.1 |
jgart <jgart@dismail.de> writes:
> On Sat, 17 Sep 2022 17:43:17 +0200 Ricardo Wurmus <rekado@elephly.net> wrote:
>> ;;;
>> ;;; 2. Gexps embed information about the derivations they refer to.
>
> Why do gexps embed information about the derivations they refer to?
That’s the whole point. Otherwise you could just use quasiquote /
unquote.
I recommend the paper on Gexps that walks you through the alternatives
and motivates the design of Gexps: https://hal.inria.fr/hal-01580582/en
--
Ricardo