I've read from some sources that CSS3 + HTML5 is Turing Complete. Someone with the nickname elitheeli proved this with a demo of a Rule 110 cellular automaton which is Turing complete. There is not javascript involved, just a html and css which is quite surprising when you open the repo.
I guess my eventual conclusion is that I'm wrong, it doesn't make sense to delineate HTML and CSS as something different, but also as others have noted that the distinction itself isn't all that useful. Calling something one category has no bearing on what you can or cannot do with it.
I've read from some sources that CSS3 + HTML5 is Turing Complete. Someone with the nickname elitheeli proved this with a demo of a Rule 110 cellular automaton which is Turing complete. There is not javascript involved, just a html and css which is quite surprising when you open the repo.
While very cool, isn't this an argument against? Neither language is Turing complete on their own, only in combination.
You are right and I feel the same. They aren't Turing complete on their own, only when combined. I'd have to look more into it.
Simply typed lambda calculus is not Turing complete either...
Right, because (as I understand it) you always get to normal form and terminate. It's not exactly a programming language either, though, right?
Yes. Expressions in typed lambda always terminate (you can't create Y-combinator, for example).
Why not? It's not very comfortable to use, but you can write a program in it, to calculate something
Heh, fair enough :)
I guess my eventual conclusion is that I'm wrong, it doesn't make sense to delineate HTML and CSS as something different, but also as others have noted that the distinction itself isn't all that useful. Calling something one category has no bearing on what you can or cannot do with it.
Scientific approach - given enough evidence one changes opinion
Gotta love a good ol' fashioned discuss!