スタートHaskell第4回　まとめ

鯉江 @koie

parsec3:設定ファイルとかユーザに近いところ attoparsec:httpヘッダ #start_haskell

Keisuke UTO @utotch

Paserc3 と attoparsec を併用したりするらしい。attoparsec はエラーメッセージが不親切だけど速い #start_haskell

(｢・ω・)｢ｶﾞｵｰ @bicycle1885

あった　http://t.co/SYX1j6CK #start_haskell

でこすけ @dekosuke

Parsecの入門、"Write Yourself a Scheme in 48 Hours" とかどうでしょう http://t.co/tA7pVc4w #start_haskell

でこすけ @dekosuke

って還暦プログラマの人のはそれの解説ですか #start_haskell

Keisuke UTO @utotch

Haskell の Parsec3 もしくは attoparsec のわかりやすい解説を誰か書いてくれると、私が喜びます。#start_haskell

竹辺靖昭 @beketa

memoizeしたりはしていないのでしたっけ? #start_haskell

日比野 啓 (Kei Hibino) @khibino

メモ化してくれる parser はたぶん pappy とか frisby とか http://t.co/nR2V6Zz5 http://t.co/OChYXQTu #start_haskell

蟷螂 | kamakiri01 @kamakiri_ys

ハットン本はバックトラックするので効率は悪いが、parsecは捨てるのではやい。状態を戻したいときはtryを使う #start_haskell

Nobuo Yamashita @nobsun

パーザコンビネータの基本の基本は"Implementing Functional Language: a tutorial"を読むと良くわかります．MonadもApplicativeも出てこないので怖くないです．#start_haskell

Nobuo Yamashita @nobsun

パーザコンビネータの基本的なところだけを知るには ghcのbaseパッケージにあるText.ParserCombinators.ReadPを読むよいいかもです．手前味噌ですがこんなのもどうぞ http://t.co/Wja4Sbiv #start_haskell

スタートHaskell @start_haskell

第9章の資料です http://t.co/8c5PNDnk #start_haskell

蟷螂 | kamakiri01 @kamakiri_ys

9章。IOを扱うプログラムは入力によって副作用が出る。よって、IO前とIO後は、違う状態の”World(世界)”として扱う #start_haskell

山本和彦 @kazu_yamamoto

getChar >>= \c -> putChar c #start_haskell

蟷螂 | kamakiri01 @kamakiri_ys

getChar >>= (\c -> putChar c) #start_haskell

でこすけ @dekosuke

ghciで:i IOって打つとRealWorldという単語が #start_haskell

蟷螂 | kamakiri01 @kamakiri_ys

true == true == true == .. を簡約するには、左の==から簡約していかないといけない。 >>=も流れとしては同じ #start_haskell

Nobuo Yamashita @nobsun

むしろ，パターンマッチがWHNFを要求するので順番が決まるのでは？ #start_haskell

山本和彦 @kazu_yamamoto

.@nobsun その通りですが、何か問題でも？ #start_haskell

日比野 啓 (Kei Hibino) @khibino

.@kazu_yamamoto @nobsun まあ case は遅延評価ではない。 とはっきり言ってしまうのはそれなりに分かりやすいんじゃないかと #start_haskell

慎ましく暮らす人 @qtamaki

getChar :: IO Char 文字が返るのではなくて、文字を読み込む命令書が返る #start_haskell

蟷螂 | kamakiri01 @kamakiri_ys

IO Charは命令ではなくて命令書なので、簡約されて副作用を起こすのはランタイム。 #start_haskell