Proposal: Punctuation Character for Code Block's language specifier about djot HOT 6 OPEN

@Omikhleia As is, calling it a syntax error might be difficult. Verbatim text, is:

Verbatim content begins with a string of consecutive backtick characters (`) and ends with an equal-lengthed string of consecutive backtick characters.

Material between the backticks is treated as verbatim text (backslash escapes don’t work there).

If the content starts or ends with a backtick character, a single space is removed between the opening or closing backticks and the content.

If the text to be parsed as inline ends before a closing backtick string is encountered, the verbatim text extends to the end.

This is verbatim text:

`Verbatim text`

but so is this:

```Verbatim text```

from djot.

Actually, the current djot.js parser does allow ~~~ for code blocks, even though this isn't mentioned in the syntax description. So requiring that is a tempting solution to the ambiguity problem.

On the other hand, using ``` has a pleasing conceptual simplicity; it's not too different from """ for multiline strings and " for inline strings in some languages.

Curious to hear other comments on this.

from djot.

Actually, the current djot.js parser does allow ~~~ for code blocks, even though this isn't mentioned in the syntax description. So requiring that is a tempting solution to the ambiguity problem.

Yup! It's why I pushed it as an alternative. Glad we're aligned there.

On the other hand, using ``` has a pleasing conceptual simplicity; it's not too different from """ for multiline strings and " > for inline strings in some languages.

It is pretty intuitive at this point to reach for ``` isn't it? I didn't even know about ~~~ as a fence until I glanced at the js implementation to see how it handled the language specifier. Then tried it with github's markdown preview.

Curious to hear other comments on this.

Same. This other issues linked above are already filled with plenty of insights, but I don't think any of them touched on this specific issue/proposal.

from djot.

Ah, one more comment on:

Actually, the current djot.js parser does allow ~~~ for code blocks, even though this isn't mentioned in the syntax description. So requiring that is a tempting solution to the ambiguity problem.

Requiring ~~~ as the code block fence doesn't completely solve the ambiguity issue unless a blank line followed by ~~~ always becomes a code block. But even then, having a specifier character would help because of the ambiguity caused by hard breaks and whether the first word is a language specifier or not.

Without Hard Break

~~~ I'm a paragraph
~~~

leads to

<p>~~~ I’m a paragraph~~~</p>

With Hard Break

While

~~~ I'm
a paragraph
~~~

becomes

<pre><code class="language-I'm">a paragraph
</code></pre>

from djot.

The rule being:

A code block starts with a line of three or more consecutive backticks, optionally followed by a language specifier, but nothing else.

Then

``̀` Some things
``

Should perhaps

• Be a syntax error
• Or a language specifier "Some things"

(Depending on imposing or not restrictions on language specifiers)

from djot.

After writing that last comment, I think I'm slowly pushing myself over towards using tilde instead of backticks.

So, a code block would look like:

~~~
I am not a paragraph and I have no language specifier
~~~

or

~~~ I am not a paragraph and I have a language specifier
~~~

(Everything after ~~~ but before a new line ends up as the language specifier. "I am not a paragraph and I have a language specifier" in this case)

Which has a number of advantages:

• We'd get rid of the ambiguity between paragraphs and code blocks.
• We can't accidentally a paragraph from a code block
• and we don't add new punctuation syntax.

from djot.