「Sun、新プログラミング言語Fortressをオープンソースとして公開」記事へのコメント

数学の記号が使える

[Anonymous Coward]

Guy Steeleが来日したときにFortressに関する講演を聞いたことがあります(そのときに配られた資料 [sun.com])。この資料の4ページ目には"Key Ideas"として、

- Don't build the language - grow it
- Make programming notation closer to math
- Ease use of parallelism

とあります。まぁ、興味があれば資料を読んでもらえればいいのですが、処理系とか並列処理とかよく分からない私にとっては"Key Ideas"の2点目にあげられているように、いくつかの数学の記号が使えるようになる点がこの言語のうれしいところだと思っています。識別子としてギリシャ文字などを含むUnicodeが使えるのはJavaでもそうなんですが、絶対値のあの2重縦棒だとか、ΣやΠが演算子(?)として使えるようです。資料の29〜30ページにASCII文字だけで書いたコードとUnicodeを使ったコードの比較がされています。後者の方が見やすいです。

Fortranの後継とあるように、数値演算分野で好んで使われるようになるのではないかと期待しています。もうFortranのコードは見たくありません。

# パスワード忘れたのでAC

Re:数学の記号が使える

[Anonymous Coward]

Fortressの重要なアイディアとして，1点目の

• Don't build the language - grow it

も見逃せないと思います．

これは，言語のコアはなるべく強力だけど小さいものにしておいて， ライブラリで頑張るという思想だと思います． （Schemeに通じるものがありますよね）

豊富な数学的記号の意味をライブラリとして定義することによって， 言語のコアは小さくしたまま，リッチな言語に成長させていくことができる， ということです．

あと，C++の演算子における多重定義の問題点も，演算記号の少なさが 原因の一つだったんだから，豊富な数学記号を用意してやれば この問題は解決できる．みたいな．

講演の詳細

[uxi (5376)]

「caldix」の作者K.INABAさん [impress.co.jp]が、その講演を聞いておられたようで
簡潔にまとめたメモを残されています [kmonos.net]。
一読の価値ありかと。

件の Fortress とは直接関係はないのかもしれませんが
Generalized Overloading なる話もあったようで、
あらかじめ用意された演算子のオーバーロードだけでなく、
自分で新たな演算子を定義できるようになるとかならないとか。
Unicode で書けば、視覚的にも分かり易く演算子が書けるというのは魅力かもしれません。

--
uxi

Re:講演の詳細

[Anonymous Coward]

> あらかじめ用意された演算子のオーバーロードだけでなく、
> 自分で新たな演算子を定義できるようになるとかならないとか。

それ何てAlgol N?

そういえば件の歌を歌っていたのは米田先生だったな。

Re:数学の記号が使える

[bsdworld (10030)]

数式処理とマルチコアプロセッサ向けならAPLの方が向いている気がする。
# Fortress の仕様は読んでいません。すいません。

Re:数学の記号が使える（Slashdotに聞け！）

[genzin (23225)]

変数や演算子などに数学記号が使えるのも非常に良いのですが、
コメントに数式を書きたくなることって無いですか？
ドットなどが大量にあるとどうしても見づらくなってしまって。
何か良い方法は無いでしょうか。

演算を行うルーチンを書く時など、処理内容を数式で直接書けると
可読性が増すと思うんですけど。
（文字で書けない事も無いけど、綺麗に書けるとうれしい）

Re:数学の記号が使える（Slashdotに聞け！）

[Anonymous Coward]

>変数や演算子などに数学記号が使えるのも非常に良いのですが、
>コメントに数式を書きたくなることって無いですか？
>ドットなどが大量にあるとどうしても見づらくなってしまって。
>何か良い方法は無いでしょうか。

私の理想は、ひとつのソース(仮にhoge.ftxとする）を書いて、

% platex hoge.ftx

とするとhoge.dviができて数式の羅列（とコメント文）になり

% fortx hoge.ftx

とすると、その数式の処理をしてくれるバイナリができることだ（無理

Re:数学の記号が使える（Slashdotに聞け！）

[Yoh2 (6924)]

WEB [wikipedia.org]なんていかが？
コード部分はPascal(オリジナルのWEB)かC(CWEB)に限られちゃいますが。

--
巧妙に潜伏したバグは心霊現象と区別が付かない。

ドキュメンテーションツール

[uxi (5376)]

Doxygen [stack.nl] はいかがですか？
Source code documentation generator tool の一つで
ソース書き加えた定型コメントから、
HTML, RTF, LaTeX フォーマットの API マニュアル等がサクッと生成できます。

コメントには LaTeX の数式が書ける [dti.ne.jp]他、
画像の貼込 [dti.ne.jp]も可能です。

--
uxi

APL

[Anonymous Coward]

UnicodeにはAPL [wikipedia.org]記号が含まれているからFortressもAPLをサブセットに含んでいたりして。

Re:数学の記号が使える

[Anonymous Coward]

Unicode文字って、どうやって入力するんだろう。

そりゃ、入力方法は、ないわけではないけど、プログラミング言語に
使おうと思うと、入力速度が気になるわけで。日本語プログラミングが
はやらない理由もそのへんにあるのかな、と。ふだんから多種類の
文字の扱いに慣れている日本人でさえそう思うのだから、いままで
文字の数とキーボードのキーの数がほぼ等しい中で生きてきた
欧米人は、かなり戸惑うかもね。

ASCIIでも表記できるとのことだから、いやな人は使わなけりゃいい
ということなんだろうけど。

Unicode文字の入力方法

[Anonymous Coward]

そういう心配もあったのですが、いまやEclipseといったIDEが当たり前になってきていて、コード片をショートカットキーで入力できるようになっているので、Fortress向けのEclipseプラグインとかできるようになれば問題なさそうです。あるいは、Fortressの場合はUnicode文字を使った表現と等価な表現をASCII文字で書けるっぽいので、もしそうだとしたら、ASCII文字で入力したものがインタラクティブにUnicode文字に変換されるようになると面白いですね。別に入力するぶんには、"sigma"とか"||"とか打つぐらいなんてことはないです。

Unicode文字の全てを入力しようというわけではなく、限られた文字を使うだけでしょうから、そういうのを入力するインターフェースはいくらでも考えられそうです。また、欧米人のうち数学記号が必要な人ならば、決してそういうのに慣れていないわけではないと思います。数式書くのにASCII文字以外使うでしょ。

Re:Unicode文字の入力方法

[Anonymous Coward]

Σがsurfaceの記号として使われたりする分野の人間としては、 総和だったら素直にsumと書いてもらったほうが紛れがなくて好いような気もします