Fortress

Fortress

開発かいはつ者しゃ	サン・マイクロシステムズ研究所けんきゅうじょ
最新さいしんリリース	1.0_5033/ 2011年ねん9月がつ7日にち (2011-09-07)
影響えいきょうを受うけた言語げんご	FORTRAN、Scala、Haskell
プラットフォーム	Java仮想かそうマシン
ライセンス	BSDライセンス
ウェブサイト	projectfortress.java.net>

Fortress（フォートレス）は、高性能こうせいのうを目指めざして設計せっけいされた実験じっけん的てきなプログラミング言語げんごであった。米国べいこく国防こくぼう高等こうとう研究けんきゅう計画けいかく局きょくの高こう生産せいさん性せい計算けいさん機きシステムプロジェクトの資金しきん援助えんじょを受うけてサン・マイクロシステムズ研究所けんきゅうじょで作つくられた。設計せっけい者しゃの一人ひとりにScheme、Common Lisp、Javaなどを手てがけたガイ・スティール・ジュニアがいる。ただし、現在げんざいは開発かいはつが中止ちゅうしされている。

特徴とくちょう

言語げんごの名前なまえ「Fortress」は英語えいごで「要塞ようさい」を意味いみする言葉ことばであるが、これには「安全あんぜんな Fortran」という意味いみが込こめられている。安全あんぜんな言語げんごとは、例たとえば「現代げんだいのプログラミング言語げんごに標準ひょうじゅん的てきに備そなわっている、抽象ちゅうしょう化かの仕組しくみや型かたの安全あんぜん性せいを保証ほしょうする仕組しくみを備そなえた高性能こうせいのうの計算けいさん機き言語げんご」ということである。この言語げんごはまた、暗黙あんもくの並列へいれつ性せいや、UNICODE 対応たいおう、数学すうがく記法きほうに似にた文法ぶんぽうという特徴とくちょうもある。この言語げんごは Fortran 言語げんごに似にせて設計せっけいされたわけではない。文法ぶんぽうが最もっとも近ちかい言語げんごは Scala、Standard ML、Haskell である。基礎きそ設計せっけいレベルで複数ふくすうのスタイルシートの文法ぶんぽうを持もつように設計せっけいされている。ソースコードは UNICODE 、 ASCII テキスト、あるいは、整形せいけいされた画像がぞうとして表示ひょうじできる。これにより、数学すうがく記号きごうやその他たの記号きごうをレンダリングされた出力しゅつりょくでサポートし、読よみやすさを向上こうじょうさせることができる。 Emacsベースのfortifyというツールは、ASCIIベースのFortressソースコードをLaTeXの出力しゅつりょくに変換へんかんする。

Fortress はまた、Java に由来ゆらいする高度こうどな並列へいれつ性せいと豊富ほうふに機能きのう性せいの両方りょうほうを兼かね備そなえている。例たとえば、forループは基本きほん的てきに並列へいれつ演算えんざんであり、環境かんきょうによっては逐次ちくじ的てきに実行じっこうされない場合ばあいがある。しかし、forループはライブラリー関数かんすうであり、プログラマーは組くみ込こみの for ループを、他たの好すきな for ループで置おき換かえることができる。

歴史れきし

Fortress言語げんごは「高こう生産せいさん性せい計算けいさん機きシステムプロジェクト」の三みっつの言語げんごの中なかの一ひとつであった。（残のこりの二ふたつの言語げんごは、IBM 社しゃの X10 言語げんごと、クレイ社しゃの Chapel 言語げんごである）サン・マイクロシステムズは Fortress の将来しょうらい性せいが不ふ確実かくじつだとして、2006年ねん11月にこのプロジェクトから離脱りだつした。

2007年ねん1月がつに Fortress は「オープンソース・コミュニティーによるオープンソース・プロジェクト」に姿すがたを変かえ、「サン以外いがいの人ひとたちが Fortress のコードを書かき、オープンソースの Fortress インタプリタで実行じっこうするようになった」。Fortress 言語げんご仕様しようの第だい 1.0 版はんは、2008年ねん4月がつに公開こうかいされた。Java仮想かそうマシンをターゲットとした実装じっそうに準拠じゅんきょした仕様しようであった。

2012年ねん7月がつには、減速げんそく期間きかんの後のち、積極せっきょく的てきな開発かいはつは終了しゅうりょうすると発表はっぴょうされた。既存きそんの仮想かそう機械きかい上じょうで Fortress 言語げんごの型かたシステムを使つかうのは複雑ふくざつであるとのことである。

例れい：Hello world!

これは、Fortress Reference Card で紹介しょうかいされている、典型てんけい的てきなHello worldプログラムのFortress版ばんである。

component hello
export Executable
run() = println(“Hello, World!”)
end

export文ぶんはプログラムをexecutableにし、Fortressのすべての実行じっこうプログラムはrun()関数かんすうを実装じっそうしなければならない。コンパイルのためにプログラムを保存ほぞんするファイルは、最初さいしょのcomponent文ぶんで指定していしたものと同おなじ名前なまえでなければならない。画面がめんに "Hello, World！" の文字もじを出力しゅつりょくするのは、println()関数かんすうである。

関連かんれん項目こうもく

• 区分くぶん化か大域たいいきアドレス空間くうかん
• Chapel
• X10 (プログラミング言語げんご)

外部がいぶリンク

• 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 発表はっぴょう資料しりょう