Type-safely embed DSLs directly into Java

Re:Type-safely embed DSLs directly into Java by mckinney on Thursday September 17, 2020 @09:24PM (#24511976)

> but is there really a need to have this kind of language interoperability at compile time?

Well, if you want to leverage Java's static type system (and why not?), the answer is, yes. I imagine you'd want type and member references to the other language to resolve statically using the compiler, right? Similarly, why not have the same functionality in your IDE? Plus code completion, usage searching, refactoring?

Now, as I mentioned in an earlier comment, the embedding part of this addresses just a small segment of use-cases e.g., scoped query editing. The vast majority of other cases work directly against resource files, type-safely. Read more about that here:

https://github.com/manifold-systems/manifold

[ Parent | on HN ]

Re:Type-safely embed DSLs directly into Java by ulkesh on Friday September 18, 2020 @12:55AM (#24513134)

I’m not at all contesting your reasons, which I expect were plentiful enough to build this system. I’m simply saying that if I want to use Java’s static type system, I’ll just write in Java. Perhaps I’m an old codger these days in my ripe early 40s.

[ Parent | on HN ]