These are chat archives for scalajp/functional

13th
Apr 2015
pocketberserker
@pocketberserker
Apr 13 2015 03:52
MonadLogicのlaw、翻訳元のドキュメンテーションコメントに書いてあったものをそのまま書いた(つもり)だけなので、そこで私が勘違いしている可能性も・・・ちょっと論文読んでみます
kenji yoshida
@xuwei-k
Apr 13 2015 06:20
たしかに、law自体が間違ってる可能性もあるか
kenji yoshida
@xuwei-k
Apr 13 2015 16:23
そういえば、「Codensityになにかを当てはまれば、それがLogicTだ」的なことをekmett先生が言っていたのを思い出した http://comonad.com/reader/2011/free-monads-for-less-2/
kenji yoshida
@xuwei-k
Apr 13 2015 16:30
あと、見返してみたら Reflection without Remorse の論文中にも LogicT 出てきてたなぁ・・・。このあたり頭の中で繋がって理解できるとかなりスッキリしそうだけど、全然理解出来る気配がない・・・
そして再び格闘したけど、未だに LogicT の law 満たせないので、なんか元の Haskell コード(かlawそのもの)が間違いであって欲しい、と思うようになってきた・・・