94(1): デフォルトの名無しさん [sage] 2011/10/11(火) 05:50:55.78 AAS
>>92
まずは自分が説明しろ

58(1): デフォルトの名無しさん [sage] 2011/10/10(月) 07:17:00.11 AAS
実用する気とか全然なくて研究のプラットフォームとしか思ってない奴らが居るからな
理念からしてそいつら向けの部分があるし、まあ仕方ない

597(3): 増田 [sage] 2011/11/19(土) 17:53:33.65 AAS
sutegoma2っていう最強ハッカーチーム知ってるか?
ハッカーの大会　CTF Defconで優勝したチーム
知らないなら帰っていい

malaなら勝てるかもしれない

君たちじゃ無理

君たちは本当に生産性のないことしてるね
なにが +　を自作したいだよ
君たち本当に脳みそ使い方間違えてるね

Haskellとか言ってる連中よりセキュリティストのほうがマジすげーわ
じゃなあカーーーーーーーーース

お前らでてみろよｗ　Haskellがいかにクズで役にたたねーかわかるからｗ
ボコボコだぜお前らなんて
真のインテリゲンチャの集いだから

673(1): デフォルトの名無しさん [sage] 2011/12/09(金) 18:36:28.60 AAS
>>671
Hoogleなら型から検索できる
しかしPreludeとData.Listくらいは使ってれば大部分覚えることになると思うけど

685(1): 680 [sage] 2011/12/10(土) 18:04:11.70 AAS
なにやら真面目に付き合ってもらってありがとう。
今↓見てざっと思い出した。
外部ﾘﾝｸ:d.hatena.ne.jp

じゃあここから何をしようか、いつまでも素数がどうのとか、リストを並べ替えて、とかじゃつまらないよ、って時のRWHかなあ。
あの本もあるんだけどw、話が無駄に長いのが難ですわ。
本当はリスティッシュな週末を過ごして、もっと身に染み込ませるべきなのかも知れませんが。

925(2): デフォルトの名無しさん [] 2012/01/01(日) 21:54:51.56 AAS
なんだよ。789、790あたりを見てから、やっぱりモナドは注目すべきなんだろう
と思ってちょっと調べていたんだが、もうとっくの前に情報処理上で和田英一
さんが喝破しているじゃないか。やっぱりモナドなんて騒ぐほどのものじゃねえよ！
｢関数プログラミングの泣き所は入出力を含む副作用である。．．．Haskellは
シリアルに計算を進めるメカニズムのmonadを考案し、これを解決したと言っ
ているが、関数型を一部手放したと言うべきであろう。Lispにも最初からprog
があった。｣

972(1): デフォルトの名無しさん [sage] 2012/01/02(月) 16:57:05.72 AAS
>>971
あぁ、なるほどな

> ｢ListとIOとMaybeは大体同じだ｣というときの共通性が、
> 言ってしまえばリスト化（多元化）にあるのだとすれば、

そう解釈してしまったのなら、

> モナドなどというよりリストと言った方が伝わり易いと思ったわけだ。

と言うのも十分に分かる、というか当然の反応だ

ただ残念ながら、少なくとも「それらに見いだした共通性はリスト化だ」
という解釈に関しては間違っている（多元化の意味は分からんが）

Wadler氏が List、IO、Maybeなどにどのような共通性を感じたのかは
Monad型クラスの関数に間接的に表れてはいるが、俺の力ではとても一言で言えない
それこそちゃんと知るには彼の論文や基になったMoggi氏の論文を読まないといけない

ただ、一般的なプログラマには「Monad型クラスの関数がモナドに共通する構造だ」
と言いうだけで応用上は十分だと思う
その共通構造をモナドが応用される前のListやIOに見いだしたと言っていい