Good thread. I have a hunch that pushing our way closer towards user-friendly dependent types might help, to allow us to design type-level affordances for DSLs. Still need to do more work on domain-specific diagnostics though, and better editor support for embedded DSLs…
Quote Tweet
How to resolve this conflict? You want an internal DSL to avoid poorly re-implementing existing language features, but you want an external DSL to control the semantics of your language and avoid features that are too powerful and inhibit reasoning about your language.
Show this thread
1
1