u/agumonkeyin r/compsci • Recommends
ICFP 2014: Folding Domain-Specific Languages: Deep and Shallow Embeddings - Jeremy Gibbons
0:00 / 0:00
#domain-specificlanguages#deepembedding#shallowembedding
ICFP 2014: Folding Domain-Specific Languages: Deep and Shallow Embeddings - Jeremy Gibbons
Malcolm Wallace
884 subscribers • 15 videos on Hallway
- Recommended by 2 people: 2 in engineering communities.
- A classic. People kept recommending it from 2014 to 2023.
- Presented by Jeremy Gibbons
Advanced. Deep dive for people who know the field.
1.3K views12 years ago2 recommendations
Programming languagesSoftware designLanguage design and type systemsFunctional programming
Jeremy Gibbons explains the difference between deep and shallow embeddings in domain-specific languages and how to fold them.
International Conference on Functional Programming 2014. Gothenburg, Sweden.Why it's here
2 people recommend thisWhat people say. Recommended for understanding the distinction and trade-offs between deep and shallow embeddings in DSL design.
u/mttdin r/ProgrammingLanguages • Recommends
On “Cranelift's Instruction Selector DSL, ISLE: Term-Rewriting Made Practical”
…king inductive arguments about parts of ISLE so that it could be possibly reasonable to gain something by deep embedding, as it "captures the semantics of the operations on the domain enabling variable interpretations", https://alessandrovermeulen.me/2013/07/13/the-difference-between-shallow-and-deep-embedding/, also cf. intermediate embeddings in link to this video
Just thinking out loud, but curious if you have any thoughts on that, too.…
u/existsforallin r/haskell • Mentions
On “A Modern Architecture for FP”
some derivative mentions of this in Folding Domain-Specific Languages: Deep and Shallow Embeddings - Jeremy Gibbons , quite interesting