Common issue with EDSLs: Example: a=f(x) b=g(a) f and g build AST. AST doesn't capture assignment so b is identical to g(f(x)). But sometimes you want to refer to a by name. So you add names to DSL: a=f(x,name='a') Now names are duplicated. Any academic writing on this annoyance?
Replying to @sigfpe
Not sure this is an answer, and I don't really like it any more, but Idris 1's dsl notation aimed to do something about this, in that it lets you be explicit about where the variables are. (http://eb.host.cs.st-andrews.ac.uk/drafts/dsl-idris.pdf …)
12:54 PM - 8 Jan 2020
0 replies
0 retweets
4 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.