A strange question: is the form 'do is' correct? For example:
HTML is not a programming language. On the other hand, JavaScript, that can be used in a HTML document, do is a programming language.
No. do + be by itself is not a valid construction.
One of many possible replacements for your incorrect construction is:
HTML is not a programming language. On the other hand, JavaScript, that can be used in an HTML document, really is a programming language.
There is a whole class of words used to intensify verbs, adjectives or adverbs in some way. These are the intensifiers. Explaining all of them takes up more room than can reasonably fit in an answer. Just look up each intensifier in a dictionary.
http://dictionary.cambridge.org/grammar/british-grammar/intensifiers-very-at-all
https://en.wikipedia.org/wiki/Intensifier
https://learnenglish.britishcouncil.org/en/english-grammar/adjectives/intensifiers
"do" can be used to intensify almost any English verb, in which case it is often written in italics and spoken with heavy emphasis:
Despite the tedious grammar, I do appreciate English.
However, "do" cannot precede an auxiliary verb, where auxiliary verbs include be, will, can, may, etc. The same kind of intensification can still be done, but only by intensifying the auxiliary verb itself:
Unlike HTML, Javascript is a programming language.
(EDIT: On a side note, even if 'do' were acceptable, the standard conjugation would be does be
and not do is
.)
"do is" is wrong here. In this case it would have to be "does be" but while being formed according to the rules of the trade, it would still end up being wrong.
Interesting enough, you can use this combination for the imperative mode: "do be a nice guy and fetch me a beer" is actually fine unless you are a teetotaler.
I don't really know whether there is an actual rule at play here or whether it just managed escaping into the vernacular because of sounding least contorted among its equally logical but impermissible cousins.
do is a programming language
means there's a programming language called "do" (why not? Go already exists :)).