InfoQ

InfoQ

News

マイブックマーク

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

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

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

Erlang VM上で増え続ける言語

作者 Sadek Drobi , 翻訳者 編集部 投稿日 2008年10月20日

セクション
デベロップメント,
設計/アーキテクチャ
トピック
プログラミング ,
パフォーマンス&スケーラビリティ ,
Architecture ,
Ruby ,
言語設計 ,
言語
タグ
Concurrency ,
仮想マシン ,
Erlang

Erlang VMのBEAMがホストする言語が増加している。Python/Rubyに似たスクリプティング言語のReiaとLisp Flavoured Erlangが先ごろリリースされた。Debasish Ghosh氏はこの傾向について思案しているが、他の制作者らはRubyやHaskellからヒントを得て、その他可能な変形言語を概説しようとしている。

少々昔のことになるが、Antares Traderのブログ投稿で、Rubyの構文が提供するメリットとErlangの同時処理モデルのメリットを組み合わせるために、Erlang VMのBEAM上にruby様の言語を実装する(リンク)というアイデアを模索していた。

Rubyを使えばオブジェクト指向プログラミングが簡単かつ楽しく、直感でできるようになります[...]しかし、Rubyの同時処理モデルは「暗黒時代」生まれです[...]

Erlangを使えば同時処理が簡単かつ自然になりますが、Erlangの構文は貧弱で静的、そして形式張っています。 

[...] RubyがJava VM上で動作し、その環境にそなわった能力のすべてを巧みに利用しながらも、表現に富んで効率的な言語であり続けるのなら、Erlang VMのBEAM上でRubyの修正バージョンを使ってもいいのではないでしょうか。

このように記した人物は、Erlang上のRuby様言語がどのような外観を呈しているかを概説しているが、その一方で、複数のコメント寄稿者が潜在的な問題や必要な予防策を強調し、Reia(Python/Ruby様言語)やLFE(リンク)(Lisp Flavoured Erlang)など、BEAMへ言語実装する既存のイニシアチブを指摘している。

Erlang VMについていくつか投稿しているDebasish Ghosh氏は、BEAM上に実装される変形言語の増加には勢いがついてきている(リンク)と考えているようだ。Ghosh氏は自身の投稿「Erlang VM : now hosting multiple languages」(今では複数の言語をホストするErlang VM)の中でReiaとLFEにも言及しているのに対し、コメント寄稿者の1人はHaskelベースのイニシアチブに触れている。Ted Leung氏が「これからはバーチャルマシンだけでなく、バーチャルマシン上に存在する言語もいっそう発展する(リンク)」と主張しているが、Erlangエコシステムの今回の成長は、Leung氏が言うところの言語が発展する全体的な傾向の一環である、とGhosh氏は示唆している。

 

原文はこちらです:http://www.infoq.com/news/2008/10/more-languages-on-erlang-vm

特集コンテンツ一覧

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 のベースとなっている「メトロ」というデザイン言語を掘り下げながら、既存環境を意識しつつもどのようにタッチユーザーインターフェイス開発に取り組んでいくべきであるかについて解説していく。