- Generics - Haskell.org

patch applied (generics): Convenient Makefile target for ghci testing of approaches
by Alexey Rodriguez Yakushev 25 Oct '07

25 Oct '07

Wed Oct 24 03:36:55 PDT 2007 Alexey Rodriguez <alexey(a)cs.uu.nl> * Convenient Makefile target for ghci testing of approaches M ./comparison/Makefile +5

1 0

patch applied (generics): Give a warning for unknown options in test.hs
by Alexey Rodriguez Yakushev 25 Oct '07

25 Oct '07

Wed Oct 24 03:36:24 PDT 2007 Alexey Rodriguez <alexey(a)cs.uu.nl> * Give a warning for unknown options in test.hs M ./comparison/test.hs -2 +13

1 0

patch applied (generics): Split up Higher order test and added SYB cases.
by Alexey Rodriguez Yakushev 25 Oct '07

25 Oct '07

Mon Oct 22 08:25:31 PDT 2007 Alexey Rodriguez <alexey(a)cs.uu.nl> * Split up Higher order test and added SYB cases. The Higher Orderness test is split into two tests. Test 1 does not need ad-hoc cases but Test 2 does, check sources. Also added SYB instances of the test. ./comparison/TestHigherOrder.exp -> ./comparison/TestHigherOrder1.exp ./comparison/TestHigherOrder.lhs -> ./comparison/TestHigherOrder1.lhs M ./comparison/LIGD/GShow.lhs -1 +3 M ./comparison/SYB1_2/GShow.lhs -1 +5 M ./comparison/TestHigherOrder1.exp -1 +1 M ./comparison/TestHigherOrder1.lhs -2 +5 A ./comparison/TestHigherOrder2.exp A ./comparison/TestHigherOrder2.lhs M ./comparison/test.hs -1 +1

1 0

patch applied (generics): Small renaming
by Alexey Rodriguez Yakushev 13 Aug '07

13 Aug '07

Mon Aug 13 08:30:16 PDT 2007 Alexey Rodriguez <alexey(a)cs.uu.nl> * Small renaming M ./comparison/EMGM/GMapQ.lhs -23 +23

1 0

patch applied (generics): Higher order gmapQ for EMGM
by Alexey Rodriguez Yakushev 13 Aug '07

13 Aug '07

Mon Aug 13 07:45:19 PDT 2007 Alexey Rodriguez <alexey(a)cs.uu.nl> * Higher order gmapQ for EMGM M ./comparison/EMGM/BinTreeReps.hs -1 +2 M ./comparison/EMGM/GMapQ.lhs -16 +42 M ./comparison/EMGM/GShow.lhs +6

1 0

patch applied (generics): Added (non-working) higher-order gen. funs. test to EMGM
by Alexey Rodriguez Yakushev 08 Aug '07

08 Aug '07

Wed Aug 8 07:21:35 PDT 2007 Alexey Rodriguez <alexey(a)cs.uu.nl> * Added (non-working) higher-order gen. funs. test to EMGM M ./comparison/EMGM/GL.hs +4 A ./comparison/EMGM/GMapQ.lhs M ./comparison/EMGM/GShow.lhs -2 +9 M ./comparison/LIGD/GShow.lhs +2

1 0

patch applied (generics): Better reporting of test failures
by Alexey Rodriguez Yakushev 07 Aug '07

07 Aug '07

Tue Aug 7 06:40:55 PDT 2007 Alexey Rodriguez <alexey(a)cs.uu.nl> * Better reporting of test failures M ./comparison/test.hs -2 +25

1 0

patch applied (generics): Test for higher-order generic functions, see TestHigherOrder.hs for more info.
by Alexey Rodriguez Yakushev 07 Aug '07

07 Aug '07

Tue Aug 7 05:16:41 PDT 2007 Alexey Rodriguez <alexey(a)cs.uu.nl> * Test for higher-order generic functions, see TestHigherOrder.hs for more info. M ./comparison/BinTreeDatatype.hs +3 M ./comparison/LIGD/GShow.lhs -1 +32 M ./comparison/SYB1_2/GShow.lhs -1 +6 A ./comparison/TestHigherOrder.exp A ./comparison/TestHigherOrder.lhs M ./comparison/test.hs -1 +3

1 0

patch applied (generics): Added GADTs to test suite
by Alexey Rodriguez Yakushev 07 Aug '07

07 Aug '07

Tue Aug 7 04:34:06 PDT 2007 agerdes(a)mac.com * Added GADTs to test suite A ./comparison/GADT.hs M ./comparison/NOW/GShow.lhs -2 +5 M ./comparison/NOW/NOW.hs -3 +28 A ./comparison/TestGADT.lhs M ./comparison/log.txt +17 M ./comparison/test.hs -1 +2

1 0

xml deserialization using generics?
by Hugh Perkins 03 Jul '07

03 Jul '07

Cant decide whether this list is appropriate for questions related to generics usage, or only to generics design? So let me know if I should use haskell(a)haskell.org instead, but on the other hand I figure you guys are the experts :-) Trying to write an xmlserialization function for arbitrary (Data) objects, and not requiring a DTD or a code generation step. It's possible in C# so it really ought to be possible in Haskell ;-) xml serialization is pretty easy, see section 9.1.1 of http://www.haskell.org/haskellwiki/HXT On the other hand deserialization is still a work in progress. At least I'm not smart enough to figure it out, and nothing comes up in Google. The xml parsing bit is done, see section 9.1.2 of http://www.haskell.org/haskellwiki/HXT So, we can get a list of pairs/triples etc containing the data of our choice, such as field names, field values (in string format), data types, constructors, etc. What's remaining is to take makeConstrM, our final data type, and the list of field values, and to create the final object. Here's my non-working attempt at this bit so far. Most of the working bits come from a demonstration by kpreid in irc yesterday night of using makeConstrM with a pair of strings. The rest of the code is my feeble attempt to get this working for the Config custom data type. runM' :: (MonadState [String] m, Monad m, Data a) => m a runM' = do value <- gets head modify tail -- then one of: (pick the non-working function of your choice ;-) : -- return read (fromJust value) -- return (fromJust $ cast value ) -- return (fst $ head $ gread( "(" ++ value ++ ")" ) ) -- return (fromConstrM runM' constr) -- return (fromConstr contr) testConstrM' :: (Read a, Data a, Read c, Read b, Data b, Data c) => [String] -> a -> (b,c) testConstrM' fieldvalues object = evalState( fromConstrM runM' (toConstr object) ) fieldvalues data Config = Config{ name :: String, age :: Int } deriving( Data, Show, Typeable, Ord, Eq, Read ) createConfig = Config "blah" 3 test = testConstrM' ["qsdfqsdf", "7"] createConfig Note that whilst I'm a total Haskell newbie (this is week 2), I've used Reflection extensively in other languages, eg wrote a fast async rpc layer over guaranteed udp for C# http://metaverse.svn.sourceforge.net/viewvc/metaverse/Trunk/Source/Metavers…, so I know more or less what I'm aiming for, just not exactly how to do it ;-)

3 5