Parallel and Concurrent Programming in Haskell 読書会 第6回

Hideyuki Tanaka @tanakh

Parallel and Concurrent Programming in Haskell 読書会 #6 - [PARTAKE] #PCPjH http://t.co/vBxrDaVqTQ @partakeinさんから 定期ポスト(´･_･`)

Hideyuki Tanaka @tanakh

Parallel and Concurrent Programming in Haskell 読書会 #6 - [PARTAKE] #PCPjH http://t.co/vBxrDaVqTQ @partakeinさんから 場所確定しました。前回と同じです。

Hideyuki Tanaka @tanakh

Parallel and Concurrent Programming in Haskell 読書会 #6 - [PARTAKE] #PCPjH http://t.co/vBxrDaVqTQ @partakeinさんから 人があんま集まらないぽよ(´･_･`)リマインダです

Hideyuki Tanaka @tanakh

#PCPjH どしどし参加お願いします(´･_･`)

Hideyuki Tanaka @tanakh

Parallel and Concurrent Programming in Haskell 読書会 #6 - [PARTAKE] #PCPjH http://t.co/vBxrDaVqTQ @partakeinさんから 明後日です(´･_･`)！

Hideyuki Tanaka @tanakh

Parallel and Concurrent Programming in Haskell 読書会 #6 - [PARTAKE] #PCPjH http://t.co/vBxrDaVqTQ @partakeinさんから m(´･_･`)m

Hideyuki Tanaka @tanakh

Parallel and Concurrent Programming in Haskell 読書会 #6 - [PARTAKE] #PCPjH http://t.co/vBxrDaVqTQ @partakeinさんから 明日です(´･_･`)

Hideyuki Tanaka @tanakh

Parallel and Concurrent Programming in Haskell 読書会 #6 - [PARTAKE] #PCPjH http://t.co/vBxrDaVqTQ @partakeinさんから (´>_<`)あしたです！

Hideyuki Tanaka @tanakh

Parallel and Concurrent Programming in Haskell 読書会 #6 - [PARTAKE] #PCPjH http://t.co/vBxrDaVqTQ @partakeinさんから 今日15時からデース。まだ席あります m(´･_･`)m

Hideyuki Tanaka @tanakh

今日は何とかおきれたので、今から会場向かいます #PCPjH

竹辺靖昭 @beketa

Google Hangoutの方に参加するにはどうすればよいでしょうか? #PCPjH

shelarcy（しぇらーしぃ） @shelarcy

Parallel and Concurrent Programming in Haskell 読書会 #6 会場にゃう♪★ミ #PCPjH

ruichi @ruicc

リモート参加ですが遅れます #PCPjH

Jun Inoue @jun0inoue

#PCPjH くしゃみ連打は無さそうだけど、鼻水が止まらないので、基本マイク off で行きたいと思います。鼻をかむ映像垂れ流すのもアレなのでカメラも。

shige @takeishg

今日は働きながら聞かせてもらいます、なので、マイク, カメラoffで参加させて下さい。 #PCPjH

Hideyuki Tanaka @tanakh

#PCPjH いつも通りリモート参加の方はgmail のアドレスをお教えいただけると助かります。

コスモ @cosmo__

会場に到着しています #PCPjH

shelarcy（しぇらーしぃ） @shelarcy

会場のプロジェクターのケーブルに異常が…… （ケーブルの置き方によっては画面が黄色くなったり……） #PCPjH

Jun Inoue @jun0inoue

#PCPjH 開始ー

Jun Inoue @jun0inoue

#PCPjH revisit X = X を再考する、見直す

Jun Inoue @jun0inoue

#PCPjH Async を強化します。目標: 親が死ぬと自動的にキャンセルされるスレッド群の生成

Jun Inoue @jun0inoue

#PCPjH bracket (async task) cancel $ \a -> do …; x <- wait a しとけば wait が例外飛ばした時 (i.e. a が例外飛ばした時) cancel が走る

Jun Inoue @jun0inoue

#PCPjH waitBoth ややこしい。waitSTM a1 で a1 が返れば普通におｋ。a1 がまだなら waitSTM が retry するので orElse のおかげで waitSTM a2 に。でも a2 が値返した場合はそれを受けたくないので retry。

Jun Inoue @jun0inoue

#PCPjH readTMVar は実装が本に載ってない。Hoogle で読める実装では、readTMVar は takeTMVar + putTMVar (つまりブロックして読むけど、読んだ後すぐ戻す)

Jun Inoue @jun0inoue

#PCPjH readTMVar のブロックする箇所が retry になっているので、それを使ってる waitSTM(Catch) も retry によってブロックする。