InfoQ

InfoQ

News

マイブックマーク

ブックマークするためにログイン または 会員登録 する

ブックマークされました!

ブックマークがエラーになりました。もう一度お願いします。

JavascriptVMに多数の言語: CoffeeScript 1.0, StratifiedJS, EmscriptenによるC/C++, Python

作者 Werner Schuster , 翻訳者 編集部N 投稿日 2011年1月1日

セクション
設計/アーキテクチャ,
デベロップメント
トピック
Java ,
JavaScript ,
Websphere ,
Ruby ,
Python ,
C++ ,
.NET ,
IBM ,
アプリケーションサーバ ,
動的言語 ,
言語 ,
Agile in the Enterprise ,
コンパイラ ,
Agile ,
言語設計 ,
C ,
プログラミング

原文(投稿日:2010/12/25)へのリンク

Javascript VMは、今やどこにでもあり、増々速くなっている-この二つの特質は、言語設計者と実装者が好きなものである。JVMや.NETをターゲットにした言語には、非常に面白いものがあったが、最近は、多くの新しい言語やランタイムがJavascriptをターゲットにしている。

Javascriptの痛点は、言語そのものであるため、開発者は、Javascriptにコンパイルする新しい言語を作っている

バージョン1.0をリリースしたばかりの CoffeeScriptは、新しい言語で、Javascriptをきれいにし、いくつかの役立つフィーチャを加えることを目標にしている。CoffeeScriptコンパイラーは、CoffeeScriptで書かれており、きれいで、美しいJavascriptにコンパイルする。
ブロックを区切るのに、中括弧を使わずに、かなりのホワイトスペースを使っている。これは、CSS3 extension Sass, Hamlなどのような他の最近の言語と同じであるが、ディスカッション フォーラムを賑わし続けている。

CoffeeScriptは、1年ぐらい経つが、いくつかの公開プロジェクトが使ったために、最近知られるようになった。ArsTechnicaの iPadアプリケーションは、HTMLとCoffeeScriptを使って書かれており、PhoneGapを使ったネイティブなアプリケーションとして、走る。 37Signalは、 Chalkを公開したが、これは、iPad上で走るホワイトボード アプリケーションで、Cache Manifest のようなHTML5のフィーチャ使ってオフラインで走る。これもCoffeeScriptを使っている

StratifiedJSは、Javascriptのスーパーセットで、非同期プログラムの冗長さに対処するために、いくつかの並列性に関係したキーワードを追加している。もっと詳しいことは、StratifiedJSとそのブラウザ実装であるApolloの開発動機に関するインタビュー記事を見て欲しい。

Emscripten プロジェクトは、違ったアプローチを使っている。Emscriptenは、Javascript VMにLLVMコンパイラを持った言語を持ち込もうとしている。 LLVMが、バイトコードにコンパイルしたら、EmscriptenがJavascriptに翻訳する。マニュアルのメモリ割り当てがある程度サポートされている。Emscriptenは mallocのカスタム バージョンによって管理されるヒープ配列を使って、それをエミュレートしている。

CとC++コードは、Emscriptenを使って翻訳でき、このプロジェクト サイトには、いくつかの翻訳されたCとC++ライブラリのデモがある。しかし、 Python そして Lua ランタイムの翻訳バージョンのデモもこのサイトにある。

これらの新しい言語や翻訳されたランタイムの次は、既存の言語もJavascriptにポーティングされている。例えば、 Haskellや Steve Dekorte氏の Io language、そして Skulpt projectによるPythonがある。

これらのアプローチのどれが成功して、役立つものになるかは、まだわからない。しかし確かなのは、Javascript VM, JIT そして GCの開発者は、Emscriptenのようなアプローチが人気を集めることを予想して、パフォーマンス改善に常に取り組んだほうがよい、ということである。

特集コンテンツ一覧

GAE開発の落とし穴

Googleのクラウド環境をつかったGoogle App Engineによる開発するにあたり、初めての試みで苦悩する開発者達の経験をもとに、各開発フェーズにあわせて問題点やどう解決したかをご紹介します

イベントレポート:「Coqチュートリアル#1」

去る1月12日、定理証明支援系ツールCoqの初心者向けチュートリアルが開催さ れた(http://kokucheese.com/event/index/23667/)。今後も2月2日 (http://kokucheese.com/event/index/23744/)、2月9日、2月16日と引き続き開 催されていく予定である。本記事では、開催の様子をレポートする。

Javaの未来についてのNeal Gafter氏とのディスカッション

Choosing Options

Neal Gafter氏はOracleによるJava買収の影響に関する議論、Javaにセグメンテッドスタックやメタオブジェクトプロトコルを追加することについての主張、そしてJavaとC#との比較について話をしてくれた。

Google Dartのエッセンス:アプリケーションの構築、スナップショット、Isolate

GoogleはVMをともなう新しい言語であり、JSコンパイラでもあるDartをプレビューした。 InfoQはDartのアプリの構築に貢献する文法の裏側を探った:スナップショット、Isolate、モジュール方式

CSPベースのモデル検査ツール「Process Analysis Toolkit」

本記事ではCSPベースの「マルチドメイン・モデル検査ツール」である、PAT(Process Analysis Toolkit)について紹介する。モデル検査は、形式手法(Formal Method)という方法論を基礎とする技術であり、複雑さが増大しながらも安全性を求められる、現在のソフトウェア開発の状況に対する処方箋の1つとして注目されている手法である。

Jenkinsによる継続的インテグレーションのススメ(4) ~CloudBeesでJenkinsをサービスとして使う~

前回まで、Jenkinsの幾つかの側面に注目して解説をしてきました。シリーズ最後の今回は、Jenkinsをサービスとして使う方法を紹介します。

書籍『抽象によるソフトウェア設計-Alloyではじめる形式手法-』の紹介

Alloyは、MITにて開発された仕様記述言語であり、ツールによる自動解析を使い、インクリメンタルに形式仕様が書けることが特長である。筆者らはAlloy開発者による、Alloyを使った形式手法入門書を翻訳、今夏にオーム社より刊行した。本記事では、Alloyの簡単な概要と、翻訳書『抽象によるソフトウェア設計』(「Alloy本」)を紹介する。

Windows デバイスで開発するタッチユーザーインターフェイス

スマートフォンを中心としたマルチデバイスにおけるタッチユーザーインターフェイスへの対応は、既に必須の項目となりつつある。本記事では、Windows デバイスにおける UX のベースとなっている「メトロ」というデザイン言語を掘り下げながら、既存環境を意識しつつもどのようにタッチユーザーインターフェイス開発に取り組んでいくべきであるかについて解説していく。