InfoQ ホームページ Functional Programming に関するすべてのコンテンツ
-
Scalaのアクターのための性能を犠牲にしないで競合安全性を確保する型システム
Philipp Haller氏とMartin Odersky氏が紹介するのはScalaのアクターが安全にメッセージを送受信するための型システムだ。EPFL Scalaコンパイラの拡張として定式化されたこの“オブジェクト能力型”システムはオブジェクトの能力に対する検証と外部向けの一意性に基づいている。この仕組みは、性能を犠牲にすることなく競合に対する安全性を確保し、メッセージ送受信の既存の方法にある無視できない限界を取り除く。
-
Blackboard による Ruby でのタプルスペース永続性の調査
Ruby 1.8 のグリーンスレッドは，以前からその性能が批判されている。Luc Castera氏は RubyNation コンファレンスでRuby とタプルスペースによる並列プログラミングの発表を行い，Ruby でのタプルスペース実装方式として，Rinda と Redisを用いたBlackboard(とErlangへの移植計画)の２つを紹介した。
-
総まとめ：Javaの将来的な後継者としての Scala
Scalaが最近，将来のJava 後継者の有力候補として注目を集めている。Java の創作者である James Gosling 氏やJRuby の主要開発者である Charles Nutter氏に続いて，Groovy の創作者であるJames Strachan 氏も Scalaへの賛意を表明している。
-
Twitter、進化するアーキテクチャ
Twitterサービスチームの主任エンジニアであり、主に最適化とスケーラビリティを担当しているEvan Weaver氏が、QCon London 2009においてTwitterのアーキテクチャ、とりわけ過去一年にわたって行ってきたウェブサイトの最適化について語った。
-
Goat Rodeo: ウェブアプリケーション用統合データモデル
David Pollak氏 (ウェブフレームワークLiftのファウンダ、および「Beginning Scala」の著者) は、21世紀にデータモデリングをもたらすことを目指した新たなイニシアチブ「Goat Rodeo」を発表した。
-
データ、コンテキスト、相互作用 : James O. Coplien氏とTrygve Reenskau氏による新しい設計方法
このほど、James O. Coplien氏とTrygve Reenskaug氏は、OOPの新しい設計方法を紹介した。データ(Data)、コンテキスト(Context)、相互作用(Interaction)パターンに基づく設計方法である。この設計方法により、今までのOOPでは捕らえることができなかった振る舞いに関する要求、つまりユーザが思い描くモデルを把握することが可能となる。この記事では、多くの反響や批判があったDCIに関して、例を示しながら洞察し、その優位性について説明する。
-
データフローでのRuby向け宣言型並列性
Ruby言語の一部が、関数型プログラミング技法によって影響を受けた。Rubyプログラマは、その後ErlangまたはHaskellから技法を導入したり、これらの言語へのブリッジ(Erlectricityなど)を作成した。
-
Axum - Microsoftによる並行性のためのアプローチ
AxumはMicrosoftのインキュベーション言語プロジェクトであり、分離やアクター、メッセージパッシングを通じて.NETに並列プログラミングモデルを提供するものだ。以前はMaestroと呼ばれていた。この言語はErlangから多くの概念を借り受けているが、C#風の構文を使っている。
-
C++とJavaのレガシーについて語るのは時期尚早か？
C++とJavaが残したレガシーについてBruce Eckel氏が最近投稿したブログが大きな反響を呼んだ。彼はいくつかの設計ミスについて述べるも、両言語がプログラミング言語の発展において大きな役割を担い、重要な建設的レガシーを残してきたと結論付けた。しかし、これら言語のレガシーについて語るのはまだ早いのではないだろうか。
-
JOSH：エンタープライズ向けに提案されたソフトウェアスタック
ブロガーであるGrey Lens Man氏が、エンタープライズを悩ませているレガシー問題について興味深い記事を投稿し、実行可能なソリューションとして新たなソフトウェアスタック(JOSH、JSON OSGi Scala HTTP)を提案している。
-
現実世界のアプリケーションでHaskellを学習価値があるようにさせるもの
Real World Haskellの共著者の一人John Goerzen氏がO’Reillyへの最近のインタビューでpurity、laziness、再帰性など、Haskellが学ぶ価値のある理由について話している。しかし、オブジェクト指向や命令プログラミング出身の人びとにとっては、乗り気がしない原因になるかもしれない。
-
Clojureで作成されたアプリケーションが実運用に入ったと発表
先日Clojure Google Groupが、部分的にClojureを使った病院サービス・システムが開発され大きな獣医院での実運用が始まったと発表した。その製品は複数の開発言語と技術によって開発されているようだが、Clojureはその中でも重要な役割を担っているようである。
-
プログラミング言語：2008年の振り返りと2009年の展望
昨年の年初、Ehud Lamm氏がLamba the Ultimate上で他のブロガーにも呼び掛けて2008年のプログラミング言語(PL)分野に関する予言を投稿するスレッドを立ち上げた。
-
Windows Azure向けErlangバインディング
RESTアーキテクチャの利点の1つは、言語間バインディングの実装をはるかに容��にすることである。Sriram Krishnan氏が、並列プログラミング言語、Erlang向けに一連のAzureバインディングを作成した。
-
.NETアプリケーション向けErlangスタイルの並行性 パート1 - CCR
Erlangは、非常に軽量な、スレッドのようなコンポーネントとしてしられるアクターとの非常にスケーラブルな並行性を可能にする。残念なことに、Erlangを使用するには、レガシーコードをやや難解な言語に再書き込みすることが必要である。しかし、.NETのロボット工学部門によって開発された、ほとんど知られていないCCRプラットフォームといった他のオプションがある。