User loginNavigation |
Everything old is new again: Quoted Domain Specific LanguagesEverything old is new again: Quoted Domain Specific Languages, by Shayan Najd, Sam Lindley, Josef Svenningsson, Philip Wadler:
Neat paper first posted here by Blaisorblade that formalizes the properties needed for using quotation to implement DSLs. Most embedded DSLs use custom operators and lifted conditionals to make embedded programs seem more natural, but quoting enables the use of native operators and conditions, and might lead to more natural expressions of lightweight (possibly heterogenous) staged computations. |
Browse archivesActive forum topics |
Recent comments
18 hours 34 min ago
18 hours 50 min ago
20 hours 51 min ago
1 day 13 min ago
6 days 18 hours ago
1 week 20 min ago
1 week 17 hours ago
1 week 23 hours ago
1 week 1 day ago
1 week 1 day ago