トップページ⇒tech
216コメント61KB

関数型言語で作られた有名ソフトって何がある?

■ このスレッドは過去ログ倉庫に格納されています
0001デフォルトの名無しさんNGNG
何もないの?

<参考スレ>
delphiで作られた有名ソフトって何がある?
http://piza.2ch.net/test/read.cgi?bbs=tech&key=990056026
vbで作られた有名ソフトって何がある?
http://piza.2ch.net/test/read.cgi?bbs=tech&key=990101968
Javaで作られた有名ソフトって何がある?
http://piza.2ch.net/test/read.cgi?bbs=tech&key=991006098
0002デフォルトの名無しさんNGNG
むやみに立て過ぎだろー。
0003デフォルトの名無しさんNGNG
Haskellコンパイラ(Glasgow)はHaskellで,
Standard MLコンパイラ(NJ)はStandard MLで書かれていますが何か
0004デフォルトの名無しさんNGNG
確かにそれは有名だ。
0005デフォルトの名無しさんNGNG
> Standard MLコンパイラ(NJ)

なんか見慣れない呼び方だね……
SML/NJ(SMLコンパイラ)って書いたほうが……
0006デフォルトの名無しさんNGNG
>>3
それしかないの?
0007デフォルトの名無しさんNGNG
Haskellとかだと、この辺に一杯あるけどなんか学術目的のものが多くて
普通の人は誰も知らないっぽい。
http://www.cs.bell-labs.com/who/wadler/realworld/index.html
0008デフォルトの名無しさんNGNG
>>7
SchemeとかLispと違って、HaskellやSML関連のものって
ベル研みたいなところや大学関係以外だと見ないねぇ。
0009デフォルトの名無しさんNGNG
Lisp(真の関数型じゃないが…)ならこれだな。
Allegro CL ゲーム開発システム: http://jp.franz.com/base/success_nichimen.html
0010デフォルトの名無しさんNGNG
>>9
Allegro CLのMOPは根性入っているからね。
0011デフォルトの名無しさんNGNG
有名ではないが、Erlangは電話の交換機のプログラムとかに使われてるらしい。
そのほかもいろいろあるよね。

あとはOCamlで書かれたWebブラウザのmmm(モー)くらいかな
0012デフォルトの名無しさんNGNG
age
00131NGNG
どれも無名なのばっかだな(藁
0014デフォルトの名無しさんNGNG
無名良品
0015デフォルトの名無しさんNGNG
Emacs Lisp も可なら Mew, Wanderust, Gnus とか、いろいろ出てきそうだが。
誰か UNIX 板で 2ch ブラウザを作って気がする。
0016デフォルトの名無しさんNGNG
Guile
GNUの標準スクリプト(Scheme)
0017デフォルトの名無しさんNGNG
関数型言語は非常に難しいから浸透しない。
だから、有名なソフトもない。
でもこれが使えると選民意識に浸ることができるかもしれないよ。
「俺は選ばれた少数派なんだ」って感じで。
0018デフォルトの名無しさんNGNG
俺は選ばれた少数派なんだage
0019デフォルトの名無しさんNGNG
アプリ組み込みのスクリプト(?)言語という位置付けなら
多いみたいだけどねえ>Lispは

Emacsは勿論だし、あとAutoLispやCakeWalkCALや…
0020デフォルトの名無しさんNGNG
関数型言語が「非常に難しい」という根拠を教えてくれage
0021デフォルトの名無しさんNGNG
敷居が高いってことだろ。
Haskell勉強してみればわかるぞ。

ちなみに、これで「やさしい入門」らしい。
http://www.sampou.org/haskell/tutorial-j/index.html
0022デフォルトの名無しさんNGNG
>>21
「やさしい」って「厳密でない」という意味のように思える。
0023デフォルトの名無しさんNGNG
原文が Gentle Introduction だしね。
002420NGNG
「敷居が高い」ってのは、ドキュメントがすくないとか
Winで動く実装が少ないとか、APIをサポートしてないから
ゲームもつくれないとか、質問できる人がいないとか、そゆことか?
それがサポートされれば、関数型言語が本質的に難しいとは思われなくなるのか?
HSP みたいなのの Scheme 版を作ったらどうなるだろうなあ。
0025デフォルトの名無しさんNGNG
>>21
めちゃめちゃやさしいじゃん

VC++の方がよっぽど敷居が高いっす
0026デフォルトの名無しさんNGNG
>>24
作らなくてもSTkがあるじゃないか。
0027デフォルトの名無しさんNGNG
VC++はいろいろ調べるのがめんどくさいだけ。
0028デフォルトの名無しさんNGNG
>>25
うそつけ!(藁
0029デフォルトの名無しさんNGNG
C++よりは明らかに敷居が高いな。
0030デフォルトの名無しさんNGNG
>>24
Schemeも結構一般人には難しいし、嫌がられる。
括弧が多くて見難いし、ドットペアや「'」記号やリストの埋め込み
などが絡まってくると結構ややこしい概念になる。
0031デフォルトの名無しさんNGNG
Lispはプログラム自体がLispのデータ構造であるS式で書かれるところ
が全ての{シンプルさ|ややこしさ}の元凶だよね.特にquoteをちゃ
んと理解できないともうぜんぜんだめ.わかってしまえば簡単なんだが.

ところでリストの埋め込みって何? >>30
0032デフォルトの名無しさんNGNG
>>31
lispですまんがappendとかでは。
0033デフォルトの名無しさんNGNG
quasiquoteじゃないの?
0034デフォルトの名無しさんNGNG
`(a ,@g ,e)
0035デフォルトの名無しさんNGNG
リスト遊び
を読んでもquoteを理解できなかったうつだしのう。
あああああああああああああああああああ。
lispがさっぱりわからんから、SICPも読めないうつだしのう。
0036デフォルトの名無しさんNGNG
>>35
沢山ソースコード読んで実際どういう使われ方してるか
調べた方が早いんじゃない?
読むだけじゃ上達しないと思うけど。
0037デフォルトの名無しさんNGNG
>>35
SICPが読めない?
あれって難しいの?
0038デフォルトの名無しさんNGNG
>>37
アレの訳は難解。注釈も多すぎ。
書いてある内容自体は順を追っていけばそれほど難しくはないと思う。
003931NGNG
>>33-34
なるほど
unquote-splicing のことね
0040デフォルトの名無しさんNGNG
http://www.cs.york.ac.uk/fp/HaXml/ HaXmlあげ

Haskellなら quote要らないんでないかい?
0041デフォルトの名無しさんNGNG
ん?
0042デフォルトの名無しさんNGNG
関数型言語で実用性があるものは皆無。
有名なアプリが一つも無いのが証拠。
0043デフォルトの名無しさんNGNG
実用性はあると思うけど・・
有名なアプリは無さそうだけども。
0044デフォルトの名無しさんNGNG
関数型言語では人の心に残るソフトを作れない定説。
0045デフォルトの名無しさんNGNG
>>43
実用性があるものあるなら、あげてくれよ。

なんつーか、結局関数型は何がやりたいのかよくわからん・・・。
0046デフォルトの名無しさんNGNG
関数型言語スレでも覗いてみれば?>45
0047デフォルトの名無しさんNGNG
SICPって原文の英語のほうが簡単?
0048デフォルトの名無しさんNGNG
>>47
原文読めるんならそっちがいいんじゃない?
確かに訳はわかりにくいよ。
初めて読んだときは、意味不明一歩手前って感じだった。
004947NGNG
>>48

でも結構原文の単語もマニアックだね。
005048>49NGNG
訳本は(最後のロジック/レジスタマシン辺りの解釈を除いて)
読破はしたけど、原文はほとんど照らし合わせ程度にしか読んでないです。
巻末に問題解答とか載ってないのが痛かった・・
0051デフォルトの名無しさんNGNG
関数型は普通の言語で出来ることが全て出来て、さらに、
普通の言語には無い機能がたくさんあるから、実用性
があることは明らかだろう。
LISPが実用的であることはよく言われることだし、
GNU文化ではLISPやSchemeが持ち上げられている。
ただ、敷居が高いとか、最近生まれたばかりで知名度が
低いとかそういうのがあるだけ。
0052デフォルトの名無しさんNGNG
>>51
何かアプリを作ってから言え。
ていうかマジで何にも無いの?
アプリ作れないのに何で存在しているの?
0053デフォルトの名無しさんNGNG
自分で検索してみれば?>52
005452NGNG
>>53
探さないと出てこないんかい?
有名ってどういう意味かわかる?
ま、わざわざ探すつもりも無いけど。
どうせ無いんだから。
0055デフォルトの名無しさんNGNG
>>51
Schemeが生まれたのは1970年代です。
0056デフォルトの名無しさんNGNG
>>52
たしかスクウェアが使ってたぞ。>LISP
0057デフォルトの名無しさんNGNG
>>55
MLやHaskellやOcamlなど、80年代、90年代に出来た言語のこと
言ってるんだろ。
0058デフォルトの名無しさんNGNG
>>56
高機能バッチファイルとして、か?
0059デフォルトの名無しさんNGNG
これ読んでみろって。あと、GNUのRMSがLISP信者なのは有名だよな。

ACLISPの商用例
http://jp.franz.com/base/success_main.html

LISPは普通の奴のはるか上をいく言語
http://www.shiro.dreamhost.com/scheme/trans/beating-the-averages-j.html
0060デフォルトの名無しさんNGNG
>>57
3年もあれば、何かアプリ出るだろ? 普通なら。
Delphiが発売されたのはいつだっけ?
C++にしてもSTLが出てきたのは90年代に入ってからで、
規格が定まったのは4年前だぞ。
0061デフォルトの名無しさんNGNG
そんなこと聞いちゃ、かわいそうじゃん >>1
そっとしといてあげようよ。
0062デフォルトの名無しさんNGNG
>>59
無名なアプリであることに加え、たったそれだけ。
0063デフォルトの名無しさんNGNG
>>60
PascalやCがめちゃめちゃ有名な言語だろ。
Boarlandとマイクロソフトだし。
そんなのと比べるなよ。
0064デフォルトの名無しさんNGNG
使ってる奴が少ないからな。
難しくて理解できない奴が多いんだろ。
0065デフォルトの名無しさんNGNG
>>63
なんでlispは有名にならんの?
何か根本的な欠陥があるから有名にならないんだろ?
0066デフォルトの名無しさんNGNG
ちなみにDelphiで市販ソフトやシェアウェアを作っている奴の大半は、
Delphiを使うまでPascalに触れたことも無い奴らばかりだよ。
0067デフォルトの名無しさんNGNG
> 実験の結果はどうだったかって? 実際驚くことに、うまく行ったんだ。
> 結果的に私達には20から30にものぼる競争相手が現われたが、
> どれひとつとして私達のソフトウェアを打ち負かすことはできなかった。
> 私達のWYSIWYGのオンラインストアビルダーはサーバー側で走っているのに、
> ユーザーからはまるでデスクトップアプリケーションを使っているかのように
> 感じられた。競争相手はCGIスクリプトを使っていた。そして機能的にも、
> 私達は相手のはるか先を行っていた。しばしば、競争相手は追い詰められて、
> 私達のソフトに無い機能を入れようと試みた。しかし、Lispのおかげで私達の
> 開発サイクルは非常に速く、相手がプレスリリースを出した1日2日後にもう同様の
> 機能を作ったこともしばしばある。プレスリリースをカバーした記者が私達のところに
> 取材に来る頃には、こちらにももう新しい機能が追加されていたのだ。
>
> きっと競争相手には、私達が何か秘密兵器を持っているかのように見えたに違いない。
>
0068デフォルトの名無しさんNGNG
>>61 ワラタ
関数型言語をメインにして、会計処理書いたなんて聞いたこと
無いもんなぁ。実用性という点では、VB以下?(w
0069デフォルトの名無しさんNGNG
>>65
そりゃ、みなれない括弧だらけの構文に惑わされる奴が多くて、
そういう製品をマイクロソフトやBorlandがだしても売れない
からだろ。
0070デフォルトの名無しさんNGNG
>>68
単に知られて無いだけだって。
0071デフォルトの名無しさんNGNG
つーか、使われて有名な言語が実用性高い言語?
違うだろ。
0072デフォルトの名無しさんNGNG
>>69
ごたくはいいよ。結果を見せてくれ。
結果が出れば、人は自ずとついてくる。
0073デフォルトの名無しさんNGNG
>>72
使う奴がいなければ結果が出ても有名にならない。
それだけのことだろ?違うか?
0074デフォルトの名無しさんNGNG
一番わかりやすい成功例は、EmacsにはLISPが採用されているってことかな。
0075デフォルトの名無しさんNGNG
>>71
そうじゃない。実用性の低い言語が使われなくて無名なだけだ。
0076デフォルトの名無しさんNGNG
人工知能研究にはLispばかり使われてるよ。
0077デフォルトの名無しさんNGNG
>>75
実用性が高くても、敷居が高かったら使われない。
0078デフォルトの名無しさんNGNG
>>76
なるほどな。ということは、人工知能研究ではLISPが一番実用性が
高いことになるな。ここの連中の論理だと。(藁
0079デフォルトの名無しさんNGNG
>>73
違うな。
IriaやRPGツクール2KやパーティションマジックなんかはDelphiで作られている。
かちゅ〜しゃはBCBで作られている。
WindowsはVC++で作られている。
何か1つでもメジャーなソフトがあれば十分なんじゃないのか?
0080デフォルトの名無しさんNGNG
>>79
君は、Mewや、Wanderlustという有名ソフトを知らないのか?(藁
0081デフォルトの名無しさんNGNG
genera も lisp で書かれてたはずだよな
0082デフォルトの名無しさんNGNG
>>79
「かちゅ〜しゃ」を言語の機能を示す有名ソフトとしてあげる君に乾杯。
0083デフォルトの名無しさんNGNG
EmacsはほとんどLispで作られてると言ってもいいんじゃない?
0084デフォルトの名無しさんNGNG
何年もの間、ちーともメジャーになれないのは実用性が無い証拠じゃん?
Lispなんかウン十年。

あ、「優れた言語」と「実用的な言語」は別ね。「実用的な言語」
は、専門卒の厨房が一週間かそこらでOracleにアクセスできないと
駄目なのよ。「末尾再帰」とか聞くと、泡吹いて倒れるのが多い
んだから、無理っしょ?なぜか勃起する奴までいるらしいぞ。
0085デフォルトの名無しさんNGNG
>>84
そういう言葉の定義をするなら、実用的な言語とは言えなんな。
優れた言語だが。
0086デフォルトの名無しさんNGNG
研究の世界でメジャーになったんだから、頭良い人用ってことで。
0087デフォルトの名無しさんNGNG
>>80-81
知らないね。今度会社で知っている人がいるかどうか聞いてみるよ。

>>82
そうだ。lispではかちゅ〜しゃすらも作れない。
0088デフォルトの名無しさんNGNG
>>87
ぷ。xyzzyの2ch-modeって知ってるか?
0089デフォルトの名無しさんNGNG
87はWindowsしか知らないんだな。
0090デフォルトの名無しさんNGNG
>>88
聞いたことはあるよ。
あのダサい画面で使いづらそうな奴だろ?
2ch用ブラウザのシェア10%を超えたら認めてやるよ。
0091デフォルトの名無しさんNGNG
>>90
かちゅーしゃよりは遥かに使いやすいぞ。
0092デフォルトの名無しさんNGNG
>>89
80年代前半ごろにちょっといじったことがある。
まったく糞なOSだったね。今は多少は進化しているんだろうけど。
0093デフォルトの名無しさんNGNG
>>91
それを認める人は少数派だろうな。
Windows3.1が使いやすいといっている奴より少なそうだ。
0094デフォルトの名無しさんNGNG
>>92
じゃあ、マカーですか。なるほど。(w
0095デフォルトの名無しさんNGNG
>>93
ま、なんにせよ、Lispでもかちゅーしゃは作れるってことだ。
0096デフォルトの名無しさんNGNG
>>94
俺がどんなOSを使ってようが関係ねーだろ。
lispはunixでなくても使えるんじゃねぇのか?
狭い世界でライバルがいないから生き残っているんだろうな。
アホウドリのように生き残っているだけの言語。
0097デフォルトの名無しさんNGNG
MACって実用性ないOSだよな?
0098デフォルトの名無しさんNGNG
>>96
CはUNIXでも使えるんじゃないか?(w
0099デフォルトの名無しさんNGNG
UNIXが狭い世界だと本気で言ってるのか?
0100デフォルトの名無しさんNGNG
>>95
作ってみろよ。作れないだろ。
結局、エディタの範疇から抜け出したものは作れない。
0101デフォルトの名無しさんNGNG
>>100
ハァ?2ch-mode見れば作れるってことは一目瞭然だろ。
0102デフォルトの名無しさんNGNG
>>99
すくなくともヨドバシカメラではデモってないな。
0103デフォルトの名無しさんNGNG
>>101
ぜんぜん。足元にもおよばねぇジャン。
超えてるというなら、シェアを超えてから言え。
0104デフォルトの名無しさんNGNG
だいたい、かちゅーしゃが作れるかどうかじゃなくて、
ドキュソでも簡単に使える、Windowsに特化した有名企業の
開発環境があるかないかの違いじゃねぇか。
0105デフォルトの名無しさんNGNG
>>103
かちゅーしゃがな。なにあれ?マウス使わないと操作できない
糞アプリじゃん。
0106デフォルトの名無しさんNGNG
>>103
狭いコミュニティの中でそう思ってろよ。
0107デフォルトの名無しさんNGNG
下らない言い争いだなぁ。
0108デフォルトの名無しさんNGNG
>>107
そう思うならageない。
0109デフォルトの名無しさんNGNG
LISPは有名にならなくていいよ。学者とか頭の良い人用の言語だからね。
0110デフォルトの名無しさんNGNG
一部のマニアックな人間の自己満足なんだよ。
悔しかったら人に認められるアプリを実力で作ってみろよ。
実力でシェアを取ってみろよ。
口だけで何も作れない奴らは黙ってろ。
0111デフォルトの名無しさんNGNG
だから、オタクの自己満足用で十分だ。
だいたい、一般大衆用の売れる言語が開発環境の点で
有利なのはあたり前。
0112デフォルトの名無しさんNGNG
駄目アプリのための駄目言語、lisp。
その後どうなったのか、誰にもわからない……。
0113デフォルトの名無しさんNGNG
マイクロソフトがLISP用の開発環境作れば、個人レベルで
はLISPで凄いソフトがたくさん出てくるだろうな。
ま、マイクロソフトがそんなことしても利益にならんからな。
規模の大きい開発に使うなら、必然的にCかC++使わざるを
得ないだろう。それ以外の言語は使えん。
0114デフォルトの名無しさんNGNG
SchemeやEmacsLispやCommonLispは関数型言語か?
個人的には結構微妙だと思うが。
関数型言語、線形代数が得意な奴なら、一番簡単な言語、と思うがどうか。
スレとは関係無いのでsage
0115デフォルトの名無しさんNGNG
頭が良い人のための優れた言語、LISP。
頭の悪い奴の猛烈な嫉妬に晒される…
0116デフォルトの名無しさんNGNG
>>114
少し微妙だが、関数型言語に含めるようだ。
0117デフォルトの名無しさんNGNG
>>115
頭のいい人も使いあぐねるlisp。
それで作られるアプリの数は極端に少ない…
0118デフォルトの名無しさんNGNG
ぐだぐだ言ってないでだな。だすもんだせばそれでいいんだよ。
なければ、ハイそれまで。それだけだって。ていうかそういうスレだろ。
0119デフォルトの名無しさんNGNG
このスレで有名ソフト出せとかわめいてる奴って、Emacsじゃ駄目なのか?
0120デフォルトの名無しさんNGNG
>>119
アレは根本的なとこはCじゃないのか?
0121デフォルトの名無しさんNGNG
>>120
でもほとんどLispだろ。
0122デフォルトの名無しさんNGNG
線形論理知らなくても便利だと思うけどな..>>114
ってよくみると線形代数か?
なんでそんなものが出てくる??
APLのことか??
0123デフォルトの名無しさんNGNG
>>76
いや、そんなこたない。
C,Java,Prolog,その他もろもろも使われてるぞ。
0124デフォルトの名無しさんNGNG
>>121
まあね。
0125デフォルトの名無しさんNGNG
>>116
場合によるよね。
MLですら純粋な関数型言語じゃないとかいわれてるし。
0126114NGNG
>>122

いや、純粋に合成写像とかが得意ならカリー化とか高階関数
とか簡単だ、とか思ったので。
それにプラスして高校レベルの帰納法が得意ならMLあたりが
言語の中で一番簡単かな、と思っただけ。
0127デフォルトの名無しさんNGNG
>>59
信者ってのは言い過ぎだよ。
あの人、Cもかなり使ってるし。
http://www.sra.co.jp/public/sra/product/wingnut/standards-j.html#Design%20Advice
この辺見るとC信者にすら見える…。
0128デフォルトの名無しさんNGNG
>>127
じゃあなんで彼はEmacsを作ったときに、CではなくLispをマクロにしたの?
Tclを批判する時に、Schemeが良いといったのはなぜ?
0129デフォルトの名無しさんNGNG
Common Language Runtimeが出てくれば、関数型言語で作られた
有名ソフトが色々と出てくるのは時間の問題かもしれない。
0130デフォルトの名無しさんNGNG
>>128
信者っていうのは大げさだろって言いたかっただけ。
別にC信者だとも思わない。
0131デフォルトの名無しさんNGNG
emacsのベースは、lispなんだっけ???
0132デフォルトの名無しさんNGNG
emacsさえなければlispは滅んでいただろうに……
0133デフォルトの名無しさんNGNG
LispさえなければEmacsは滅んでいただろうに。
0134デフォルトの名無しさんNGNG
>>133
まさに。
0135デフォルトの名無しさんNGNG
>>133
まさか
0136デフォルトの名無しさんNGNG
lispはemacs専用のマクロ言語ってことでファイナルアンサー?
0137デフォルトの名無しさんNGNG
じゃあ、別にemacsがlispで作られてるわけじゃないんだ。
0138デフォルトの名無しさんNGNG
>>137
そうでも無い。
CでEmacsLispインタープリッタを作って、その上でエディタに必要な
コマンドを書いて、そいつをダンプした感じ。
0139デフォルトの名無しさんNGNG
くだらねー。
メジャーなソフトがなければダメ言語だと決めつけてる時点で
終わってる。
0140デフォルトの名無しさんNGNG
>>139
確かにそうだが、30年もの歴史がありながら、
その間に何も生み出せなかったのは、もはや言い訳できないレベル。
証拠といわれても仕方がない。

>>128
C言語よりlispのほうが実装が楽だからに決まってるだろ。
ストールマンがlispにこだわっているのは、
高度な言語を実装できない実力のなさを隠しているうちに、
信者が生まれて、いつしか愛着もわいてきたから。
0141デフォルトの名無しさんNGNG
84 に同意あげ。M$がIDE作ったって、Lisp人口は増えないよ。
「ソフトハウスが仕事で使う言語」としてはVB以下と思われ
0142厨房大学生NGNG
>>149
学生の目からすると、lispやら関数型言語は、計算機科学に
すんごい影響を与えたと思うんだけど、プロのプログラマーの
方から見ると、やはりちょっと違うものなんでしょうか?満足いく
結果は出ていない、と。
0143↑すみませんNGNG
×149
○140
0144デフォルトの名無しさんNGNG
Google で Symbolics あたりを検索してみると
色々な事例が見つかるよ<Lisp
時代的に数世代前といった感が強い言語だから
最新の事例ってのは稀少だろうけどね。
Internetプロトコルの実験や初期の3Dシステムは
かなりの数 Lisp で実験/開発されたんだよ。

言語の構造上、重い&遅いということもあって
前線からは消えていったけど、
最近の超高速CPUや巨大なメモリがあれば
かなり快適に動くと思うんだよね。
登場が早すぎた…ってカンジかな。
でも、それなりの成果は残していると思うよ。
0145デフォルトの名無しさんNGNG
lispが重いとされる理由、ってなんでしょう?
やっぱりconsやlistとかでボコボコ頻繁にセル用のメモリ消費するから?
0146デフォルトの名無しさんNGNG
リスト構造と、atom が各々「型」を持つという点じゃない?
単純なデータアクセスにも、3段くらいの間接参照が必要だし…
それと GC ね。
一括 GC だと、(当時で)数分は処理が停止した…

でも、最近の Java や VB なんかって、それ以上のことを
やっているような気がする。
0147145NGNG
それと、線形探索が多いから?
例えばCプログラマからみれば、appendやlist-refとかの線形探索系
関数はコスト掛かりすぎな感じがして、いまいち積極的に使う気にな
れないと思います。
(これを嫌う場合は、あらかじめリストの終端を保持しておくとか
すればいいんだけど)
こういった「効率」を重点に置いた基本関数があまり用意されてい
ないのも要因でしょうか。
処理系自体の速度はperlやpythonとかとあんまり変わらない筈なので。
0148145NGNG
>>146
あ、確かに動的なデータ型判定も遅くなる要因ですね。

gcはインクリメンタルや世代別にするとか、
明示的なメモリ返却機構でも用意すれば改善するかな?
0149デフォルトの名無しさんNGNG
世界最初のドメインネームって何〜だっ?
0150デフォルトの名無しさんNGNG
は?>149
0151デフォルトの名無しさんNGNG
(別にLisperじゃ無いけど)
Lispが遅いってのは伝説でしょ。GCもかなり研究されてるし、
コンパイラもある。perl、pythonと比べれば、Lispとか
Schemeの方がぜんぜん早いと思うよ。
0152デフォルトの名無しさんNGNG
>>151
速度はいい訳にならんな。
速度がどうのこうの言うまえに、
そもそも重さを感じる対象となるアプリが無い。
0153デフォルトの名無しさんNGNG
>>152
Alegro Common LISP 使ってみれ。
0154デフォルトの名無しさんNGNG
>1
それって、fortranでかかれた有名ソフトってなにかある?
といってるようなもん。
ただ、ライブラリの蓄積は比較にならないけどね。
0155デフォルトの名無しさんNGNG
>>140
> C言語よりlispのほうが実装が楽だからに決まってるだろ。
> ストールマンがlispにこだわっているのは、
> 高度な言語を実装できない実力のなさを隠しているうちに、
> 信者が生まれて、いつしか愛着もわいてきたから。
gcc作った人の名前知ってるか?

StallmanがLisp好きなのはMITのAI研にいたってのが大きいと思ふ。

>>142
そもそも John McCarthy の名前すら知らないんじゃない?
そんな人には何を言っても無駄よ。
0156デフォルトの名無しさんNGNG
今、JavaだのRubyだので絶賛されえてるGCはLispが一番初めに
導入したものだな。
0157デフォルトの名無しさんNGNG
lambda記法もlispが最初?
0158デフォルトの名無しさんNGNG
>>157
fortranの次に古い言語だからそうなんじゃないの?
0159デフォルトの名無しさんNGNG
>>158
いや、出来た時点では無かったって話もあるかと。
0160142NGNG
>>144
>Internetプロトコルの実験や初期の3Dシステムは
>かなりの数 Lisp で実験/開発されたんだよ。
これは知りませんでした。でもなんとなく納得できますね。
まだ考案者の頭の中にだけあるような、全く新しい概念を記述する/計算機で
走らせるには、Lispのほうがやりやすいのかな…
>>145-152
GCはJavaで勉強してみます。
>>155
それより会社員の人でMewやWanderlustを知らない人がいたのがさみしいです…
有名なソフト=パソコンOSで動くスタンドアロンアプリ。もちろん親OSのシェア
も評価基準に入る。そんな製品を作ろうと思ったらだれでもC/C++&ターゲット
とするプラットフォームとの親和性が一番高い開発環境を使うのでは。しろうとでも
そう思います。
0161デフォルトの名無しさんNGNG
>>157-159 そもそも lispは lambda emulatorとして作られたんじゃ..
lambda表記そのものは、計算機ができる以前から数学的な
表記としてありました。作ったのは言わずに知れた、といいたいけど
多分多くの人は知らない Haskell B. Curry だよな?
0162デフォルトの名無しさんNGNG
>>161
Haskell言語、カリー化。この人からとった名前だよね
0163デフォルトの名無しさんNGNG
そいやスーファミの開発環境ってLISPで書かれてるだろ?超有名ソフトじゃん
0164デフォルトの名無しさんNGNG
>>163

嘘?マジ!?
はじめて聞いた。
0165デフォルトの名無しさんNGNG
>>164
俺も始めて聞いた。
スーファミのソフトなら何本か作ったが……。
0166デフォルトの名無しさんNGNG
>>163
スーファミの開発環境を作った会社はこちら。

http://www.intsys.co.jp/tool/index.html
http://www.intsys.co.jp/tool/isv/gnu/index.html
http://www.intsys.co.jp/invitation/news.html

lisp信者は嘘ばっかだな。
0167デフォルトの名無しさんNGNG
lambda表記?計算を作ったのはAlonzo Churchでしょ。
Haskell B. Curryもラムダ計算への貢献は大きいみたいだけど。
何やったかはよう知らん
0168デフォルトの名無しさんNGNG
知らないことなんで憶測100%モード。

>>156
というか、「参照」をはじめて言語に持ちこんだ、ってことなんじゃないか?
それゆえに必然的にヒープ(笑)に存在するObjectを後でどう
片付けるか?という問題に正面からぶち当たらざるを得なかった、と。

あ。Fortranにも(参照渡しとかの形で)一応有るか。
でもあれは、実行文脈と独立した寿命をもつObject(?)
という概念は結局出てこないわけで、別物。
0169デフォルトの名無しさんNGNG
>>167
コンビネータ
I = SKK
とかいうやつ?
0170デフォルトの名無しさんNGNG
うる覚えだから間違ってるかも、でも一応。

Aのメタ言語をBとするとAはBの範疇で表現可能。でもAはB以上の表現は出来ない。
Aのメタ言語がAだったら、どうなるんだろう...何も出来ない?

あと、関数型言語でOSを記述するプロジェクトがあったはず。ソースは...思い出せん。
0171デフォルトの名無しさんNGNG
プログラミングパラダイムにこだわっていろいろ
議論されてたのは80年代までかな。
そんなのどうでもいい、というのが90年代以降
の流れ。
0172デフォルトの名無しさんNGNG
first class objectなのはいいよなあ。
メタプログラミングまんせー。
0173デフォルトの名無しさんNGNG
VB以下と言ってるのは、計算機科学の「け」の字も知らない
高卒VBプログラマだな。
0174デフォルトの名無しさんNGNG
>>166
それはスーファミじゃなくて、64じゃん。

それとこの記事にはLispでスーパーマリオの開発環境が作られてる
とかいてあるぞ。
http://jp.franz.com/base/success_nichimen.html

嘘つきはアンチLispのお前なんじゃないのか?
0175デフォルトの名無しさんNGNG
>>174
だから任天堂の開発環境でシェア1位なのは、
任天堂の資本が入っているその会社だっつーの。
64だけじゃない。よく見てみろよ。

ニチメンの開発環境はシェア低い。
ほとんど使われていないと思う。
一部の大手くらい。
0176デフォルトの名無しさんNGNG
>>173
シェア一位とは誰も言ってないからいいんじゃない?

>>174
スーパーファミコン64って書いてあるけど?
SFCとNINTENDO64ってことかな?
ttp://www.nichimen.com/nworld/index.html
をみるとマリオ64、FF7、グランツーリスモ、などって書いて
あるから、 64に限らず汎用的な開発ツールなのでは?
0177176NGNG
>>173は>>175の間違い。
0178デフォルトの名無しさんNGNG
>>171
新しい言語の設計に過去の研究がどれだけ生かされているか
全くわかってない厨房。JavaやC#の仕様が経験や好みだけで
作られていると思うか?
0179デフォルトの名無しさんNGNG
漢字サーバの『かんな』で使われてる canlispは有名じゃない?(ないね・・
01801NGNG
ということでHaskellやMLは糞ってことでいいですか?
(LispとSchemeは保留)
0181デフォルトの名無しさんNGNG
いや、むしろ一番優れてる部類。
0182デフォルトの名無しさんNGNG
>>175
>任天堂の資本が入っているその会社だっつーの。

入ってません。任天堂の敷地内にはあるんですが。
ちなみにこの会社がドンキーコング時代からハード周りは全部やってたらしい。
0183名無しさん@お腹いっぱい。NGNG
駄目です。MLが糞だと、も〜のアプレット作る楽しみがなくなります。
Haskellが無くなると遅延評価できなくなるので困ります。

#そいやMicroSoftがHaskellをどーのこーのするって話はどうなったんだろう?
0184デフォルトの名無しさんNGNG
>>183
.NETのCLR対応の中にMLとHaskellとSchemeが入ってるね。
Haskellのオンライン解説書の著者にMicrosoftの研究者
の名前が入ってるけど、HaskellとMSになんか関係あるの?
0185デフォルトの名無しさんNGNG
>>184
大した関係が無くてもMSぐらいでかい会社なら
そういう人がいてもおかしくはないでしょ。
0186デフォルトの名無しさんNGNG
>>185
それはわかるけど、何らかの関係がある可能性は高くなるじゃない?
本当はどうなのかな。
0187デフォルトの名無しさんNGNG
2年くらい前にMSがHaskellをサポートするとかって記事
見たよ。ぉぃぉぃって思ったけどね、、、
0188デフォルトの名無しさんNGNG
>>187
マジ?
マジならラッキーだ。Microsoft好きになりそう。
0189デフォルトの名無しさんNGNG
Rubyの中間コードはlispでできてるとか。
というか、内部がlispって処理系は結構ありそう。
0190デフォルトの名無しさんNGNG
それを言うならgccの中間言語RTL式はLispから生まれたもんだぞ。
0191デフォルトの名無しさんNGNG
http://www.tomabechi.com/computer/commonlisp.html
0192デフォルトの名無しさんNGNG
こんなのもあるのね。
GEmacs
http://gemacs.sourceforge.net/
JEmacs
http://jemacs.sourceforge.net/
0193デフォルトの名無しさんNGNG
>>186 Haskell界の大御所Simon Payton Johnsとかが
今マイクロソフトの研究所で働いているよ。
Microsoft Visual Haskellがそのうち出るという噂が
Haskell MLに流れてた。
0194デフォルトの名無しさんNGNG
>>193
Haskellだけじゃないよ。
Microsoft Research Lab はここ5年ほどCambridge中心に
プログラミング言語の一流の研究者をかなり雇ってる。
連中はMLはじめ関数型言語の理論なんて常識として知ってる。
C#の仕様にもそういうところでのレビューの成果が現れている。
MSは長期的には明らかに理論的基盤を重視する方向にあるね。
0195デフォルトの名無しさんNGNG
GIMP
0196デフォルトの名無しさんNGNG
>>191
CommonLisp信者がいちばん触れられたくないページだな(藁
0197デフォルトの名無しさんNGNG
Wnnやかんなはlisp(たしか)
0198デフォルトの名無しさんNGNG
ちなみにSKKはEmacs-Lisp
0199デフォルトの名無しさんNGNG
>>194
ヘジルズバーグ氏もMS逝ってるしなー。
0200デフォルトの名無しさんNGNG
切り番〜
0201デフォルトの名無しさんNGNG
>>196
なんで?普通のページに見えるけど。
0202デフォルトの名無しさんNGNG
>>178 ぷっ、へんなの。
0203デフォルトの名無しさんNGNG
>>202
変なのはキミ。
0204デフォルトの名無しさんNGNG
マセマティカの式って、関数型言語臭さがあった記憶があるんですが、
どーでしょ?
(いや、マトモに触ったことないんでアレですが)
0205デフォルトの名無しさんNGNG
マテマテマテマテマテマテマテマテ マ テ マティ カ
0206デフォルトの名無しさんNGNG
ハァ?
0207デフォルトの名無しさんNGNG
Mathematicaも自称関数型言語らしいけど、俺の周りでMLとか
Haskellとか使ったことある奴には評判悪いな
0208デフォルトの名無しさんNGNG
>>205
わしもたまに見る
0209CommonLisp信者NGNG
>>196
MicrosoftがHaskellを出すんじゃ、
強制的にデプログラミングしてもらって、
洗脳を解くしかなさそう。辛いわ、マジに。

せめてACLの価格を現在の20分の1にして
シェアだけでも今のうちに稼がないか。
ほんま、辛いわ。
0210161NGNG
>>167 確かにchurchだったかも。その辺の自信のなさが
最後の 「?」に現われてると思ってくれ。

>>187 http://cm.bell-labs.com/cm/cs/who/wadler/fool.html か?
SIGPLAN Noticesに載ったときは俺も一瞬喜んだけどよ。
ちゃんと最後までよく読めよ。

MSが研究者を雇い入れるのは、自社で使うより、
他社が優秀なものを作り出せないようにするって意味もあったりするんじゃ。
0211デフォルトの名無しさんNGNG
>>210
URLから見当ついたぞ。
0212...................................NGNG
...................................
0213194NGNG
>>207
Mathematicaが関数型と自称しているとは聞いたことがないなあ。
あれはあえて言えば項書き換え型言語。
数学関数を使うことと言語が関数型であることは別だしね。
>>161,167,210
ここでもみれ。
http://burks.brighton.ac.uk/burks/foldoc/35/63.htm
>>210
むしろMSはソフトウェアの複雑さが増大して
手におえなくなりつつある状況を一番身に染みているからだと思われ。
まあUKの研究者が移るのは大学の給与水準が低いということもあるが。
0214デフォルトの名無しさんNGNG
>>213 項書換え言語というのもわかるけど、関数型言語にくくる人もいる。

MSの研究者の待遇は結構いいらしいよ。結構自由にやらせてくれるらしい。
0215デフォルトの名無しさんNGNG
age
0216デフォルトの名無しさんNGNG
SML.Net Compiler
http://www.research.microsoft.com/Projects/SML.NET/
これってできてんの?
■ このスレッドは過去ログ倉庫に格納されています