トップページtech
981コメント333KB

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

■ このスレッドは過去ログ倉庫に格納されています
0001デフォルトの名無しさん2005/09/30(金) 01:34:05
C/C++>>>>(越えられない壁)>>>Haskell
0002デフォルトの名無しさん2005/09/30(金) 01:36:14
2
0003デフォルトの名無しさん2005/09/30(金) 01:42:53
そもそもC/C++とHaskellを同列に比較しようという時点で>>1は池沼。
0004デフォルトの名無しさん2005/09/30(金) 01:46:03
親が4様かっこいいとか言ってる(泣き
0005デフォルトの名無しさん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]

0006デフォルトの名無しさん2005/09/30(金) 07:48:30
単位もらえずに逆恨みかい?プゲラ
0007デフォルトの名無しさん2005/09/30(金) 09:32:51
名スレ
0008デフォルトの名無しさん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]

クイックソート自体を知らない奴でもこれで理解できるだろうというくらい
わかりやすいと思うが。
0009デフォルトの名無しさん2005/09/30(金) 10:49:15
C/C++で実装されているperl6は近年最強のベイパーウェアと化していたが、
Haskellで実装されたperl6は既に動いている。
よってHaskell>>>超えられない壁>>>C/C++
0010デフォルトの名無しさん2005/09/30(金) 14:34:49
アホの言う「直感的」=「自分の知ってるものに似ている」
0011デフォルトの名無しさん2005/09/30(金) 17:17:55
>>10
同意
0012デフォルトの名無しさん2005/09/30(金) 17:48:56
>>9
じゃなんでゲームプログラマーはHaskell使わずにC/C++使うの?
0013デフォルトの名無しさん2005/09/30(金) 18:36:47
なんで突然「ゲームプログラマー」がでてくるんだろう。
0014デフォルトの名無しさん2005/09/30(金) 18:41:36
ゲーム→ウェブブラウザ上で動くゲーム→CGI == Perl
                              ~~~
0015デフォルトの名無しさん2005/09/30(金) 20:12:54
ウェブブラウザ上で動くゲームといえば
爆裂ブロック崩し→Java
脱出系ゲーム→Flash == ActionScript
じゃないのか

