These are chat archives for scalajp/functional

11th
Oct 2014
pocketberserker
@pocketberserker
Oct 11 2014 07:19
tpolecat/atto#12
ScalaでのCPSにはたしてメリットはあるのですかね…?
Ryoichiro Oka
@ryo0ka
Oct 11 2014 08:03
scalajp/public のほうから案内していただいたんですが、通常の関数合成とReaderの合成は何が違うんですか?
kenji yoshida
@xuwei-k
Oct 11 2014 08:12
Readerは、Reader Monad Transformarを特殊化して作る関係上、Functionとか別の型になっていることがありますが、単に関数と同型なので、べつに関数合成とあまり変わらないです
seraph
@seraphr
Oct 11 2014 08:16
見かけ上 環境の引き回しが隠蔽されて、コードが見やすくなったりするのが嬉しい?
Ryoichiro Oka
@ryo0ka
Oct 11 2014 08:29
なるほど。ようするに見た目いがい同じと
kenji yoshida
@xuwei-k
Oct 11 2014 08:33
まぁ大概の抽象化のテクニックは、見た目のためといえばそうなので・・・。ただ、Scalaに限った話だと、Reader( = 関数 ) をモナドとしてfor式で使う関係上、(Funciton1#andThenは存在してもいいけど) andThen と同じシグネチャ、もしくはandThenなしで map という名前で存在すべきるべきだし、そして Function1 に flatMap がないという問題がある
「さらにこれを抽象化して、任意のモナドを型パラメータの制約に加えて(ry 」 という方向でblog記事かけることに気づいたけど、そうすると、
これ http://eed3si9n.com/ja/the-abstract-future とだいたい同じ話になることに気づいた・・・
@pocketberserker CPSは、自分もよくわからないですね・・・
kenji yoshida
@xuwei-k
Oct 11 2014 08:52
関数型なんたら http://connpass.com/event/8634/ もう2週間後か・・・何話すかな・・・。shapelessの、型クラスのインスタンスの自動生成の話でもしようかな・・・
pocketberserker
@pocketberserker
Oct 11 2014 08:59
2週間前…準備…うっ
Ryoichiro Oka
@ryo0ka
Oct 11 2014 09:18
scalazをもっと使いたいんですけどそう普通に使おうとすると重すぎるんですよね・・・
Manabu Nakamura
@gakuzzzz
Oct 11 2014 09:34
2週間前…準備…うっ
kenji yoshida
@xuwei-k
Oct 11 2014 09:47
scalaz/scalaz-stream@8344e24 使われている
KAWACHI Takashi
@tkawachi
Oct 11 2014 09:48
嬉しい :smile:
kenji yoshida
@xuwei-k
Oct 11 2014 10:23
tony morrisさんの件でScalazのMLに投稿が https://groups.google.com/d/msg/scalaz/EBP_7sfB2ks/cV8aynO2TMkJ
Toshiyuki Takahashi
@tototoshi
Oct 11 2014 10:28
:scream:
kenji yoshida
@xuwei-k
Oct 11 2014 10:29
いや、なんか冷静にまとめようとしてくれてて、イケメンな感じだ(scalaz-stream原作者で、FP in Scala書いた人の投稿)
Toshiyuki Takahashi
@tototoshi
Oct 11 2014 10:29
https://github.com/larsrh Larsさんてこの人です?
kenji yoshida
@xuwei-k
Oct 11 2014 10:29
はい
KAWACHI Takashi
@tkawachi
Oct 11 2014 10:31
こういう調停、得意な人、尊敬する。自分は苦手。
kenji yoshida
@xuwei-k
Oct 11 2014 10:32
というか、larsさんがそういうまとめ役かと思っていたから、実は今回の騒動の中心だったのが意外だった
Toshiyuki Takahashi
@tototoshi
Oct 11 2014 10:36
Larsさんもまあ落ち着いて...って感じなのかな
Ryoichiro Oka
@ryo0ka
Oct 11 2014 18:11
というかむしろLars氏がTommy氏の言動にキレて急にCoCを立ち上げてそれを理由にして氏を追放されたんでは