Skip to content
Hallway
0:00 / 0:00

#domain-specificlanguages#deepembedding#shallowembedding

ICFP 2014: Folding Domain-Specific Languages: Deep and Shallow Embeddings - Jeremy Gibbons

Malcolm Wallace

884 subscribers • 6 videos on Hallway

YouTube
  • 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 this

What people say. Recommended for understanding the distinction and trade-offs between deep and shallow embeddings in DSL design.

u/agumonkeyin r/compsci • Recommends

ICFP 2014: Folding Domain-Specific Languages: Deep and Shallow Embeddings - Jeremy Gibbons
10View on Reddit

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.…
1View on Reddit