Send Beginners mailing list submissions to
beginners@haskell.org
To subscribe or unsubscribe via the World Wide Web, visit
http://www.haskell.org/mailman/listinfo/beginners
or, via email, send a message with subject or body 'help' to
beginners-requ...@haskell.org
You can reach the person managing the list at
beginners-ow...@haskell.org
When replying, please edit your Subject line so it is more specific
than "Re: Contents of Beginners digest..."
Today's Topics:
1. Re: Haskell wants the type, but I only know the class.
(aditya siram)
----------------------------------------------------------------------
Message: 1
Date: Fri, 4 Nov 2011 18:59:18 -0500
From: aditya siram <aditya.si...@gmail.com>
Subject: Re: [Haskell-beginners] Haskell wants the type, but I only
know the class.
To: Brent Yorgey <byor...@seas.upenn.edu>
Cc: beginners@haskell.org
Message-ID:
<cajrreygzhx-5rkznufwphzjofrf57m0z7vysovftggk_cq4...@mail.gmail.com>
Content-Type: text/plain; charset="iso-8859-1"
Sorry for the misinformation. I should've ran the code.
-deech
On Fri, Nov 4, 2011 at 11:22 AM, Brent Yorgey <byor...@seas.upenn.edu>wrote:
> On Fri, Nov 04, 2011 at 08:52:36AM -0500, aditya siram wrote:
> > Perhaps this is what you're looking for:
> > {-# LANGUAGE ExistentialQuantification #-}
> > import Data.Binary
> > import Data.ByteString.Lazy as B ( readFile, writeFile )
> > import Codec.Compression.GZip ( compress, decompress )
> >
> > data Thing = forall a. (Binary a, Show a, Eq a) => Thing a
> >
> > instance Binary Thing where
> > get = get
> > put (Thing a) = put a
> >
> > instance Show Thing where
> > show (Thing a) = show a
> >
> > readThing :: FilePath -> IO Thing
> > readThing f = return . decode . decompress =<< B.readFile
> > f
> >
> > writeThing :: FilePath -> Thing -> IO ()
> > writeThing f = B.writeFile f . compress . encode
> >
> > doSomething :: Thing -> m Thing
> > doSomething = undefined
> >
> > main = do
> > a <- readThing "file1.txt"
> > a' <- doSomething a
> > writeThing "file2.txt" a'
> >
> > It compiles on my machine (GHC 7.2.1) but I haven't tested it. It
> > uses the
>
> This will not work. The problem is that once you have a Thing you
> cannot do anything with it, because you have no information about what
> type is inside. In other words you cannot implement 'doSomething' to
> do anything interesting at all. I am actually surprised that
> 'readThing' type checks -- I am not sure what type it thinks the read
> thing has, or how it can guarantee that it satisfies the given
> constraints.
>
> I tried adding a Typeable constraint to Thing and using 'cast' to
> recover the type, but that doesn't really work either. You would
> really have to do something like changing the Binary instance for
> Thing so that it also serializes/deserializes a TypeRep along with the
> value, and then does some sort of unsafe cast after reading.
>
> You may want to take a look at how xmonad handles this problem -- it
> allows arbitrary user-extensible state and layouts, which it needs to
> serialize and deserialize when restarting itself.
>
> -Brent
>
> _______________________________________________
> Beginners mailing list
> Beginners@haskell.org
> http://www.haskell.org/mailman/listinfo/beginners
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://www.haskell.org/pipermail/beginners/attachments/20111104/a3a90177/attachment-0001.htm>
------------------------------
_______________________________________________
Beginners mailing list
Beginners@haskell.org
http://www.haskell.org/mailman/listinfo/beginners
End of Beginners Digest, Vol 41, Issue 6
****************************************
