JavaScriptの生みの親「自動セミコロン挿入やめときゃよかった……」

末尾セミコロンはしばしば宗教戦争になりますね。
Qiitaでもその他のSNS等でも、そのようなバトルはいくらでも見つかります。

しかし意外にも、この戦争の原因を大本まで辿ってる人はほとんど見当たりません。
見つけたものでは[この人](https://blog.tai2.net/automatic_semilocon_insertion.html)(と、この記事を参照している記事)くらいでした。

以下は、JavaScriptの末尾セミコロンについて、JavaScriptの生みの親である[Brendan Eich](https://ja.wikipedia.org/wiki/%E3%83%96%E3%83%AC%E3%83%B3%E3%83%80%E3%83%B3%E3%83%BB%E3%82%A2%E3%82%A4%E3%82%AF)による見解、[The infernal semicolon](https://brendaneich.com/2012/04/the-infernal-semicolon/)の紹介です。
なお2012年の記事なので、存在しないリンクや古くなった知見が含まれる可能性があります。


# The infernal semicolon

[このツリー](https://github.com/twbs/bootstrap/issues/3057)のコメントを見るたびに、私は悲しみに包まれます。

問題のコード、

```js
  clearMenus()
  !isActive && $parent.toggleClass('open')
```

このコードは[自動セミコロン挿入(ASI)](https://en.wikibooks.org/wiki/JavaScript/Automatic_semicolon_insertion)に依存しているため、ミニファイを行うためには、ASIを含めた完全なパースを行い、`clearMenus()`の次の改行の意味を調べて改行を削除すると同時にセミコロンを挿入しなければなりません。

これは[JSMin](https://www.crockford.com/javascript/jsmin.html)のバグであるという意見もあるようですが、[Doug Crockford](https://crockford.com/)は[コードの変更を拒否しました](https://github.com/twitter/bootstrap/issues/3057#issuecomment-5135512)。

参考までに、私はDougの意見に賛成です。

また私は、[@cramforce](https://twitter.com/#!/cramforce/status/191560711565086720)と[@jedschmidt](https://twitter.com/#!/jedschmidt/status/191559562069946370)の意見にも同意します。
この`&&`の使い方は、この言語がJavaからの流れを汲んでいるから許されているにすぎない[濫用](https://en.wiktionary.org/wiki/abusage)であり、if文のほうがより良いスタイルであることは間違いありません。
すなわち、JSMinのほうが正しい姿勢でしょう。

しかし、この姿勢は「ASIとミニファイを両方動かしてくれ」を解決するにはあまりにアドホックです。

[Dougは次の発言でこのようにも言っています](https://github.com/twitter/bootstrap/issues/3057#issuecomment-5135562)。

:::note
TC39は、`!`を中置演算子として使うことを検討している。
このコードは早晩動かなくなることだろう。
セミコロンの正しい使い方を学んでくれ。
:::


中置演算子としての`!`は[Promise](https://wiki.ecmascript.org/doku.php?id=strawman:concurrency)の[シンタックスシュガー](https://wiki.ecmascript.org/doku.php?id=strawman:concurrency#syntactic_sugar)であり、まだ正式な構文は決まってないし、他の構文になる可能性もあります。

とはいえ、Dougの言うとおり、`!`は文の終端でもなければ開始地点でもありません。
そして私が追加で主張したいのは、改行も同様である、ということです。

[Promiseのプロポーザル](https://wiki.ecmascript.org/doku.php?id=strawman:concurrency#eventual_operations)で`[nlth]`を調べると、ASIと中置演算子について驚くようなことが書かれています。
すなわち、将来的に新しい中置演算子を追加する可能性があるし、それどころか`is`や`isnt`のようなキーワード演算子も追加する可能性があるというのです。
そして、それらの中置演算子は、`[no LineTerminator here]`とさます。

[ECMA-262](https://www.ecma-international.org/publications/standards/Ecma-262-arch.htm)では`[no LineTerminator here]`はそこに終端が許可されないことを示し、たとえば`return`の右に返り値を書かない改行などを表します。

中置演算子の将来変更されるかもしれない機能の変更は、改行コードに敏感であるASIに直接的に影響します。


```js
let flag = x is y;  // 
x ! p = v;          // 
```

Bootstrap自体は優れたライブラリですが、Bootstrapの[2行のコード](https://twitter.github.com/bootstrap/)についてはとても悪いというDougの主張について、私は同意します。
この例の1行目の終端記号は、たしかに重要です。

この話の教訓として、ASIは構文エラーを修正する手続きにしかすぎません。
ASIが普遍的な構文規則であるかのようにコーディングしてしまうと、問題が発生します。
これはECMA-262の典型的な例です。

```js
a = b + c
(d + e).print()
```

同様の問題は`[`、`/`、単項`+`や`-`等でも発生します。
なお、エラーがなければASIは適用されないことを覚えておいてください。

この問題は些細なことに思えるかもしれませんが、JavaScriptファイルの結合を始めるとより深刻になります。
そのため、DojoやIRCなど幾つかのスタイルガイドでは、ファイルの冒頭を`;`で始めることを推奨していますが、だいたい忘れられがちです。

1995年5月のとある10日間、改行についてもっとよく考えておけばよかったと思います。

きっと、行継続にASIではなく、`\`や括弧を必須にするようにしていたことでしょう。

しかし、この船はもう17年も前に出航してしまっていました。

JavaScriptで改行をシステマチックに扱うには、[Harmony](https://brendaneich.com/2012/10/harmony-of-dreams-come-true/)による[括弧の使い方の進化](https://brendaneich.com/2010/11/paren-free/)が必要です。
私は[これに取り組むつもり](https://wiki.ecmascript.org/doku.php?id=strawman:paren_free)ですが、ES6ではもうできそうにありません。

GitHubのIssueには、素朴で理想的で、そしてとてもバカバカしいコメントが並んでいます。
いつからプログラミング言語には引数構文がなくなったのでしょうか？
私の知っているあらゆる実用的な言語は、書式に自由度を持っており、良い使い方と同じだけ悪い使い方も可能になっています。
言語設計者は、[書き方の自由度を減らす](https://robert.ocallahan.org/2010/07/coding-style-as-failure-of-language_21.html)努力はできても、それを完全に排除することはできません。

私の主張はふたつです。
JavaScriptの改行に影響を与えるようなASIの使い方をしないでください。
そして、`if`文を使うべきところに`&&`や`||`を濫用しないでください。

また、JavaScriptの名状しがたく半端に長い歴史を鑑みて、私であればJSMinを修正するであろうと言っておきます。
もっとも、その前に刺々しいコメントのひとつふたつくらい吐いておくとは思いますけどね。


# 感想

ということで、JavaScriptの生みの親はセミコロン付けろ派でした。

ただし、この記事が書かれたのは2012年であり、その後`isnt`なる演算子も消滅し、[Standard Style](https://standardjs.com/)やらVueやらセミコロン付けないタイプのライブラリも多数進出してきてしまったので、今現在の考えがどうなっているかはわかりません。
あと記事内からの外部リンクが軒並み死んでたので、その先に何が書かれていたのがわからず、それに同意って何に同意なんだよというのがわからないのがだいぶ困りました。

とはいえ全体として、ASIはあくまで構文エラーを緩和する手段でしかないので、それに頼るべきではないという主張です。


ちなみに私は個人的には必ずセミコロンを付けますが、セミコロン付けろ派というよりは文法で禁止しろ派です。
どちらの書き方もできてしまうから紛糾するわけで、付けるにしろ付けないにしろ、どちらかの構文しか使えないようにすれば解決するわけですね。

まあ、こんな主張は互換性が崩れるので絶対通りませんが。


# おまけ

[発端となった](https://github.com/twbs/bootstrap/issues/3057)のはbootstrapのIssueです。

englishextra「bootstrapのコードをJSMinでminifyしたら壊れるんだけど。ソースに`;`入れてくれ。」
fat「いやそれJSMinのバグだから。Dougに言ってくれ。」
Doug「こんな非常識で愚劣なコードのためにJSMinをどうにかする気はない。」

以後はfatもDougも現れず、第三者同士によるぐだぐだバトルが200コメント以上続くことになりました。

fatはbootstrapの[トップコントリビュータのひとり](https://github.com/twbs/bootstrap/graphs/contributors)で、そしてDougは[JSMin](https://github.com/douglascrockford/JSMin)の作者です。

[JSMin](https://github.com/douglascrockford/JSMin)はJavaScriptコード中のコメントや不要な空白を削除し、サイズを小さくしてくれるライブラリです。
構文解析しているわけではなく形式的に変換しているので、上記のような問題が発生しました。
bootstrapがきちんと`;`を入れておけば起こらないバグだということで、Dougは修正を拒否しています。
それにしても[That is insanely stupid code.](https://github.com/twbs/bootstrap/issues/3057#issuecomment-5135512)とは言いますね。

当時はきっと役立つライブラリだったに違いありませんが、その後Babelやらgulpやらのきちんと構文解析したうえで縮小してくれるMinifierが現れてきたので、現在ではもう役目を終えたと言っていいでしょう。
あと[コミットメッセージ](https://github.com/douglascrockford/JSMin/commits/master)はもうちょいどうにかしてほしい。