っていうか、俺、Javaってほぼそのためだけにインストールしているような希ガス(w
0016デフォルトの名無しさん2005/10/01(土) 08:51:00
haskellってどんな用途で使われているの?
銀行業務とかの大量バッチとかでは使わないよね。
0017デフォルトの名無しさん2005/10/01(土) 14:04:02
>>16
素因数分解とか...
なんか数学者がアルゴリズムを思いついてパッと評価したいときに
使われるような言語というイメージを持っているんだけど..
0018デフォルトの名無しさん2005/10/01(土) 21:45:06
>>17
スレタイ通り、数学者に特化しか言語ってことですか。

おれみたいなデジドカに縁は無さそうだ。。。
(勉強すれば世界は広がるだろうがね)
0019182005/10/01(土) 21:45:55
>>18
特化しか、だってw
特化した、ね。
0020デフォルトの名無しさん2005/10/01(土) 22:48:33
まぁこういうスレたてる奴はC/C++自体まともにつかえるのかね?
すこし疑問だ。
まともプログラム組めないのに中途半端に手を出してる気がする。
0021デフォルトの名無しさん2005/10/01(土) 23:42:48
haskellは美しい言語だと思うが
それを"Cで実装すると予想される遅さ"程度に遅い
0022デフォルトの名無しさん2005/10/02(日) 00:01:51
>>20
デジドカにとって最もすばらしいのはどんなに変に書いてもバグがでず、なおかつ理由は良く解らないが難しいという事で単価の上がる言語の事

・・・COBOLか
0023デフォルトの名無しさん2005/10/03(月) 12:54:36
>>12
C/C++と比較して遅い、メモリ食いすぎだからゲームには不向きなんだろうな。
そしてなによりプログラマの絶対数が少ないのがネック。
一方でPagsの例しかり、言語処理系の実装には最強?

>>20
むしろ1はHaskellerで、この優れたマイナー言語に目をひくように
あえて煽るようなスレを立てたような希ガス
0024デフォルトの名無しさん2005/10/03(月) 15:37:26
最近Haskellを学び始めたC++プログラマの俺に言わせると、
Haskellはとかく宣伝でモナドが強調されるのがネガティブキャンペーンに
なってるとしか思えん。
C++のテンプレートライブラリで入り組んでくるとconstやら参照やらが
足引っ張るのとかxxx_typeをtypedefするお約束やらがあったりとか
templateでmetaprogrammingやっちゃったりとかよりはマシな厄介さ
だと思う。
そういうC++のアドホックな仕組みの積み重ねよりはHaskellの論理的に
まとまったものの方がちゃんと相手をするには楽だし、
コンストラクタの例外安全とかC++のとかく落とし穴の多さを考えると
ずっと楽と言えるかも知れん。

0025デフォルトの名無しさん2005/10/03(月) 16:48:20
>>5
[y | y <- xs, y < x]

これは、数学で言うところの

{ y | y ∈ xs で y < x }

という集合のこと。ただし集合でなくてリスト(重複OK, 順序あり)。
0026デフォルトの名無しさん2005/10/03(月) 16:49:52
>>24
> xxx_typeをtypedefするお約束やらがあったりとか

お約束というかtypetraitsのcheck実行機構としてtypedefを使っている。
0027デフォルトの名無しさん2005/10/04(火) 01:15:43
C/C++>>>>(越えられない壁)>>>Haskell>>>>(越えられない壁)>>> >>1
002812005/10/12(水) 09:46:26
>>25
ごめんなさい。これで大体わかりました
なるほど、確かにわかりやすいかもしれません

[x | x^2 + x + 2, x > 20]

とかかけちゃうわけですか、こりゃすごいかも...
0029デフォルトの名無しさん2005/10/13(木) 05:50:13
かけないお
0030デフォルトの名無しさん2005/10/17(月) 16:38:41
>1それ以前に初耳
0031デフォルトの名無しさん2005/10/22(土) 10:51:01
こういうスレが伸びるようになればHaskellも市民権を得たと言えるだろうな
0032デフォルトの名無しさん2005/10/23(日) 01:06:31
ぐぐって頭のほうに出てくるやつで十分?
よく知らんからお勧めのリンクあったらはってくれ
0033デフォルトの名無しさん2005/10/23(日) 12:05:41
Z = [1..]
[x^2 + x + 2 | x <- Z, x > 20]
配列のSWAPとか素晴らしい性能を持ってるお ^ ^

0034デフォルトの名無しさん2005/10/23(日) 17:03:07
妖怪図鑑 其の百三十六

         _,,..i'"':,     妖怪 箱ティッシュ
         |\`、: i'、
            \ \`_',..-i   オナニーして逝きそうになると
           \|_,. -┘    ティッシュが手元に無い。
  タタタッ    _ノ )  ノ    それは妖怪箱ティッシュの仕業です。
        ノ ///
       _//  | (_      弱点は水に濡れると死ぬこと。
0035デフォルトの名無しさん2005/10/24(月) 09:48:53
>>33
[x^2 + x + 2 | x <- [21..]]


0036デフォルトの名無しさん2005/10/24(月) 21:48:49
>>33
N=[1..]
[x^2 + x + 2| x<-N, x>20]
0037デフォルトの名無しさん2005/10/25(火) 23:29:02
言語処理系にしか使えない言語・゚・(ノД`)・゚・。

>>24
Haskellでもfundepsでメタプログラミングができるよ。
もちろん画面を埋めつくすエラーメッセージ付きだ。
0038デフォルトの名無しさん2005/10/25(火) 23:31:33
Haskellは10年後の言語です
0039デフォルトの名無しさん2005/10/27(木) 22:04:55
10年後も10年後なんだよな。
0040デフォルトの名無しさん2005/11/03(木) 14:47:55
>>5 間違ってるよ
[x] と [x 以上の要素] を連結してるから

