Experimental IRC log happs-2007-09-14

Available formats: content-negotiated html turtle (see SIOC for the vocabulary)

Back to channel and daily index: content-negotiated html turtle

These logs are provided as an experiment in indexing discussions using IRCHub.py, Irc2RDF.hs, and SIOC.

21:38:16<Lemmih>How does 'deriveAll' deal with state that's unserializable?
21:43:40<Igloo>I'm not sure I understand the question
21:44:05<Igloo>deriveAll's main purpose is to derive a Data instance
21:44:46<Igloo>If you use existential types or something then it'll give an error, I assume. It certainly won't work
21:46:59<Lemmih>Is deriving Data by hand required?
21:47:35<Lemmih>(Commands are currently forced to be serialized using Data/XML)
21:49:24<Igloo>Yup
21:55:22<Lemmih>How do I do that?
21:57:05<Igloo>What does the type look like?
21:57:45<Igloo>If it uses existential types then how will you know what type to unserialise it as?
21:59:37<Lemmih>It uses a function type. And that function is created from a string.
21:59:58<Igloo>Do you still know what the string is?
22:00:09<Lemmih>Yes.
22:01:00<Igloo>OK, the IxSet repo has an SYBWC.Data instance that uses fromSet and toSet; you could be able to do something similar, converting to and from a type which has the string but not the function
22:03:22<Lemmih>Hm, I'll think of some better solution. I have 160 lines of data structures and I'd have to define most instances by hand.
22:06:37<Lemmih>Read/Show should still be an option, imho.
22:09:39<alexj>you could in theory make your Xml be a CDATA of the output of Show.
22:11:08<Igloo>You'd have to do read/show by hand too, no?
22:12:39<Lemmih>No. I actually don't need the Data instance for the data structures in question. However, the TH is very difficult to use in selected places.
22:18:41<Lemmih>s/difficult/impossible/
22:21:54<alexj>Lemmih: example?
22:23:02<alexj>is there a way to access the http-port from inside a stdMain handler?
22:29:01<Lemmih>$(deriveAll [...] [d| type X = Y; data Z = Z X |])
22:31:16<Igloo>Lemmih: Does -fglasgow-exts fix it?
22:31:27<Igloo>If not, what error do you get?
22:39:31<Lemmih>Oops, my bad. Left a deriving clause in there by mistake.
22:47:25<Lemmih>Anyhow, "expose' DeriveString" uses Read/Show.

Back to channel and daily index: content-negotiated html turtle