https://github.com/scalaz/scalaz/blob/v6.0.4/core/src/main/scala/scalaz/Kleisli.scala#L35
https://github.com/scalaz/scalaz/blob/v6.0.4/core/src/main/scala/scalaz/Cokleisli.scala#L20
それほど多くあらためて書くことないんですが、深夜というか早朝にtweetしたし、本当に数学由来なら、「なんか変な記号使ってるライブラリ」っていう間違った(?)イメージをに広めちゃうのはあれなので*1、わざわざblogに書いてみた。
ScalazのKleisliの URL を思い出して気になって、"kleisli star" でググったら案の定そういう数学用語(?)があるっぽいことが判明するなどしているところ
2011-12-11 05:12:52 via web
「過去にこんな発言 URL してすいませんでした、自分の数学知識が足りないだけでした(´・ω・`)」ってことでいいのかな?
2011-12-11 05:16:14 via web
ちなみに、そういう用語があるっぽいことはなんとなくググッて見つけたけど、今のところ自分はちゃんと理解できてないので誰か知ってたら教えて欲しい・・・。(なんかわかりやすくまとまってるサイトでもいいので)KleisliとKleisli starの用語はそもそも同じなのか、(Kleisli starの短縮形というか通称としてKleisli ?ではなさそう?)違う用語ならどのように違うのか。Kleisli star以外にも「Kleisliなんとか」って種類があるのか。・・・あるっぽい(´・ω・`)?
ぼかぁモナドさんについてKleisli tripleとの関係やKleisli starとbind operatorの関係分かるまでずっとモヤモヤしてましたね・・・
追記:
twitter上で教えてもらった
@xuwei_k 自分はは、Kleisliトリプルって呼ばれる中の「拡張」だと思ってます。拡張は、fがXM(Y)に対して、M(X)M(Y)に、XをMに持ち上げる演算子です。このへんは URL の記事が。続く
2011-12-16 01:27:37 via web to @xuwei_k
*1: この第一回Scala会議のとき http://www.slideshare.net/kmizushima/scalaz/23 も自分含め、誰も突っ込んでなかったなぁ・・・