Hacker News new | ask | show | jobs
by crdoconnor 3080 days ago
DSLs shouldn't be turing complete and turing complete languages shouldn't try to be DSLs.

Ant was a DSL that managed to become turing complete and the results were pretty horrible.

1 comments

Turing completeness is a symptom, not a cause. No one would argue that SQL is bad because some implementations are Turing-complete [0].

[0]: https://stackoverflow.com/a/7580013

>No one would argue that SQL is bad because some implementations are Turing-complete

They do actually. Though when people do say that it tends to be phrased "keeping business logic in stored procedures is a bad idea".

People argue that all the damn time.

Accidental turing completeness usually signals a design flaw somewhere (would you also consider it too controversial to argue that C++ templates mentioned in your link are nasty and people complain about them a lot?).