[email protected]
[Top] [All Lists]

Re: [Haskell-cafe] Continuable and serializable parsers.

Subject: Re: [Haskell-cafe] Continuable and serializable parsers.
From: Edward Kmett
Date: Sun, 27 Dec 2009 08:20:53 -0500
On Fri, Dec 25, 2009 at 8:31 PM, Felipe Lessa <[email protected]> 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

because

 Â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 criterion.Â

You CAN use a CCC, but they are a bit harder to work with. =)


-Edward Kmett
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
<Prev in Thread] Current Thread [Next in Thread>