June 2005 - template-haskell

Second MetaOCaml Workshop: Final CFP
by kswadi＠cs.rice.edu 13 Jun '05

13 Jun '05

FINAL CALL FOR PAPERS (DEADLINE EXTENDED) ========================================= The Second MetaOCaml Workshop http://www.metaocaml.org/workshop05 To be held at GPCE'05 (Wednesday Sep 28, 2005, Tallinn, Estonia) MetaOCaml is a multi-stage extension of the widely used functional programming language OCaml. It provides a generic core for expressing macros, staging, and partial evaluation. As such, it also provides unique support for building aspect weavers in a statically typed setting. The workshop is a forum for discussing experience with using MetaOCaml as well as possible future developments for the language. The scope of the workshop includes all aspects of the design, semantics, theory, application, and implementation of MetaOCaml. The workshop welcomes reports on * novel applications (especially interpreters and aspect weavers), * extensions (macros, new language constructs, offshoring translations), * implementation techniques (compilation, RTCG), support (debugging, profiling), * educational use, * basic theory (staging annotations, static typing, static analysis, environment classifiers, etc). Each submission will be reviewed by at least three members of the Program Committee (PC). The PC will work to provide detailed and constructive comments to the authors. The workshop will only have informal proceedings, and is intended to be close in spirit to the Haskell, ML, and Scheme workshops. Based on author requests and PC decisions, authors will be given either 25-minute or 15-minute slots to present their ideas, either of which will be followed by 15 minutes of questions and discussion. At the end of the workshop, one hour will be allocated to an open discussion to review the outcomes of the meeting, and to discuss future challenges and directions for MetaOCaml. Submission: For uniformity, authors are encouraged to use the latest ACM SIGS conference style file (option 1). We also request that submissions be limited to 12 pages in this style. We ask that papers be submitted in PDF or Postscript forms through the online submission page at http://metaocaml.cs.rice.edu/submit.html. Important Dates: Submission deadline (firm): June 24, 2005 until midnight GMT (Please use online form at http://www.metaocaml.org/workshop05) Notification of acceptance: July 11, 2005 Final versions posted at the workshop sites: October 20, 2005 Registration: Registration for the workshop is part of registering for GPCE'05. The event is co-located with TFP 2005 and ICFP 2005, which already provides housing and transportation information. Program Committee: Cristiano Calcagno Imperial College Rowan Davies University of Western Australia Ralf Hinze Universität Bonn Oleg Kiselyov FNMOC, Monterey, CA, USA Christopher League Long Island University Xavier Leroy INRIA, Paris Emir Pasalic Rice University Jeremy Siek Indiana University, Bloomington Yannis Smaragdakis Georgia Tech Kedar Swadi Rice University (Chair) Walid Taha Rice University Stephanie Weirich University of Pennsylvania Hongwei Xi Boston University

1 0

Splicing bindings
by Mike Gunter 13 Jun '05

13 Jun '05

Is there a way to splice in a nm <- m binding? I.e., I'd like something along the lines of mdo ... $(defNm nm m) ... ... nm ... ... which would expand to mdo ... nm <- name "nm" m ... ... nm ... ... . Is this possible? thanks, mike

1 0

mdo support in Template Haskell
by Mike Gunter 12 Jun '05

12 Jun '05

For those trying to decide priorities: I would like to see mdo supported in Template Haskell. Both mdo and TH are useful for DSELs. It's a shame one can't combine them. thanks, mike

1 0

RE: [Template-haskell] TH type not Typeable?
by Simon Peyton-Jones 10 Jun '05

10 Jun '05

Perhaps someone can go ahead and add these instances to the TH types? Ian? that way it'll be in the next release, at least Simon | -----Original Message----- | From: template-haskell-bounces(a)haskell.org [mailto:template-haskell-bounces@haskell.org] On | Behalf Of Sean Seefried | Sent: 10 June 2005 04:02 | To: Abraham Egnor | Cc: template-haskell(a)haskell.org | Subject: Re: [Template-haskell] TH type not Typeable? | | | On 10/06/2005, at 10:07 AM, Abraham Egnor wrote: | | > I'd just like to pipe up and say that the lack of Typeable and Data | > instances for the TH types has frustrated me as well. | | Me too. But there's a solution. Check out the code that comes with | the third paper in the "Scrap Your Boilerplate" series. There's a | module in there called Derive.hs that contains code for deriving | Typeable and Data instances using Template Haskell. The cool thing | is, you can use it *on* Template Haskell's data types too. | | In fact, I did this in my PanTHeon project available from my web site | at: | | http://www.cse.unsw.edu.au/~sseefried/pantheon.html | | However, this uses an older version of the deriving code. You'd | probably want to get the latest. | | Cheers, | | Sean | _______________________________________________ | template-haskell mailing list | template-haskell(a)haskell.org | http://www.haskell.org/mailman/listinfo/template-haskell

1 0

TH type not Typeable?
by Mike Gunter 10 Jun '05

10 Jun '05

Is the lack of Typeable instances for the TH types founded in some difficulty in providing them? Or something else? mike

3 3

TH with implicit parameters?
by WANG Meng 07 Jun '05

07 Jun '05

Hi All, Does TH currently support implicit parameters? Is it possible to write a TH funcition which can be evaluated into a Haskell expression which use implicit parameters? -W-M- @ @ | \_/

1 0