https://gist.github.com/xuwei-k/8ac08edd68928b794bafいつの間にかgitterだいぶ流行ってる

Scalaの勉強会で半分くらいHaskellの話してすいませんでした。http://xuwei-k.github.io/slides/scalaprops/

Free MonadPlus調べようとしてtwitter検索してたらGabriel Gonzalezセンセのtweetをみつけたので

それほど数学の素養ない筆者が、論文を斜め読みして「理解を試みてみた」記録です。最低限の雰囲気だけ説明してみるけど、雑だし正確な言い方もしないので、ちゃんと知りたい人は最初から元の論文を読もう。 といういつものような注意書きを書いておきます。

以下のtweetしたように、最近それなりに、(主にHaskell関連の)論文読んでるのだけれど

「もう一度来てください。本物のFree MonadPlusを見せてあげますよ」 そう言い残してScalaちゃんは去っていった・・・。

なにやってるんだ・・・、と思いつつ見てたら、とりあえず解答を思いついてしまったので貼っておきます。Scalaに存在演算子を求めるのは間違っているだろうか

英語ならもっと正確なわかりやすい解説あるかもしれないけど、とりあえず書いたので貼っておく。 (なにか間違っていたら教えて下さい)