[Haskell-cafe] Continuable and serializable parsers.
ekmett at gmail.com
Sun Dec 27 08:20:53 EST 2009
On Fri, Dec 25, 2009 at 8:31 PM, Felipe Lessa <felipe.lessa at gmail.com>wrote:
> However you're right in a sense, you can't use this scheme to
> serialize any functions taking functions, like
> something :: (a -> Parser a) -> a -> Parser a
> data MyParser = FunSomething (a -> MyParser) a
> wouldn't be serializable. Well, maybe if your parsers were
> arrows... :)
You can't use full arrows because you need to be able to lift an arbitrary
function into an arrow type, which precludes meeting the serialization
You CAN use a CCC, but they are a bit harder to work with. =)
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe