【数学者】Haskellはクソ言語【オナニー】

1 名前：デフォルトの名無しさん mailto:sage [2005/09/30(金) 01:34:05 ] C/C++＞＞＞＞(越えられない壁)＞＞＞Haskell 2 名前：デフォルトの名無しさん mailto:sage [2005/09/30(金) 01:36:14 ] 2 3 名前：デフォルトの名無しさん mailto:sage [2005/09/30(金) 01:42:53 ] そもそもC/C++とHaskellを同列に比較しようという時点で>>1は池沼。 4 名前：デフォルトの名無しさん [2005/09/30(金) 01:46:03 ] 親が４様かっこいいとか言ってる（泣き 5 名前：デフォルトの名無しさん [2005/09/30(金) 04:40:27 ] すげー直感的に意味不明。 qsort [] = [] qsort (x:xs) = qsort elts_lt_x ++ [x] ++ qsort elts_greq_x 　　where 　　　elts_lt_x = [y | y <- xs, y < x] 　　　elts_greq_x = [y | y <- xs, y >= x] 6 名前：デフォルトの名無しさん [2005/09/30(金) 07:48:30 ] 単位もらえずに逆恨みかい？ﾌﾟｹﾞﾗ 7 名前：デフォルトの名無しさん mailto:sage [2005/09/30(金) 09:32:51 ] 名スレ 8 名前：デフォルトの名無しさん mailto:sage [2005/09/30(金) 10:08:59 ] >>5 それが直観的に理解できないということは素養が足りない。かなりやばい。 日本語にすると理解できたりする? qsort [] = [] qsort (x:xs) = qsort x未満の要素 ++ [x] ++ qsort x以上の要素 　　ここで 　　　x未満の要素 = [y | y <- xs, y < x] 　　　x以上の要素 = [y | y <- xs, y >= x] クイックソート自体を知らない奴でもこれで理解できるだろうというくらい わかりやすいと思うが。 9 名前：デフォルトの名無しさん mailto:sage [2005/09/30(金) 10:49:15 ] C/C++で実装されているperl6は近年最強のベイパーウェアと化していたが、 Haskellで実装されたperl6は既に動いている。 よってHaskell>>>超えられない壁>>>C/C++ 10 名前：デフォルトの名無しさん mailto:sage [2005/09/30(金) 14:34:49 ] アホの言う「直感的」＝「自分の知ってるものに似ている」 11 名前：デフォルトの名無しさん mailto:sage [2005/09/30(金) 17:17:55 ] >>10 同意 12 名前：デフォルトの名無しさん mailto:sage [2005/09/30(金) 17:48:56 ] >>9 じゃなんでゲームプログラマーはHaskell使わずにC/C++使うの？ 13 名前：デフォルトの名無しさん mailto:sage [2005/09/30(金) 18:36:47 ] なんで突然「ゲームプログラマー」がでてくるんだろう。 14 名前：デフォルトの名無しさん mailto:sage [2005/09/30(金) 18:41:36 ] ゲーム→ウェブブラウザ上で動くゲーム→CGI == Perl 　　　　　　　　　　　　　　　　　　　　　　　　　　　　　 ~~~ 15 名前：デフォルトの名無しさん mailto:sage [2005/09/30(金) 20:12:54 ] ウェブブラウザ上で動くゲームといえば 爆裂ブロック崩し→Java 脱出系ゲーム→Flash == ActionScript じゃないのか っていうか、俺、Javaってほぼそのためだけにインストールしているような希ガス(w 16 名前：デフォルトの名無しさん mailto:sage [2005/10/01(土) 08:51:00 ] haskellってどんな用途で使われているの？ 銀行業務とかの大量バッチとかでは使わないよね。 17 名前：デフォルトの名無しさん mailto:sage [2005/10/01(土) 14:04:02 ] >>16 素因数分解とか... なんか数学者がアルゴリズムを思いついてパッと評価したいときに 使われるような言語というイメージを持っているんだけど.. 18 名前：デフォルトの名無しさん mailto:sage [2005/10/01(土) 21:45:06 ] >>17 スレタイ通り、数学者に特化しか言語ってことですか。 おれみたいなデジドカに縁は無さそうだ。。。 （勉強すれば世界は広がるだろうがね） 19 名前：１８ mailto:sage [2005/10/01(土) 21:45:55 ] >>18 特化しか、だってｗ 特化した、ね。 20 名前：デフォルトの名無しさん mailto:sage [2005/10/01(土) 22:48:33 ] まぁこういうスレたてる奴はC/C++自体まともにつかえるのかね？ すこし疑問だ。 まともプログラム組めないのに中途半端に手を出してる気がする。 21 名前：デフォルトの名無しさん mailto:sage [2005/10/01(土) 23:42:48 ] haskellは美しい言語だと思うが それを"Cで実装すると予想される遅さ"程度に遅い 22 名前：デフォルトの名無しさん mailto:sage [2005/10/02(日) 00:01:51 ] >>20 デジドカにとって最もすばらしいのはどんなに変に書いてもバグがでず、なおかつ理由は良く解らないが難しいという事で単価の上がる言語の事 ・・・COBOLか 23 名前：デフォルトの名無しさん mailto:sage [2005/10/03(月) 12:54:36 ] >>12 C/C++と比較して遅い、メモリ食いすぎだからゲームには不向きなんだろうな。 そしてなによりプログラマの絶対数が少ないのがネック。 一方でPagsの例しかり、言語処理系の実装には最強？ >>20 むしろ1はHaskellerで、この優れたﾏｲﾅｰ言語に目をひくように あえて煽るようなｽﾚを立てたような希ガス 24 名前：デフォルトの名無しさん mailto:sage [2005/10/03(月) 15:37:26 ] 最近Haskellを学び始めたC++プログラマの俺に言わせると、 Haskellはとかく宣伝でモナドが強調されるのがネガティブキャンペーンに なってるとしか思えん。 C++のテンプレートライブラリで入り組んでくるとconstやら参照やらが 足引っ張るのとかxxx_typeをtypedefするお約束やらがあったりとか templateでmetaprogrammingやっちゃったりとかよりはマシな厄介さ だと思う。 そういうC++のアドホックな仕組みの積み重ねよりはHaskellの論理的に まとまったものの方がちゃんと相手をするには楽だし、 コンストラクタの例外安全とかC++のとかく落とし穴の多さを考えると ずっと楽と言えるかも知れん。 25 名前：デフォルトの名無しさん mailto:sage [2005/10/03(月) 16:48:20 ] >>5 [y | y <- xs, y < x] これは、数学で言うところの ｛ y | y ∈ xs で y < x ｝ という集合のこと。ただし集合でなくてリスト(重複OK, 順序あり)。 26 名前：デフォルトの名無しさん mailto:sage [2005/10/03(月) 16:49:52 ] >>24 > xxx_typeをtypedefするお約束やらがあったりとか お約束というかtypetraitsのcheck実行機構としてtypedefを使っている。 27 名前：デフォルトの名無しさん mailto:sage [2005/10/04(火) 01:15:43 ] C/C++＞＞＞＞(越えられない壁)＞＞＞Haskell＞＞＞＞(越えられない壁)＞＞＞ >>１ 28 名前：1 mailto:sage [2005/10/12(水) 09:46:26 ] >>25 ごめんなさい。これで大体わかりました なるほど、確かにわかりやすいかもしれません [x | x^2 + x + 2, x > 20] とかかけちゃうわけですか、こりゃすごいかも... 29 名前：デフォルトの名無しさん mailto:sage [2005/10/13(木) 05:50:13 ] かけないお 30 名前：デフォルトの名無しさん [2005/10/17(月) 16:38:41 ] >1それ以前に初耳 31 名前：デフォルトの名無しさん [2005/10/22(土) 10:51:01 ] こういうスレが伸びるようになればHaskellも市民権を得たと言えるだろうな 32 名前：デフォルトの名無しさん mailto:sage [2005/10/23(日) 01:06:31 ] ぐぐって頭のほうに出てくるやつで十分？ よく知らんからお勧めのリンクあったらはってくれ 33 名前：デフォルトの名無しさん mailto:sage [2005/10/23(日) 12:05:41 ] Z = [1..] [x^2 + x + 2 | x <- Z, x > 20] 配列のSWAPとか素晴らしい性能を持ってるお ^ ^ 34 名前：デフォルトの名無しさん mailto:sage [2005/10/23(日) 17:03:07 ] 妖怪図鑑　其の百三十六 　　　　　　　　　_,,..i'"':,　　　　　妖怪　箱ティッシュ 　　　　　　　　 |＼`､:　i'､ 　 　 　 　 　 　 ＼ ＼`_',..-i　　　オナニーして逝きそうになると 　　　　　　　　　　 ＼|_,. -┘　　　　ティッシュが手元に無い。 　 ﾀﾀﾀｯ　　　　＿ノ )　 ﾉ　　　　それは妖怪箱ティッシュの仕業です。 　　　　　　　　ﾉ ／/／ 　　　　　　　_//　 | (_　　　　　　弱点は水に濡れると死ぬこと。 35 名前：デフォルトの名無しさん mailto:sage [2005/10/24(月) 09:48:53 ] >>33 [x^2 + x + 2 | x <- [21..]] 36 名前：デフォルトの名無しさん mailto:sage [2005/10/24(月) 21:48:49 ] >>33 N=[1..] [x^2 + x + 2| x<-N, x>20] 37 名前：デフォルトの名無しさん mailto:sage [2005/10/25(火) 23:29:02 ] 言語処理系にしか使えない言語･ﾟ･(ﾉД`)･ﾟ･｡ >>24 Haskellでもfundepsでメタプログラミングができるよ。 もちろん画面を埋めつくすエラーメッセージ付きだ。 38 名前：デフォルトの名無しさん mailto:sage [2005/10/25(火) 23:31:33 ] Haskellは10年後の言語です 39 名前：デフォルトの名無しさん mailto:sage [2005/10/27(木) 22:04:55 ] 10年後も10年後なんだよな。 40 名前：デフォルトの名無しさん mailto:sage [2005/11/03(木) 14:47:55 ] >>5 間違ってるよ [x] と [x 以上の要素] を連結してるから ソート後のリストに x が２つ入っちゃう 41 名前：デフォルトの名無しさん mailto:sage [2005/11/03(木) 15:05:38 ] >>40 間違ってないよ xとxsに分離されてるから x以上になってないと[1,3,1,4]をqsortしたとき要素が減ってしまう 42 名前：デフォルトの名無しさん mailto:sage [2005/11/03(木) 15:33:15 ] そうだった ｽﾏｿ 43 名前：デフォルトの名無しさん mailto:sage [2005/11/16(水) 21:50:57 ] >>37 リアルタイムゲームも書ける ttp://www.geocities.jp/takascience/windows/monadius.html 44 名前：デフォルトの名無しさん [2005/11/19(土) 12:28:18 ] 　 _ 　 ∩ (　ﾟ∀ﾟ)彡　ハスケル！ ハスケル！ 　⊂彡 www.haskel.com/ 45 名前：デフォルトの名無しさん [2005/11/22(火) 00:44:19 ] 手続きコード無闇に繋いでも今は無駄だよ 大抵の処理は 高階関数一つで終わりさ 関数型のIOを守るためお前は考え 便利さ見失った 手続き忘れた インターフェース<かお>など見たくはないさ IO 取り戻せ 46 名前：デフォルトの名無しさん [2005/11/22(火) 07:51:08 ] 僕はようやくスレをageた。やれやれ。 47 名前：デフォルトの名無しさん mailto:sage [2005/11/22(火) 07:55:05 ] 本スレが余りに学術的で居心地が悪くなった Haskellネタ師の溜り場はここですか？ 48 名前：デフォルトの名無しさん mailto:sage [2005/11/22(火) 23:22:30 ] しかし、数学者からみたら他の言語よりはマシだが、まだまだ不満はあるよな。 49 名前：デフォルトの名無しさん [2005/11/23(水) 00:56:10 ] 理論的な見地でもまだまだ。処理系の実装においても、 C,C++とはまだ吐き出されるコードに雲泥の差がある。 まだまだ中途半端な存在なんだね。 50 名前：デフォルトの名無しさん [2005/11/26(土) 22:20:52 ] 本スレが余りに過疎で居心地が悪くなった Haskellネタ師の溜り場はここですか？ 51 名前：デフォルトの名無しさん mailto:age [2006/01/27(金) 01:34:14 ] 入門書がでるってはなしはどうなりましたかね？ 52 名前：デフォルトの名無しさん mailto:sage [2006/01/27(金) 02:09:55 ] 入門書出すことに意味があるのかどうか。。 そんなに一般人に媚び売ってどうすんの？ 53 名前：デフォルトの名無しさん [2006/01/27(金) 19:33:12 ] あげ 54 名前：デフォルトの名無しさん mailto:sage [2006/01/28(土) 23:32:25 ] Haskellの是非は置いといて>>8には全く同意できない。 55 名前：デフォルトの名無しさん mailto:sage [2006/01/28(土) 23:52:03 ] >>54 たしかに++とか:とかの意味を知らないと>>8では理解しようがないけど、 Haskellを知っていてクイックソートを知らない奴がかりにいたとすると やっぱりそいつは>>5を見て即座にクイックソートを理解すると思う。 その意味で、>>8が言ってることもそんなに外れてないような気がする。 関係ないが、Rubyあたりでクイックソートを書いても似たようなものになるはずなのに なんでHaskellの特徴みたいに扱われてるんだろう… 56 名前：デフォルトの名無しさん mailto:sage [2006/01/29(日) 00:44:06 ] プログラムとしては全然直感的じゃないな。 数式に近い 57 名前：デフォルトの名無しさん mailto:sage [2006/01/29(日) 02:12:39 ] 手続き型言語じゃないからね。 58 名前：デフォルトの名無しさん [2006/01/29(日) 07:12:15 ] 高学歴用言語ですかね 59 名前：デフォルトの名無しさん mailto:sage [2006/01/29(日) 07:15:16 ] Haskell の IRC は賑わってるから、ｲﾊﾟｰﾝ人も多いんじゃないの。 meme.b9.com/start.html 60 名前：デフォルトの名無しさん mailto:sage [2006/01/29(日) 11:10:00 ] >>56 俺にはむしろ手続き型のほうが直感的に思えない 61 名前：デフォルトの名無しさん mailto:sage [2006/01/29(日) 11:26:33 ] それは、抽象化された物が直感的と考えるか、具象化された物を直感的と考えるかの違いじゃないかな。 やっぱり Haskeller は、Haskell のコードからどんなアセンブラが生成されるか直ぐに分かるの? 62 名前：デフォルトの名無しさん [2006/01/29(日) 11:32:42 ] アルゴリズム的 63 名前：デフォルトの名無しさん mailto:sage [2006/01/29(日) 11:56:15 ] C に変換して gcc でコンパイルしてるけど どんなコードになるのかわかりません(⊃д`) 64 名前：デフォルトの名無しさん [2006/01/31(火) 10:05:43 ] もっと議論しろ 65 名前：デフォルトの名無しさん mailto:sage [2006/01/31(火) 17:59:21 ] そもそも「直感的」という言葉じたいが曖昧で主観的なものだから 議論の土台としてふさわしくない。みたいな？ 66 名前：デフォルトの名無しさん [2006/01/31(火) 18:50:26 ] では話題を変えてもよいぞ 67 名前：デフォルトの名無しさん mailto:sage [2006/01/31(火) 19:31:37 ] 何か聞きたいことがあるなら素直に質問しろよw 68 名前：デフォルトの名無しさん [2006/01/31(火) 20:16:46 ] 取敢えず俺ははすけるの事をまるで知らないので、 このプログラミング言語の良さを自慢して俺をワクワクさせろ。 69 名前：デフォルトの名無しさん mailto:sage [2006/01/31(火) 21:24:42 ] Haskellの素晴らしさは>>68みたいな馬鹿には使いこなせないところだ。 どうだ、魅力的だろ。 70 名前：デフォルトの名無しさん mailto:sage [2006/01/31(火) 21:30:42 ] ぱっと思い付くのはこんなところだな。 ・高級言語の基本的な特徴を備えている。 メモリ操作はほとんど意識する必要がない。全部GC任せにできる。 そもそもGCの存在すら意識しなくてもいいくらいだ。オブジェクトは全部(参照やポインタでなく)値。 関数も値。手続きも値。 ・代数的データ型 「タグつき共用体」とか「バリアント」とか呼ばれる奴だ。 これ一つでstructにもunionにもenumにもなる。萌え。 うまく言えないが、とても素晴らしい。 ・美しい構文 予約語よりも記号を多用した簡潔な構文だ。とくにwhere節(>>5にもあるように、 ローカル変数を関数本体の後で定義する機能)は手放しがたい。 ・モナド CやPascalのセミコロンを多重定義できる機構だと思ってくれ。文が実行される文脈を定義することができる。 非決定モナドを使えば複数の選択肢から一つを決定するたびに世界の方が分裂する計算を表現できるし、 継続モナドを使えばgotoすらかわいく見える邪悪な制御構造を使うことができる。 誰にも読めないソースをつくり出すには絶好の道具だ。 ・強力な静的型システム 多重定義と総称性(generics)が自然に統合されたそれなりに単純な型システムがある。 特に、型推論があって、こまごまとした指定をせずとも型に頼ったプログラミングができる。 総称的な関数はそうでない関数と同じように書けるし扱える。 ワクワクしたか？したらとっとと勉強しろ。 71 名前：デフォルトの名無しさん [2006/01/31(火) 21:37:53 ] そうだな、なかなかワクワクしてきた。 では俺様に参考書を薦めるがよい。 72 名前：デフォルトの名無しさん mailto:sage [2006/01/31(火) 21:50:46 ] Haskellは今年中にマスターしてみせる 73 名前：デフォルトの名無しさん mailto:sage [2006/01/31(火) 22:03:37 ] >>71 Haskell: The Craft of Function Programming はとても良い本だが、俺はこれ以外に入門書を読んでいないので比較はできない。他には、 Introduction to Functional Programming using Haskell あるいは、 The Haskell School of Expression が有名なようだ。 webで学ぶなら、Yet Another Haskell Tutorialがほとんど唯一のまとまった入門書だと思う。 74 名前：デフォルトの名無しさん [2006/02/01(水) 22:34:44 ] 限量子使えるバージョンもあるよ０うだが、、、 なんか面白いことできる　∀x∀y ∃z　 75 名前：デフォルトの名無しさん mailto:sage [2006/02/01(水) 23:38:33 ] 顔文字にしか見えない → (∀ 76 名前：デフォルトの名無しさん [2006/02/13(月) 20:56:42 ] 初心者がHaskellを学ぶのに役立ちそうな文書: www.sampou.org/haskell/a-a-monads/html/index.html www.sampou.org/cgi-bin/haskell.cgi?Programming%3aWayToHaskeller www.sampou.org/haskell/tutorial-j/index.html www.sampou.org/haskell/ipsj/ 77 名前：デフォルトの名無しさん mailto:sage [2006/02/14(火) 01:46:36 ] 役立ちそう、じゃなくて実際にいいか悪いか教えて欲しい。 文書はとにかくあれば何でもおーけーみたいのはちょっと。 78 名前：デフォルトの名無しさん [2006/02/14(火) 03:03:11 ] 2番目は何もわかんない状態で役立つ。 3番目は2番目が半分以上わかるぐらいで役立つ。 4番目はGHCは読めないけどもっと普通のなら読めるぐらいになったら役立つ。 1番目はモナドがわかんない時に役立つ。 79 名前：デフォルトの名無しさん mailto:sage [2006/02/14(火) 03:23:28 ] スレタイに反して、良スレだな、ここは。 80 名前：デフォルトの名無しさん mailto:sage [2006/02/14(火) 06:13:50 ] >>78 本当に役立つのかどうか不安なレスだな。 効用: 読んだことに満足する、だったりして。 81 名前：デフォルトの名無しさん mailto:sage [2006/02/14(火) 06:40:14 ] >>77 俺は>>76じゃないけど、正直なところ、今日本語で読める文章で Haskellを学び始めるのに適したものはないと思う。 一ヶ月ほどで本が出ると思われるのでそれを待つか、 MLの入門文書を読んで関数型言語に慣れてから「やさしいHaskell入門」を読むのが 近道なんじゃないだろうか。 82 名前：デフォルトの名無しさん [2006/02/14(火) 07:23:10 ] 76だが、>>81に激しく同意。俺は>>76の2番目を半分ぐらい読んだ状態。 後はコード読んでHaskellの世界を開拓(Hack)してゆくしかないと思う。 83 名前：デフォルトの名無しさん mailto:sage [2006/02/14(火) 09:27:48 ] Hackell 84 名前：デフォルトの名無しさん [2006/02/14(火) 09:45:31 ] オライリーから Haskell hacks が出るのはいつの日のことですか 85 名前：デフォルトの名無しさん [2006/02/15(水) 04:54:51 ] >>84 オライリーの中の人にもオナニーと思われてる予感 86 名前：デフォルトの名無しさん mailto:sage [2006/02/15(水) 04:56:35 ] >>85 そだね。近所なんだからよく相談するようにね。 87 名前：デフォルトの名無しさん [2006/03/05(日) 06:14:03 ] age 88 名前：デフォルトの名無しさん mailto:sage [2006/03/05(日) 06:34:28 ] オライリーとオナニーって似てるよね。 89 名前：デフォルトの名無しさん [2006/03/15(水) 02:08:50 ] >>88 ねーよｗｗｗｗｗｗ 90 名前：デフォルトの名無しさん mailto:sage [2006/03/15(水) 02:19:03 ] オナイニー 91 名前：http://www.vector.co.jp/soft/win95/util/se072729.html mailto:http://msdn2.microsoft.com/ja-jp/library/h2k70f3s.aspx [2006/03/18(土) 20:17:15 ] TextSS　のWindowsXP(Professional)64bit化おながいします もしくは64bitにネイティブ対応したテキスト置換ソフトありますか？ 92 名前：デフォルトの名無しさん [2006/03/23(木) 17:07:28 ] ハスケル学んでて報われるかな？ 10年以内に 93 名前：デフォルトの名無しさん mailto:sage [2006/03/24(金) 12:09:37 ] 言語はNEED TO KNOW 94 名前：デフォルトの名無しさん mailto:sage [2006/03/25(土) 02:30:23 ] 入門本の評判は？ 発売ってまだだっけ？ 95 名前：デフォルトの名無しさん mailto:sage [2006/03/25(土) 03:53:29 ] >>92 言語を覚えているかどうかなんて些細な問題でしかない。 君が勉強すべきなのは数学だ。 さもなくば、ゲームが作りたいというならＡＰＩやらライブラリやらの仕様書でも読んでろ。 96 名前：デフォルトの名無しさん [2006/03/27(月) 17:42:46 ] 1流の2chブラウザを作ってWindowsからamigaまで制覇するのが夢です。 97 名前：デフォルトの名無しさん mailto:sage [2006/03/27(月) 17:50:35 ] まずは一流と表記することからはじめるか 98 名前：デフォルトの名無しさん mailto:sage [2006/03/27(月) 18:29:53 ] 言語について解説した本がほしい あの三冊ともSICPと同じことやらされて飽きる 99 名前：デフォルトの名無しさん mailto:sage [2006/03/27(月) 19:02:02 ] >>98 そんなあなたにGentle introduction to Haskell 100 名前：デフォルトの名無しさん mailto:sage [2006/03/27(月) 23:49:57 ] これってどないですか？ ttp://www.amazon.co.jp/exec/obidos/ASIN/4839919623

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef