there is also IntelliJ language injection if you have heard about it
// language=Rustval code = “”"
I would think that would be waaaay more relevant for embedding Rust in Haskell?
the language injection has some static checks, but only up until name-resolution it seems like
@ichoran I mean, it's not like you are going to find a million blog posts that are related... you'll have to make do with that :P
Honestly I'm rather puzzled by why this is an interesting thing to do. Rust as a DSL hardly makes sense, since aside from its superior ability to infer types, and its lifetime/ownership system, its syntactic capabilities are basically a subset of Scala's.
Usually you want DSLs because they can express something that the original language can't easily express.