January 2005 - template-haskell

parse to THSyntax
by WANG Meng 28 Jan '05

28 Jan '05

Hi All, I am trying to develop a Haskll like DSEL using template haskell. I am just wondering whether there is any parser built to parse Haskell source to THSnytax? -W-M- @ @ | \_/

1 0

RE: [Template-haskell] example of derive using Template Haskell?
by Simon Peyton-Jones 24 Jan '05

24 Jan '05

| unfortunately, a LOT has appears to have changed | since 6.2.2. For example, Language.Haskell.TH | doesn't exist in 6.2.2. Instead I have | Language.Haskell.THSyntax. And TyConI doesn't | exist yet either. | | | I'm inclined to believe that moving forward on | Template Haskell with 6.2.2 is pointless. Is | there any way of obtaining a build of 6.3 for | windows (or even better 6.4RC1!)? You may well be right. Template Haskell is in its infancy, relative to most of GHC, and its interface has changed substantially between 6.2 and 6.4. 6.4 will be out in weeks not months. It's our top priority. Simon

1 0

example of derive using Template Haskell?
by S. Alexander Jacobson 20 Jan '05

20 Jan '05

Does [d|...] work in 6.2.2 and if so, how do I enable it? This code gives a syntax error: {-# OPTIONS -fglasgow-exts #-} module Tth where import Language.Haskell.THSyntax import Language.Haskell.Syntax fooFunc = [d|funD "foo" [clause [] (normalB $ litE $ StringL "bar") [] ] |] goo = [|2|] --- {-# OPTIONS -fglasgow-exts #-} import Tth foo = $(goo) $(fooFunc) If I eliminate the d in "[d|" I get an error about Dec conflicting with Exp. I can actually use template Haskell in 6.2.2, can anyone provide an example of deriving a class? -Alex- ______________________________________________________________ S. Alexander Jacobson tel:917-770-6565 http://alexjacobson.com

3 12

RE: [Template-haskell] example of derive using Template Haskell?
by Simon Peyton-Jones 17 Jan '05

17 Jan '05

6.4 should be out "soon". I.e. in January I hope. It's hard to finish though! Simon | -----Original Message----- | From: template-haskell-bounces(a)haskell.org [mailto:template-haskell-bounces@haskell.org] On | Behalf Of S. Alexander Jacobson | Sent: 14 January 2005 03:53 | To: Sean Seefried | Cc: template-haskell(a)haskell.org | Subject: Re: [Template-haskell] example of derive using Template Haskell? | | Uhm. Ok, so I guess the question is then... | What is acceptable in 6.2 or is 6.4 coming out | soon? | | -Alex- | | On Fri, 14 Jan 2005, Sean Seefried wrote: | | > | > On 14/01/2005, at 7:22 AM, S. Alexander Jacobson wrote: | > | >> This is really great. Do you have an example of use of each of these | >> functions? | >> | >> e.g. do I do: | >> | >> $(derive [Int,String,MyTime]) | >> or | >> | >> $(derive ["Int","String","MyTime"]) | > | > Oh dear, I've just realised a problem. This code only works with GHC 6.3. | > Template Haskell has changed a lot since GHC 6.2. | > | > What you should type is | > | > $(derive [ ''Int, ''String, ''MyTime ]) | > | > The '' syntax means "get the name of this type". There is also a single quote | > syntax ' which means "get the name of this variable". This is new syntax | > introduced with Template Haskell. | > | > Sean | > | > | | ______________________________________________________________ | S. Alexander Jacobson tel:917-770-6565 http://alexjacobson.com | _______________________________________________ | template-haskell mailing list | template-haskell(a)haskell.org | http://www.haskell.org/mailman/listinfo/template-haskell

1 0

CfC: GPCE'05 - Generative Programming and Component Engineering
by Eelco Visser 06 Jan '05

06 Jan '05

FIRST CALL FOR CONTRIBUTIONS ---------------------------------------------------------------------- 4th International Conference on Generative Programming and Component Engineering (GPCE'05) Sep 29 - Oct 1, 2005, Tallinn (Estonia) http://www.gpce.org/05 Sponsored by ACM SIGPLAN, in cooperation with ACM SIGSOFT co-located with ICFP'05 and TFP'05 ---------------------------------------------------------------------- Consult http://www.gpce.org/05 for UP-TO-DATE and DETAILED information AVAILABLE: Calls for WORKSHOP and TUTORIAL PROPOSALS FORTHCOMING: Calls for papers and demonstrations (by mid January) ---------------------------------------------------------------------- IMPORTANT DATES * Feb 25, 2005: Submission of workshop and tutorial proposals * Mar 18, 2005: Notification for workshop and tutorial proposals * Apr 10, 2005: Submission of abstracts (only for papers) * Apr 15, 2005: Submission of papers and demos * May 30, 2005: Notification for papers and demos * Sep 27-28, 2005: GPCE workshops and tutorials * Sep 29 - Oct 1, 2005: GPCE papers and demos ---------------------------------------------------------------------- SCOPE. Generative and component approaches have the potential to revolutionize software development in a similar way as automation and components revolutionized manufacturing. Generative Programming (developing programs that synthesize other programs), Component Engineering (raising the level of modularization and analysis in application design), and Domain-Specific Languages (elevating program specifications to compact domain-specific notations that are easier to write and maintain) are key technologies for automating program development. GPCE arose as a joint conference, merging the conference on Generative and Component-Based Software Engineering (GCSE) and the workshop on Semantics, Applications, and Implementation of Program Generation (SAIG). The goal of GPCE is to provide a meeting place for researchers and practitioners interested in cutting edge approaches to software development. We aim to foster further cross-fertilization between the software engineering research community and the programming languages community, in addition to supporting the original research goals of both the GCSE and the SAIG communities. ---------------------------------------------------------------------- TOPICS. GPCE seeks contributions both in software engineering and in programming languages related (but not limited) to: * Generative programming - Reuse, meta-programming, partial evaluation, multi-stage and multi-level languages, step-wise refinement - Semantics, type systems, symbolic computation, linking and explicit substitution, in-lining and macros, templates, program transformation - Runtime code generation, compilation, active libraries, synthesis from specifications, development methods, generation of non-code artifacts, formal methods, reflection * Generative techniques for - Product lines and architectures - Embedded systems - Model-driven architecture * Component-based software engineering - Reuse, distributed platforms, distributed systems, evolution, analysis and design patterns, development methods, formal methods * Integration of generative and component-based approaches * Domain engineering and domain analysis - Domain-specific languages (DSLs) including visual and UML-based DSLs * Separation of concerns - Aspect-oriented and feature-oriented programming, - Intentional programming and multi-dimensional separation of concerns * Industrial applications ---------------------------------------------------------------------- Contributions to GPCE should belong to the following categories: WORKSHOPS providing intensive collaborative environments, where generative and component technologists meet to discuss (and solve) challenging problems facing the field. TUTORIALS giving a deeper or broader insight than conventional lectures (they are expected to extend over a half or a full day). Tutorials can be on any theme from or related to the topics above: surveys, experience reports or specialized research topics. However, a tutorial is expected to attract a reasonable number of participants (at least 10). PAPERS reporting research results and/or experience related to the topics above (PC co-chairs can advise on appropriateness). We especially encouraged original high-quality reports on applications to real-world problems, relating ideas and concepts from several topics, or bridging the gap between theory and practice. DEMOS covering novel tools, techniques or ideas; work in progress; or proven techniques used in real world scenarios. Demos will be selected based on technical content, practical or academic relevance, and their feasibility w.r.t. the infrastructure locally available. Presentations must focus on the technical content (product marketing would be inappropriate). ---------------------------------------------------------------------- ORGANIZATION General Chair * Eugenio Moggi (Genova University, Italy) Program Committee Chairs * Robert Glueck (University of Copenhagen, Denmark) * Michael Lowry (NASA, USA) Publicity Chair * Eelco Visser (Utrecht University, The Netherlands) Workshops and Tutorials Chairs * Jeff Gray (University of Alabama at Birmingham, USA) * Andrew Malton (Waterloo University, Canada) Local Arrangements Chair * Tarmo Uustalu (Institute of Cybernetics, Tallinn) ----------------------------------------------------------------------

1 0