モナドの本当の力を引き出す・・・モナドによる同期/非同期プログラミングの抽象化 - xuwei-k's blog

以下の2つの続き ScalaでFutureとEitherを組み合わせたときに綺麗に書く方法 FutureとEitherの話の続き(ApplicativeとMonadの違い) 上記の2つ(特に最初の方)を読んだことを前提で書くので、読んでない人は先にそちらを読みましょう。 なんだか少し関連する話(?)で盛り上がっていて、書かないといけない気がしてきたので 非同期プログラミングの難しさとScalaのFuture そのtogetterの議論について色々書きたいこと*1もありますが、それは置いておき、表題の「モナドによる同期/非同期プログラミングの抽象化」について書きます。というか、(非同期プログラミングの話より)便乗してモナドとモナドトランスフォーマーの便利さを話したいだけかもしれません(?) 前回2つは「Future使って非同期にしても、だいたい関数の本体同じでいけるよ」ということを書きました

[tarotarorg]

ゼノブレイドの話じゃないのか・・・。

[tyru]

「isFriendsのロジックは全く変えることなく、同期 or 非同期、エラーにEither使うか否か？を切り替えることができます」

[clavier]

モナドの本当の力を引き出す・・・モナドによる同期/非同期プログラミングの抽象化 - scalaとか・・・

[takc923]

渡ってきたモナド型クラス？のsyntaxをimportするの、さらっと書いてあるけどこんな書き方出来るのか。勉強になる。

[ruicc]

モナド、もっといろんな言語に広まって欲しいしモナドを前提とした最適化とかもっと発達して欲しい

[jyokou]

イスラエルの諜報機関の話でもないね