News for hackers. Stuff that matters.
Re:True Scala complexity by gclaramunt on Wednesday January 11, 2012 @08:55AM (#3451735)
Coq is not turing-complete, but IMHO, completeness is overrated :)

I was trying to point that the "more powerful" criteria is pretty subjective.

The OP said "more powerful than the alternatives", that usually means "runs in the JVM"... and AFAIK, Jaskell or CAL are far from mature.

There are no comments on this comment yet.