User loginNavigation |
archivesEverything 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
14 weeks 1 day ago
18 weeks 3 days ago
20 weeks 1 day ago
20 weeks 1 day ago
22 weeks 5 days ago
27 weeks 3 days ago
27 weeks 3 days ago
27 weeks 6 days ago
27 weeks 6 days ago
30 weeks 5 days ago