[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part16 (978ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
43: 42 2011/10/08(土)15:45:48.72 AAS
handleToFdなんて知らんかった。
そういうものがあるなら、オレの書いたことは無駄だったな。
278: 2011/10/25(火)23:04:45.72 AAS
>>276
ファンだったのに、、、
308: 2011/10/28(金)12:54:58.72 AAS
>>307
すまん
誤) CICP 的に言えば
正) SICP 的に言えば
319: 318 2011/10/29(土)10:50:44.72 AAS
>>318
書き忘れていました
今は Haskell Platform 内のドキュメントを読んでいます
321: 2011/10/29(土)12:31:01.72 AAS
>>320
ありがとうございます
そうですね、元の Haskell の仕様を読んでおくのは当然ですね
熟読します
486(2): 2011/11/12(土)17:11:25.72 AAS
>>484
できるけど、名前が衝突しない場合に限る。これはSMLも同じだよな？
Haskellで短かい名前を多用すると、けっこう頻繁に衝突して、けっきょく修飾インポートするはめになる
Rubyだとメソッド名はグローバルじゃないので衝突を気にする必要すらない
490: 2011/11/12(土)17:25:14.72 AAS
>>487
> もしかしてHaskellの(モジュールに関する)名前空間というのは
> フラット(平坦)なの？
どういうのをフラットと言うのか分からんが、
俺が Haskell のモジュール関係で不満なのは次のことができない事
AAA.BBB.CCC.DDD というモジュールがあったとして、
モジュール AAA.BBB をインポートして CCC.DDD.fff で関数 fff を使う事
関数 fff を使いたかったらモジュール AAA.BBB.CCC.DDD をインポートしないといけない
556(1): 553 2011/11/15(火)00:06:14.72 AAS
>>555
ソースは見た？
今見てきたんだけど、内部での使われ方はそんな複雑じゃなかったよ。
sfはdpSwitchの第3引数として渡した関数に与える値を生成する為に使用されるSF a b型の値。
Yampaを知らんから適切な説明ができん。
572: 2011/11/17(木)21:00:04.72 AAS
定期的にこういうやつ沸くな
608: 2011/11/26(土)08:54:38.72 AAS
>>607
爽やかな土曜の朝に一曲どうぞ
動画ﾘﾝｸ[YouTube]
656: 2011/12/04(日)23:51:53.72 AAS
QuickCheck の解説やチュートリアルで何かお勧めありますか？
英語でもOK
ここ以外で（ここが良くないという意味ではなくて、他にもないかという意味）
外部ﾘﾝｸ:itpro.nikkeibp.co.jp
691(1): 2011/12/12(月)10:04:13.72 AAS
Haskellでメモ化って相性が悪そうに思うけど、どうやってるの？
714: 2011/12/18(日)06:36:54.72 AAS
で、実際問題、Haskellって何の役に立つの？
GUIも含めたアプリを作るのに、C++やJavaよりも生産性が高いの？
それとも計算結果をコマンドプロンプトに表示するだけでドヤ顔？
790(2): 2011/12/22(木)22:59:36.72 AAS
ものごとを抽象化するための仕組みとしては大したもんだよ
972(1): 2012/01/02(月)16:57:05.72 AAS
>>971
あぁ、なるほどな
> ｢ListとIOとMaybeは大体同じだ｣というときの共通性が、
> 言ってしまえばリスト化（多元化）にあるのだとすれば、
そう解釈してしまったのなら、
> モナドなどというよりリストと言った方が伝わり易いと思ったわけだ。
と言うのも十分に分かる、というか当然の反応だ
ただ残念ながら、少なくとも「それらに見いだした共通性はリスト化だ」
という解釈に関しては間違っている（多元化の意味は分からんが）
Wadler氏が List、IO、Maybeなどにどのような共通性を感じたのかは
Monad型クラスの関数に間接的に表れてはいるが、俺の力ではとても一言で言えない
それこそちゃんと知るには彼の論文や基になったMoggi氏の論文を読まないといけない
ただ、一般的なプログラマには「Monad型クラスの関数がモナドに共通する構造だ」
と言いうだけで応用上は十分だと思う
その共通構造をモナドが応用される前のListやIOに見いだしたと言っていい
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.038s