ソート後のリストに x が2つ入っちゃう
0041デフォルトの名無しさん2005/11/03(木) 15:05:38
>>40
間違ってないよ xとxsに分離されてるから
x以上になってないと[1,3,1,4]をqsortしたとき要素が減ってしまう
0042デフォルトの名無しさん2005/11/03(木) 15:33:15
そうだった
スマソ
0043デフォルトの名無しさん2005/11/16(水) 21:50:57
>>37
リアルタイムゲームも書ける
ttp://www.geocities.jp/takascience/windows/monadius.html
0044デフォルトの名無しさん2005/11/19(土) 12:28:18
  _   ∩
( ゚∀゚)彡 ハスケル! ハスケル!
 ⊂彡
http://www.haskel.com/
0045デフォルトの名無しさん2005/11/22(火) 00:44:19
手続きコード無闇に繋いでも今は無駄だよ
大抵の処理は 高階関数一つで終わりさ
関数型のIOを守るためお前は考え 便利さ見失った
手続き忘れた インターフェース<かお>など見たくはないさ
IO 取り戻せ
0046デフォルトの名無しさん2005/11/22(火) 07:51:08
僕はようやくスレをageた。やれやれ。
0047デフォルトの名無しさん2005/11/22(火) 07:55:05
本スレが余りに学術的で居心地が悪くなった
Haskellネタ師の溜り場はここですか?
0048デフォルトの名無しさん2005/11/22(火) 23:22:30
しかし、数学者からみたら他の言語よりはマシだが、まだまだ不満はあるよな。
0049デフォルトの名無しさん2005/11/23(水) 00:56:10
理論的な見地でもまだまだ。処理系の実装においても、
C,C++とはまだ吐き出されるコードに雲泥の差がある。
まだまだ中途半端な存在なんだね。
0050デフォルトの名無しさん2005/11/26(土) 22:20:52
本スレが余りに過疎で居心地が悪くなった
Haskellネタ師の溜り場はここですか?
0051デフォルトの名無しさん2006/01/27(金) 01:34:14
入門書がでるってはなしはどうなりましたかね?
0052デフォルトの名無しさん2006/01/27(金) 02:09:55
入門書出すことに意味があるのかどうか。。
そんなに一般人に媚び売ってどうすんの?
0053デフォルトの名無しさん2006/01/27(金) 19:33:12
あげ
0054デフォルトの名無しさん2006/01/28(土) 23:32:25
Haskellの是非は置いといて>>8には全く同意できない。
0055デフォルトの名無しさん2006/01/28(土) 23:52:03
>>54
たしかに++とか:とかの意味を知らないと>>8では理解しようがないけど、
Haskellを知っていてクイックソートを知らない奴がかりにいたとすると
やっぱりそいつは>>5を見て即座にクイックソートを理解すると思う。
その意味で、>>8が言ってることもそんなに外れてないような気がする。

関係ないが、Rubyあたりでクイックソートを書いても似たようなものになるはずなのに
なんでHaskellの特徴みたいに扱われてるんだろう…
0056デフォルトの名無しさん2006/01/29(日) 00:44:06
プログラムとしては全然直感的じゃないな。
数式に近い
0057デフォルトの名無しさん2006/01/29(日) 02:12:39
手続き型言語じゃないからね。
0058デフォルトの名無しさん2006/01/29(日) 07:12:15
高学歴用言語ですかね
0059デフォルトの名無しさん2006/01/29(日) 07:15:16
Haskell の IRC は賑わってるから、イパーン人も多いんじゃないの。

