高階プログラミング(Higher-Order Programming:略称HOP) 推進プロジェクト始動のご案内 :: 株式会社タイムインターメディア

～次世代を担う言語、Haskell・Gaucheを世界に先駆けて 　エンタープライズコンピューティング市場に～

株式会社タイムインターメディア(本社: 東京都新宿区坂町26-27，資本金 1億 3650万円、代表取締役佐藤孝幸、以下タイムインターメディア)は、この度、高階プログラミング(Higher-Order Programming:略称HOP)推進プロジェクトを 立ち上げ、未来の主流プログラミング言語となると目される、Schemeの処理系であるGaucheや、純粋関数型言語Haskellの、利用促進イベントの開催、開発ツールの開発提供、コンサルティングサービスの提供を開始することを発表いたします。

タイムインターメディアでは、創業当初よりオープンソースソフトウェアの企業システムへの活用に注力すると共に、抽象力･表現力にすぐれたプログラミング言語による柔軟かつ、動的進化や変更にも強いプログラミング技法やフレームワークの開発にも取り組んでまいりました。

プログラミング技術はより抽象化の高い言語によって進展するとされています。たとえば、近年見られるRuby on Rails の興隆は抽象力、表現力にすぐれたプログラミング言語の力によるものです。

抽象力の高いプログラミング言語による開発は、柔軟でかつ、動的な進化変化に強いシステムにかかすことはできません。タイムインターメディアには、プログラミング言語Schemeの処理系であるGaucheや純粋関数型言語Haskellの処理系GHC(Glasgow Haskell Compiler)を使った「メタプログラミング」や「高階プログラミング」の技法やノウハウが蓄積されています。これらの技法は、いわゆるオブジェクト指向とは直交する技法で、関数や処理の標準部品化が容易になるという特徴があり、開発効率、部品の再利用性、システム進化への対応力にすぐれた技法です。

活用方法として、 例えばプログラムを実行しながら、動的に当該プログラム自身をプログラムするというアイデアが実現可能です（Gaucheではマクロを利用、Haskellなら高階関数を利用）。これは、言語内に埋め込みで新しい言語を作ってそれを用いて問題を解決するというEDSL(Embedded Domain SpecificLanguage)を実現するためのもっとも自然なアイデアです。

DSLの考え方はRubyやPythonのような言語のプログラミングで再発見され注目されるようになりましたが、実は元来マクロを持つGaucheのようなLisp族の言語や、遅延評価を基本とするHaskellのような関数型言語では自然な考え方です。このため、RubyやPythonよりもGaucheやHaskellを使う方が遥かに自然であり、ずっと再利用性も拡張性も柔軟性も高く、かつ簡潔なプログラミングになります。

タイムインターメディアはこの「高階プログラミング」の技法を広く普及させ、この業界全体の進展に貢献すべく、HOPプロジェクトを始動しました。同プロジェクトの具体的施策第一弾として、勉強会、技術セミナーの開催あるいはその支援を通じて、今後継続的に(1)Gaucheプログラミング(2)Haskellプログラミング(3)Kahuaフレームワーク開発など「メタプログラミング」、「高階プログラミング」の技法に関する技術セミナーを開催いたします。

まず、その第一回目として、下記の日程にてKahuaプロジェクトと「Gauche/Kahuaセミナー 2008 Fall」を共催いたします。

プログラム、参加申し込みの詳細はタイムインターメディアのWebサイトおよびKahuaプロジェクトのWebサイトにてご案内いたします。

新世代を担うプログラミング言語にご注目される、多くの皆様のご参加をお待ちしております。

なおタイムインターメディアでは、今後HOPプロジェクトを通じて、当該言語の更なる利用推進をはかるとともに、利用拡大につながる様々な開発基盤ツールの開発に着手し、その配布、ならびに企業向けコンサルティングサービス提供を行ってまいります。

【お問い合わせ 】
株式会社タイムインターメディア
オープンソース推進室
〒160-0002 東京都新宿区坂町26-27 IPBビル
電話03-5362-9009
担当: 山下