[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part16 (978ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
127: デフォルトの名無しさん [sage] 2011/10/15(土) 00:26:31.58 AAS
IOモナドもただのモナド
ただ一度汚染されたら元には戻らないけど
つーわけで>>=とかの型をよく眺めるといい
249: デフォルトの名無しさん [sage] 2011/10/23(日) 00:41:48.58 AAS
逆にどこが違う？
303: 302 [sage] 2011/10/28(金) 03:20:39.58 AAS
ごめん。捕捉。
T1とT2は、別の型というよりも、変更前の型と変更後の型をシミュレートしていると考えて。
だから、このコードではcとdは別の識別子だけど、変更前と変更後で同じ識別子にすることができる。
317: デフォルトの名無しさん [sage] 2011/10/29(土) 00:06:08.58 AAS
いろんな意見ありがとうございます。アローのことはそもそも知らないくらい
なので、また探ってみたい。やっと面白いと思うことが増えてきた感じです。
arrowのことは他の理解を終えてから取っかかるよ。
実はRWHをようやく半分まで消化したところ
377(1): デフォルトの名無しさん [sage] 2011/11/06(日) 02:49:06.58 AAS
Haskellの変数の有効範囲って何か具体的に決まっているのかな？
Haskel Reportを読んでもはっきりと書かれていないような。
以下のように関数(>>?)を定義してvalue1, value2を求めると
value1は普通に求められるが、value2は\s -> s + aのところで
aが未定義ですとか言われる。
括弧があると変数の有効範囲が変わるのかな？
(>>?) :: a -> (a -> b) -> b
v >>? f = f v
value1 = (1, 2) >>? \(a, b) -> b >>? \s -> s + a
value2 = (1, 2) >>? (\(a, b) -> b) >>? \s -> s + a
401: デフォルトの名無しさん [sage] 2011/11/07(月) 21:10:41.58 AAS
あり＾＾
408: デフォルトの名無しさん [sage] 2011/11/08(火) 12:02:54.58 AAS
なにその竹島みたいな
そもそも領土問題は無い
みたいな
430(1): デフォルトの名無しさん [sage] 2011/11/09(水) 20:13:01.58 AAS
>>429429(1): デフォルトの名無しさん [sage] 2011/11/09(水) 20:05:25.66 AAS
さて、我慢して無視を決め込んだhaskellerは何人居るでしょうw
(一応、私も含む)
無視してると言いながら、書いちゃったらダメだよ。次からは何も言わないようにね♪
477(2): デフォルトの名無しさん [sage] 2011/11/12(土) 15:59:22.58 AAS
>>473SMLならモジュールで名前空間を実現しているから
uri.schemeやuri.pathみたいに書けて、Rubyと遜色ない
Haskellって大規模開発には適していないのかな？
641(1): デフォルトの名無しさん [sage] 2011/12/02(金) 17:55:57.58 AAS
>>639639(1): デフォルトの名無しさん [sage] 2011/12/02(金) 12:59:59.60 AAS
>>638
結果が出るのに何時間もかかるような大規模演算が必要な状況なら
ピンポイントでそういう部分がボトルネックになることが多いんだよ。
じゃあ、そういう部分だけ C 用の高速ライブラリを使えば良いのではないか？
探したことないから知らんが、商用とかではいくらでもあると思う
Data.Bits を使う理由がないな
648: デフォルトの名無しさん [sage] 2011/12/02(金) 21:09:26.58 AAS
FFI書けるようになると成長した気になれる
682(1): デフォルトの名無しさん [sage] 2011/12/10(土) 16:38:39.58 AAS
モナド以外は大半を読んで知ったよ。
でももう忘れかけてるから、また見て思い出して、あーこれこれ、はいはい、これね、って感じ。
表面的なことは理解したけど、浅いと思う。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.042s