「言語は育てるもの：Javaの未来の姿とは」記事へのコメント

GLS

[(((((lambda))))) (3568)]

プログラミング言語界ではイニシャルだけでも 通る有名人ですが、 外では「たぶんすごい有名人なのだろうが」くらいの知名度なのかな。

• 学生の時から歴史に残る論文出しまくり。 いわゆる「lambda papers [readscheme.org]」は言語設計者必読の論文群。
• プログラミング言語Schem

Re:GLS

[saitoh (10803)]

「LISP系」言語界の中での有名人じゃないの？ リンク先をみたけど、LISP/scheme系の論文しかない。 計算機言語関係の有名人ではあってもトップ5には入らないような。
ラムダ計算の提唱者であるchurchとか「チャーチ・ロッサ性」の Rosserクラスだと、LISP系であろうが無かろうが、 計算機科学界 の者は知って手当然だけどさ。
「たぶんすごい有名人なのだろうが」じゃなくて、 「あ、schemeを作った人ね」とか 「誰？それ」くらいの知名度だと・・・。
CやFORTRAN90の言語仕様にも関わったらしいけど、 多少詳しい人でも認識は、「C？カーニハンとリッチーが作ったんでしょ」 「FORTRANはバッカスが作った」がいいところだし。
P.S. ゴスリングはjavaで有名になって、emacs(gosmacs)の作者というのは 知らないとの方が多くなってしまった。

Re:GLS

[(((((lambda))))) (3568)]

ああ、確かにLisp系の人ではありますね。1980年代から言語やってる人なら、その人の専門言語が何であれ、Lisp界とつながりがあることが多いと思いますが。トップ5に入るかと言えば他にも重要な人はたくさんいますからねえ。

リンク先はSchemeの論文アーカイブですからLisp/Scheme系の論文しか置いてないんですが、並列計算関係や関数型言語関係の論文も出してます。

ただ、オブジェクト指向言語を考えるなら、アクターとクロージャの等価性を示している"LAMBDA: The Ultimate Declarative" くらいは(その見方に賛成するか反対するかはともかく)基礎教養と言えるのではないかと。