http://meme.b9.com/start.html
0060デフォルトの名無しさん2006/01/29(日) 11:10:00
>>56
俺にはむしろ手続き型のほうが直感的に思えない
0061デフォルトの名無しさん2006/01/29(日) 11:26:33
それは、抽象化された物が直感的と考えるか、具象化された物を直感的と考えるかの違いじゃないかな。
やっぱり Haskeller は、Haskell のコードからどんなアセンブラが生成されるか直ぐに分かるの?
0062デフォルトの名無しさん2006/01/29(日) 11:32:42
アルゴリズム的
0063デフォルトの名無しさん2006/01/29(日) 11:56:15
C に変換して gcc でコンパイルしてるけど
どんなコードになるのかわかりません(⊃д`)
0064デフォルトの名無しさん2006/01/31(火) 10:05:43
もっと議論しろ
0065デフォルトの名無しさん2006/01/31(火) 17:59:21
そもそも「直感的」という言葉じたいが曖昧で主観的なものだから
議論の土台としてふさわしくない。みたいな?
0066デフォルトの名無しさん2006/01/31(火) 18:50:26
では話題を変えてもよいぞ
0067デフォルトの名無しさん2006/01/31(火) 19:31:37
何か聞きたいことがあるなら素直に質問しろよw
0068デフォルトの名無しさん2006/01/31(火) 20:16:46
取敢えず俺ははすけるの事をまるで知らないので、
このプログラミング言語の良さを自慢して俺をワクワクさせろ。
0069デフォルトの名無しさん2006/01/31(火) 21:24:42
Haskellの素晴らしさは>>68みたいな馬鹿には使いこなせないところだ。
どうだ、魅力的だろ。
0070デフォルトの名無しさん2006/01/31(火) 21:30:42
ぱっと思い付くのはこんなところだな。

・高級言語の基本的な特徴を備えている。
メモリ操作はほとんど意識する必要がない。全部GC任せにできる。
そもそもGCの存在すら意識しなくてもいいくらいだ。オブジェクトは全部(参照やポインタでなく)値。
関数も値。手続きも値。

・代数的データ型
「タグつき共用体」とか「バリアント」とか呼ばれる奴だ。
これ一つでstructにもunionにもenumにもなる。萌え。
うまく言えないが、とても素晴らしい。

・美しい構文
予約語よりも記号を多用した簡潔な構文だ。とくにwhere節(>>5にもあるように、
ローカル変数を関数本体の後で定義する機能)は手放しがたい。

・モナド
CやPascalのセミコロンを多重定義できる機構だと思ってくれ。文が実行される文脈を定義することができる。
非決定モナドを使えば複数の選択肢から一つを決定するたびに世界の方が分裂する計算を表現できるし、
継続モナドを使えばgotoすらかわいく見える邪悪な制御構造を使うことができる。
誰にも読めないソースをつくり出すには絶好の道具だ。

・強力な静的型システム
多重定義と総称性(generics)が自然に統合されたそれなりに単純な型システムがある。
特に、型推論があって、こまごまとした指定をせずとも型に頼ったプログラミングができる。
総称的な関数はそうでない関数と同じように書けるし扱える。


ワクワクしたか?したらとっとと勉強しろ。
0071デフォルトの名無しさん2006/01/31(火) 21:37:53
そうだな、なかなかワクワクしてきた。
では俺様に参考書を薦めるがよい。
0072デフォルトの名無しさん2006/01/31(火) 21:50:46
Haskellは今年中にマスターしてみせる
0073デフォルトの名無しさん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がほとんど唯一のまとまった入門書だと思う。
0074デフォルトの名無しさん2006/02/01(水) 22:34:44
限量子使えるバージョンもあるよ0うだが、、、
なんか面白いことできる ∀x∀y ∃z 
0075デフォルトの名無しさん2006/02/01(水) 23:38:33
顔文字にしか見えない → (∀
0076デフォルトの名無しさん2006/02/13(月) 20:56:42
初心者がHaskellを学ぶのに役立ちそうな文書:
http://www.sampou.org/haskell/a-a-monads/html/index.html
http://www.sampou.org/cgi-bin/haskell.cgi?Programming%3aWayToHaskeller
http://www.sampou.org/haskell/tutorial-j/index.html
http://www.sampou.org/haskell/ipsj/
0077デフォルトの名無しさん2006/02/14(火) 01:46:36
役立ちそう、じゃなくて実際にいいか悪いか教えて欲しい。
文書はとにかくあれば何でもおーけーみたいのはちょっと。
0078デフォルトの名無しさん2006/02/14(火) 03:03:11
2番目は何もわかんない状態で役立つ。
3番目は2番目が半分以上わかるぐらいで役立つ。
4番目はGHCは読めないけどもっと普通のなら読めるぐらいになったら役立つ。
1番目はモナドがわかんない時に役立つ。
0079デフォルトの名無しさん2006/02/14(火) 03:23:28
スレタイに反して、良スレだな、ここは。
0080デフォルトの名無しさん2006/02/14(火) 06:13:50
>>78
本当に役立つのかどうか不安なレスだな。
効用: 読んだことに満足する、だったりして。

0081デフォルトの名無しさん2006/02/14(火) 06:40:14
>>77
俺は>>76じゃないけど、正直なところ、今日本語で読める文章で
Haskellを学び始めるのに適したものはないと思う。
一ヶ月ほどで本が出ると思われるのでそれを待つか、
MLの入門文書を読んで関数型言語に慣れてから「やさしいHaskell入門」を読むのが
近道なんじゃないだろうか。
0082デフォルトの名無しさん2006/02/14(火) 07:23:10
76だが、>>81に激しく同意。俺は>>76の2番目を半分ぐらい読んだ状態。
後はコード読んでHaskellの世界を開拓(Hack)してゆくしかないと思う。
0083デフォルトの名無しさん2006/02/14(火) 09:27:48
Hackell
0084デフォルトの名無しさん2006/02/14(火) 09:45:31
オライリーから
Haskell hacks
が出るのはいつの日のことですか
0085デフォルトの名無しさん2006/02/15(水) 04:54:51
>>84
オライリーの中の人にもオナニーと思われてる予感
0086デフォルトの名無しさん2006/02/15(水) 04:56:35
>>85
そだね。近所なんだからよく相談するようにね。
0087デフォルトの名無しさん2006/03/05(日) 06:14:03
age
0088デフォルトの名無しさん2006/03/05(日) 06:34:28
オライリーとオナニーって似てるよね。
0089デフォルトの名無しさん2006/03/15(水) 02:08:50
>>88
ねーよwwwwww
0090デフォルトの名無しさん2006/03/15(水) 02:19:03
オナイニー
0091http://www.vector.co.jp/soft/win95/util/se072729.html2006/03/18(土) 20:17:15
TextSS のWindowsXP(Professional)64bit化おながいします

もしくは64bitにネイティブ対応したテキスト置換ソフトありますか?
0092デフォルトの名無しさん2006/03/23(木) 17:07:28
ハスケル学んでて報われるかな?
10年以内に
0093デフォルトの名無しさん2006/03/24(金) 12:09:37
言語はNEED TO KNOW
0094デフォルトの名無しさん2006/03/25(土) 02:30:23
入門本の評判は?
発売ってまだだっけ?
0095デフォルトの名無しさん2006/03/25(土) 03:53:29
>>92
言語を覚えているかどうかなんて些細な問題でしかない。
君が勉強すべきなのは数学だ。
さもなくば、ゲームが作りたいというならAPIやらライブラリやらの仕様書でも読んでろ。
0096デフォルトの名無しさん2006/03/27(月) 17:42:46
1流の2chブラウザを作ってWindowsからamigaまで制覇するのが夢です。
0097デフォルトの名無しさん2006/03/27(月) 17:50:35
まずは一流と表記することからはじめるか
0098デフォルトの名無しさん2006/03/27(月) 18:29:53
言語について解説した本がほしい
あの三冊ともSICPと同じことやらされて飽きる
0099デフォルトの名無しさん2006/03/27(月) 19:02:02
>>98
そんなあなたにGentle introduction to Haskell
0100デフォルトの名無しさん2006/03/27(月) 23:49:57
これってどないですか?
ttp://www.amazon.co.jp/exec/obidos/ASIN/4839919623
0101デフォルトの名無しさん2006/03/28(火) 00:03:37
↑まだ届いてない
■ このスレッドは過去ログ倉庫に格納されています