JavaScriptの“もろい”タイプセーフを解決する「Onux JS++」：タイプセーフの仕組みを解説

JavaScriptにはさまざまな欠点があり、その1つであるタイプセーフを実現するツールも複数存在する。今回は、JavaScriptでタイプセーフを実現する実装の1つ、「Onux JS++」について、Onuxの創設者に話を聞いた。

[Adrian Bridgwater，Computer Weekly] PC用表示関連情報

LINE

Hatena

　「JavaScriptはもろいプログラミング言語だ。タイプミス1つでサーバがダウンすることもある」。そう話すのは、ロンドンに拠点を置くOnuxの創設者ロジャー・プーン氏だ。

Computer Weekly日本語版　8月3日号無料ダウンロード

本記事は、プレミアムコンテンツ「Computer Weekly日本語版　8月3日号」（PDF）掲載記事の抄訳版です。本記事の全文は、同プレミアムコンテンツで読むことができます。

Computer Weekly日本語版　8月3日号：Watsonが企業にやってくる

なお、同コンテンツのEPUB版およびKindle（MOBI）版も提供しています。

JavaScriptを重視するMicrosoft、Facebook、Google

　実のところ、JavaScriptの型チェックがコンピュータ科学の最重要分野の1つであることは確かだ。Microsoft、Facebook、Googleがこの問題に取り組んでいることからも、それがいかに困難かつ重要であるかが分かる。

　JavaScriptには6つの型がある。Object、Number、String、Boolean、Null、未定義の6つだ。

　問題なのは、99％の正確性ではよしとはされず、100％の正確性が求められることだ。

　OnuxはJavaScriptの「タイプセーフ」版である「Onux JS++」をリリースした。プーン氏によれば、コードを実行せずにJavaScriptを分析するのは非常に難しく、その上Webブラウザやプラットフォームごとにコードの実行方法が異なる場合があることから、このテクノロジーを思い付いたという。