On Tue, Oct 21, 2008 at 03:04:27PM +0200, Martin Hofmann wrote: > We try to learn functional programs from examples, but our system is not > yet ported to Haskell, though we are working on it. However, we thought > about using TH. > > Do you have any pointers to papers, etc. ? You'll find our project, > system and papers here: http://www.cogsys.wiai.uni-bamberg.de/effalip/
I've only had a quick glance at the description however it looks like you should have a look at derive ( http://hackage.haskell.org/cgi-bin/hackage-scripts/package/derive, http://www-users.cs.york.ac.uk/~ndm/derive/ ) which I think tries to do a similar job. About everything else: try haskell.org, #haskell and there is even a TH mailinglist. You should know that you can make ghci print a lot of terms for you. Eg put the following into your ~/.ghci file :set -fth :m +Language.Haskell.TH :m +Language.Haskell.TH.Syntax then run ghci -package template-haskell and enter ghci: Prelude Language.Haskell.TH.Syntax Language.Haskell.TH> runQ [| (*2) |] result: InfixE Nothing (VarE GHC.Num.*) (Just (LitE (IntegerL 2))) etc.. Also note that there is the module Language.Haskell.TH.Lib which does a lot of lifting for you automatically.. I hope this does help you getting more productive in addition to reading some of those existing texts. Marc Weber _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe