[creata]

> When I think of a DSL, I think of a language with specialized syntax, grammar, or constructs suited to the problem domain.

I think that's too strict. For example, JAX is (imo) an eDSL, but it doesn't have a specialized syntax, grammar or constructs - on the contrary, it's meant to feel just like Numpy. The thing that makes it special is the interpretation of those constructs.

[Archit3ch]

JAX isn't an eDSL, because it doesn't obey full Python semantics (namely, changing what a method does at runtime).

Mojo just discovered it ain't happening: https://news.ycombinator.com/item?id=41927000

[creata]

I don't think it has to "obey Python semantics" at all to be an eDSL.