関数型言語（関数型プログラミング）の勝利？

関数型言語の既存言語への影響

JavaScript: 世界で最も誤解されたプログラミング言語

Cの皮を被ったLisp
JavaScriptには、Cのような中括弧や不格好なforステートメントがあるため、一般的な手続き型言語のように見えますが、 それは誤りです。JavaScriptはCやJavaよりも、LispやSchemeのような関数型言語と多くの共通点を持っているのです。

RubyがLispから継承したもの、してないもの

プログラマが感じるRubyのよさはLispから受け継がれていると、Rubyのデザイナであるまつもと氏は話す。 Lispの8割から9割くらいの特徴が Rubyに受け継がれているとも。 プログラマであるまつもと氏が使い勝手にこだわった言語として、Rubyはデザインされている。 その特徴に共感を覚えた世界中のプログラマたちが、現在のRuby人気を支えている。

再評価の気運が高まる関数型言語

twitterブームの陰で注目を集める“Erlang”

twitterでは、メッセージングシステムに“ejabberd”を使っているという。これは“Erlang”で書かれたIMサーバだ。 オープンなIM標準規格のJabberに対応している。 また、クック氏がプレゼンテーションの中でRoRの代替として挙げている候補の1つ、 “RabbitMQ”も、Erlangで書かれたメッセージングサーバだ。

Rubyの開発者として知られる、まつもとゆきひろ氏も、 4月18日の“「次」の言語”と題したブログのエントリで「次にくるトレンドは『関数型』と『並列』。 両方を押さえたErlangが本命。歴史も信頼性もあり、知名度上昇中」と、 次にメジャーになりうる言語の本命にErlangの名前を挙げている。

MSの新言語「F#」は関数型プログラミングがベース

Microsoftが開発中の新言語「F#」の名前は、関数型プログラミング（Functional Programming）の頭文字「F」を取ったものだ。

「F#は関数型プログラミングの伝統から生まれ（それゆえ「F」なのである）、ML言語系統の流れを色濃く反映しているが、 C#、LINQ、 Haskellの特徴も備えている。 F#は開発当初から、.NET向けの第一級言語になることを目指してデザインされた」とソマセガー氏は語る。

関数型プログラミングを楽しむ

関連リンク

【新・言語進化論】次にくる！新登場言語 （Think IT）

• 第1回：今勉強したい関数型言語「Haskell」
• 第2回：言語開発者が目標にするパフォーマンス「Lua」
• 第3回：オブジェクト指向と関数型を兼ね備えた「Scala」
• 第4回：並列処理が可能な関数型言語「Erlang」

プログラミング言語の進化を追え （developerWorks）

• 第1回 サルでも分かるプログラミング言語の新潮流(前篇)
• 第2回 サルでも分かるプログラミング言語の新潮流(後篇)
• 第3回 クロージャとオブジェクトの微妙な関係(1)
• 第4回 クロージャとオブジェクトの微妙な関係(2)

読み物

• マルチコア危機：ScalaとErlangの対立 （InfoQ）
  『並列的でないコードは速く実行できないばかりか、むしろ実行するのが遅くなってしまうだろう。』
• 未来の言語は「APL」？ Rubyのまつもと氏が講演 （＠IT）
  『まだ現代の言語に入っていない“ロスト・テクノロジ”があるのではないか』
• 技術野郎の復讐---Revenge of the Nerds---
  『2002年の今になって、プログラミング言語はようやく1958年に追い付こうとしている。』

覚え書き

• サラリと眺めた感じでは、学習するのにかなり数学的なセンスを要求されそうな気がします。 センスを計るバロメータ、もしくはフィルタのようでビビります。 しかし、これまでは目にしても全力でスルーして来た用語や概念を強制的に学習できそうです（養成ギブスですね）。
• 関数型言語を学習することは、短期的にはそれほど大きなメリットが無いかも知れません。 それでも、JavaScript や Ruby などのように関数型言語の影響を受けている言語を使用する場合には、 思考や発想に良い影響を与えるに違いありません。
• LISPが発明されたのは1958年ということなので、今年の2008年でちょうど半世紀ですね。 長年に渡る研究の成果が実を結んでいくのを感じます。

更新履歴