3 ms·
Languages with expressive type systems, Haskell likely the most mainstream, allow for deep embedding of an DSL, such that the type system of your DSL can be emb
by 0xfaded 12y ago
Languages with expressive type systems, Haskell likely the most mainstream, allow for deep embedding of an DSL, such that the type system of your DSL can be embedded into the parent language.
IMHO absence of static analysis is a huge downside of using an interpreted language. Having type safety in an embedded DSL can only be dreampt of in a language like ruby.
http://tom.lokhorst.eu/2009/09/deeply-embedded-dsls http://tom.lokhorst.eu/2009/09/deeply-embedded-dsls
- sklogic 12y agoWhat does typing have to do with interpreted vs. compiled? Hugs is an interpreter. And it's not a problem to build typed eDSLs on top of an untyped core language - see Typed Racket or Shen for example.