<br><br><div class="gmail_quote">On Sun, Oct 21, 2012 at 8:42 PM, MigMit <span dir="ltr"><<a href="mailto:miguelimo38@yandex.ru" target="_blank">miguelimo38@yandex.ru</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Oh, now I've got it.<br>
<br>
First of all, functions of type "IO () -> Event a" are impossible (unless you resort to tricks with unsafePerformIO, which is not what you want to deal with right now). You've probably meant something like "IO (Event a)" (at least, that is the type of function which would read "Event a" from file or input stream or something else external).<br>
</blockquote><div><br>Yes, sorry, that's what I meant.<br> <br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
Secondly, functions (and values) with parametric types, like "IO (Event a)" require you to provide the type "a" in your code. They won't take it from somewhere magically. You can take a look at the "read" function in Prelude for example.<br>
<br>
If you really want to store the type information and read it back, you should do it yourself, inventing some representation for your type, writing it to disk, reading back and parsing it. And you can't do that for all types in existence, so you'll need to do that for some specific types (and no, instances of Typeable aren't what you want). And you'll have to deal with type system, which won't allow you to just say "hey, let that be whatever type it happens to be, I don't care"; you'd have to wrap this into one existentially quantified type (or GADT).<br>
<br>
Keep in mind that this is not very Haskell-y. First of all, try to analyse, what this "a" in "Event a" could be. What are the limits here? And don't say there aren't any, because if you don't know anything about the type, you can't do anything with it. So, maybe you would end up with a finite set of types — this would simplify matters a lot. Or maybe you'd find out that there are inifinitely many types of events — but they can be somehow generated with a finite number of constructors — that would be quite simple as well.<br>
<br>
So, what is the bigger picture here?<br></blockquote><div><br><br>In my application, the user can define the "a". That's what makes it difficult. For example, the user can define a new enumerate and submit it to the program (it will be interpreted by hint):<br>
data Choice = You | Me | Them | Everybody deriving (Enum, Typeable, Show, Eq, Bounded)<br>So, the list of types is not known in advance. <br>I could ask my user to make his new type an instance of a class as suggested by Alberto...<br>
<br> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="HOEnZb"><div class="h5"><br>
On Oct 21, 2012, at 9:20 PM, Corentin Dupont <<a href="mailto:corentin.dupont@gmail.com">corentin.dupont@gmail.com</a>> wrote:<br>
<br>
> Hi,<br>
> Sorry if it was not enough explicit.<br>
> I want to write functions like this:<br>
><br>
> serialize :: (Show a) => Event a -> IO ()<br>
> deserialize :: (Read a) => IO () -> Event a<br>
><br>
> The functions would write and read the data in a file, storing/retrieving also the type "a" I suppose...<br>
> BR,<br>
> C<br>
><br>
><br>
><br>
> On Sun, Oct 21, 2012 at 7:03 PM, MigMit <<a href="mailto:miguelimo38@yandex.ru">miguelimo38@yandex.ru</a>> wrote:<br>
> Seems like nobody really understands what is it that you want to accomplish or what your problem is.<br>
><br>
> Отправлено с iPhone<br>
><br>
> 21.10.2012, в 20:39, Corentin Dupont <<a href="mailto:corentin.dupont@gmail.com">corentin.dupont@gmail.com</a>> написал(а):<br>
><br>
>> Nobody on this one?<br>
>> Here is a simplified version:<br>
>><br>
>> data Event a where<br>
>> InputChoice :: a -> Event a<br>
>><br>
>> How to serialize/deserialize this?<br>
>><br>
>> Cheers,<br>
>> Corentin<br>
>><br>
>> On Sat, Oct 20, 2012 at 10:49 PM, Corentin Dupont <<a href="mailto:corentin.dupont@gmail.com">corentin.dupont@gmail.com</a>> wrote:<br>
>> Hi the list!<br>
>> I have a simple question, how can I serialize/deserialize a structure like this:<br>
>><br>
>> data InputChoice c deriving Typeable<br>
>> data Event a where<br>
>> InputChoice :: (Eq c, Show c) => [c] -> c -> Event (InputChoice c)<br>
>> (...)<br>
>><br>
>> I'd like that the values of type "c" get serialized to a String... That's the easy part, but for deserializing, oops!<br>
>><br>
>> Cheers,<br>
>> Corentin<br>
>><br>
>> _______________________________________________<br>
>> Haskell-Cafe mailing list<br>
>> <a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
>> <a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
><br>
<br>
</div></div></blockquote></div><br>