These are chat archives for scalajp/functional

4th
Jun 2015
kenji yoshida
@xuwei-k
Jun 04 2015 03:03
お、はい。めでたい(?)。 LogicT 自体のバグは、どこに報告すればいいんだろうか・・・
あと、LogicT の実装がバグってただけなのか、lawそのものが間違ってる(lawを満たす実装にすることが実質不可能だった?)のかが、気になる・・・
kenji yoshida
@xuwei-k
Jun 04 2015 05:13
満たさないHaskellの例って具体的にどういうのです?
pocketberserker
@pocketberserker
Jun 04 2015 05:44
Listは満たすけど、WriterT, ReaderT, StateTはlawを満たさない、という可能性はあるんじゃないですかね
pocketberserker
@pocketberserker
Jun 04 2015 05:57
http://hub.darcs.net/dolio/logict/issue/1
issue立ててみました
ReaderTとStateTは未検証なのでまた今度
kenji yoshida
@xuwei-k
Jun 04 2015 06:39
issueの番号が1番目w
kenji yoshida
@xuwei-k
Jun 04 2015 13:13
関数型なloggingとconfigのライブラリ出したらしい? https://github.com/oncue/journal https://github.com/oncue/knobs
kenji yoshida
@xuwei-k
Jun 04 2015 13:18
configのほうはHaskellのこれ https://github.com/bos/configurator/ の移植なのか
kenji yoshida
@xuwei-k
Jun 04 2015 13:26
ていうかrunaroramaさん、(scalaz派じゃなく) cats 派の人と一緒に働いてるのか・・・ https://twitter.com/runarorama/status/606133010036097024
そのconfigのやつとloggingのやつは当然のようにscalazに依存してるし、(同じところからでてる) remotelyもscalazというかscalaz-stream依存だし、同僚の2人は猫派でzにはもう貢献するつもりなさそうだし、runaroramaさんはこの前Freeにpull reqしてたように今のところz派だし、一体どうなるんだ・・・
pocketberserker
@pocketberserker
Jun 04 2015 13:35
仕事のときは割り切ってscalaz使う、とかはあるんじゃないですかね
すぐに猫に入れ替えるの難しそうですし
kenji yoshida
@xuwei-k
Jun 04 2015 13:37
まぁ今のところはそうでしょうね・・・