undefined | Better HN

0 pointsEricson23149y ago0 comments

? is bind for Either monad if you squint.

`context(e?)` becomes `e >>= \x -> context(x)`

0 comments

You mean `e >>= context` ? ;)

Hah!

I should have been clear about CPSing things first so I didn't need to eta-expand :)

j / k navigate · click thread line to collapse

0 pointsEricson23149y ago0 comments

? is bind for Either monad if you squint.

`context(e?)` becomes `e >>= \x -> context(x)`

You mean `e >>= context` ? ;)

Hah!

I should have been clear about CPSing things first so I didn't need to eta-expand :)

j / k navigate · click thread line to collapse