Fumiaki Kinoshita
Fumiaki Kinoshita
I personally think we should avoid MonadBaseControl as much as possible. It makes forking and exception handling of stateful monad transformers "work", but often in undesirable ways. _Maybe_ it makes...
To be honest, I'm not sure the Alternative Free instance makes sense.
`fold f g` is just a composition of `fmap f` and `iter g` right?
@ixmatus Did you have a chance to take a look at this?
FWIW, we switched to this version in production and it seems to be working fine so far
@riz0id I've just submitted a PR with a branch rebased on top of master: #153
@riz0id No problem as we can always use a forked version. There's a problem on OSX environment indeed https://github.com/cachix/install-nix-action/issues/183
I think we deliberately use `(forall x . f x -> g x)` to allow only "legal" transformations.
「モナドは上から下へ実行される計算の列である」については、「上下」をデータの依存関係と好意的に解釈すると反論が難しいですね。Control.Applicative.Backwardsと比較すると面白い解説ができるかもしれません
いつの間にかjoypixelsというものに変わっていて、今はライセンス周りの事情がかなり変わっているようです