ANNOUNCE: HC&A Report (5th edition, November 2003)
On behalf of the many contributors, I am happy to announce that the - Haskell Communities and Activities Report (5th edition, November 2003) http://www.haskell.org/communities/ - is now available from the Haskell Communities home page in several formats: in PDF (for those who haven't noticed: that format is not just for printing, but also for online viewing, with working links and table of contents) or, for those who have problems with the PDF, in HTML (using John's secret weapon yet again) and Postscript. A big thanks here to everyone who contributed, be it by making sure that there are so many interesting activities to report on, or by sending in descriptions to make sure that we can read about these activities! I hope you will find it as interesting to read as we did. For those of you who haven't heard of these reports before (and have filtered all previous calls into the spam-folder..), the first edition of the HC&A Report was released in November 2001, with the goal of helping to improve the communication between the increasingly diverse groups, projects, and individuals working on, with or inspired by Haskell. The idea of these reports is simple: Every six months, a call goes out to all of you on the Haskell mailing list to contribute brief summaries of your own area of work. Many of you respond (eagerly, unprompted, and well in time for the deadline;-) to the call. The editor then collects all these into a single report and feeds it back to this very mailing list. And when we try for the next update in six months, you might want to add your own work, project, research area or group as well. So, please, put that item into your diary now! --- End of April 2004: target deadline for contributions to the May 2004 edition of the HC&A Report --- It has become clear that many Haskellers who work on interesting projects no longer have the time to follow the Haskell mailing list closely and may thus miss the calls for contribution. If you are a member, user or friend of such projects, please point them to the current edition, and invite them to "register" with me for a simple email-reminder in the middle of April (and no, you can't register anyone else:). Of course, they'll still have to act on that reminder, but perhaps we can extend our reach this way.. Enjoy (and communicate;-)! Claus Reinke -- Computing Laboratory University of Kent http://www.cs.kent.ac.uk/~cr3/ PS. Please note the preface: as announced at this year's Haskell workshop, there'll be a change of editor after this edition. Andres Loeh has kindly offered to take over starting with the November 2004 edition, but we are still looking for someone to take on the May 2004 edition. If you're interested, please get in touch with me! ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
CFP for LDTA 2004
Apologies if you receive multiple copies of this message. ** *** Fourth Workshop on *** ***Language Descriptions, Tools and Applications *** *** LDTA 2004*** ****** ***APRIL, 3, 2004 *** *** BARCELONA, SPAIN *** ****** *** http://www.di.uminho.pt/LDTA04 *** ** The workshop will be held in conjunction with the 7th European Joint Conferences on Theory and Practice of Software (ETAPS), March 27 - April 4, 2004 - http://www.lsi.upc.es/etaps04 --- IMPORTANT DATES --- December 1st 2003 Submission of full paper January 5th 2004 Submission of a tool demo paper January 15th 2004 Notification February 15th 2004 Final version due April3rd 2004 LDTA 2004 Invited Speaker: --- Jim Cordy, Professor and Director, School of Computing, Queen's University, Canada Scope: -- The aim of this one day workshop is to bring together researchers from academia and industry interested in the field of formal language definitions and language technologies, with a special emphasis on tools developed for or with these language definitions. Some of the scientific areas that take advantage from these active research fields are: - Program analysis, transformation, generation - Formal analysis of language properties - Automatic generation of language processing tools For example, language definitions can be augmented in a manner so that not only compilers and interpreters can be automatically generated but also other tools such as syntax-directed editors, debuggers, partial evaluators, test generators, documentation generators, etc. These beneficial results are well known and we would like to make them widely exploited in current practice. Domains of applications that are of interest for this workshop are among others: - Language components, modeling languages - Re-engineering, re-factoring - Aspect-oriented programming, adaptive programming - Domain-specific languages - XML processing - Visualization and graph transformation The workshop welcomes contributions on all aspects of formal language definitions, with special emphasis on applications and tools developed for or with these language definitions. We also encourage contributions on the use of these methodologies in education. Tool demonstrations: The one day LDTA 2004 workshop program will also include a session on tool demonstrations. Submission procedure and publication: - Authors should submit a full paper (15-20 pages) to LDTA 2004 program committee chairs. Tool demo papers (2 pages) should also be submitted to the PC chairs. Further information will be available at the LDTA 2004 home page. Accepted papers will be published and available during the workshop. After revision, final copies of the accepted papers will be published in Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier Science. Author's instructions are given here. The authors of the best papers will be invited to write a journal version of their paper which will be separately reviewed and after acceptance be published in a special issue devoted to LDTA 2004 of the journal Science of Computer Programming (Elsevier Science). Organizing Committee: - Isabelle Attali, INRIA Sophia Antipolis, France Thomas Noll, Aachen University of Technology, Germany Joao Saraiva, University of Minho, Portugal Program committee co-chairs: Gorel Hedin, Lund Institute of Technology, Sweden Eric Van Wyk, University of Minnesota, USA Program Committee members: -- John Boyland, University of Wisconsin, USA Olivier Danvy, University of Aarhus, Denmark Jose Labra Gayo, Oviedo University, Spain Paul Klint, CWI, The Netherlands Jens Knoop, Vienna University of Technology, Austria Erik Meijer, Microsoft Research, USA Didier Parigot, INRIA, France Paul Roe, QUT, Australia Ganesh Sittampalam, Oxford University Computing Laboratory, England Anthony Sloane, Macquarie University, Australia Yannis Smaragd
AW: Generic Haskell Diffs?
Thank you, Ralf. Curiosity satisfied. :) Markus -- Markus Schnell > There is just one Generic Haskell project > even though the actual language extension is a moving target of course > because this is an active project. > > The boilerplate approach is about lightweight generic programming IN > Haskell. > The fact that the boilerplate approach is supported by GHC is > very, very > convenient, but in a sense optional: in principle, you could write > Typeable and Data > instances yourself, and you could still leverage generic > programming in > Haskell. Anyway, some more information can be found on the > boilerplate > page. > > Using both approaches together would be quite cool!?! > There is no technical reason why this would be impossible. > But it is certainly not the case that the two approaches are > complementary. > They overlap quite a bit. The boilerplate approach tries to > be easy in the > traversal arena. In the literature, there are some comments > on how these and > other approaches relate. I would still find it interesting to see a > survey that > works through some examples and compares the two approaches > and others. > > Ralf ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
Re: Generic Haskell Diffs?
[EMAIL PROTECTED] wrote: According to the communities report there are different generic haskell projects (Jeuring/Hinze and PJ/Lämmel) out there. But I don't understand their relation. Can you use both at the same time? Is one building on the other? Are there adressing different issues? A clarifying sentence or two would be heartily welcome. There is just one Generic Haskell project even though the actual language extension is a moving target of course because this is an active project. The boilerplate approach is about lightweight generic programming IN Haskell. The fact that the boilerplate approach is supported by GHC is very, very convenient, but in a sense optional: in principle, you could write Typeable and Data instances yourself, and you could still leverage generic programming in Haskell. Anyway, some more information can be found on the boilerplate page. Using both approaches together would be quite cool!?! There is no technical reason why this would be impossible. But it is certainly not the case that the two approaches are complementary. They overlap quite a bit. The boilerplate approach tries to be easy in the traversal arena. In the literature, there are some comments on how these and other approaches relate. I would still find it interesting to see a survey that works through some examples and compares the two approaches and others. Ralf ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
Vital visual notations?
Martin Ewig wrote (snipped) I think that some visual notations are more readable than text (but not all). In particular, if you try to teach lambda calculus or type inference to beginners, visual notations can be extremely helpful. For some people, perhaps. I don't have a very good mind for visual things and I much prefer symbolic versions of lambda calculus. Perhaps beginners need to be shown it both ways. ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
AW: Generic Haskell Diffs?
let (Just mail) = lookup "Generic Haskell Diffs?" mailbox in replace "Are there" "Are they" mail > -Ursprüngliche Nachricht- > Von: [EMAIL PROTECTED] > [mailto:[EMAIL PROTECTED] Im Auftrag von > [EMAIL PROTECTED] > Gesendet: Freitag, 14. November 2003 10:49 > An: [EMAIL PROTECTED] > Betreff: Generic Haskell Diffs? > > > According to the communities report there are different > generic haskell projects (Jeuring/Hinze and PJ/Lämmel) out there. > But I don't understand their relation. > Can you use both at the same time? > Is one building on the other? > Are there adressing different issues? > > A clarifying sentence or two would be heartily welcome. > > Cheers, > Markus > > > -- > Markus Schnell > ___ > Haskell mailing list > [EMAIL PROTECTED] > http://www.haskell.org/mailman/listinfo/haskell > ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
Generic Haskell Diffs?
According to the communities report there are different generic haskell projects (Jeuring/Hinze and PJ/Lämmel) out there. But I don't understand their relation. Can you use both at the same time? Is one building on the other? Are there adressing different issues? A clarifying sentence or two would be heartily welcome. Cheers, Markus -- Markus Schnell ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
[rpms] updated greencard rpm package for ghc-6.0.1 available
FYI a new greencard rpm package built with ghc-6.0.1 is now available from : http://haskell.org/~petersen/rpms/greencard/?C=M&O=D Cheers, Jens ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell