Fortress
| Fortress | |
|---|---|
| 開発者 | サン・マイクロシステムズ研究所 |
| 最新リリース | 1.0_5033/ 2011年9月7日 |
| 影響を受けた言語 | FORTRAN、Scala、Haskell |
| プラットフォーム | Java仮想マシン |
| ライセンス | BSDライセンス |
| ウェブサイト |
projectfortress.java.net> |
Fortress（フォートレス）は高性能を目指して設計されたプログラミング言語である。米国国防高等研究計画局の高生産性計算機システムプロジェクトの出資のもとサン・マイクロシステムズ研究所で作られた。設計者の一人にガイ・スティール・ジュニアがいる。
特徴
言語の名前「Fortress」は英語で「要塞」を意味する言葉であるが、これには「安全な FORTRAN」という意味が込められている。安全な言語とは、例えば「現代のプログラミング言語に標準的に備わっている、抽象化の仕組みや型の安全性を保証する仕組みを備えた高性能の計算機言語」ということである[1]。この言語はまた、暗黙の並列性や、UNICODE 対応、数学記法に似た文法という特徴もある。この言語は FORTRAN 言語に似せて設計されたわけではない。文法が最も近い言語は Scala、Standard ML、Haskell である。基礎設計レベルで複数のスタイルシートの文法を持つように設計されている。ソースコードは UNICODE で書かれた ASCII テキスト、あるいは、整形された画像として表示できる。この仕組みによって、数学記号や他の記号を使って出力文書をより読みやすくすることが可能となっている。
Fortress はまた、Java に由来する高度な並列性と豊富に機能性の両方を兼ね備えている。例えば、forループは基本的に並列演算であり、環境によっては逐次的に実行されない場合がある。しかし、forループはライブラリー関数であり、プログラマーは組み込みの for ループを、他の好きな for ループで置き換えることができる。
歴史
Fortress言語は「高生産性計算機システムプロジェクト」の三つの言語の中の一つであった。（残りの二つの言語は、IBM 社の X10 言語と、クレイ社の Chapel 言語である）サン・マイクロシステムズは Fortress の将来性が不確実だとして、2006年11月にこのプロジェクトから離脱した[2]。
2007年1月に Fortress は「オープンソース・コミュニティーによるオープンソース・プロジェクト」に姿を変え、「サン以外の人たちが Fortress のコードを書き、オープンソースの Fortress インタプリタで実行するようになった」[3]。Fortress 言語仕様の第 1.0 版は、2008年4月に公開された。Java仮想マシンをターゲットとした実装に準拠した仕様であった。
2012年7月には、減速期間の後、積極的な開発は終了すると発表された。既存の仮想機械上で Fortress 言語の型システムを使うのは複雑であるとのことである[4]。
脚注
関連項目
外部リンク
- Project Fortress
- Active Timeline of Specification and Reference Implementation
- The Fortress Language Specification (Latest version is 1.0, March 31, 2008) （PDFファイル）
- The Soul of Fortress （ガイ・スティール・ジュニアへのインタビュー）
- Fortress Open Source Project Home
- Project Fortress Mailing Lists
- Programming Language Research Group
- Fortress Publications and Specifications
- Fortress Plugin for Eclipse
- Fortress FAQ
- Fortress Programming Language Tutorial （PDFファイル）
- Lambda the Ultimate 文書
- Sun's Fortran replacement goes open-source （
CNET News.com、2007年12月1日） - Project Fortress 発表資料