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.
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!