From simonpj at microsoft.com Wed Apr 1 04:07:44 2009 From: simonpj at microsoft.com (Simon Peyton-Jones) Date: Wed Apr 1 03:53:53 2009 Subject: [Haskell] Marketing Haskell Message-ID: <87d4bwpzjj.fsf@malde.org> Dear Haskell enthusiasts, Now that the logo issue finally has been settled, it is time to select the proper Haskell mascot. As you are no doubt aware, Microsoft's involvement in Haskell means that we have moved from avoiding success at all cost to actively marketing the language, and any language striving for success is entirely dependent on a cute and distinctive mascot. Where would Perl be today without its camel? Since the recent logo discussion has demonstrated once and for all the futility of attempting a democratic process in the Haskell community - to be quite honest, the elected logo looks like an error message from an IBM mainframe - I have decided to decide on a mascot myself. So I hereby declare the official Haskell mascot to be the koala, in the form of the image attached below. Please ensure that this image accompanies any material published on the web or on paper. Simon -------------- next part -------------- A non-text attachment was scrubbed... Name: haskell-mascot.jpg Type: image/jpeg Size: 5042 bytes Desc: Official Haskell Mascot Url : http://www.haskell.org/pipermail/haskell/attachments/20090401/9fb8fa05/haskell-mascot.jpg From colin at colina.demon.co.uk Wed Apr 1 04:22:14 2009 From: colin at colina.demon.co.uk (Colin Paul Adams) Date: Wed Apr 1 04:09:28 2009 Subject: [Haskell] Marketing Haskell In-Reply-To: <87d4bwpzjj.fsf@malde.org> (Simon Peyton-Jones's message of "Wed\, 01 Apr 2009 10\:07\:44 +0200") References: <87d4bwpzjj.fsf@malde.org> Message-ID: >>>>> "Simon" == Simon Peyton-Jones writes: Simon> So I hereby declare the official Haskell mascot to be the Simon> koala, in the form of the image attached below. Could you please explain the logic that caused you to choose a koala? I have hitherto been unaware of any connection between this creature and the entity concerned. I would have thought a fish be more appropriate (at least across the channel). -- Colin Adams Preston Lancashire From lennart at augustsson.net Wed Apr 1 04:46:18 2009 From: lennart at augustsson.net (Lennart Augustsson) Date: Wed Apr 1 04:33:31 2009 Subject: [Haskell] Marketing Haskell In-Reply-To: References: <87d4bwpzjj.fsf@malde.org> Message-ID: Koalas are slow and lazy animals. I think the choice is highly appropriate. -- Lennart On Wed, Apr 1, 2009 at 8:22 AM, Colin Paul Adams wrote: >>>>>> "Simon" == Simon Peyton-Jones writes: > > ? ?Simon> So I hereby declare the official Haskell mascot to be the > ? ?Simon> koala, in the form of the image attached below. > > Could you please explain the logic that caused you to choose a koala? > > I have hitherto been unaware of any connection between this creature > and the entity concerned. > > I would have thought a fish be more appropriate (at least across the channel). > -- > Colin Adams > Preston Lancashire > _______________________________________________ > Haskell mailing list > Haskell@haskell.org > http://www.haskell.org/mailman/listinfo/haskell > From S.J.Thompson at kent.ac.uk Wed Apr 1 04:51:29 2009 From: S.J.Thompson at kent.ac.uk (S.J.Thompson) Date: Wed Apr 1 04:38:40 2009 Subject: [Haskell] Marketing Haskell In-Reply-To: References: <87d4bwpzjj.fsf@malde.org> Message-ID: wikipedia also says "The only people who are permitted to keep Koalas are wildlife carers and, occasionally, research scientists." Simon T. On Wed, 1 Apr 2009, Lennart Augustsson wrote: > Koalas are slow and lazy animals. I think the choice is highly appropriate. > > -- Lennart > > On Wed, Apr 1, 2009 at 8:22 AM, Colin Paul Adams > wrote: > >>>>>> "Simon" == Simon Peyton-Jones writes: > > > > ? ?Simon> So I hereby declare the official Haskell mascot to be the > > ? ?Simon> koala, in the form of the image attached below. > > > > Could you please explain the logic that caused you to choose a koala? > > > > I have hitherto been unaware of any connection between this creature > > and the entity concerned. > > > > I would have thought a fish be more appropriate (at least across the channel). > > -- > > Colin Adams > > Preston Lancashire > > _______________________________________________ > > Haskell mailing list > > Haskell@haskell.org > > http://www.haskell.org/mailman/listinfo/haskell > > > _______________________________________________ > Haskell mailing list > Haskell@haskell.org > http://www.haskell.org/mailman/listinfo/haskell > From colin at colina.demon.co.uk Wed Apr 1 05:00:31 2009 From: colin at colina.demon.co.uk (Colin Paul Adams) Date: Wed Apr 1 04:47:45 2009 Subject: [Haskell] Marketing Haskell In-Reply-To: (S. J. Thompson's message of "Wed\, 1 Apr 2009 09\:51\:29 +0100 \(BST\)") References: <87d4bwpzjj.fsf@malde.org> Message-ID: >>>>> "Simon T" == S J Thompson writes: Simon T> wikipedia also says Simon T> "The only people who are permitted to keep Koalas are Simon T> wildlife carers and, occasionally, research scientists." Well, I'm neither. And I didn't think the entity concerned was Haskell. I assumed something more up-to-date was the relevant entity. Lennart> Koalas are slow and lazy animals. I think the choice is highly appropriate. Colin> I have hitherto been unaware of any connection between this Colin> creature and the entity concerned. -- Colin Adams Preston Lancashire From michael.lesniak at gmail.com Wed Apr 1 06:12:25 2009 From: michael.lesniak at gmail.com (Michael Lesniak) Date: Wed Apr 1 05:59:56 2009 Subject: [Haskell] Marketing Haskell In-Reply-To: <87d4bwpzjj.fsf@malde.org> References: <87d4bwpzjj.fsf@malde.org> Message-ID: <5f8b37690904010312t1e8b02ds126b7c32d645c32d@mail.gmail.com> Hello, > So I hereby declare the official Haskell mascot to be the koala, in > the form of the image attached below. Is it possible to get a bigger version of this image to appropriately identify the koala? ;-) Kind regards, Michael -- Dipl.-Inf. Michael C. Lesniak University of Kassel Programming Languages / Methodologies Research Group Department of Computer Science and Electrical Engineering Wilhelmsh?her Allee 73 34121 Kassel Phone: +49-(0)561-804-6269 From knightofmathematics at hol.gr Wed Apr 1 06:44:21 2009 From: knightofmathematics at hol.gr (Angelos Sphyris) Date: Wed Apr 1 06:31:30 2009 Subject: [Haskell] Marketing Haskell References: <87d4bwpzjj.fsf@malde.org> Message-ID: Surely, I can't be the only person to suspect an April Fool's Day joke lurking behind this choice of mascot! A good one indeed, Simon. Best regards Angelos ----- Original Message ----- From: "Simon Peyton-Jones" To: Sent: Wednesday, April 01, 2009 11:07 AM Subject: [Haskell] Marketing Haskell > > Dear Haskell enthusiasts, > > Now that the logo issue finally has been settled, it is time to select > the proper Haskell mascot. As you are no doubt aware, Microsoft's > involvement in Haskell means that we have moved from avoiding success > at all cost to actively marketing the language, and any language > striving for success is entirely dependent on a cute and distinctive > mascot. Where would Perl be today without its camel? > > Since the recent logo discussion has demonstrated once and for all the > futility of attempting a democratic process in the Haskell community - > to be quite honest, the elected logo looks like an error message from an > IBM > mainframe - I have decided to decide on a mascot myself. > > So I hereby declare the official Haskell mascot to be the koala, in > the form of the image attached below. Please ensure that this image > accompanies any material published on the web or on paper. > > Simon > > -------------------------------------------------------------------------------- > _______________________________________________ > Haskell mailing list > Haskell@haskell.org > http://www.haskell.org/mailman/listinfo/haskell > From voigt at tcs.inf.tu-dresden.de Wed Apr 1 09:08:49 2009 From: voigt at tcs.inf.tu-dresden.de (Janis Voigtlaender) Date: Wed Apr 1 08:56:04 2009 Subject: [Haskell] Call for Contributions - Haskell Communities and Activities Report, May 2009 edition Message-ID: <49D36761.8000001@tcs.inf.tu-dresden.de> Dear Haskellers, so much has happened in the Haskell world in the past months. Therefore, I would very much like to collect contributions for the 16th edition of the ================================================================ Haskell Communities & Activities Report http://www.haskell.org/communities/ Submission deadline: 1 May 2009 (please send your contributions to hcar at haskell.org, in plain text or LaTeX format) ================================================================ This is the short story: * If you are working on any project that is in some way related to Haskell, please write a short entry and submit it. Even if the project is very small or unfinished or you think it is not important enough -- please reconsider and submit an entry anyway! * If you are interested in any project related to Haskell that has not previously been mentioned in the HC&A Report, please tell me, so that I can contact the project leaders and ask them to submit an entry. * Feel free to pass on this call for contributions to others that might be interested. More detailed information: The Haskell Communities & Activities Report is a bi-annual overview of the state of Haskell as well as Haskell-related projects over the last, and possibly the upcoming six months. If you have only recently been exposed to Haskell, it might be a good idea to browse the November 2008 edition -- you will find interesting topics described as well as several starting points and links that may provide answers to many questions. Contributions will be collected until the submission deadline. They will then be compiled into a coherent report that is published online as soon as it is ready. As always, this is a great opportunity to update your webpages, make new releases, announce or even start new projects, or to talk about developments you want every Haskeller to know about! Looking forward to your contributions, Janis (current editor) FAQ: Q: What format should I write in? A: The required format is a LaTeX source file, adhering to the template that is available at: http://haskell.org/communities/05-2009/template.tex There is also a LaTeX style file at http://haskell.org/communities/05-2009/hcar.sty that you can use to preview your entry. If you do not know LaTeX, then use plain text. If you modify an old entry that you have written for an earlier edition of the report, you should receive your old entry as a template soon (provided I have your valid email address). Please modify that template, rather than using your own version of the old entry as a template. Q: Can I include images? A: Yes, you are even encouraged to do so. Please use .jpg format, then. Q: How much should I write? A: Authors are asked to limit entries to about one column of text. This corresponds to approximately one page, or 40 lines of text, with the above style and template. A general introduction is helpful. Apart from that, you should focus on recent or upcoming developments. Pointers to online content can be given for more comprehensive or ``historic'' overviews of a project. Images do not count towards the length limit, so you may want to use this opportunity to pep entries up. There is no minimum length of an entry! The report aims at being as complete as possible, so please consider writing an entry, even if it is only a few lines long. Q: Which topics are relevant? A: All topics which are related to Haskell in some way are relevant. We usually had reports from users of Haskell (private, academic, or commercial), from authors or contributors to projects related to Haskell, from people working on the Haskell language, libraries, on language extensions or variants. We also like reports over distributions of Haskell software, Haskell infrastructure, books and tutorials on Haskell. Reports on past and upcoming events related to Haskell are also relevant. Finally, there might be new topics we do not even think about. As a rule of thumb: if in doubt, then it probably is relevant and has a place in the HCAR. You can also ask the editor. Q: Is unfinished work relevant? Are ideas for projects relevant? A: Yes! You can use the HCAR to talk about projects you are currently working on. You can use it to look for other developers that might help you. You can use it to write ``wishlist'' items for libraries and language features you would like to see implemented. Q: If I do not update my entry, but want to keep it in the report, what should I do? A: Tell the editor that there are no changes. The old entry will be reused in this case, but it might be dropped if it is older than a year, to give more room and more attention to projects that change a lot. Do not resend complete entries if you have not changed them. -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:voigt@tcs.inf.tu-dresden.de From jonathanccast at fastmail.fm Wed Apr 1 10:24:54 2009 From: jonathanccast at fastmail.fm (Jonathan Cast) Date: Wed Apr 1 10:12:06 2009 Subject: [Haskell] Marketing Haskell In-Reply-To: <87d4bwpzjj.fsf@malde.org> References: <87d4bwpzjj.fsf@malde.org> Message-ID: <1238595894.6295.0.camel@jonathans-macbook> On Wed, 2009-04-01 at 10:07 +0200, Simon Peyton-Jones wrote: > Dear Haskell enthusiasts, > > Now that the logo issue finally has been settled, it is time to select > the proper Haskell mascot. As you are no doubt aware, Microsoft's > involvement in Haskell means that we have moved from avoiding success > at all cost to actively marketing the language, and any language > striving for success is entirely dependent on a cute and distinctive > mascot. Where would Perl be today without its camel? > > Since the recent logo discussion has demonstrated once and for all the > futility of attempting a democratic process in the Haskell community - > to be quite honest, the elected logo looks like an error message from an IBM > mainframe - I have decided to decide on a mascot myself. > > So I hereby declare the official Haskell mascot to be the koala, in > the form of the image attached below. Please ensure that this image > accompanies any material published on the web or on paper. The sad thing is, despite the form of this message, I entirely agree with the content... jcc From daniel.lincke at pik-potsdam.de Wed Apr 1 10:31:49 2009 From: daniel.lincke at pik-potsdam.de (Daniel Lincke) Date: Wed Apr 1 10:18:56 2009 Subject: [Haskell] Parsing Haskell? Message-ID: <49D37AD5.6040408@pik-potsdam.de> Hi Haskellers, I am looking for a parser which can parse Haskell code and build an syntax tree out of it. The syntax tree should be storable in some reasonable file format in order to use it as an input for applications like programm transformation systems. Is there something like this available? The Haskell compiler ghc and the interpreter hugs also have to do parsing, is there a possibility to 'abuse' them as parsers? Greets and thanks, Daniel -- Dipl.-Inf. Daniel Lincke ======================== PhD student PIK - Potsdam Institute for Climate Impact Research PB 60 12 30 14412 Potsdam - Germany Phone: +49 331 288 2425 Email: daniel.lincke@pik-potsdam.de From noteed at gmail.com Wed Apr 1 10:35:30 2009 From: noteed at gmail.com (minh thu) Date: Wed Apr 1 10:22:40 2009 Subject: [Haskell] Parsing Haskell? In-Reply-To: <49D37AD5.6040408@pik-potsdam.de> References: <49D37AD5.6040408@pik-potsdam.de> Message-ID: <40a414c20904010735v3a98fe50s2a479caad0938578@mail.gmail.com> 2009/4/1 Daniel Lincke : > Hi Haskellers, > > I am looking for a parser which can parse Haskell code and build an > syntax tree out of it. The syntax tree should be storable in some > reasonable file format in order to use it as an input for applications > like programm transformation systems. > Is there something like this available? The Haskell compiler ghc and the > interpreter hugs also have to do parsing, is there a possibility to > 'abuse' them as parsers? Have a look at http://hackage.haskell.org/cgi-bin/hackage-scripts/package/haskell-src-exts Thu From leimy2k at gmail.com Wed Apr 1 10:51:07 2009 From: leimy2k at gmail.com (David Leimbach) Date: Wed Apr 1 10:38:17 2009 Subject: [Haskell] Marketing Haskell In-Reply-To: <87d4bwpzjj.fsf@malde.org> References: <87d4bwpzjj.fsf@malde.org> Message-ID: <3e1162e60904010751y44d0016bxa708028bbcd0a175@mail.gmail.com> Nice... I'm glad Microsoft sees the logic in supporting Haskell beyond just researchy stuff (which is also very important!!!) 2009/4/1 Simon Peyton-Jones > Dear Haskell enthusiasts, > > Now that the logo issue finally has been settled, it is time to select > the proper Haskell mascot. As you are no doubt aware, Microsoft's > involvement in Haskell means that we have moved from avoiding success > at all cost to actively marketing the language, and any language > striving for success is entirely dependent on a cute and distinctive > mascot. Where would Perl be today without its camel? > > Since the recent logo discussion has demonstrated once and for all the > futility of attempting a democratic process in the Haskell community - > to be quite honest, the elected logo looks like an error message from an > IBM > mainframe - I have decided to decide on a mascot myself. > > So I hereby declare the official Haskell mascot to be the koala, in > the form of the image attached below. Please ensure that this image > accompanies any material published on the web or on paper. > > Simon > > > _______________________________________________ > Haskell mailing list > Haskell@haskell.org > http://www.haskell.org/mailman/listinfo/haskell > > -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/haskell/attachments/20090401/3b0918e2/attachment.htm From leimy2k at gmail.com Wed Apr 1 10:52:46 2009 From: leimy2k at gmail.com (David Leimbach) Date: Wed Apr 1 10:39:56 2009 Subject: [Haskell] Marketing Haskell In-Reply-To: <3e1162e60904010751y44d0016bxa708028bbcd0a175@mail.gmail.com> References: <87d4bwpzjj.fsf@malde.org> <3e1162e60904010751y44d0016bxa708028bbcd0a175@mail.gmail.com> Message-ID: <3e1162e60904010752n4074d2fbr2ebf2a9bf5156ef6@mail.gmail.com> Oh just looked at the date stamps here.... nice one. Perhaps I should have a coffee now rather than later as I'm not fully awake. On Wed, Apr 1, 2009 at 7:51 AM, David Leimbach wrote: > Nice... I'm glad Microsoft sees the logic in supporting Haskell beyond just > researchy stuff (which is also very important!!!) > > 2009/4/1 Simon Peyton-Jones > >> Dear Haskell enthusiasts, >> >> Now that the logo issue finally has been settled, it is time to select >> the proper Haskell mascot. As you are no doubt aware, Microsoft's >> involvement in Haskell means that we have moved from avoiding success >> at all cost to actively marketing the language, and any language >> striving for success is entirely dependent on a cute and distinctive >> mascot. Where would Perl be today without its camel? >> >> Since the recent logo discussion has demonstrated once and for all the >> futility of attempting a democratic process in the Haskell community - >> to be quite honest, the elected logo looks like an error message from an >> IBM >> mainframe - I have decided to decide on a mascot myself. >> >> So I hereby declare the official Haskell mascot to be the koala, in >> the form of the image attached below. Please ensure that this image >> accompanies any material published on the web or on paper. >> >> Simon >> >> >> _______________________________________________ >> Haskell mailing list >> Haskell@haskell.org >> http://www.haskell.org/mailman/listinfo/haskell >> >> > -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/haskell/attachments/20090401/97351ebe/attachment-0001.htm From fmics2009 at dsic.upv.es Wed Apr 1 11:07:24 2009 From: fmics2009 at dsic.upv.es (FMICS 2009 workshop chair) Date: Wed Apr 1 10:59:50 2009 Subject: [Haskell] [FMICS 2009] Deadline Extension to 10 April Message-ID: <49D3832C.1040100@dsic.upv.es> FMICS 2009 - DEADLINE EXTENSION TO 10 APRIL Please visit: http://users.dsic.upv.es/workshops/fmics2009 ************************************************************ * 14th International Workshop on * * Formal Methods for Industrial Critical Systems * * FMICS 2009 * * * * November 2-3, 2009 * * Eindhoven, The Netherlands * ************************************************************ * ** NEWS ** * * * * >> New deadline for abstracts: 10 April * * >> New deadline for papers (firm): 17 April * * * ************************************************************ From valery.vv at gmail.com Wed Apr 1 11:15:24 2009 From: valery.vv at gmail.com (Valery V. Vorotyntsev) Date: Wed Apr 1 11:02:49 2009 Subject: [Haskell] Parsing Haskell? In-Reply-To: <49D37AD5.6040408@pik-potsdam.de> References: <49D37AD5.6040408@pik-potsdam.de> Message-ID: On Wed, Apr 1, 2009 at 5:31 PM, Daniel Lincke wrote: > Hi Haskellers, > > I am looking for a parser which can parse Haskell code and build an > syntax tree out of it. The syntax tree should be storable in some > reasonable file format in order to use it as an input for applications > like programm transformation systems. > Is there something like this available? The Haskell compiler ghc and the > interpreter hugs also have to do parsing, is there a possibility to > 'abuse' them as parsers? Hello, Daniel. This is not a proper mailing list for your question. Consider asking `haskell-cafe' [http://haskell.org/mailman/listinfo/haskell-cafe]. (`haskell' list is mostly for announcements.) Thank you and good luck! -- vvv From icfp.publicity at googlemail.com Wed Apr 1 11:32:59 2009 From: icfp.publicity at googlemail.com (Matthew Fluet (ICFP Publicity Chair)) Date: Wed Apr 1 11:20:13 2009 Subject: [Haskell] DEFUN09: Call for Talks & Tutorials (co-located w/ ICFP09) Message-ID: <53ff55480904010832x36925651k6e4d884dc1acafc5@mail.gmail.com> Call for Talks and Tutorials ACM SIGPLAN 2009 Developer Tracks on Functional Programming http://www.defun2009.info/ Edinburgh, Scotland, September 3 and 5, 2009 The workshop will be held in conjunction with ICFP 2009 http://www.cs.nott.ac.uk/~gmh/icfp09.html Important dates Proposal Deadline: June 5, 2009, 0:00 UTC Notification: June 19, 2009 DEFUN 2009 invites functional programmers and researchers who know how to solve problems with functional progamming to give talks and lead tutorials at the The ICFP Developer Tracks. We want to know about your favorite programming techniques, powerful libraries, and engineering approaches you've used that the world should know about and apply to other projects. We want to know how to be productive using functional programming, write better code, and avoid common pitfalls. We invite proposals for presentations in the following categories. Lightning talks 5- to 10-minute talks that introduce exciting and promising research or techniques that may be in progress or not yet ready for widespread use, but that offer a glimpse into the near future of real world functional programming. Examples: * Clustered high performance computing in a functional language * Making advanced type systems more accessible to working programmers * How and why we're infiltrating category theory info industry How-to talks 45-minute "how-to" talks that provide specific information on how to solve specific problems using functional programming. These talks focus on concrete examples, but provide useful information for developers working on different projects or in different contexts. Examples: * "How I use Haskell for oilfield simulations." * "How I replaced /sbin/init by a Scheme program." * "How I hooked up my home appliances to an Erlang control system." * "How I got an SML program to drive my BMW." General language tutorials Half-day general language tutorials for specific functional languages, given by recognized experts for the respective languages. Technology tutorials Half-day tutorials on techniques, technologies, or solving specific problems in functional programming. Examples: * How to make the best use of specific FP programming techniques * How to inject FP into a development team used to more conventional technologies * How to connect FP to existing libraries / frameworks / platforms * How to deliver high-performance systems with FP * How to deliver high-reliability systems with FP Remember that your audience will include computing professionals who are not academics and who may not already be experts on functional programming. Presenters of tutorials will receive free registration to CUFP 2009. Submission guidelines Submit a proposal of 150 words or less for either a 45-minute talk with a short Q&A session at the end, or a 300-word-or-less proposal for a 3-hour tutorial, where you present your material, but also give participants a chance to practice it on their own laptops. Some advice: * Give it a simple and straightforward title or name; avoid fancy titles or puns that would make it harder for attendees to figure out what you'll be talking about. * Clearly identify the level of the talk: What knowledge should people have when they come to the presentation or tutorial? * Explain why people will want to attend: o Is the language or library useful for a wide range of attendees? o Is the pitfall you're identifying common enough that a wide range of attendees is likely to encounter it? * Explain what benefits attendees are expected to take home to their own projects. * For a tutorial, explain how you want to structure the time, and what you expect to have attendees to do on their laptops. List what software you'll expect attendees to have installed prior to coming. Submit your proposal in plain text electronically to defun-2009-submissions@serpentine.com by the beginning of Friday, June 5 2009, Universal Coordinated Time. Organizers * Yaron Minsky (Jane Street Capital) * Ulf Wiger (Erlang Training and Consulting) * Mike Sperber - co-chair (DeinProgramm) * Bryan O'Sullivan - co-chair (Linden Lab) From tatd2 at kent.ac.uk Wed Apr 1 11:34:42 2009 From: tatd2 at kent.ac.uk (Thomas Davie) Date: Wed Apr 1 11:22:06 2009 Subject: [Haskell] Parsing Haskell? In-Reply-To: <49D37AD5.6040408@pik-potsdam.de> References: <49D37AD5.6040408@pik-potsdam.de> Message-ID: <4704177F-404B-413A-8A76-4B58FC0157C2@kent.ac.uk> On 1 Apr 2009, at 16:31, Daniel Lincke wrote: > Hi Haskellers, > > I am looking for a parser which can parse Haskell code and build an > syntax tree out of it. The syntax tree should be storable in some > reasonable file format in order to use it as an input for applications > like programm transformation systems. Just a note ? the storable syntax tree you're looking for is called "a .hs file". You just want a nice interface to your Haskell parser so that said syntax transformers can work easily. You might want to look at how HaRe does it. I believe using Programatica at the moment, because it's the only one that preserves comments and code layout. Bob From kahl at cas.mcmaster.ca Wed Apr 1 11:56:39 2009 From: kahl at cas.mcmaster.ca (kahl@cas.mcmaster.ca) Date: Wed Apr 1 11:45:11 2009 Subject: [Haskell] Marketing Haskell In-Reply-To: (knightofmathematics@hol.gr) References: <87d4bwpzjj.fsf@malde.org> Message-ID: <20090401155639.16690.qmail@schroeder.cas.mcmaster.ca> > > A good one indeed, Simon. Check the ``Received: from'' headers of the original message... Wolfram From ketil at malde.org Wed Apr 1 12:49:28 2009 From: ketil at malde.org (Ketil Malde) Date: Wed Apr 1 12:35:34 2009 Subject: [Haskell] Marketing Haskell In-Reply-To: (Angelos Sphyris's message of "Wed\, 1 Apr 2009 13\:44\:21 +0300") References: <87d4bwpzjj.fsf@malde.org> Message-ID: <87k564xqsn.fsf@malde.org> "Angelos Sphyris" writes: > Surely, I can't be the only person to suspect an April Fool's Day joke Well, since nobody seems to bite anyway, I guess I might as well 'fess up. As we rely on Simon P J and others like him not only to provide us with the theoretical foundations, but also with the implementation of the language we all use and love, I thought perhaps I'd step in and relieve him of some of the load of providing additional entertainment. Thus, in the name of expediency, I took the liberty pasting together a couple of images (alas, of too poor resolution). I added some accompanying text that he otherwise would have had to write himself, and posted it to the mailing list. Or, to put it more bluntly, I forged the message (a fact that can be verified with a casual inspection of the headers). I realize nobody took the message seriously, but lest anybody think Simon actually be responsible for my feeble joke, or, heavens forbid, suggest a mascot based on a picture of himself, I hereby take full responsibility, and promise never ever to do it again for the next 364 days. -k -- If I haven't seen further, it is by standing in the footprints of giants From ardubois at gmail.com Wed Apr 1 15:30:54 2009 From: ardubois at gmail.com (Andre Rauber Du Bois) Date: Wed Apr 1 15:18:04 2009 Subject: [Haskell] SBLP 2009 (NEW DEADLINE) Message-ID: <3ab4946a0904011230sa36299k7890aed3587daa15@mail.gmail.com> Hi, we are sorry for multiple posting. 13th BRAZILIAN SYMPOSIUM ON PROGRAMMING LANGUAGES Abstract Submission: April, 13 (New submission deadline) Paper Submission: April, 20 (New submission deadline) ** We are currently in contact with Elsevier to have a special issue with selected papers in the Science of Computer Programming Journal ** Gramado, Rio Grande do Sul, Brazil August 19-21, 2009 CALL FOR PAPERS AND TUTORIALS The 13th Brazilian Symposium on Programming Languages, SBLP 2009, will be held in Gramado, Rio Grande do Sul, Brazil, on August 19-21, 2008. SBLP provides a venue for researchers and practitioners interested in the fundamental principles and innovations in the design and implementation of programming languages and systems. This year the symposium will be co-located with the Brazilian Symposium on Formal Methods (SBMF), which will happen in the same week and in the same venue. SBLP 2009 invites authors to contribute with Technical Papers and Tutorial Proposals related (but not limited) to: * Programming language design and implementation * Formal semantics of programming languages * Theoretical foundations of programming languages * Design and implementation of programming language environments * Object-oriented programming languages * Functional programming * Aspect-oriented programming languages * Scripting languages * Domain-specific languages * Programming languages for mobile, web and network computing * New programming models * Program transformations * Program analysis and verification * Compilation and interpretation techniques Contributions can be written in Portuguese or English. Papers should have at most 14 pages. All accepted papers will be published in the conference proceedings. Selected papers written in English should be invited for a journal publication. ** We are currently in contact with Elsevier to have a special issue with selected papers. ** Papers should be presented in the language of submission. Tutorial submissions must be in the form of an extended abstract with at most 10 pages. The final version of accepted tutorials should contain at most 30 pages. This final version will be distributed to attendees. An abstract of the tutorial (1-2 pages) will be included in the conference proceedings. All papers must follow the Brazilian Computer Society paper guidelines available at: http://www.sbc.org.br/index.php?language=1&content=downloads&id=286 Detailed submission guidelines will be available at http://sblp2009.ucpel.tche.br IMPORTANT DATES Paper abstract submission (15 lines): (NEW) April 13, 2009 Full paper submission: (NEW) April 20, 2009 Notification of acceptance: June 8, 2009 Final papers due: June 30, 2009 BEST PAPER AWARD Awards will be given for the best papers at the symposium. GENERAL CHAIR Andre Rauber Du Bois, UCPel PROGRAMME CHAIRS Andre Santos, UFPE, Brazil, Joao Saraiva, Universidade do Minho, Portugal PROGRAMME COMMITTEE Alberto Pardo, Univ. de La Republica Alex Garcia, IME Alfio Martini, PUC-RS Alvaro Freitas Moreira, UFRGS Andre Rauber Du Bois, UCPel Carlos Camarao, UFMG Christiano Braga, Univ. Comp. de Madrid Cristiano Damiani, UFPEL Edward Hermann Haeusler, PUC-Rio Eric Tanter, Univ. of Chile Fernando Castor Filho, UFPE Francisco Heron de Carvalho Junior, UFC Isabel Cafezeiro, UFF Johan Jeuring, Utrecht Univ. Jose Guimaraes, UFSCAR Jose E. Labra Gayo, Univ. of Oviedo Jose Luiz Fiadeiro, Univ. of Leicester Lucilia Figueiredo, UFOP Luis Soares Barbosa, Univ. do Minho Luis Carlos Meneses, UPE Marcelo A. Maia, UFU Marco Tulio Valente, PUC Minas Mariza A. S. Bigonha, UFMG Martin A. Musicante, UFRN Noemi Rodriguez, PUC-Rio Paulo Borba, UFPE Peter Mosses, Swansea University Rafael Dueire Lins, UFPE Renato Cerqueira, PUC-Rio Ricardo Massa Lima, UFPE Roberto S. Bigonha, UFMG Roberto Ierusalimschy, PUC-Rio Rodolfo Jardim de Azevedo, UNICAMP Sandro Rigo, UNICAMP Sergio de Mello Schneider, UFU Sergio Soares, UFRPE Sergiu Dascalu, Univ. of Nevada Simon Thompson, Univ. of Kent Varmo Vene, Univ. de Tartu Vladimir Di Iorio, UFV Vitor Santos Costa, UFRJ ORGANIZATION Brazilian Computer Society and Universidade Catolica de Pelotas From igloo at earth.li Wed Apr 1 16:21:00 2009 From: igloo at earth.li (Ian Lynagh) Date: Wed Apr 1 16:08:10 2009 Subject: [Haskell] ANNOUNCE: GHC version 6.10.2 Message-ID: <20090401202100.GA14872@matrix.chaos.earth.li> ============================================================== The (Interactive) Glasgow Haskell Compiler -- version 6.10.2 ============================================================== The GHC Team is pleased to announce a new patchlevel release of GHC. This release contains a number of bugfixes relative to 6.10.1, including some performance fixes, so we recommend upgrading. Release notes are here: http://haskell.org/ghc/docs/6.10.2/html/users_guide/release-6-10-2.html How to get it ~~~~~~~~~~~~~ The easy way is to go to the web page, which should be self-explanatory: http://www.haskell.org/ghc/ We supply binary builds in the native package format for many platforms, and the source distribution is available from the same place. Packages will appear as they are built - if the package for your system isn't available yet, please try again later. Background ~~~~~~~~~~ Haskell is a standard lazy functional programming language; the current language version is Haskell 98, agreed in December 1998 and revised December 2002. GHC is a state-of-the-art programming suite for Haskell. Included is an optimising compiler generating good code for a variety of platforms, together with an interactive system for convenient, quick development. The distribution includes space and time profiling facilities, a large collection of libraries, and support for various language extensions, including concurrency, exceptions, and foreign language interfaces (C, whatever). GHC is distributed under a BSD-style open source license. A wide variety of Haskell related resources (tutorials, libraries, specifications, documentation, compilers, interpreters, references, contact information, links to research groups) are available from the Haskell home page (see below). On-line GHC-related resources ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Relevant URLs on the World-Wide Web: GHC home page http://www.haskell.org/ghc/ GHC developers' home page http://hackage.haskell.org/trac/ghc/ Haskell home page http://www.haskell.org/ Supported Platforms ~~~~~~~~~~~~~~~~~~~ The list of platforms we support, and the people responsible for them, is here: http://hackage.haskell.org/trac/ghc/wiki/Contributors Ports to other platforms are possible with varying degrees of difficulty. The Building Guide describes how to go about porting to a new platform: http://hackage.haskell.org/trac/ghc/wiki/Building Developers ~~~~~~~~~~ We welcome new contributors. Instructions on accessing our source code repository, and getting started with hacking on GHC, are available from the GHC's developer's site run by Trac: http://hackage.haskell.org/trac/ghc/ Mailing lists ~~~~~~~~~~~~~ We run mailing lists for GHC users and bug reports; to subscribe, use the web interfaces at http://www.haskell.org/mailman/listinfo/glasgow-haskell-users http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs There are several other haskell and ghc-related mailing lists on www.haskell.org; for the full list, see http://www.haskell.org/mailman/listinfo/ Some GHC developers hang out on #haskell on IRC, too: http://www.haskell.org/haskellwiki/IRC_channel Please report bugs using our bug tracking system. Instructions on reporting bugs can be found here: http://www.haskell.org/ghc/reportabug From leimy2k at gmail.com Wed Apr 1 20:44:16 2009 From: leimy2k at gmail.com (David Leimbach) Date: Wed Apr 1 20:31:26 2009 Subject: [Haskell] ANNOUNCE: GHC version 6.10.2 In-Reply-To: <20090401202100.GA14872@matrix.chaos.earth.li> References: <20090401202100.GA14872@matrix.chaos.earth.li> Message-ID: <3e1162e60904011744i73ae486au3d9d9f1bc67f349f@mail.gmail.com> April fools? On Wed, Apr 1, 2009 at 1:21 PM, Ian Lynagh wrote: > > ============================================================== > The (Interactive) Glasgow Haskell Compiler -- version 6.10.2 > ============================================================== > > The GHC Team is pleased to announce a new patchlevel release of GHC. > This release contains a number of bugfixes relative to 6.10.1, including > some performance fixes, so we recommend upgrading. > > Release notes are here: > > http://haskell.org/ghc/docs/6.10.2/html/users_guide/release-6-10-2.html > > How to get it > ~~~~~~~~~~~~~ > > The easy way is to go to the web page, which should be self-explanatory: > > http://www.haskell.org/ghc/ > > We supply binary builds in the native package format for many > platforms, and the source distribution is available from the same > place. > > Packages will appear as they are built - if the package for your > system isn't available yet, please try again later. > > > Background > ~~~~~~~~~~ > > Haskell is a standard lazy functional programming language; the > current language version is Haskell 98, agreed in December 1998 and > revised December 2002. > > GHC is a state-of-the-art programming suite for Haskell. Included is > an optimising compiler generating good code for a variety of > platforms, together with an interactive system for convenient, quick > development. The distribution includes space and time profiling > facilities, a large collection of libraries, and support for various > language extensions, including concurrency, exceptions, and foreign > language interfaces (C, whatever). GHC is distributed under a > BSD-style open source license. > > A wide variety of Haskell related resources (tutorials, libraries, > specifications, documentation, compilers, interpreters, references, > contact information, links to research groups) are available from the > Haskell home page (see below). > > > On-line GHC-related resources > ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ > > Relevant URLs on the World-Wide Web: > > GHC home page http://www.haskell.org/ghc/ > GHC developers' home page http://hackage.haskell.org/trac/ghc/ > Haskell home page http://www.haskell.org/ > > > Supported Platforms > ~~~~~~~~~~~~~~~~~~~ > > The list of platforms we support, and the people responsible for them, > is here: > > http://hackage.haskell.org/trac/ghc/wiki/Contributors > > Ports to other platforms are possible with varying degrees of > difficulty. The Building Guide describes how to go about porting to a > new platform: > > http://hackage.haskell.org/trac/ghc/wiki/Building > > > Developers > ~~~~~~~~~~ > > We welcome new contributors. Instructions on accessing our source > code repository, and getting started with hacking on GHC, are > available from the GHC's developer's site run by Trac: > > http://hackage.haskell.org/trac/ghc/ > > > Mailing lists > ~~~~~~~~~~~~~ > > We run mailing lists for GHC users and bug reports; to subscribe, use > the web interfaces at > > http://www.haskell.org/mailman/listinfo/glasgow-haskell-users > http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs > > There are several other haskell and ghc-related mailing lists on > www.haskell.org; for the full list, see > > http://www.haskell.org/mailman/listinfo/ > > Some GHC developers hang out on #haskell on IRC, too: > > http://www.haskell.org/haskellwiki/IRC_channel > > Please report bugs using our bug tracking system. Instructions on > reporting bugs can be found here: > > http://www.haskell.org/ghc/reportabug > > _______________________________________________ > Haskell mailing list > Haskell@haskell.org > http://www.haskell.org/mailman/listinfo/haskell > -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/haskell/attachments/20090401/469f9ea9/attachment.htm From lists at qseep.net Wed Apr 1 21:48:13 2009 From: lists at qseep.net (Lyle Kopnicky) Date: Wed Apr 1 21:35:23 2009 Subject: [Haskell] ANNOUNCE: GHC version 6.10.2 In-Reply-To: <20090401202100.GA14872@matrix.chaos.earth.li> References: <20090401202100.GA14872@matrix.chaos.earth.li> Message-ID: <670e468e0904011848v624d0895qe918568a0a1522ea@mail.gmail.com> Great! But what happened to the time package? It was in 6.10.1. Has it been intentionally excluded from 6.10.2? On Wed, Apr 1, 2009 at 1:21 PM, Ian Lynagh wrote: > > ============================================================== > The (Interactive) Glasgow Haskell Compiler -- version 6.10.2 > ============================================================== > > The GHC Team is pleased to announce a new patchlevel release of GHC. > This release contains a number of bugfixes relative to 6.10.1, including > some performance fixes, so we recommend upgrading. > > Release notes are here: > > http://haskell.org/ghc/docs/6.10.2/html/users_guide/release-6-10-2.html > -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/haskell/attachments/20090401/e4d19808/attachment.htm From DekuDekuplex at Yahoo.com Thu Apr 2 00:47:22 2009 From: DekuDekuplex at Yahoo.com (Benjamin L.Russell) Date: Thu Apr 2 00:34:46 2009 Subject: [Haskell] Re: ANNOUNCE: GHC version 6.10.2 References: <20090401202100.GA14872@matrix.chaos.earth.li> <670e468e0904011848v624d0895qe918568a0a1522ea@mail.gmail.com> Message-ID: On Wed, 1 Apr 2009 18:48:13 -0700, Lyle Kopnicky wrote: >Great! But what happened to the time package? It was in 6.10.1. Has it been >intentionally excluded from 6.10.2? Then I should probably hold off on installing the new version for now. Any estimate on when this problem will be fixed? -- Benjamin L. Russell -- Benjamin L. Russell / DekuDekuplex at Yahoo dot com http://dekudekuplex.wordpress.com/ Translator/Interpreter / Mobile: +011 81 80-3603-6725 "Furuike ya, kawazu tobikomu mizu no oto." -- Matsuo Basho^ From ryani.spam at gmail.com Thu Apr 2 02:09:25 2009 From: ryani.spam at gmail.com (Ryan Ingram) Date: Thu Apr 2 01:56:33 2009 Subject: [Haskell] Marketing Haskell In-Reply-To: <87d4bwpzjj.fsf@malde.org> References: <87d4bwpzjj.fsf@malde.org> Message-ID: <2f9b2d30904012309x6209ccd8t726cf9a40ab1cbd5@mail.gmail.com> I, for one, welcome our new Koala overlords. Thank you, Mr. Peyton-Koala, for this wonderful contribution to our community. -- ryan 2009/4/1 Simon Peyton-Jones : > > Dear Haskell enthusiasts, > > Now that the logo issue finally has been settled, it is time to select > the proper Haskell mascot. ?As you are no doubt aware, Microsoft's > involvement in Haskell means that we have moved from avoiding success > at all cost to actively marketing the language, and any language > striving for success is entirely dependent on a cute and distinctive > mascot. ?Where would Perl be today without its camel? > > Since the recent logo discussion has demonstrated once and for all the > futility of attempting a democratic process in the Haskell community - > to be quite honest, the elected logo looks like an error message from an IBM > mainframe - I have decided to decide on a mascot myself. > > So I hereby declare the official Haskell mascot to be the koala, in > the form of the image attached below. ?Please ensure that this image > accompanies any material published on the web or on paper. > > Simon > > > _______________________________________________ > Haskell mailing list > Haskell@haskell.org > http://www.haskell.org/mailman/listinfo/haskell > > From duncan.coutts at worc.ox.ac.uk Thu Apr 2 05:42:50 2009 From: duncan.coutts at worc.ox.ac.uk (Duncan Coutts) Date: Thu Apr 2 05:30:03 2009 Subject: [Haskell] Re: ANNOUNCE: GHC version 6.10.2 In-Reply-To: References: <20090401202100.GA14872@matrix.chaos.earth.li> <670e468e0904011848v624d0895qe918568a0a1522ea@mail.gmail.com> Message-ID: <1238665370.25888.1390.camel@localhost> On Thu, 2009-04-02 at 13:47 +0900, Benjamin L.Russell wrote: > On Wed, 1 Apr 2009 18:48:13 -0700, Lyle Kopnicky > wrote: > > >Great! But what happened to the time package? It was in 6.10.1. Has it been > >intentionally excluded from 6.10.2? Yes, the maintainer of the time package asked for it to be removed: > Can I remove the time package from the GHC build process? I > want to update it but I don't want to deal with GHC's > autotools stuff or break the GHC build. > Then I should probably hold off on installing the new version for now. > Any estimate on when this problem will be fixed? The time package will be part of the first platform release (assuming we get enough volunteers to do the platform release!) In the mean time you can just: $ cabal install time Duncan From DekuDekuplex at Yahoo.com Thu Apr 2 06:54:38 2009 From: DekuDekuplex at Yahoo.com (Benjamin L.Russell) Date: Thu Apr 2 06:42:02 2009 Subject: [Haskell] Re: Marketing Haskell References: <87d4bwpzjj.fsf@malde.org> <1238595894.6295.0.camel@jonathans-macbook> Message-ID: <0769t4lt9b4nuo7jkt7fneblt8qf2gibcl@4ax.com> On Wed, 01 Apr 2009 07:24:54 -0700, Jonathan Cast wrote: >The sad thing is, despite the form of this message, I entirely agree >with the content... Likewise. Why don't we ask the real Simon to choose an additional mascot for Haskell? Something slow and lazy would do.... -- Benjamin L. Russell -- Benjamin L. Russell / DekuDekuplex at Yahoo dot com http://dekudekuplex.wordpress.com/ Translator/Interpreter / Mobile: +011 81 80-3603-6725 "Furuike ya, kawazu tobikomu mizu no oto." -- Matsuo Basho^ From bulat.ziganshin at gmail.com Thu Apr 2 08:25:42 2009 From: bulat.ziganshin at gmail.com (Bulat Ziganshin) Date: Thu Apr 2 08:17:19 2009 Subject: [Haskell] Re: Marketing Haskell In-Reply-To: <0769t4lt9b4nuo7jkt7fneblt8qf2gibcl@4ax.com> References: <87d4bwpzjj.fsf@malde.org> <1238595894.6295.0.camel@jonathans-macbook> <0769t4lt9b4nuo7jkt7fneblt8qf2gibcl@4ax.com> Message-ID: <732349793.20090402162542@gmail.com> Hello Benjamin, Thursday, April 2, 2009, 2:54:38 PM, you wrote: > Likewise. Why don't we ask the real Simon to choose an additional > mascot for Haskell? Something slow and lazy would do.... i propose myself... -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com From voigt at tcs.inf.tu-dresden.de Thu Apr 2 09:26:21 2009 From: voigt at tcs.inf.tu-dresden.de (Janis Voigtlaender) Date: Thu Apr 2 09:13:29 2009 Subject: [Haskell] CfP: Fourth Working Conference on Programming Languages (ATPS'09) Message-ID: <49D4BCFD.2080609@tcs.inf.tu-dresden.de> Fourth Working Conference on Programming Languages (ATPS'09) ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ http://www-ps.informatik.uni-kiel.de/atps09/ Part of the 39th annual conference of the German Gesellschaft f?r Informatik Luebeck (Germany), 28.9.-2.10. 2009 The conference aims at bringing together researchers and developers interested in the area of programming languages. The conference addresses all paradigms of programming languages: imperative, object-oriented, functional, logic, concurrent, parallel, or graphical programming languages, as well as languages to support the implementation of distributed systems and concepts for the integration of different paradigms. The first three Working Conferences on Programming Languages took place as part of the annual computer science conferences in Germany (Aachen 1997, Paderborn 1999, Ulm 2004). Typical but not exclusive topics are: * Design of programming languages as well as domain-specific languages * Implementation and optimization techniques * Analysis and transformation of programs * Type systems * Semantics and specification techniques * Modelling languages, object orientation * Internet programming * Verification of programs and implementations * Tools and programming environments * Frameworks, architectures, generative approaches * Experiences with specific applications * Relations between languages, architectures, processors Techniques, methods, concepts, and tools to improve the safety and reliability of programs are also of interest. The conference also welcomes contributions from enterprises. Submissions: ~~~~~~~~~~~~ Submitted papers must be written in English or German and should contain unpublished works. Contributions will be judged by relevance, originality, correctness, and readability. The significance should be clearly stated and compared to existing works. Contributions should not exceed 15 pages (LNI style, see http://www.gi-ev.de/service/publikationen/lni/autorenrichtlinien/). They must be submitted in PostScript or PDF format until April 26, 2009. Detailed information about the electronic submission is available at the web page of the conference: http://www-ps.informatik.uni-kiel.de/atps09/ It is also intended to organize a session with short presentations about unfinished projects and experience reports. Such short contributions should be clearly marked and submitted like other contributions as an extended abstract of no more than five pages. The accepted papers will be published in the proceedings of the general conference that consists of printed proceedings that will appear in the GI-Edition Lecture Notes in Informatics (LNI) with one-page abstracts and a CD containing the full papers. Import Dates: ~~~~~~~~~~~~~ Submission of contributions: April 26, 2009 Notification of acceptance/rejection: May 25, 2009 Submission of camera-ready papers: July 1, 2009 Organization: ~~~~~~~~~~~~~ Walter Dosch (University of Luebeck, dosch@isp.uni-luebeck.de) Michael Hanus (University of Kiel, mh@informatik.uni-kiel.de) Program Committee: ~~~~~~~~~~~~~~~~~~ Walter Dosch (Univ. Luebeck, Co-Chair) Wolfgang Goerigk (b+m Informatik AG) Juerg Gutknecht (ETH Zuerich) Michael Hanus (Univ. Kiel, Co-Chair) Martin Hofmann (Univ. Muenchen) Petra Hofstedt (TU Berlin) Frank Huch (Univ. Kiel) Jens Knoop (TU Wien) Herbert Kuchen (Univ. Muenster) Rita Loogen (Univ. Marburg) Markus Mueller-Olm (Univ. Muenster) Helmuth Partsch (Univ. Ulm) Peter Pepper (TU Berlin) Martin Pluemicke (BA Stuttgart) Arnd Poetzsch-Heffter (Univ. Kaiserslautern) Peter Thiemann (Univ. Freiburg) Janis Voigtlaender (TU Dresden) Wolf Zimmermann (Univ. Halle) Information about the main conference: http://www.informatik2009.de From bjorn.buckwalter at gmail.com Thu Apr 2 22:28:52 2009 From: bjorn.buckwalter at gmail.com (Bjorn Buckwalter) Date: Thu Apr 2 22:16:16 2009 Subject: [Haskell] ANNOUNCE: fad 1.0 -- Forward Automatic Differentiation library Message-ID: <8b2a1a960904021928s2c44abb2g63143aa9823cc1ae@mail.gmail.com> I'm pleased to announce the initial release of the Haskell fad library, developed by Barak A. Pearlmutter and Jeffrey Mark Siskind. Fad provides Forward Automatic Differentiation (AD) for functions polymorphic over instances of 'Num'. There have been many Haskell implementations of forward AD, with varying levels of completeness, published in papers and blog posts[1], but alarmingly few of these have made it into hackage -- to date Conal Elliot's vector-spaces[2] package is the only one I am aware of. Fad is an attempt to make as comprehensive and usable a forward AD package as is possible in Haskell. However, correctness is given priority over ease of use, and this is in my opinion the defining quality of fad. Specifically, Fad leverages Haskell's expressive type system to tackle the problem of _perturbation confusion_, brought to light in Pearlmutter and Siskind's 2005 paper "Perturbation Confusion and Referential Transparency"[3]. Fad prevents perturbation confusion by employing type-level "branding" as proposed by myself in a 2007 post to haskell-cafe[4]. To the best of our knowledge all other forward AD implementations in Haskell are susceptible to perturbation confusion. As this library has been in the works for quite some time it is worth noting that it hasn't benefited from Conal's ground-breaking work[5] in the area. Once we wrap our heads around his beautiful constructs perhaps we'll be able to borrow some tricks from him. As mentioned already, fad was developed primarily by Barak A. Pearlmutter and Jeffrey Mark Siskind. My own contribution has been providing Haskell infrastructure support and wrapping up loose ends in order to get the library into a releasable state. Many thanks to Barak and Jeffrey for permitting me to release fad under the BSD license. Fad resides on GitHub[6] and hackage[7] and is only a "cabal install fad" away! What follows is Fad's README, refer to the haddocks for detailed documentation. Thanks, Bjorn Buckwalter [1] http://www.haskell.org/haskellwiki/Functional_differentiation [2] http://www.haskell.org/haskellwiki/Vector-space [3]: http://www.bcl.hamilton.ie/~qobi/nesting/papers/ifl2005.pdf [4]: http://thread.gmane.org/gmane.comp.lang.haskell.cafe/22308/ [5]: http://conal.net/papers/beautiful-differentiation/ [6] http://github.com/bjornbm/fad/ [7] http://hackage.haskell.org/cgi-bin/hackage-scripts/package/fad ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Copyright : 2008-2009, Barak A. Pearlmutter and Jeffrey Mark Siskind License : BSD3 Maintainer : bjorn.buckwalter@gmail.com Stability : experimental Portability: GHC only? Forward Automatic Differentiation via overloading to perform nonstandard interpretation that replaces original numeric type with corresponding generalized dual number type. Each invocation of the differentiation function introduces a distinct perturbation, which requires a distinct dual number type. In order to prevent these from being confused, tagging, called branding in the Haskell community, is used. This seems to prevent perturbation confusion, although it would be nice to have an actual proof of this. The technique does require adding invocations of lift at appropriate places when nesting is present. For more information on perturbation confusion and the solution employed in this library see: Installation ============ To install: cabal install Or: runhaskell Setup.lhs configure runhaskell Setup.lhs build runhaskell Setup.lhs install Examples ======== Define an example function 'f': > import Numeric.FAD > f x = 6 - 5 * x + x ^ 2 -- Our example function Basic usage of the differentiation operator: > y = f 2 -- f(2) = 0 > y' = diff f 2 -- First derivative f'(2) = -1 > y'' = diff (diff f) 2 -- Second derivative f''(2) = 2 List of derivatives: > ys = take 3 $ diffs f 2 -- [0, -1, 2] Example optimization method; find a zero using Newton's method: > y_newton1 = zeroNewton f 0 -- converges to first zero at 2.0. > y_newton2 = zeroNewton f 10 -- converges to second zero at 3.0. Credits ======= Authors: Copyright 2008, Barak A. Pearlmutter & Jeffrey Mark Siskind Work started as stripped-down version of higher-order tower code published by Jerzy Karczmarczuk which used a non-standard standard prelude. Initial perturbation-confusing code is a modified version of Tag trick, called "branding" in the Haskell community, from Bjorn Buckwalter ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ From DekuDekuplex at Yahoo.com Fri Apr 3 00:44:43 2009 From: DekuDekuplex at Yahoo.com (Benjamin L.Russell) Date: Fri Apr 3 00:32:07 2009 Subject: [Haskell] Re: ANNOUNCE: GHC version 6.10.2 References: <20090401202100.GA14872@matrix.chaos.earth.li> <670e468e0904011848v624d0895qe918568a0a1522ea@mail.gmail.com> <1238665370.25888.1390.camel@localhost> Message-ID: On Thu, 02 Apr 2009 10:42:50 +0100, Duncan Coutts wrote: >On Thu, 2009-04-02 at 13:47 +0900, Benjamin L.Russell wrote: >> On Wed, 1 Apr 2009 18:48:13 -0700, Lyle Kopnicky >> wrote: >> >> >Great! But what happened to the time package? It was in 6.10.1. Has it been >> >intentionally excluded from 6.10.2? > >Yes, the maintainer of the time package asked for it to be removed: > >> Can I remove the time package from the GHC build process? I >> want to update it but I don't want to deal with GHC's >> autotools stuff or break the GHC build. > > >> Then I should probably hold off on installing the new version for now. >> Any estimate on when this problem will be fixed? > >The time package will be part of the first platform release (assuming we >get enough volunteers to do the platform release!) > >In the mean time you can just: > >$ cabal install time Okay; no problem. I just read through the Release notes for version 6.10.2 (see http://haskell.org/ghc/docs/6.10.2/html/users_guide/release-6-10-2.html), however, and noticed that the removal of the time package hadn't been documented there. Perhaps this information should be included? -- Benjamin L. Russell -- Benjamin L. Russell / DekuDekuplex at Yahoo dot com http://dekudekuplex.wordpress.com/ Translator/Interpreter / Mobile: +011 81 80-3603-6725 "Furuike ya, kawazu tobikomu mizu no oto." -- Matsuo Basho^ From coeus at gmx.de Fri Apr 3 01:12:32 2009 From: coeus at gmx.de (Marc A. Ziegert) Date: Fri Apr 3 00:59:36 2009 Subject: [Haskell] Re: Marketing Haskell In-Reply-To: <732349793.20090402162542@gmail.com> References: <87d4bwpzjj.fsf@malde.org> <0769t4lt9b4nuo7jkt7fneblt8qf2gibcl@4ax.com> <732349793.20090402162542@gmail.com> Message-ID: <200904030712.36748.coeus@gmx.de> slow and lazy... that's me, too. but haskell is not slow. how about an octopus? there are some kinds (or all?), which are more chameleon like than real chameleons; they can look like strange fishes, stones, or whatever. they have a decentralized brain (like multi core), are really intelligent (can even open cucumber glasses, but probably not 100 bottles of beer) and are from the stronger types of animals; strong because they save their energy (glucose and oxygen) in their blood for times when they need it -- like being lazy but fast. they can swim backwards and can squeeze themself through holes of the size of their own eyes -- reminds me of javascript as backend. and they are funny and cool: they squirt water at you like dolphins -- the "Quotes of the Week" are funny and cool, too, but you have to wet yourself. imho, you can compare them to handy parrots (but mute) with colour/sign language and chameleon features. and they know some ninja arts; inky, but ninjas are cool. some videos: The Indonesian Mimic Octopus One Very Clever Octopus Skilled octopus opens bottles Octopus escaping through a one inch hole Wow! Giant octopus - extreme animals - BBC wildlife Pulpos: suave inteligencia (Octopus intelligence) - marc Am Donnerstag, 2. April 2009 schrieb Bulat Ziganshin: > Hello Benjamin, > > Thursday, April 2, 2009, 2:54:38 PM, you wrote: > > > Likewise. Why don't we ask the real Simon to choose an additional > > mascot for Haskell? Something slow and lazy would do.... > > i propose myself... > > -- > Best regards, > Bulat mailto:Bulat.Ziganshin@gmail.com > > _______________________________________________ > Haskell mailing list > Haskell@haskell.org > http://www.haskell.org/mailman/listinfo/haskell > -------------- next part -------------- A non-text attachment was scrubbed... Name: not available Type: application/pgp-signature Size: 198 bytes Desc: This is a digitally signed message part. Url : http://www.haskell.org/pipermail/haskell/attachments/20090403/45ea670b/attachment.bin From jas at di.uminho.pt Fri Apr 3 02:10:58 2009 From: jas at di.uminho.pt (=?ISO-8859-1?Q?Jo=E3o?= Saraiva) Date: Fri Apr 3 01:58:06 2009 Subject: [Haskell] GTTSE 2009: 2nd call for participation (06-11 July) (registration open) Message-ID: <1238739058.3498.74.camel@localhost.localdomain> GTTSE 2009, 06-11 July, 2009, Braga, Portugal 3rd International Summer School on Generative and Transformational Techniques in Software Engineering http://gttse.wikidot.com/ *** Registration is now open *** *** Early Registration Deadline: April 24, 2009 *** SCOPE AND FORMAT The summer school brings together PhD students, lecturers, technology presenters, as well as other researchers and practitioners who are interested in the generation and the transformation of programs, data, models, meta-models, and documentation. This concerns many areas of software engineering: software reverse and re-engineering, model-driven approaches, automated software engineering, generic language technology, to name a few. These areas differ with regard to the specific sorts of meta-models (or grammars, schemas, formats etc.) that underlie the involved artifacts, and with regard to the specific techniques that are employed for the generation and the transformation of the artifacts. The tutorials are given by renowned representatives of complementary approaches and problem domains. Each tutorial combines foundations, methods, examples, and tool support. The program of the summer school also features invited technology presentations, which present setups for generative and transformational techniques. These presentations complement each other in terms of the chosen application domains, case studies, and the underlying concepts. The program of the school also features a participants workshop. All summer school material will be collected in proceedings that are handed out to the participants. Formal proceedings will be compiled after the summer school, where all contributions are subjected to additional reviewing. The formal proceedings of the previous two instances of the summer school (2005 and 2007) were published as volumes 4143 and 5235 in the Lecture Notes in Computer Science series of Springer-Verlag. TUTORIALS * Software Product Line Refactoring Paulo Borba, Universidade Federal de Pernambuco, Recife, Brazil * The TXL Source Transformation Cookbook James R. Cordy, Queen's University, Kingston, Canada * Chasing Diagrams in the Mapping Forests of Model Transformations Zinovy Diskin, University of Waterloo and Univ. of Toronto, Canada * Generating Language Tools with JastAdd G?rel Hedin, Lund Institute of Technology, Sweden. * Model Driven Language Engineering with Kermeta Jean-Marc J?z?quel, IRISA, Rennes, France * Rascal: Meta-programming Made Easy Paul Klint, CWI and Universiteit van Amsterdam, Netherlands * Sourcerer: Slicing and Dicing Large Amounts of Open Source Code Cristina Videira Lopes, University of California, Irvine, USA * The Theory and Practice of Modeling Language Design for Model-Based Engineering Bran Selic, Malina Software Corp., Canada ORGANIZATION COMMITTEE * Jo?o M. Fernandes (Program Co-Chair), Univ. do Minho, Portugal * Ralf L?mmel (Program Co-Chair), Univ. Koblenz-Landau, Germany * Jo?o Saraiva, Universidade do Minho, Portugal * Joost Visser, Software Improvement Group, The Netherlands ADDITIONAL INFORMATION For additional information on the program, venue, and other details of the summer school, please consult the web page: http://gttse.wikidot.com/ For remaining questions please contact gttse2009 AT di.uminho.pt. From simon at joyful.com Fri Apr 3 02:26:36 2009 From: simon at joyful.com (Simon Michael) Date: Fri Apr 3 02:49:11 2009 Subject: [Haskell] ANN: hledger 0.4 released Message-ID: Dear all, I have released hledger 0.4 on hackage. There is also a new website at http://hledger.org , with screenshots (textual!), a demo (will it survive!?), and docs (not too many!) Release notes are at http://hledger.org/NEWS , and bravely pasted below. In case you forgot: hledger is a text-mode double-entry accounting tool. It reads a plain text journal file describing your transactions and generates precise activity and balance reports. I use it every day to track money and time, and as the basis for client invoices and tax returns. hledger is a partial clone, in haskell, of John Wiegley's excellent ledger. I wrote it because I did not want to hack on c++ and because haskell seemed a good fit. Please cabal update and cabal install hledger and give it a whirl. Install with the "-f happs" flag to enable the new happstack-based web interface. I am sm on the #ledger channel on freenode, and I welcome your feedback, especially if you notice a problem. Best - Simon ------------------------------------------------- 2009/04/03 hledger 0.4 released Changes: * new "web" command serves reports in a web browser (install with -f happs to build this) * make the vty-based curses ui a cabal build option, which will be ignored on MS windows * drop the --options-anywhere flag, that is now the default * patterns now use not: and desc: prefixes instead of ^ and ^^ * patterns are now case-insensitive, like ledger * !include directives are now relative to the including file (Tim Docker) * "Y2009" default year directives are now supported, allowing m/d dates in ledger * individual transactions now have a cleared status * unbalanced entries now cause a proper warning * balance report now passes all ledger compatibility tests * balance report now shows subtotals by default, like ledger 3 * balance report shows the final zero total when -E is used * balance report hides the final total when --no-total is used * --depth affects print and register reports (aggregating with a reporting interval, filtering otherwise) * register report sorts transactions by date * register report shows zero-amount transactions when -E is used * provide more convenient timelog querying when invoked as "hours" * multi-day timelog sessions are split at midnight * unterminated timelog sessions are now counted. Accurate time reports at last! * the test command gives better --verbose output * --version gives more detailed version numbers including patchlevel for dev builds * new make targets include: ghci, haddocktest, doctest, unittest, view-api-docs * a doctest-style framework for functional/shell tests has been added * performance has decreased slightly: || hledger-0.3 | hledger-0.4 | ledger-0.3 ==============================++========== -f sample.ledger balance || 0.02 | 0.01 | 0.07 -f sample1000.ledger balance || 1.02 | 1.39 | 0.53 -f sample10000.ledger balance || 12.72 | 14.97 | 4.63 Contributors: * Simon Michael * Tim Docker * HAppS, happstack and testpack developers Stats: * Known errors: 0 * Commits: 132 * Committers: 2 * Tests: 56 * Non-test code lines: 2600 * Days since release: 75 From jeanphilippe.bernardy at gmail.com Fri Apr 3 03:09:26 2009 From: jeanphilippe.bernardy at gmail.com (Jean-Philippe Bernardy) Date: Fri Apr 3 02:56:30 2009 Subject: [Haskell] Re: Marketing Haskell In-Reply-To: <200904030712.36748.coeus@gmx.de> References: <87d4bwpzjj.fsf@malde.org> <0769t4lt9b4nuo7jkt7fneblt8qf2gibcl@4ax.com> <732349793.20090402162542@gmail.com> <200904030712.36748.coeus@gmx.de> Message-ID: <953e0d250904030009m612343dch8e2e148873614886@mail.gmail.com> On Fri, Apr 3, 2009 at 7:12 AM, Marc A. Ziegert wrote: > how about an octopus? I could not resist the opportunity to combine two great ideas and give you the haskell octopus logo in attachment. It's a bit rough, but with a bit more polish, what do you think? Cheers, JP. -------------- next part -------------- A non-text attachment was scrubbed... Name: octopus-logo-small.gif Type: image/gif Size: 1734 bytes Desc: not available Url : http://www.haskell.org/pipermail/haskell/attachments/20090403/dcbac30e/octopus-logo-small.gif From anton at appsolutions.com Fri Apr 3 03:16:20 2009 From: anton at appsolutions.com (Anton van Straaten) Date: Fri Apr 3 03:03:34 2009 Subject: [Haskell] Re: Marketing Haskell In-Reply-To: <953e0d250904030009m612343dch8e2e148873614886@mail.gmail.com> References: <87d4bwpzjj.fsf@malde.org> <0769t4lt9b4nuo7jkt7fneblt8qf2gibcl@4ax.com> <732349793.20090402162542@gmail.com> <200904030712.36748.coeus@gmx.de> <953e0d250904030009m612343dch8e2e148873614886@mail.gmail.com> Message-ID: <49D5B7C4.4060004@appsolutions.com> Jean-Philippe Bernardy wrote: > On Fri, Apr 3, 2009 at 7:12 AM, Marc A. Ziegert wrote: > >> how about an octopus? >> > I could not resist the opportunity to combine two great ideas and give > you the haskell octopus logo in attachment. It's a bit rough, but with > a bit more polish, what do you think? > > Octopus? I thought it was a narwhal orgy. > > ------------------------------------------------------------------------ > > ------------------------------------------------------------------------ -------------- next part -------------- Skipped content of type multipart/related From DekuDekuplex at Yahoo.com Fri Apr 3 03:25:42 2009 From: DekuDekuplex at Yahoo.com (Benjamin L.Russell) Date: Fri Apr 3 03:13:02 2009 Subject: [Haskell] Re: Marketing Haskell References: <87d4bwpzjj.fsf@malde.org> <0769t4lt9b4nuo7jkt7fneblt8qf2gibcl@4ax.com> <732349793.20090402162542@gmail.com> <200904030712.36748.coeus@gmx.de> <953e0d250904030009m612343dch8e2e148873614886@mail.gmail.com> Message-ID: <69ebt4db7gbkulv5bmuqdbvt20t56mbplp@4ax.com> On Fri, 3 Apr 2009 09:09:26 +0200, Jean-Philippe Bernardy wrote: >On Fri, Apr 3, 2009 at 7:12 AM, Marc A. Ziegert wrote: > >> how about an octopus? > >I could not resist the opportunity to combine two great ideas and give >you the haskell octopus logo in attachment. It's a bit rough, but with >a bit more polish, what do you think? Nice try, but an octupus has eight arms, not seven. What about the remaining arm? Or is that a logo of two octopi, one with four arms, and the other with three? Oh no, the poor octopi! -- Benjamin L. Russell -- Benjamin L. Russell / DekuDekuplex at Yahoo dot com http://dekudekuplex.wordpress.com/ Translator/Interpreter / Mobile: +011 81 80-3603-6725 "Furuike ya, kawazu tobikomu mizu no oto." -- Matsuo Basho^ From tatd2 at kent.ac.uk Fri Apr 3 04:18:17 2009 From: tatd2 at kent.ac.uk (Thomas Davie) Date: Fri Apr 3 04:05:28 2009 Subject: [Haskell] Re: Marketing Haskell In-Reply-To: <69ebt4db7gbkulv5bmuqdbvt20t56mbplp@4ax.com> References: <87d4bwpzjj.fsf@malde.org> <0769t4lt9b4nuo7jkt7fneblt8qf2gibcl@4ax.com> <732349793.20090402162542@gmail.com> <200904030712.36748.coeus@gmx.de> <953e0d250904030009m612343dch8e2e148873614886@mail.gmail.com> <69ebt4db7gbkulv5bmuqdbvt20t56mbplp@4ax.com> Message-ID: <94319932-0C37-481B-96CC-3BF9376E2409@kent.ac.uk> On 3 Apr 2009, at 09:25, Benjamin L.Russell wrote: > On Fri, 3 Apr 2009 09:09:26 +0200, Jean-Philippe Bernardy > wrote: > >> On Fri, Apr 3, 2009 at 7:12 AM, Marc A. Ziegert wrote: >> >>> how about an octopus? >> >> I could not resist the opportunity to combine two great ideas and >> give >> you the haskell octopus logo in attachment. It's a bit rough, but >> with >> a bit more polish, what do you think? > > Nice try, but an octupus has eight arms, not seven. What about the > remaining arm? > > Or is that a logo of two octopi, one with four arms, and the other > with three? Oh no, the poor octopi! If it's an octopi, surely it should have 3.1415926... arms? Where's the 0.1415926...? Bob From DekuDekuplex at Yahoo.com Fri Apr 3 04:53:22 2009 From: DekuDekuplex at Yahoo.com (Benjamin L.Russell) Date: Fri Apr 3 04:40:42 2009 Subject: [Haskell] Re: Marketing Haskell References: <87d4bwpzjj.fsf@malde.org> <0769t4lt9b4nuo7jkt7fneblt8qf2gibcl@4ax.com> <732349793.20090402162542@gmail.com> <200904030712.36748.coeus@gmx.de> <953e0d250904030009m612343dch8e2e148873614886@mail.gmail.com> <69ebt4db7gbkulv5bmuqdbvt20t56mbplp@4ax.com> <94319932-0C37-481B-96CC-3BF9376E2409@kent.ac.uk> Message-ID: On Fri, 3 Apr 2009 10:18:17 +0200, Thomas Davie wrote: >On 3 Apr 2009, at 09:25, Benjamin L.Russell wrote: > >>[...] >> >> Or is that a logo of two octopi, one with four arms, and the other >> with three? Oh no, the poor octopi! > >If it's an octopi, surely it should have 3.1415926... arms? Where's >the 0.1415926...? Actually, according to the Wikipedia entry for "octopus" (see http://en.wikipedia.org/wiki/Octopus), I probably should have written the plural as either "octopuses" or "octopodes": >The Oxford English Dictionary (2004 update[26]) lists octopuses, octopi > and octopodes (in that order); it labels octopodes "rare", and notes >that octopi derives from the mistaken assumption that octopus is a > second declension Latin noun, which it is not. Since the 3.1415926... derives from a mistaken assumption, the 0.1415926... disappears in a poof of logic. -- Benjamin L. Russell -- Benjamin L. Russell / DekuDekuplex at Yahoo dot com http://dekudekuplex.wordpress.com/ Translator/Interpreter / Mobile: +011 81 80-3603-6725 "Furuike ya, kawazu tobikomu mizu no oto." -- Matsuo Basho^ From ekmett at gmail.com Fri Apr 3 10:26:26 2009 From: ekmett at gmail.com (Edward Kmett) Date: Fri Apr 3 10:13:34 2009 Subject: [Haskell] Re: [Haskell-cafe] ANNOUNCE: fad 1.0 -- Forward Automatic Differentiation library In-Reply-To: <8b2a1a960904021928s2c44abb2g63143aa9823cc1ae@mail.gmail.com> References: <8b2a1a960904021928s2c44abb2g63143aa9823cc1ae@mail.gmail.com> Message-ID: <7fb8f82f0904030726v10fd37bep3bfdcb61cc5c62eb@mail.gmail.com> Very nice to have! FYI- there is at least one more quantification-based automatic differentiation implementation in Hackage: http://comonad.com/haskell/monoids/dist/doc/html/monoids/Data-Ring-Module-AutomaticDifferentiation.html My implementation is/was focused upon use with monoids and other more-limited-than-Num classes and only included the equivalent of your 'lift' and 'diffUU' operations, however. -Edward Kmett On Thu, Apr 2, 2009 at 10:28 PM, Bjorn Buckwalter < bjorn.buckwalter@gmail.com> wrote: > I'm pleased to announce the initial release of the Haskell fad > library, developed by Barak A. Pearlmutter and Jeffrey Mark Siskind. > Fad provides Forward Automatic Differentiation (AD) for functions > polymorphic over instances of 'Num'. There have been many Haskell > implementations of forward AD, with varying levels of completeness, > published in papers and blog posts[1], but alarmingly few of these > have made it into hackage -- to date Conal Elliot's vector-spaces[2] > package is the only one I am aware of. > > Fad is an attempt to make as comprehensive and usable a forward AD > package as is possible in Haskell. However, correctness is given > priority over ease of use, and this is in my opinion the defining > quality of fad. Specifically, Fad leverages Haskell's expressive > type system to tackle the problem of _perturbation confusion_, > brought to light in Pearlmutter and Siskind's 2005 paper "Perturbation > Confusion and Referential Transparency"[3]. Fad prevents perturbation > confusion by employing type-level "branding" as proposed by myself > in a 2007 post to haskell-cafe[4]. To the best of our knowledge all > other forward AD implementations in Haskell are susceptible to > perturbation confusion. > > As this library has been in the works for quite some time it is > worth noting that it hasn't benefited from Conal's ground-breaking > work[5] in the area. Once we wrap our heads around his beautiful > constructs perhaps we'll be able to borrow some tricks from him. > > As mentioned already, fad was developed primarily by Barak A. > Pearlmutter and Jeffrey Mark Siskind. My own contribution has been > providing Haskell infrastructure support and wrapping up loose ends > in order to get the library into a releasable state. Many thanks > to Barak and Jeffrey for permitting me to release fad under the BSD > license. > > Fad resides on GitHub[6] and hackage[7] and is only a "cabal install > fad" away! What follows is Fad's README, refer to the haddocks for > detailed documentation. > > Thanks, > Bjorn Buckwalter > > > [1] http://www.haskell.org/haskellwiki/Functional_differentiation > [2] http://www.haskell.org/haskellwiki/Vector-space > [3]: http://www.bcl.hamilton.ie/~qobi/nesting/papers/ifl2005.pdf > [4]: http://thread.gmane.org/gmane.comp.lang.haskell.cafe/22308/ > [5]: http://conal.net/papers/beautiful-differentiation/ > [6] http://github.com/bjornbm/fad/ > [7] http://hackage.haskell.org/cgi-bin/hackage-scripts/package/fad > > > ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ > > Copyright : 2008-2009, Barak A. Pearlmutter and Jeffrey Mark Siskind > License : BSD3 > > Maintainer : bjorn.buckwalter@gmail.com > Stability : experimental > Portability: GHC only? > > Forward Automatic Differentiation via overloading to perform > nonstandard interpretation that replaces original numeric type with > corresponding generalized dual number type. > > Each invocation of the differentiation function introduces a > distinct perturbation, which requires a distinct dual number type. > In order to prevent these from being confused, tagging, called > branding in the Haskell community, is used. This seems to prevent > perturbation confusion, although it would be nice to have an actual > proof of this. The technique does require adding invocations of > lift at appropriate places when nesting is present. > > For more information on perturbation confusion and the solution > employed in this library see: > > > > > Installation > ============ > To install: > cabal install > > Or: > runhaskell Setup.lhs configure > runhaskell Setup.lhs build > runhaskell Setup.lhs install > > > Examples > ======== > Define an example function 'f': > > > import Numeric.FAD > > f x = 6 - 5 * x + x ^ 2 -- Our example function > > Basic usage of the differentiation operator: > > > y = f 2 -- f(2) = 0 > > y' = diff f 2 -- First derivative f'(2) = -1 > > y'' = diff (diff f) 2 -- Second derivative f''(2) = 2 > > List of derivatives: > > > ys = take 3 $ diffs f 2 -- [0, -1, 2] > > Example optimization method; find a zero using Newton's method: > > > y_newton1 = zeroNewton f 0 -- converges to first zero at 2.0. > > y_newton2 = zeroNewton f 10 -- converges to second zero at 3.0. > > > Credits > ======= > Authors: Copyright 2008, > Barak A. Pearlmutter & > Jeffrey Mark Siskind > > Work started as stripped-down version of higher-order tower code > published by Jerzy Karczmarczuk > which used a non-standard standard prelude. > > Initial perturbation-confusing code is a modified version of > > > Tag trick, called "branding" in the Haskell community, from > Bjorn Buckwalter > > > ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe > -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/haskell/attachments/20090403/eaaaf0b4/attachment-0001.htm From ekmett at gmail.com Fri Apr 3 11:18:04 2009 From: ekmett at gmail.com (Edward Kmett) Date: Fri Apr 3 11:05:10 2009 Subject: [Haskell] Re: [Haskell-cafe] ANNOUNCE: fad 1.0 -- Forward Automatic Differentiation library In-Reply-To: References: <8b2a1a960904021928s2c44abb2g63143aa9823cc1ae@mail.gmail.com> <7fb8f82f0904030726v10fd37bep3bfdcb61cc5c62eb@mail.gmail.com> Message-ID: <7fb8f82f0904030818o1018bfc6xc99568843a30b3e0@mail.gmail.com> A somewhat tricky concern is that that the extra functionality in question depends on a bunch of primitive definitions that lie below this in the package and the AD engine is used by a layer on top. So moving it out would introduce a circular dependency back into the package or require me to stratify into two packages. When I looked into partitioning the package for another reason I found that I couldn't do so without introducing some orphan instances, so it'll probably be a tricky bit of surgery to split out. That said, it's probably still worth doing. I also agree that I should be somewhat more pedantic about the name. =) -Edward Kmett On Fri, Apr 3, 2009 at 10:49 AM, Barak A. Pearlmutter wrote: > I feel silly, did not even notice that! Thanks for the pointer. > > Would be sensible to merge the functionalities; will try to import > functionality in Data.Ring.Module.AutomaticDifferentiation currently > missing from Numeric.FAD. > > (One pedantic note: should really be named > Data.Ring.Module.AutomaticDifferentiation.Forward, since it is doing > forward-mode accumulation automatic differentiation; reverse is > an adjoint kettle of fish.) > -- > Barak A. Pearlmutter > Hamilton Institute & Dept Comp Sci, NUI Maynooth, Co. Kildare, Ireland > http://www.bcl.hamilton.ie/~barak/ > -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/haskell/attachments/20090403/1b82d489/attachment.htm From jno at di.uminho.pt Fri Apr 3 11:46:13 2009 From: jno at di.uminho.pt (J.N. Oliveira) Date: Fri Apr 3 11:33:08 2009 Subject: [Haskell] TFM09: Call for Papers (Formal Methods Week, Eindhoven, November 6th 2009) In-Reply-To: References: <6C84A9A8-448D-4BB0-8ECC-733F94618113@di.uminho.pt> <149AF668-5B86-483E-AE4A-31FCB41FAEA3@di.uminho.pt> <751CA11B-C480-4AFD-95EE-341977956B22@di.uminho.pt> <783CB463-70DA-42BB-AA3E-6FEF6D060992@di.uminho.pt> <439928F0-2402-47CA-B9D5-5DBC115FD385@di.uminho.pt> <835D2796-8A7B-4175-AD45-699D28FFC48D@di.uminho.pt> <03D358AB-5CB3-4A1F-B544-D36339BCCAE3@di.uminho.pt> <7AE5C171-EEE6-4ADB-B4F2-24A9F3F95D41@di.uminho.pt> <68F7244E-664C-4B9D-9E53-F57958930A11@di.uminho.pt> <7E9C7D41-AB35-4180-A392-8D650B71A6DA@di.uminho.pt> <295278A7-C8E3-4E98-8D3D-77C436712748@di.uminho.pt> <1ED014F0-F9EF-409A-B36B-11CAD163DA3D@di.uminho.pt> <120310DA-2030-4FA4-9F61-FD4EE51A9C06@di.uminho.pt> <3E535BF5-5F17-4892-8A5D-F8CFB25815A5@di.uminho.pt> <0C688277-C9C2-4420-9002-ADC0DE3DA8A0@di.uminho.pt> Message-ID: TFM2009 2nd Int. FME Conference on Teaching Formal Methods "Widening Access to Formal Methods" Friday, November 6th 2009 co-located with FM2009 : 16th International Symposium on Formal Methods Eindhoven, the Netherlands, November 2 - November 6, 2009 CALL FOR PAPERS (URL: http://www.di.uminho.pt/tfm09) 1. About the conference ----------------------- Ten years after the First World Formal Methods Congress (FM'99) in Toulouse, formal methods communities from all over the world will once again have an opportunity to come together. As part of the First Formal Methods Week event surrounding the FM2009 conference in Eindhoven, Formal Methods Europe will be organizing TFM2009, the Second International Conference on Teaching Formal Methods. The conference will serve as a forum to explore the successes and failures of Formal Methods (FM) education, and to promote cooperative projects to further education and training in FMs. We would like to provide a forum for lecturers, teachers, and industrial partners to discuss their experience, present their pedagogical methodologies, and explore best practices. TFM2009 follows in a series of recent events on teaching formal methods, including: two BCS-FACS TFM workshops (Oxford in 2003, and London in 2006), the TFM 2004 conference in Ghent (with proceedings published as Springer LNCS Volume 3294), the FM-Ed 2006 workshop (Hamilton, co-located with FM'06), FORMED (Budapest, at ETAPS 2008), FMET 2008 (Kitakyushu 2008, co-located with ICFEM), etc. 2. Topics of interest --------------------- Formal methods (FM) have an important role to play in the development of complex computing systems - a role acknowledged in industrial standards such as IEC 61508 and ISO/IEC 15408, and in the increasing use of precise modeling notations, semantic markup languages, and model-driven techniques. There is a growing need for software engineers who can work effectively with simple, mathematical abstractions, and with practical notions of inference and proof. However, there is little clear guidance ? for educators, for managers, or for the engineers themselves ? as to what might comprise a basic education in FM. Neither the present IEEE/ACM Software Engineering Body of Knowledge (SWEBOK) nor the forthcoming Graduate Software Engineering Reference Curriculum (GSWERC) provide the kind of specific information that teachers and practitioners need to establish an adequate, balanced programme of learning in FM. Original contributions are solicited that provide insight, opinions, and suggestions for courses of action regarding the teaching FMs, including but not limited to the following aspects: * experiences of teaching FMs, both successful and unsuccessful; * educational resources including the use of books, case studies and the internet; * the education of weak and mathphobic students; * the integration, or otherwise, of FMs into the curriculum, including contributions to the definition of a Formal Methods Body of Knowledge (FMBOK); * the advantages of FM-trained graduates in the workplace; * changing attitudes towards FMs in students, academic staff and practitioners; * the necessary mathematical background. Submissions may be up to 20 pages long, using the Springer LNCS format. Negotiations are under way with Springer Verlag for the publication of the proceedings of the conference in the LNCS series. 3. Important dates ------------------ Please put the following dates in your diary: Submission deadline May 25, 2009 Notification of acceptance July 6, 2009 Final version August 3, 2009 4. Invited speakers ------------------- To be announced 5. Programme Committee ---------------------- Izzat Alsmadi (North Dakota State University, USA) Dines Bjorner (IIMM Institute, Denmark) Eerke Boiten (University of Kent, UK) Raymond Boute (Universiteit Gent, Belgium) Andrew Butterfield (Trinity College, Dublin) Jim Davies (University of Oxford, UK) David Duce (Oxford Brookes University, UK) John Fitzgerald (University of Newcastle upon Tyne, UK) Jeremy Gibbons (University of Oxford, UK) Randolph Johnson (National Security Agency, USA) Michael Mac an Airchinnigh (Trinity College, Dublin) Dino Mandrioli (Politecnico di Milano, Italy) Jose Oliveira (Universidade do Minho, Portugal) Kees Pronk (Technische Universiteit Delft, NL) Bernhard Schaetz (Tecnical University of Munique, Germany) Wolfgang Schreiner (Johannes Kepler University Linz, Austria) Simao Melo de Sousa (Universidade da Beira Interior, Portugal) Kenji Taguchi (National Institute of Informatics, Japan) Jeannette Wing (Carnegie-Mellon University, USA) -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 3109 bytes Desc: not available Url : http://www.haskell.org/pipermail/haskell/attachments/20090403/1c81a066/smime.bin From ajb at spamcop.net Sat Apr 4 22:44:13 2009 From: ajb at spamcop.net (ajb@spamcop.net) Date: Sat Apr 4 22:30:18 2009 Subject: [Haskell] Re: Marketing Haskell In-Reply-To: References: <87d4bwpzjj.fsf@malde.org> <0769t4lt9b4nuo7jkt7fneblt8qf2gibcl@4ax.com> <732349793.20090402162542@gmail.com> <200904030712.36748.coeus@gmx.de> <953e0d250904030009m612343dch8e2e148873614886@mail.gmail.com> <69ebt4db7gbkulv5bmuqdbvt20t56mbplp@4ax.com> <94319932-0C37-481B-96CC-3BF9376E2409@kent.ac.uk> Message-ID: <20090404224413.c2z8g1k0co84wsss-nwo@webmail.spamcop.net> G'day all. Quoting "Benjamin L.Russell" : > Actually, according to the Wikipedia entry for "octopus" (see > http://en.wikipedia.org/wiki/Octopus), I probably should have written > the plural as either "octopuses" or "octopodes": Ah, but "octopodes" is only the _nominative_ plural. You really should have written this: Or is that a logo of two octoposi, one with four arms, and the other with three? Oh no, the poor octopodes! Or, if the second sentence addresses the octopous, this would be correct: Oh no, the poor octopoi! Hope this helps. For your homework, what is the plural of "topos"? Cheers, Andrew Bromage From byorgey at seas.upenn.edu Sun Apr 5 00:15:13 2009 From: byorgey at seas.upenn.edu (Brent Yorgey) Date: Sun Apr 5 00:02:20 2009 Subject: [Haskell] Haskell Weekly News: Issue 112 - April 5, 2009 Message-ID: <20090405041513.GA20612@seas.upenn.edu> --------------------------------------------------------------------------- Haskell Weekly News http://sequence.complete.org/hwn/20090405 Issue 112 - April 05, 2009 --------------------------------------------------------------------------- Welcome to issue 112 of HWN, a newsletter covering developments in the [1]Haskell community. Announcements hgettext-0.1.5 - GetText based internationalization of Haskell programs. Vasyl Pasternak [2]announced a new release of the [3]hgettext package for internationalization of Haskell programs, which now supports distribution and installation of PO files. Buster 0.99.1, a library for application orchestration that is not FRP. Jeff Heard [4]announced the release of [5]Buster, an FRP-like framework for constructing reactive programs with a bus model. Call for Contributions - Haskell Communities and Activities Report, May 2009 edition. Janis Voigtlaender [6]issued a call for contributions to the 16th edition of the [7]Haskell Communities & Activities Report. The submission deadline is 1 May 2009. If you are working on any project that is in some way related to Haskell, please write a short entry and submit it. Even if the project is very small or unfinished or you think it is not important enough -- please reconsider and submit an entry anyway! fad 1.0 -- Forward Automatic Differentiation library. Bjorn Buckwalter [8]announced the initial release of the Haskell [9]fad library, developed by Barak A. Pearlmutter and Jeffrey Mark Siskind. Fad provides Forward Automatic Differentiation (AD) for functions polymorphic over instances of 'Num'. hledger 0.4 released. Simon Michael [10]announced the release of [11]hledger 0.4, a text-mode double-entry accounting tool. It reads a plain text journal file describing your transactions and generates precise activity and balance reports. Changes include the ability to serve reports in a web browser, and many other fixes and improvements. GHC version 6.10.2. Ian Lynagh [12]announced a new patchlevel release of [13]GHC. This release contains a number of bugfixes relative to 6.10.1, including some performance fixes; see the [14]release notes. Beta of Leksah IDE available. J?rgen Nicklisch-Franken [15]announced release 0.4.4 of [16]Leksah, the Haskell IDE written in Haskell. Current features include on the fly error reporting with location of compilation errors, completion , import helper for constructing import statements, module browser with navigation to definition, project management support based on Cabal with a visual editor, "source candy", and more. satchmo: monadic SAT encoding library. Johannes Waldmann [17]announced a preliminary version of [18]satchmo, a monadic library for encoding boolean and integral number constraints to CNF-SAT. It uses [19]minisat as a backend solver. vacuum-cairo: a cairo frontend to vacuum for live Haskell data visualization. Don Stewart [20]announced the release of [21]vacuum-cairo, a Haskell library for interactive rendering and display of values on the GHC heap using Matt Morrow's vacuum library. This library takes vacuum's output, generates dot graph format from it, renders it to SVG with graphviz, and displays the resulting structure using the gtk2hs Cairo vector graphics bindings ... all at the GHCi command line. Watch some [22]screencasts! vacuum: extract graph representations of ghc heap values.. Matt Morrow [23]announced the release of [24]vacuum, a library for extracting graph representations of values from the GHC heap, which may then be further processed and/or translated to Graphviz dot format to be visualized. new release of HTTP, version 4000.0.5. Sigbjorn Finne [25]announced a [26]new version of the HTTP package, which includes a bunch of fixes and cleanups along with some API documentation. type-level programming support library. spoon [27]asked for feedback on a [28]support library for type level programming. cmonad 0.1.1. Lennart Augustsson [29]announced the [30]CMonad package, which allows one to write Haskell code in a C style. Marketing Haskell. Ketil "Simon Peyton-Jones" Malde [31]announced the new [32]official Haskell mascot. Haskell Platform: status update and call for volunteers. Duncan Coutts gave an [33]update on the status of the [34]Haskell Platform. There are no more policy questions to resolve for the first release. It is a matter of getting things done. The first platform release will contain ghc-6.10.2, the "extra libs", haddock, happy and alex, and the cabal command line tool and it's dependencies. We are calling for volunteers for an action group. We need volunteers to take charge of various platforms and to manage the overall release. See Duncan's email for a list of what is needed, and volunteer! Blog noise [35]Haskell news from the [36]blogosphere. * Jeff Heard: [37]Major updates to Buster. * Bjorn Buckwalter: [38]ANNOUNCE: fad 1.0---Forward Automatic Differentiation for Haskell. * Roman Cheplyaka: [39]Hpysics + GrapeFruit (and hackathon). * Joachim Breitner: [40]Bejeweled AI in Haskell. * >>> iampalmmute: [41]Vacuum + Ubigraph. Visualizing Haskell values in 3D. * Jeff Heard: [42]ANN: Buster, the not quite entirely unlike FRP library.. * Edward Kmett: [43]Reflecting On Incremental Folds. * beelsebob: [44]How you should(n't) use Monad. * Sean Leather: [45]Incremental attributes. * Jeff Heard: [46]Almost, but not quite entirely unlike FRP.. * >>> Gregory Collins: [47]Building a website with Haskell, part 2. * >>> Rubin Mcgowan: [48]Irradiation Tracing in Haskell. * Conal Elliott: [49]Notions of purity in Haskell. * mightybyte: [50]Finished HAppS Application. * Sean Leather: [51]Experiments with EMGM: Emacs org files. * Yi: [52]Haddock is back. * >>> Lab 49: [53]Does Haskell Support Subtyping? It Depends.. * >>> Tim Lopez: [54]Haskell Performance: Lowercase. * >>> Gregory Collins: [55]Building a website with Haskell, part 1. * happstack.com: [56]Happstack-powered Website launched by Gregory David Collins. * >>> LispCast: [57]Writing map in Haskell. * >>> hellfeuer: [58]Laziness and Dynamic Programming. * >>> Leon Smith: [59]Lloyd Allison's Corecursive Queues. Quotes of the Week * mstr: haskell is like f'gg'fggf'fg'g'fg'foldliftM2 f g ''f' :) * simonmar: Wondering how popular Haskell needs to become for intel to optimize their processors for my runtime, rather than the other way around * quicksilver: [about uninstalling packages installed with cabal-install] packages are for life, not just for christmas. * Ethereal: If this conversation had been had in #python #ruby or #php it would have lots of angry people shouting about how it doesn't matter or isn't true or isn't important and what's the point, and no, you guys are like ahhh but no, your preconceived notions of dimensional space are so passe. * Duqicnk: a monad is like a train that runs backwards in time, which is made of tiny chocolate robots * jfredett: I do all of my version numbers in Roman Numerals... * Cale: But in another sense, functional programmers are applied logicians who spend all their time proving trivial theorems in interesting ways in an inconsistent intuitionist logic. About the Haskell Weekly News New editions are posted to [60]the Haskell mailing list as well as to [61]the Haskell Sequence and [62]Planet Haskell. [63]RSS is also available, and headlines appear on [64]haskell.org. To help create new editions of this newsletter, please see the information on [65]how to contribute. Send stories to byorgey at cis dot upenn dot edu. The darcs repository is available at darcs get [66]http://code.haskell.org/~byorgey/code/hwn/ . References 1. http://haskell.org/ 2. http://article.gmane.org/gmane.comp.lang.haskell.cafe/56301 3. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hgettext 4. http://article.gmane.org/gmane.comp.lang.haskell.cafe/56209 5. http://vis.renci.org/jeff/buster 6. http://article.gmane.org/gmane.comp.lang.haskell.cafe/56148 7. http://www.haskell.org/communities/ 8. http://article.gmane.org/gmane.comp.lang.haskell.cafe/56268 9. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/fad 10. http://article.gmane.org/gmane.comp.lang.haskell.general/17054 11. http://hledger.org/ 12. http://article.gmane.org/gmane.comp.lang.haskell.general/17041 13. http://www.haskell.org/ghc/ 14. http://haskell.org/ghc/docs/6.10.2/html/users_guide/release-6-10-2.html 15. http://article.gmane.org/gmane.comp.lang.haskell.cafe/56116 16. http://www.leksah.org/ 17. http://article.gmane.org/gmane.comp.lang.haskell.cafe/56107 18. http://dfa.imn.htwk-leipzig.de/satchmo/ 19. http://minisat.se/ 20. http://article.gmane.org/gmane.comp.lang.haskell.cafe/56063 21. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/vacuum-cairo 22. http://www.youtube.com/watch?v=oujaqo9GAmA 23. http://article.gmane.org/gmane.comp.lang.haskell.cafe/56062 24. http://moonpatio.com/vacuum/ 25. http://article.gmane.org/gmane.comp.lang.haskell.cafe/56058 26. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HTTP 27. http://article.gmane.org/gmane.comp.lang.haskell.cafe/55983 28. http://www.killersmurf.com/projects/typelib 29. http://article.gmane.org/gmane.comp.lang.haskell.cafe/55936 30. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/cmonad 31. http://article.gmane.org/gmane.comp.lang.haskell.general/17021 32. http://www.haskell.org/pipermail/haskell/attachments/20090401/9fb8fa05/haskell-mascot.jpg 33. http://article.gmane.org/gmane.comp.lang.haskell.general/17020 34. http://www.haskell.org/haskellwiki/Haskell_Platform 35. http://planet.haskell.org/ 36. http://haskell.org/haskellwiki/Blog_articles 37. http://vis.renci.org/jeff/2009/04/03/major-updates-to-buster/ 38. http://flygdynamikern.blogspot.com/2009/04/announce-fad-10-forward-automatic.html 39. http://physics-dph.blogspot.com/2009/04/hpysics-grapefruit-and-hackathon.html 40. https://www.joachim-breitner.de/blog/archives/324-Bejeweled-AI-in-Haskell.html 41. http://www.youtube.com/watch?v=3mMH1cHWB6c 42. http://vis.renci.org/jeff/2009/04/01/ann-buster-the-not-quite-entirely-unlike-frp-library/ 43. http://comonad.com/reader/2009/incremental-folds/ 44. http://noordering.wordpress.com/2009/03/31/how-you-shouldnt-use-monad/ 45. http://feedproxy.google.com/~r/splonderzoek/~3/4B0bHoeTCeQ/incremental-attributes.html 46. http://vis.renci.org/jeff/2009/03/31/almost-but-not-quite-entirely-like-frp/ 47. http://gregorycollins.net/posts/2009/03/30/building-a-website-part-2 48. http://rubinmcgowaneh.blogspot.com/2009/03/irradiation-tracing-in-haskell.html 49. http://conal.net/blog/posts/notions-of-purity-in-haskell/ 50. http://softwaresimply.blogspot.com/2008/02/finished-happs-application.html 51. http://feedproxy.google.com/~r/splonderzoek/~3/6bxI33NIRMc/experiments-with-emgm-emacs-org-files.html 52. http://yi-editor.blogspot.com/2009/03/haddock-is-back.html 53. http://blog.lab49.com/archives/2954 54. http://www.brool.com/index.php/haskell-performance-lowercase 55. http://gregorycollins.net/posts/2009/03/28/building-a-website-part-1 56. http://blog.happstack.com/2009/03/28/happstack-powered-website-launched-by-gregory-david-collins/ 57. http://www.lispcast.com/haskell-map.html 58. http://caffeinatedcode.wordpress.com/2009/03/26/laziness-and-dynamic-programming/ 59. http://blog.melding-monads.com/2009/03/09/lloyd-allisons-corecursive-queues/ 60. http://www.haskell.org/mailman/listinfo/haskell 61. http://sequence.complete.org/ 62. http://planet.haskell.org/ 63. http://sequence.complete.org/node/feed 64. http://haskell.org/ 65. http://haskell.org/haskellwiki/HWN 66. http://code.haskell.org/~byorgey/code/hwn/ From DekuDekuplex at Yahoo.com Mon Apr 6 00:52:40 2009 From: DekuDekuplex at Yahoo.com (Benjamin L.Russell) Date: Mon Apr 6 00:39:56 2009 Subject: [Haskell] [OT] Plural forms of the word "octopus" [Was: Re: Marketing Haskell] References: <87d4bwpzjj.fsf@malde.org> <0769t4lt9b4nuo7jkt7fneblt8qf2gibcl@4ax.com> <732349793.20090402162542@gmail.com> <200904030712.36748.coeus@gmx.de> <953e0d250904030009m612343dch8e2e148873614886@mail.gmail.com> <69ebt4db7gbkulv5bmuqdbvt20t56mbplp@4ax.com> <94319932-0C37-481B-96CC-3BF9376E2409@kent.ac.uk> <20090404224413.c2z8g1k0co84wsss-nwo@webmail.spamcop.net> Message-ID: On Sat, 04 Apr 2009 22:44:13 -0400, ajb@spamcop.net wrote: >G'day all. > >Quoting "Benjamin L.Russell" : > >> Actually, according to the Wikipedia entry for "octopus" (see >> http://en.wikipedia.org/wiki/Octopus), I probably should have written >> the plural as either "octopuses" or "octopodes": > >Ah, but "octopodes" is only the _nominative_ plural. You really >should have written this: > > Or is that a logo of two octoposi, one with four arms, and the other > with three? Oh no, the poor octopodes! > >Or, if the second sentence addresses the octopous, this would be correct: > > Oh no, the poor octopoi! > >Hope this helps. For your homework, what is the plural of "topos"? According to the Merriam-Webster Online Dictionary, it is "topoi" (see http://www.merriam-webster.com/dictionary/topos). Where did you find "octoposi?" I just searched online, but wasn't able to find a reference. -- Benjamin L. Russell -- Benjamin L. Russell / DekuDekuplex at Yahoo dot com http://dekudekuplex.wordpress.com/ Translator/Interpreter / Mobile: +011 81 80-3603-6725 "Furuike ya, kawazu tobikomu mizu no oto." -- Matsuo Basho^ From rlc3 at mcs.le.ac.uk Tue Apr 7 04:22:11 2009 From: rlc3 at mcs.le.ac.uk (Roy L. Crole) Date: Tue Apr 7 04:10:17 2009 Subject: [Haskell] Lecturer in Computer Science, University of Leicester Message-ID: <49DB0D33.2060005@mcs.le.ac.uk> Dear Colleagues, Please pass on details of the lectureship below. Applications specializing in algorithms, semantics or modelling are welcomed. Roy Crole. Lecturer in Computer Science Department of Computer Science University of Leicester Salary Grade 8: ?35,469 to ?43,622 p.a. Available from: 1 September 2009 Ref: A4140 The successful candidate will have a strong or promising research record in computer science, with a background in formal foundations (either algorithms and complexity, or semantics of programming or modelling languages), and will be able to contribute to undergraduate and postgraduate teaching and supervision in software engineering. If you wish to apply, download an application form and further information from www.le.ac.uk/personnel/jobs or contact Personnel Services on recruitment3@le.ac.uk. Closing Date: Friday 1 May 2009 Times Higher Education University of the Year 2008/09 From icfp.publicity at googlemail.com Tue Apr 7 10:50:26 2009 From: icfp.publicity at googlemail.com (Matthew Fluet (ICFP Publicity Chair)) Date: Tue Apr 7 10:37:21 2009 Subject: [Haskell] CFP: JFP Special Issue on Generic Programming Message-ID: <53ff55480904070750n60637431id708029c6bebcabe@mail.gmail.com> OPEN CALL FOR PAPERS JFP Special Issue on Generic Programming Deadline: 1 October 2009 http://www.comlab.ox.ac.uk/ralf.hinze/JFP/cfp.html Scope ----- Generic programming is about making programs more adaptable by making them more general. Generic programs often embody non-traditional kinds of polymorphism; ordinary programs are obtained from them by suitably instantiating their parameters. In contrast to normal programs, the parameters of a generic program are often quite rich in structure; for example they may be other programs, types or type constructors, classes, concepts, or even programming paradigms. This special issue aims at documenting state-of-the-art research, new developments and directions for future investigation in the broad field of Generic Programming. It is an outgrowth of the series of Workshops on Generic Programming, which started in 1998 and which continues this year with an ICFP affiliated workshop in Edinburgh. Participants of the workshops are invited to submit a suitably revised and expanded version of their paper to the special issue. The call for papers is, however, open. Other contributions are equally welcome and are, indeed, encouraged. All submitted papers will be subjected to the same quality criteria, meeting the standards of the Journal of Functional Programming. The special issue seeks original contributions on all aspects of generic programming including but not limited to o adaptive object-oriented programming, o aspect-oriented programming, o case studies, o concepts (as in the STL/C++ sense), o component-based programming, o datatype-generic programming, o generic programming with dependent types, o meta-programming, o polytypic programming, and o programming with modules. Submission details ------------------ Manuscripts should be unpublished works and not submitted elsewhere. Revised versions of papers published in conference or workshop proceedings that have not appeared in archival journals are eligible for submission. Deadline for submission: 1 October 2009 Notification of acceptance or rejection: 15 January 2010 Revised version due: 15 March 2010 For submission details, please consult http://www.comlab.ox.ac.uk/ralf.hinze/JFP/cfp.html or see the Journal's web page http://journals.cambridge.org/jfp Guest Editor ------------ Ralf Hinze University of Oxford Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD, UK. Telephone: +44 (1865) 610700 Fax: +44 (1865) 283531 Email: ralf.hinze@comlab.ox.ac.uk WWW: http://www.comlab.ox.ac.uk/ralf.hinze/ ------------------------------------------------------------------------------- From voigt at tcs.inf.tu-dresden.de Wed Apr 8 02:09:11 2009 From: voigt at tcs.inf.tu-dresden.de (Janis Voigtlaender) Date: Wed Apr 8 01:56:02 2009 Subject: [Haskell] Local Haskell meeting, Halle/Saale, Germany, June 12 Message-ID: <49DC3F87.4060406@tcs.inf.tu-dresden.de> [Apologies for German announcement text...] --------------------------------------------- HaL4 : Haskell - Tutorial + Workshop + Party am Freitag, dem 12. Juni 2009, in Halle/Saale --------------------------------------------- Das traditionsreiche HaL-Treffen bietet eine gute Mischung von Haskell-bezogenen Themen aus Forschung, Anwendung und Lehre mit vielen M?glichkeiten zu Diskussion und Unterhaltung bei der anschlie?enden Party. Der Workshop wird in diesem Jahr erg?nzt durch Tutorien f?r Haskell-Ein- und Umsteiger. Diesmal findet das Treffen in Halle/Saale im Institut f?r Informatik der Martin-Luther-Universit?t Halle-Wittenberg statt. Wir planen: 10 - 13 Uhr: Tutorien 15 - 19 Uhr: Fachvortr?ge 19 - 22 Uhr: Grillparty Wir freuen uns auf rege Teilnahme sowie spannende Vortr?ge mit hei?en Diskussionen und bitten um Vortragsanmeldungen bis zum 8. Mai. Gedacht sind 4 mal je 30 min Vortrag + 30 min Diskussion. Weitere Informationen auf http://www.iba-cg.de/hal4.html -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:voigt@tcs.inf.tu-dresden.de From jeff at nokrev.com Wed Apr 8 18:03:05 2009 From: jeff at nokrev.com (Jeff Wheeler) Date: Wed Apr 8 17:49:51 2009 Subject: [Haskell] Re: Hi-res/vector version of logo? In-Reply-To: <30FC17C9-4772-4B27-88F9-D6D6EDD30547@lempsink.nl> References: <75DFE5DE-59EF-406E-831F-F81F08A302E3@lempsink.nl> <1237932034.5673.4.camel@ulysses> <30FC17C9-4772-4B27-88F9-D6D6EDD30547@lempsink.nl> Message-ID: <1239228185.31273.7.camel@ulysses> On Wed, 2009-04-08 at 23:48 +0200, Eelco Lempsink wrote: > Could you email / upload to the wiki / put online a vector or hi-res > version of the logo(s) you made? That will make it easier for people > to actually use the logo or make derivates from it. (Preferably in an > Open format, such as SVG, if Photoshop can do that.) I'm not a > licensing guru, but it probably be nice if you make the logo available > under some free license or at least put a message there that you allow > such usage ;) (I've CC'd haskell@, as I feel this discussion might be useful there.) Sure, I'm happy to convert the PSDs (available in the src/ directory, here [1]) into SVG, but I will have to do so through tracing them in InkScape unless somebody has another solution. Rather than converting every one of these (it takes some time to get it right), it'd be easier for me to only convert the ones the community decides to use. Will further voting happen on these soon? If you're looking for one right now, please reply and I'll try to take care of that one. Also, I claim no copyright on these in any form. I am presently placing all these images in the Public Domain, and I suspect Darrin feels the same way for the concept. Jeff Wheeler [1] http://media.nokrev.com/junk/haskell-logos/ From brian.sniffen at gmail.com Wed Apr 8 19:28:13 2009 From: brian.sniffen at gmail.com (Brian Sniffen) Date: Wed Apr 8 19:15:01 2009 Subject: [Haskell] Re: Hi-res/vector version of logo? Message-ID: > Sure, I'm happy to convert the PSDs (available in the src/ directory, > here [1]) into SVG, but I will have to do so through tracing them in > InkScape unless somebody has another solution. Many of those are on one basic template. I have no expertise to advice on the choice of greys, but I do like MetaPost. I have created a basic metapost encoding of your logo7, and placed it at . I'm not entirely thrilled with its use of explicit constants to end the equal sign or place the groin of the lambda, but this'll do for a first draft. A PDF generated from that MetaPost file is there as logo-0.pdf for easy evaluation. I experimented with the PDF-to-SVG converter at , but do not expect anyone to be thrilled with the results who must edit them. I also experimented with potrace. The results will are wiggly. They may be inspected at .../potrace/. -Brian -- Brian T. Sniffen bts@alum.mit.edu or brian.sniffen@gmail.com http://www.evenmere.org/~bts From sweirich at cis.upenn.edu Fri Apr 10 11:54:16 2009 From: sweirich at cis.upenn.edu (Stephanie Weirich) Date: Fri Apr 10 11:44:04 2009 Subject: [Haskell] CFP Haskell Symposium 2009 Message-ID: <666EE63E-C709-47AB-B442-1517AA1AC064@cis.upenn.edu> Reminder: there are only 4 weeks until the submission deadline for the 2009 Haskell Symposium. Please do submit. Hope to see you in Edinburgh! Stephanie --------------------------------------------------------------- Haskell 09 ACM SIGPLAN Haskell Symposium 2009 Edinburgh, Scotland, UK September 3, 2009 CALL FOR PAPERS http://haskell.org/haskell-symposium/2009/ The ACM SIGPLAN Haskell Symposium 2009 will be co-located with the 2009 International Conference on Functional Programming (ICFP). The purpose of the Haskell Symposium is to discuss experiences with Haskell and future developments for the language. The scope of the symposium includes all aspects of the design, semantics, theory, application, implementation, and teaching of Haskell. Topics of interest include, but are not limited to, the following: * Language Design, with a focus on possible extensions and modifications of Haskell as well as critical discussions of the status quo; * Theory, in the form of a formal treatment of the semantics of the present language or future extensions, type systems, and foundations for program analysis and transformation; * Implementations, including program analysis and transformation, static and dynamic compilation for sequential, parallel, and distributed architectures, memory management as well as foreign function and component interfaces; * Tools, in the form of profilers, tracers, debuggers, pre-processors, and so forth; * Applications, Practice, and Experience, with Haskell for scientific and symbolic computing, database, multimedia and Web applications, and so forth as well as general experience with Haskell in education and industry; * Functional Pearls, being elegant, instructive examples of using Haskell. Papers in the latter two categories need not necessarily report original research results; they may instead, for example, report practical experience that will be useful to others, re-usable programming idioms, or elegant new ways of approaching a problem. The key criterion for such a paper is that it makes a contribution from which other Haskellers can benefit. It is not enough simply to describe a program! Before 2008, the Haskell Symposium was known as the Haskell Workshop. The name change reflects both the steady increase of influence of the Haskell Workshop on the wider community as well as the increasing number of high quality submissions. The acceptance process is highly competitive. After eleven Haskell Workshops between 1995 and 2007, the first Haskell Symposium was held in Victoria in 2008. Submission Details * Submission Deadline: Friday, May 8th 2009 (3:00 pm, Eastern US Time) * Author Notification: Monday, June 1st 2009 * Final Papers Due : Monday, June 15th 2009 Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines (http://www.acm.org/sigs/sigplan/authorInformation.htm). The length is restricted to 12 pages, and the font size 9pt. Each submission must adhere to SIGPLAN's republication policy, as explained on the web. Violation risks summary rejection of the offending submission. Accepted papers will be published by the ACM and will appear in the ACM Digital Library. If there is sufficient demand, we will try to organize a time slot for system or tool demonstrations. If you are interested in demonstrating a Haskell related tool or application, please send a brief demo proposal to Stephanie Weirich, sweirich@cis.upenn.edu. Links * http://haskell.org/haskell-symposium, the permanent homepage of the Haskell Symposium. * http://haskell.org/haskell-symposium/2009/, the 2009 Haskell Symposium web page. * http://www.icfpconference.org/icfp2009, the ICFP 2009 web page. Program Committee * Jeremy Gibbons, Oxford University * Bastiaan Heeren, Open Universiteit Nederland * John Hughes, Chalmers/Quviq * Mark Jones, Portland State University * Simon Marlow, Microsoft Research * Ulf Norell, Chalmers * Chris Okasaki, United States Military Academy * Ross Paterson, City University London * Alexey Rodriguez Yakushev, Vector Fabrics * Don Stewart, Galois * Janis Voigtlaender, TU Dresden * Stephanie Weirich, University of Pennsylvania (Chair) From nr at cs.tufts.edu Fri Apr 10 16:55:30 2009 From: nr at cs.tufts.edu (Norman Ramsey) Date: Fri Apr 10 16:42:13 2009 Subject: [Haskell] seeking papers with good examples of the use of GADTs Message-ID: <20090410205530.A2CDC601820C0@labrador.cs.tufts.edu> I have a class of beginning functional programmers; we're approaching end of term, and I'd like them to learn about GADTs. One of my goals in the class is to give students practice learning by reading papers, so I am asking for recommendations of papers that have good examples of GADTs in action. Papers I've used in the past have included Pottier and Gauthier 2005: Polymorphic Typed Defunctionalization and Concretization, in Higher-Order and Symbolic Computation Pottier and Régis-Gianas 2006: Towards Efficient, Typed LR Parsers, in Electr. Notes Theor. Comput. Sci and Peyton Jones et al. 2006: Simple unification-based type inference for GADTs, in the 11th ACM SIGPLAN International Conference on Functional Programming. Unfortunately the first two rely on concepts in which my students have little background (LR parsing and defunctionalization respectively), and the the third, while it opens with a nice example, is primarily about the (now obsolete) type-inference algorithm, rather than about how to use GADTs. I am hoping some of you may have suggestions about other papers that would be good tutorials in the use of GADTs. Norman From martijn at van.steenbergen.nl Fri Apr 10 16:58:26 2009 From: martijn at van.steenbergen.nl (Martijn van Steenbergen) Date: Fri Apr 10 16:45:10 2009 Subject: [Haskell] seeking papers with good examples of the use of GADTs In-Reply-To: <20090410205530.A2CDC601820C0@labrador.cs.tufts.edu> References: <20090410205530.A2CDC601820C0@labrador.cs.tufts.edu> Message-ID: <49DFB2F2.8060906@van.steenbergen.nl> Norman Ramsey wrote: > I am hoping some of you may have suggestions about other papers that > would be good tutorials in the use of GADTs. There are more suggestions here: http://www.haskell.org/haskellwiki/Research_papers/Type_systems#Generalised_Algebraic_Data_Types_.28GADTs.29 And do they have to be papers? Because there is also the wiki page: http://www.haskell.org/haskellwiki/Generalised_algebraic_datatype Hope this helps, Martijn. From martijn at van.steenbergen.nl Fri Apr 10 17:57:42 2009 From: martijn at van.steenbergen.nl (Martijn van Steenbergen) Date: Fri Apr 10 17:44:32 2009 Subject: [Haskell] Ann: Yogurt-0.4 Message-ID: <49DFC0D6.6050902@van.steenbergen.nl> Bonsoir caf?, It is my pleasure to announce version 0.4 of Yogurt, a functional MUD client. Version 0.4 makes Yogurt available as a standalone executable that is able to dynamically load and reload Yogurt scripts. Here is a small example of such a script: > module Minimal where > > import Network.Yogurt > > newmoon :: Session > newmoon = session > { hostName = "eclipse.cs.pdx.edu" > , portNumber = 7680 > , mudProgram = \reload -> do > mkCommand "reload" reload > } Valid scripts define at least one session which is used to connect to the MUD. mudProgram fields are provided with a reload action that when invoked reloads the script without interrupting the MUD connection. Of course, Yogurt also still offers hooks, timers, logging, variables and more. The executable is released as a separate package so that developers wishing to use just the "pure" machinery can do that without inheriting dependencies on the GHC API or readline library. To install the executable, run: $ cabal update $ cabal install Yogurt -freadline $ cabal install Yogurt-Standalone Yogurt's new home page can be found at: http://code.google.com/p/yogurt-mud/ And on hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Yogurt http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Yogurt-Standalone I would love to hear your feedback! Suggestions, complaints, comments, bug reports, experiences et cetera are all welcome. Kind regards, Martijn. From dons at galois.com Sat Apr 11 01:00:41 2009 From: dons at galois.com (Don Stewart) Date: Sat Apr 11 00:48:29 2009 Subject: [Haskell] Re: Hi-res/vector version of logo? In-Reply-To: References: Message-ID: <20090411050041.GA23452@whirlpool.galois.com> brian.sniffen: > > Sure, I'm happy to convert the PSDs (available in the src/ directory, > > here [1]) into SVG, but I will have to do so through tracing them in > > InkScape unless somebody has another solution. > > Many of those are on one basic template. I have no expertise to > advice on the choice of greys, but I do like MetaPost. I have created > a basic metapost encoding of your logo7, and placed it at > . > > I'm not entirely thrilled with its use of explicit constants to end > the equal sign or place the groin of the lambda, but this'll do for a > first draft. A PDF generated from that MetaPost file is there as > logo-0.pdf for easy evaluation. I experimented with the PDF-to-SVG > converter at , but do > not expect anyone to be thrilled with the results who must edit them. > > I also experimented with potrace. The results will are wiggly. They > may be inspected at .../potrace/. > Here's a traced bezier curve (inkscape) of the potrace result: http://galois.com/~dons/images/logos/logo-bezier.svg And now it is easy to play with: http://galois.com/~dons/images/logos/logo-pastel.svg Next step would be actually turn out some badges/logo/icon images to be used on haskell.org ... From eelco at lempsink.nl Sat Apr 11 04:02:57 2009 From: eelco at lempsink.nl (Eelco Lempsink) Date: Sat Apr 11 03:49:47 2009 Subject: [Haskell] Re: Hi-res/vector version of logo? In-Reply-To: <20090411050041.GA23452@whirlpool.galois.com> References: <20090411050041.GA23452@whirlpool.galois.com> Message-ID: On 11 apr 2009, at 07:00, Don Stewart wrote: > brian.sniffen: >>> Sure, I'm happy to convert the PSDs (available in the src/ >>> directory, >>> here [1]) into SVG, but I will have to do so through tracing them in >>> InkScape unless somebody has another solution. >> >> Many of those are on one basic template. I have no expertise to >> advice on the choice of greys, but I do like MetaPost. I have >> created >> a basic metapost encoding of your logo7, and placed it at >> . > > Here's a traced bezier curve (inkscape) of the potrace result: > > http://galois.com/~dons/images/logos/logo-bezier.svg > > And now it is easy to play with: > > http://galois.com/~dons/images/logos/logo-pastel.svg > > Next step would be actually turn out some badges/logo/icon images to > be > used on haskell.org ... Cool! Actually, Jared Updike is already working on doing that programmatically. He made an Asymptote (http://asymptote.sourceforge.net/ ) script that can also generate the different variants (lambda on top or not, etc.) which he hopes to turn into a Haskell-to-SVG+ASY program soon. Stay tuned! :) -- Regards, Eelco Lempsink -------------- next part -------------- A non-text attachment was scrubbed... Name: PGP.sig Type: application/pgp-signature Size: 194 bytes Desc: This is a digitally signed message part Url : http://www.haskell.org/pipermail/haskell/attachments/20090411/6b9ca46f/PGP.bin From bulat.ziganshin at gmail.com Sat Apr 11 04:33:30 2009 From: bulat.ziganshin at gmail.com (Bulat Ziganshin) Date: Sat Apr 11 04:21:08 2009 Subject: [Haskell] seeking papers with good examples of the use of GADTs In-Reply-To: <20090410205530.A2CDC601820C0@labrador.cs.tufts.edu> References: <20090410205530.A2CDC601820C0@labrador.cs.tufts.edu> Message-ID: <472872644.20090411123330@gmail.com> Hello Norman, Saturday, April 11, 2009, 12:55:30 AM, you wrote: http://haskell.org/haskellwiki/GADTs_for_dummies#Further_reading > I have a class of beginning functional programmers; we're approaching > end of term, and I'd like them to learn about GADTs. One of my goals > in the class is to give students practice learning by reading papers, > so I am asking for recommendations of papers that have good examples > of GADTs in action. Papers I've used in the past have included > Pottier and Gauthier 2005: Polymorphic Typed Defunctionalization and > Concretization, in Higher-Order and Symbolic Computation > Pottier and R?gis-Gianas 2006: Towards Efficient, Typed LR Parsers, > in Electr. Notes Theor. Comput. Sci > and > Peyton Jones et al. 2006: Simple unification-based type inference > for GADTs, in the 11th ACM SIGPLAN International Conference on > Functional Programming. > Unfortunately the first two rely on concepts in which my students have > little background (LR parsing and defunctionalization respectively), > and the the third, while it opens with a nice example, is primarily > about the (now obsolete) type-inference algorithm, rather than about > how to use GADTs. > I am hoping some of you may have suggestions about other papers that > would be good tutorials in the use of GADTs. > Norman > _______________________________________________ > Haskell mailing list > Haskell@haskell.org > http://www.haskell.org/mailman/listinfo/haskell -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com From leather at cs.uu.nl Sat Apr 11 04:53:13 2009 From: leather at cs.uu.nl (Sean Leather) Date: Sat Apr 11 04:40:16 2009 Subject: [Haskell] Hac5 is almost upon us! Message-ID: <3c6288ab0904110153y660c189fua5b909dcb127149a@mail.gmail.com> In six days, tens of crazy/obsessed, type-safe, functional programmers will be converging on Utrecht to commence execution of... ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ???????????????????? The 5th Haskell Hackathon ??????????????????????? April 17 - 19, 2009 ???????????????????? Utrecht, The Netherlands ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ The local organizing team welcomes you all and looks forward to all of the new developments that come out of everyone's undying quest to write more and better code. As always, you can find lots of useful information on the wiki: ? http://haskell.org/haskellwiki/Hac5 == Sponsors == We have sponsors! The following companies were very gracious to provide us with support during these tough economic times. * Galois - http://galois.com/ * Microsoft Research - http://research.microsoft.com/ * Tupil - http://tupil.com/ The organizers are incredibly grateful to Galois, MSR, and Tupil for helping to encourage and promote more Haskell hacking. == More To Come == Hopefully, you have already registered, booked your room, and bought your ticket. If not, don't forget that you can keep in touch with the attendees via IRC on Freenode: #haskell-hac5 All registered attendees will soon be receiving an email with more details. Let us know if you have any questions. Happy Hacking! == Organizers == Andres L?h, Utrecht University (UU) Jos? Pedro Magalh?es, UU Sean Leather, UU Eelco Lempsink, UU + Tupil Chris Eidhof, UU + Tupil ... and more ... From andrea.rossato at unitn.it Sat Apr 11 06:58:49 2009 From: andrea.rossato at unitn.it (Andrea Rossato) Date: Sat Apr 11 06:45:25 2009 Subject: [Haskell] ANN xmobar-0.9.2 Message-ID: <20090411105849.GV7942@eeepc.nowhere.net> Hi, I'm glad to announce xmobar-0.9.2. What's new: - Norbert Zeh tracked and fixed a longstanding bug that made xmobar leak X resources. This alone makes it worth this release and its public announcement, with the advice to users to upgrade.[*] - Norbert also overhauled the template parser to allow nested color definitions; - Norbert, once again, added the possibility to add color definitions in the monitors' templates. Many thanks to Norbert!! I've read that xmobar lists in the top 25 most downloaded Hackage packages. This is very cool: thanks to all the xmobar users. Hope you'll enjoy. Andrea [*] I tend to believe the same issue affects xmonad, even though it should be visible only after a huge number of restarts. Things get far worse when it comes to the xmonad-contrib library, especially if you use fancy decorations in your layouts: if you see colors you are probably leaking them. From nr at cs.tufts.edu Sat Apr 11 22:19:05 2009 From: nr at cs.tufts.edu (Norman Ramsey) Date: Sat Apr 11 22:05:45 2009 Subject: [Haskell] how can I refer to a symbol in a module that is imported 'qualified'? Message-ID: <20090412021905.8FE7B788630@homedog.cs.tufts.edu> I need to resolve a name clash between two different Haskell modules that want to use the same infix operator (<*>). The Haskell 98 report says that modid.varsym is permitted, but I can't get it to work. In their entirety here are Test.hs: module Test where import qualified Test2 as T three = T.<*> and Test2.hs: module Test2 where (<*>) = 3 But trying to compile results in an error message: Test.hs:6:12: parse error on input `T.<*>' I tried T.(<*>) but that doesn't work either (as indeed the Haskell 98 report says it should not). How can I refer to a symbolic name defined in a module imported by `import qualified`? Norman From anton at appsolutions.com Sat Apr 11 22:34:54 2009 From: anton at appsolutions.com (Anton van Straaten) Date: Sat Apr 11 22:21:33 2009 Subject: [Haskell] how can I refer to a symbol in a module that is imported 'qualified'? In-Reply-To: <20090412021905.8FE7B788630@homedog.cs.tufts.edu> References: <20090412021905.8FE7B788630@homedog.cs.tufts.edu> Message-ID: <49E1534E.5010007@appsolutions.com> Norman Ramsey wrote: > I need to resolve a name clash between two different Haskell modules > that want to use the same infix operator (<*>). The Haskell 98 > report says that > > modid.varsym > > is permitted, but I can't get it to work. > In their entirety here are Test.hs: > > module Test > where > > import qualified Test2 as T > > three = T.<*> > > and Test2.hs: > > module Test2 > where > (<*>) = 3 > > But trying to compile results in an error message: > > Test.hs:6:12: parse error on input `T.<*>' > > I tried T.(<*>) but that doesn't work either (as indeed the Haskell 98 > report says it should not). > > How can I refer to a symbolic name defined in a module imported by > `import qualified`? This works: three = (T.<*>) Anton From byorgey at seas.upenn.edu Mon Apr 13 03:51:35 2009 From: byorgey at seas.upenn.edu (Brent Yorgey) Date: Mon Apr 13 03:38:11 2009 Subject: [Haskell] Haskell Weekly News: Issue 113 - April 13, 2009 Message-ID: <20090413075135.GA14126@seas.upenn.edu> --------------------------------------------------------------------------- Haskell Weekly News http://sequence.complete.org/hwn/20090413 Issue 113 - April 13, 2009 --------------------------------------------------------------------------- Welcome to issue 113 of HWN, a newsletter covering developments in the [1]Haskell community. Announcements xmobar-0.9.2. Andrea Rossato [2]announced the release of [3]xmobar-0.9.2, which features a fix for a longstanding resource leakage bug, new nested color definitions, and more. CFP Haskell Symposium 2009. Stephanie Weirich [4]reminded everyone that there are only 4 weeks until the submission deadline for the [5]2009 Haskell Symposium! hmatrix-static: statically-sized linear algebra. Reiner Pope [6]announced the release of [7]hmatrix-static, a thin wrapper over Alberto Ruiz's excellent [8]hmatrix library for linear algebra. The main additions of hmatrix-static over hmatrix are that vectors and matrices have their length encoded in their types, and vectors and matrices may be constructed and destructed using view patterns, affording a clean, safe syntax. haskellmode for Vim now at projects.haskell.org. Claus Reinke [9]announced that the Haskell mode plugins for Vim have just completed their move to their [10]new home, and took the opportunity to reiterate what they can do (quite a lot, it seems), and mention that some screencasts are available. MSem replacement for QSem. ChrisK [11]announced [12]MSem, a proposed replacement module for Control.Concurrent.QSem. Hac5 is almost upon us!. Sean Leather [13]reminded everyone that in six days, tens of crazy/obsessed, type-safe, functional programmers will be converging on Utrecht to commence execution of the [14]5th Haskell Hackathon, from April 17-19, 2009 in Utrecht, The Netherlands! The local organizing team welcomes you all and looks forward to all of the new developments that come out of everyone's undying quest to write more and better code. Yogurt-0.4. Martijn van Steenbergen [15]announced version 0.4 of [16]Yogurt, a functional MUD client. Version 0.4 makes Yogurt available as a standalone executable that is able to dynamically load and reload Yogurt scripts. Elerea, another FRP library. Patai Gergely [17]announced the release of [18]Elerea, aka "Eventless reactivity", a minimalistic FRP implementation that comes with a convenient applicative interface, supports recursive definition of signals and signals fed from outside by IO actions, plays nice with resources, and is the result of some furious hacking. There are working examples to show off the current capabilities of the library, found in the separate [19]elerea-examples package. tree-monad 0.2. Sebastian Fischer [20]announced version 0.2 of the [21]tree-monad package, which provides instances of MonadPlus that represent the search space of non- deterministic computations as a tree. Version 0.2 implements an optimized CPS version of the tree. HCard -- A library for implementing card-like structures.. Joe Fredette [22]announced the release of [23]HCard, a library which supports a card-like data structures and uses associated types to provide shuffling, dealing, and other facilities. It's general enough to support many different types of playing cards; it currently comes with the common "French Deck" (4-suit, 13 card deck that is very common in the US) implemented and an example cribbage scoring application. SVGFonts 0.1. Tillmann Vogt [24]announced his first Haskell library, [25]SVGFonts 0.1, which parses the relatively unknown SVG Font format to produce outlines of characters. The big advantage of this format is that it is XML, which means easy parsing and manipulating. network-bytestring 0.1.2. Johan Tibell [26]announced a new release of [27]network-bytestring, a Haskell library for fast socket I/O using ByteStrings. New in this release is support for scatter/gather I/O (also known as vectored I/O). Scatter/gather I/O provides more efficient I/O by using one system call to send several separate pieces of data and by avoiding unnecessary copying. Jobs Lecturer in Computer Science, University of Leicester. Roy L. Crole [28]announced an opening for a lectureship at the University of Leicester. The successful candidate will have a strong or promising research record in computer science, with a background in formal foundations (either algorithms and complexity, or semantics of programming or modelling languages), and will be able to contribute to undergraduate and postgraduate teaching and supervision in software engineering. Blog noise [29]Haskell news from the [30]blogosphere. * Mark Wassell: [31]Edge Detection in Haskell. * Sean Leather: [32]Latest on the incremental fold and attributes. * Sean Leather: [33]Haskell mode for Vim on a Mac. * Sean Leather: [34]Incremental attributes. * >>> Human Constraints: [35]Haskell Type Hackery. * LHC Team: [36]A new beginning.. * London Haskell Users Group: [37]Don Stewart: Engineering Large Projects in Haskell: A Decade of Haskell at Galois. * Ulisses Costa: [38]More Hylomorphisms in Haskell. * Ulisses Costa: [39]Anamorphisms in Haskell. * London Haskell Users Group: [40]Next Meeting: Don Stewart from Galois. * LHC Team: [41]Hello world!. * mightybyte: [42]Adding Authentication to the Blog App. * Leon Smith: [43]Polynomial multiplication. * Joe Fredette: [44]Card games, scorekeeping, and ... Associated Datatypes?. * mightybyte: [45]Basic Happstack Blog App. * mightybyte: [46]A Standalone Auth Framework for Happstack. * Mads Lindstr?m: [47]Introducing WxGeneric. * happstack.com: [48]2 new projects that use Happstack. * >>> Brant Carlson: [49]Lightning Modeling in Haskell. * Leon Smith: [50]Lloyd Allison's Corecursive Queues. About the Haskell Weekly News New editions are posted to [51]the Haskell mailing list as well as to [52]the Haskell Sequence and [53]Planet Haskell. [54]RSS is also available, and headlines appear on [55]haskell.org. To help create new editions of this newsletter, please see the information on [56]how to contribute. Send stories to byorgey at cis dot upenn dot edu. The darcs repository is available at darcs get [57]http://code.haskell.org/~byorgey/code/hwn/ . References 1. http://haskell.org/ 2. http://article.gmane.org/gmane.comp.lang.haskell.general/17080 3. http://code.haskell.org/~arossato/xmobar/ 4. http://article.gmane.org/gmane.comp.lang.haskell.general/17072 5. http://haskell.org/haskell-symposium/2009/ 6. http://article.gmane.org/gmane.comp.lang.haskell.cafe/56772 7. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hmatrix-static 8. http://www.hmatrix.googlepages.com/ 9. http://article.gmane.org/gmane.comp.lang.haskell.cafe/56495 10. http://projects.haskell.org/haskellmode-vim/ 11. http://article.gmane.org/gmane.comp.lang.haskell.cafe/56761 12. http://haskell.org/haskellwiki/SafeConcurrent 13. http://article.gmane.org/gmane.comp.lang.haskell.cafe/56758 14. http://haskell.org/haskellwiki/Hac5 15. http://article.gmane.org/gmane.comp.lang.haskell.cafe/56747 16. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Yogurt 17. http://article.gmane.org/gmane.comp.lang.haskell.cafe/56731 18. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/elerea 19. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/elerea-examples 20. http://article.gmane.org/gmane.comp.lang.haskell.cafe/56639 21. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/tree%2Dmonad 22. http://article.gmane.org/gmane.comp.lang.haskell.cafe/56573 23. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HCard 24. http://article.gmane.org/gmane.comp.lang.haskell.cafe/56444 25. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/SVGFonts 26. http://article.gmane.org/gmane.comp.lang.haskell.cafe/56374 27. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/network-bytestring 28. http://article.gmane.org/gmane.comp.lang.haskell.general/17066 29. http://planet.haskell.org/ 30. http://haskell.org/haskellwiki/Blog_articles 31. http://www.poundstone.org/blog/?p=137 32. http://feedproxy.google.com/~r/splonderzoek/~3/KWqNCgsK1ww/latest-on-incremental-fold-and.html 33. http://feedproxy.google.com/~r/splonderzoek/~3/0QNaK4byWhg/haskell-mode-for-vim-on-mac.html 34. http://feedproxy.google.com/~r/splonderzoek/~3/4B0bHoeTCeQ/incremental-attributes.html 35. http://blog.human-constraints.com/?p=49 36. http://lhc-compiler.blogspot.com/2009/04/new-beginning.html 37. http://www.londonhug.net/2009/04/10/don-stewart-engineering-large-projects-in-haskell-a-decade-of-haskell-at-galois/ 38. http://ulissesaraujo.wordpress.com/2009/04/09/more-hylomorphisms-in-haskell/ 39. http://ulissesaraujo.wordpress.com/2009/04/08/anamorphisms-in-haskell/ 40. http://www.londonhug.net/2009/04/09/next-meeting-don-stewart-from-galois/ 41. http://lhc-compiler.blogspot.com/2009/04/hello-world.html 42. http://softwaresimply.blogspot.com/2009/04/adding-authentication-to-blog-app.html 43. http://blog.melding-monads.com/2009/04/07/polynomial-multiplication/ 44. http://lowlymath.net/2009/card-games-scorekeeping-and-associated-datatypes/ 45. http://softwaresimply.blogspot.com/2009/04/basic-happstack-blog-app.html 46. http://softwaresimply.blogspot.com/2009/04/standalone-auth-framework-for-happstack.html 47. http://lindstroem.wordpress.com/2008/05/03/introducing-wxgeneric/ 48. http://blog.happstack.com/2009/04/06/2-new-projects-that-use-happstack/ 49. http://bayern.stanford.edu/~brant/lightning/ 50. http://blog.melding-monads.com/2009/03/09/lloyd-allisons-corecursive-queues/ 51. http://www.haskell.org/mailman/listinfo/haskell 52. http://sequence.complete.org/ 53. http://planet.haskell.org/ 54. http://sequence.complete.org/node/feed 55. http://haskell.org/ 56. http://haskell.org/haskellwiki/HWN 57. http://code.haskell.org/~byorgey/code/hwn/ From dominic.steinitz at blueyonder.co.uk Mon Apr 13 04:07:48 2009 From: dominic.steinitz at blueyonder.co.uk (Dominic Steinitz) Date: Mon Apr 13 03:54:36 2009 Subject: [Haskell] Re: seeking papers with good examples of the use of GADTs References: <20090410205530.A2CDC601820C0@labrador.cs.tufts.edu> Message-ID: > I am hoping some of you may have suggestions about other papers that > would be good tutorials in the use of GADTs. > > Norman > Norman, This is very much in a state of flux but it may be worth taking a look at http://code.haskell.org/asn1/ASNTYPE.lhs. There's also http://www.haskell.org/haskellwiki/QuickCheck_/_GADT which may be of interest. Dominic. From jfredett at gmail.com Mon Apr 13 15:18:36 2009 From: jfredett at gmail.com (Joe Fredette) Date: Mon Apr 13 15:05:31 2009 Subject: [Haskell] Haskell Weekly News: Issue 113 - April 13, 2009 In-Reply-To: <20090413075135.GA14126@seas.upenn.edu> References: <20090413075135.GA14126@seas.upenn.edu> Message-ID: <49E3900C.8000108@gmail.com> He forgot the quotes, so I grabbed a few I thought were good. :) Aaron_Denney says: "Don't anthropomorphize computers. They hate it when you do that." BMeph says [to psygnisfive] In #haskell, you can't hardly be taken seriously w/o writing a monad tutorial... heatsink says: @pl (\y -> you y off) taruti says: damn GHC. I had a nice example for a pretty but inefficient way to compute things and now the new GHC optimizes it to be fast ._. Japsu says: segfault cat is watching you unsafeCoerce /Joe Brent Yorgey wrote: > --------------------------------------------------------------------------- > Haskell Weekly News > http://sequence.complete.org/hwn/20090413 > Issue 113 - April 13, 2009 > --------------------------------------------------------------------------- > > Welcome to issue 113 of HWN, a newsletter covering developments in the > [1]Haskell community. > > Announcements > > xmobar-0.9.2. Andrea Rossato [2]announced the release of > [3]xmobar-0.9.2, which features a fix for a longstanding resource > leakage bug, new nested color definitions, and more. > > CFP Haskell Symposium 2009. Stephanie Weirich [4]reminded everyone that > there are only 4 weeks until the submission deadline for the [5]2009 > Haskell Symposium! > > hmatrix-static: statically-sized linear algebra. Reiner Pope > [6]announced the release of [7]hmatrix-static, a thin wrapper over > Alberto Ruiz's excellent [8]hmatrix library for linear algebra. The > main additions of hmatrix-static over hmatrix are that vectors and > matrices have their length encoded in their types, and vectors and > matrices may be constructed and destructed using view patterns, > affording a clean, safe syntax. > > haskellmode for Vim now at projects.haskell.org. Claus Reinke > [9]announced that the Haskell mode plugins for Vim have just completed > their move to their [10]new home, and took the opportunity to reiterate > what they can do (quite a lot, it seems), and mention that some > screencasts are available. > > MSem replacement for QSem. ChrisK [11]announced [12]MSem, a proposed > replacement module for Control.Concurrent.QSem. > > Hac5 is almost upon us!. Sean Leather [13]reminded everyone that in six > days, tens of crazy/obsessed, type-safe, functional programmers will be > converging on Utrecht to commence execution of the [14]5th Haskell > Hackathon, from April 17-19, 2009 in Utrecht, The Netherlands! The > local organizing team welcomes you all and looks forward to all of the > new developments that come out of everyone's undying quest to write > more and better code. > > Yogurt-0.4. Martijn van Steenbergen [15]announced version 0.4 of > [16]Yogurt, a functional MUD client. Version 0.4 makes Yogurt available > as a standalone executable that is able to dynamically load and reload > Yogurt scripts. > > Elerea, another FRP library. Patai Gergely [17]announced the release of > [18]Elerea, aka "Eventless reactivity", a minimalistic FRP > implementation that comes with a convenient applicative interface, > supports recursive definition of signals and signals fed from outside > by IO actions, plays nice with resources, and is the result of some > furious hacking. There are working examples to show off the current > capabilities of the library, found in the separate [19]elerea-examples > package. > > tree-monad 0.2. Sebastian Fischer [20]announced version 0.2 of the > [21]tree-monad package, which provides instances of MonadPlus that > represent the search space of non- deterministic computations as a > tree. Version 0.2 implements an optimized CPS version of the tree. > > HCard -- A library for implementing card-like structures.. Joe Fredette > [22]announced the release of [23]HCard, a library which supports a > card-like data structures and uses associated types to provide > shuffling, dealing, and other facilities. It's general enough to > support many different types of playing cards; it currently comes with > the common "French Deck" (4-suit, 13 card deck that is very common in > the US) implemented and an example cribbage scoring application. > > SVGFonts 0.1. Tillmann Vogt [24]announced his first Haskell library, > [25]SVGFonts 0.1, which parses the relatively unknown SVG Font format > to produce outlines of characters. The big advantage of this format is > that it is XML, which means easy parsing and manipulating. > > network-bytestring 0.1.2. Johan Tibell [26]announced a new release of > [27]network-bytestring, a Haskell library for fast socket I/O using > ByteStrings. New in this release is support for scatter/gather I/O > (also known as vectored I/O). Scatter/gather I/O provides more > efficient I/O by using one system call to send several separate pieces > of data and by avoiding unnecessary copying. > > Jobs > > Lecturer in Computer Science, University of Leicester. Roy L. Crole > [28]announced an opening for a lectureship at the University of > Leicester. The successful candidate will have a strong or promising > research record in computer science, with a background in formal > foundations (either algorithms and complexity, or semantics of > programming or modelling languages), and will be able to contribute to > undergraduate and postgraduate teaching and supervision in software > engineering. > > Blog noise > > [29]Haskell news from the [30]blogosphere. > * Mark Wassell: [31]Edge Detection in Haskell. > * Sean Leather: [32]Latest on the incremental fold and attributes. > * Sean Leather: [33]Haskell mode for Vim on a Mac. > * Sean Leather: [34]Incremental attributes. > * >>> Human Constraints: [35]Haskell Type Hackery. > * LHC Team: [36]A new beginning.. > * London Haskell Users Group: [37]Don Stewart: Engineering Large > Projects in Haskell: A Decade of Haskell at Galois. > * Ulisses Costa: [38]More Hylomorphisms in Haskell. > * Ulisses Costa: [39]Anamorphisms in Haskell. > * London Haskell Users Group: [40]Next Meeting: Don Stewart from > Galois. > * LHC Team: [41]Hello world!. > * mightybyte: [42]Adding Authentication to the Blog App. > * Leon Smith: [43]Polynomial multiplication. > * Joe Fredette: [44]Card games, scorekeeping, and ... Associated > Datatypes?. > * mightybyte: [45]Basic Happstack Blog App. > * mightybyte: [46]A Standalone Auth Framework for Happstack. > * Mads Lindstr?m: [47]Introducing WxGeneric. > * happstack.com: [48]2 new projects that use Happstack. > * >>> Brant Carlson: [49]Lightning Modeling in Haskell. > * Leon Smith: [50]Lloyd Allison's Corecursive Queues. > > About the Haskell Weekly News > > New editions are posted to [51]the Haskell mailing list as well as to > [52]the Haskell Sequence and [53]Planet Haskell. [54]RSS is also > available, and headlines appear on [55]haskell.org. > > To help create new editions of this newsletter, please see the > information on [56]how to contribute. Send stories to byorgey at cis > dot upenn dot edu. The darcs repository is available at darcs get > [57]http://code.haskell.org/~byorgey/code/hwn/ . > > References > > 1. http://haskell.org/ > 2. http://article.gmane.org/gmane.comp.lang.haskell.general/17080 > 3. http://code.haskell.org/~arossato/xmobar/ > 4. http://article.gmane.org/gmane.comp.lang.haskell.general/17072 > 5. http://haskell.org/haskell-symposium/2009/ > 6. http://article.gmane.org/gmane.comp.lang.haskell.cafe/56772 > 7. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hmatrix-static > 8. http://www.hmatrix.googlepages.com/ > 9. http://article.gmane.org/gmane.comp.lang.haskell.cafe/56495 > 10. http://projects.haskell.org/haskellmode-vim/ > 11. http://article.gmane.org/gmane.comp.lang.haskell.cafe/56761 > 12. http://haskell.org/haskellwiki/SafeConcurrent > 13. http://article.gmane.org/gmane.comp.lang.haskell.cafe/56758 > 14. http://haskell.org/haskellwiki/Hac5 > 15. http://article.gmane.org/gmane.comp.lang.haskell.cafe/56747 > 16. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Yogurt > 17. http://article.gmane.org/gmane.comp.lang.haskell.cafe/56731 > 18. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/elerea > 19. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/elerea-examples > 20. http://article.gmane.org/gmane.comp.lang.haskell.cafe/56639 > 21. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/tree%2Dmonad > 22. http://article.gmane.org/gmane.comp.lang.haskell.cafe/56573 > 23. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HCard > 24. http://article.gmane.org/gmane.comp.lang.haskell.cafe/56444 > 25. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/SVGFonts > 26. http://article.gmane.org/gmane.comp.lang.haskell.cafe/56374 > 27. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/network-bytestring > 28. http://article.gmane.org/gmane.comp.lang.haskell.general/17066 > 29. http://planet.haskell.org/ > 30. http://haskell.org/haskellwiki/Blog_articles > 31. http://www.poundstone.org/blog/?p=137 > 32. http://feedproxy.google.com/~r/splonderzoek/~3/KWqNCgsK1ww/latest-on-incremental-fold-and.html > 33. http://feedproxy.google.com/~r/splonderzoek/~3/0QNaK4byWhg/haskell-mode-for-vim-on-mac.html > 34. http://feedproxy.google.com/~r/splonderzoek/~3/4B0bHoeTCeQ/incremental-attributes.html > 35. http://blog.human-constraints.com/?p=49 > 36. http://lhc-compiler.blogspot.com/2009/04/new-beginning.html > 37. http://www.londonhug.net/2009/04/10/don-stewart-engineering-large-projects-in-haskell-a-decade-of-haskell-at-galois/ > 38. http://ulissesaraujo.wordpress.com/2009/04/09/more-hylomorphisms-in-haskell/ > 39. http://ulissesaraujo.wordpress.com/2009/04/08/anamorphisms-in-haskell/ > 40. http://www.londonhug.net/2009/04/09/next-meeting-don-stewart-from-galois/ > 41. http://lhc-compiler.blogspot.com/2009/04/hello-world.html > 42. http://softwaresimply.blogspot.com/2009/04/adding-authentication-to-blog-app.html > 43. http://blog.melding-monads.com/2009/04/07/polynomial-multiplication/ > 44. http://lowlymath.net/2009/card-games-scorekeeping-and-associated-datatypes/ > 45. http://softwaresimply.blogspot.com/2009/04/basic-happstack-blog-app.html > 46. http://softwaresimply.blogspot.com/2009/04/standalone-auth-framework-for-happstack.html > 47. http://lindstroem.wordpress.com/2008/05/03/introducing-wxgeneric/ > 48. http://blog.happstack.com/2009/04/06/2-new-projects-that-use-happstack/ > 49. http://bayern.stanford.edu/~brant/lightning/ > 50. http://blog.melding-monads.com/2009/03/09/lloyd-allisons-corecursive-queues/ > 51. http://www.haskell.org/mailman/listinfo/haskell > 52. http://sequence.complete.org/ > 53. http://planet.haskell.org/ > 54. http://sequence.complete.org/node/feed > 55. http://haskell.org/ > 56. http://haskell.org/haskellwiki/HWN > 57. http://code.haskell.org/~byorgey/code/hwn/ > _______________________________________________ > Haskell mailing list > Haskell@haskell.org > http://www.haskell.org/mailman/listinfo/haskell > > -------------- next part -------------- A non-text attachment was scrubbed... Name: jfredett.vcf Type: text/x-vcard Size: 296 bytes Desc: not available Url : http://www.haskell.org/pipermail/haskell/attachments/20090413/4af7a72e/jfredett.vcf From nr at cs.tufts.edu Tue Apr 14 00:28:20 2009 From: nr at cs.tufts.edu (Norman Ramsey) Date: Tue Apr 14 00:15:02 2009 Subject: [Haskell] deriving Show for GADT? Message-ID: <20090414042820.AC23B68AF2C7@yorkie.cs.tufts.edu> I've got a fairly large GADT for which I wished to use deriving (Show) but I got a mysterious error message: Exp.hs:13:11: Can't make a derived instance of `Show (Exp a)' (`Exp' has non-Haskell-98 constructor(s)) In the data type declaration for `Exp' This is from GHC. Does anybody know a compiler option or other trick that will coax the compiler into producing a Show instance. (I know I can write one by hand, but I'd rather not bother.) Norman From ben_moseley at mac.com Tue Apr 14 01:43:48 2009 From: ben_moseley at mac.com (Ben Moseley) Date: Tue Apr 14 01:30:23 2009 Subject: [Haskell] deriving Show for GADT? In-Reply-To: <20090414042820.AC23B68AF2C7@yorkie.cs.tufts.edu> References: <20090414042820.AC23B68AF2C7@yorkie.cs.tufts.edu> Message-ID: Unfortunately, this isn't supported at present. --Ben On 14 Apr 2009, at 05:28, Norman Ramsey wrote: > I've got a fairly large GADT for which I wished to use > deriving (Show) > but I got a mysterious error message: > > Exp.hs:13:11: > Can't make a derived instance of `Show (Exp a)' > (`Exp' has non-Haskell-98 constructor(s)) > In the data type declaration for `Exp' > > > This is from GHC. Does anybody know a compiler option or other trick > that will coax the compiler into producing a Show instance. > (I know I can write one by hand, but I'd rather not bother.) > > > Norman > _______________________________________________ > Haskell mailing list > Haskell@haskell.org > http://www.haskell.org/mailman/listinfo/haskell From ryani.spam at gmail.com Tue Apr 14 02:03:00 2009 From: ryani.spam at gmail.com (Ryan Ingram) Date: Tue Apr 14 01:49:31 2009 Subject: [Haskell] deriving Show for GADT? In-Reply-To: <20090414042820.AC23B68AF2C7@yorkie.cs.tufts.edu> References: <20090414042820.AC23B68AF2C7@yorkie.cs.tufts.edu> Message-ID: <2f9b2d30904132303i520891d3j43a0d43531fe3465@mail.gmail.com> You might be able to write some Template Haskell to derive the Show instance. It's a bit tricky, because there are some types which can't have Show derived, such as: data Foo where Broken :: a -> Foo What should show (Broken id) do? -- ryan On Mon, Apr 13, 2009 at 9:28 PM, Norman Ramsey wrote: > I've got a fairly large GADT for which I wished to use > ? deriving (Show) > but I got a mysterious error message: > > Exp.hs:13:11: > ? ?Can't make a derived instance of `Show (Exp a)' > ? ? ?(`Exp' has non-Haskell-98 constructor(s)) > ? ?In the data type declaration for `Exp' > > > This is from GHC. ?Does anybody know a compiler option or other trick > that will coax the compiler into producing a Show instance. > (I know I can write one by hand, but I'd rather not bother.) > > > Norman > _______________________________________________ > Haskell mailing list > Haskell@haskell.org > http://www.haskell.org/mailman/listinfo/haskell > From hz at inf.elte.hu Tue Apr 14 06:55:12 2009 From: hz at inf.elte.hu (=?iso-8859-2?Q?Horv=E1th_Zolt=E1n?=) Date: Tue Apr 14 06:42:01 2009 Subject: [Haskell] CFP Trends in Functional Programming Message-ID: <88C55C9C92561741A80422B15F25C4BFDAAD7FE351@exch02.inf.elte.hu> Third call for papers 10th SYMPOSIUM ON TRENDS IN FUNCTIONAL PROGRAMMING TFP 2009 SELYE JANOS UNIVERSITY, KOMARNO, SLOVAKIA June 2-4, 2009 http://www.inf.elte.hu/tfp_cefp_2009 *** Submission deadline extended until 10th of May! *** The symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming languages, focusing on providing a broad view of current and future trends in Functional Programming. It aspires to be a lively environment for presenting the latest research results. Acceptance for the conference is based on full papers or extended abstracts, and a formal post-symposium refereeing process selects the best articles presented at the symposium for publication in a high-profile volume. TFP 2009 is hosted by the Selye Janos University, Komarno, Slovakia, and it is co-located with the 3rd Central-European Functional Programming School (CEFP 2009), which is held immediately before TFP 2009 (May 25-30). IMPORTANT DATES (ALL 2009) * Paper Submission: May 10 (extended) * Notification of Acceptance: May 12 * Camera Ready Symposium Proceedings Paper: May 14 * TFP Symposium: June 2-4, 2009 * Post Symposium Paper Submission: June 30 * Notification of Acceptance: September 7 * Camera Ready Revised Paper: September 21 SCOPE OF THE SYMPOSIUM As part of the Symposium's focus on trends we therefore identify the following five article categories. High-quality articles are solicited in any of these categories: * Research: leading-edge, previously unpublished research. * Position: on what new trends should or should not be. * Project: descriptions of recently started new projects. * Evaluation: what lessons can be drawn from a finished project. * Overview: summarizing work with respect to a trendy subject. Articles must be original and not submitted for simultaneous publication to any other forum. They may consider any aspect of functional programming: theoretical, implementation-oriented, or more experience- oriented. Applications of functional programming techniques to other languages are also within the scope of the symposium. Contributions on the following subject areas are particularly welcomed: * Dependently Typed Functional Programming * Validation and Verification of Functional Programs * Debugging for Functional Languages * Functional Programming and Security * Functional Programming and Mobility * Functional Programming to Animate/Prototype/Implement Systems from Formal or Semi-Formal Specifications * Functional Languages for Telecommunications Applications * Functional Languages for Embedded Systems * Functional Programming Applied to Global Computing * Functional GRIDs * Functional Programming Ideas in Imperative or Object-Oriented Settings (and the converse) * Interoperability with Imperative Programming Languages * Novel Memory Management Techniques * Parallel/Concurrent Functional Languages * Program Transformation Techniques * Empirical Performance Studies * Abstract/Virtual Machines and Compilers for Functional Languages * New Implementation Strategies * Any new emerging trend in the functional programming area If you are in doubt on whether your article is within the scope of TFP, please contact the TFP 2009 program chairs, Zoltan Horvath and Viktoria Zsok at tfp2009@inf.elte.hu SUBMISSION AND DRAFT PROCEEDINGS Acceptance of articles for presentation at the symposium is based on the screening process of full papers (15 pages) and extended abstracts (at least 3 pages). TFP encourages PhD students to submit papers. PhD students may request the program committee to provide extensive feedback on their full papers at the time of submission. Full papers describing work accepted for presentation must be completed before the symposium for publication in the draft proceedings. Further details can be found at the TFP 2009 website. POST-SYMPOSIUM REFEREEING AND PUBLICATION In addition to the draft symposium proceedings, we continue the TFP tradition of publishing a high-quality subset of contributions in the Intellect series on Trends in Functional Programming. PROGRAM COMMITTEE * Peter Achten (symp-chair), Radboud University Nijmegen, NL * John Clements, California Polytechnic State University, USA * Cormac Flanagan, University of California at Santa Cruz, USA * Jurriaan Hage, Utrecht University, NL * Kevin Hammond, University of St. Andrews, UK * Michael Hanus, Christian-Albrechts University zu Kiel, DE * Ralf Hinze, University of Oxford, UK * Zoltan Horvath (PC co-chair), Eotvos Lorand University, HU * Graham Hutton, University of Nottingham, UK * Johan Jeuring, Utrecht University, NL * Pieter Koopman (symp-chair), Radboud University Nijmegen, NL * Hans-Wolfgang Loidl, Ludwig-Maximilians University Munchen, DE * Rita Loogen, Philipps-University Marburg, DE * Greg Michaelson, Heriot-Watt University, UK * Marco T. Morazan, Seton Hall University, USA * Rex L Page, University of Oklahoma, USA * Sven-Bodo Scholz, University of Hertfordshire, UK * Clara Segura, University Complutense de Madrid, ES * Mary Sheeran, Chalmers University of Technology, SE * Phil Trinder, Heriot-Watt University, UK * Marko van Eekelen, Radboud University Nijmegen, NL * Varmo Vene, University of Tartu, EE * Viktoria Zsok (PC co-chair), Eotvos Lorand University, HU LOCATION The Conference Centre of Selye University, Komarno, Slovakia (http://www.selyeuni.sk/) is a new and excellent conference centre with modern equipment, lecture rooms and computer labs. Komarno is on the north bank of river Danube, the northern part of the city Komarom / Komarno. It is a charming old city with about 30 000 inhabitants, 90 km away from Budapest (the capital of Hungary), with good highway and railway connections and 90 km away from Bratislava (the capital of Slovakia), about 100 km from Vienna International Airport. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/haskell/attachments/20090414/15e45cbd/attachment-0001.htm From wss at cs.nott.ac.uk Tue Apr 14 09:01:11 2009 From: wss at cs.nott.ac.uk (Wouter Swierstra) Date: Tue Apr 14 08:47:42 2009 Subject: [Haskell] The Monad.Reader (14) - Call for copy Message-ID: <2EF3D210-765D-44AB-8C10-E61BDE74D37B@cs.nott.ac.uk> Call for Copy The Monad.Reader - Issue 14 Please consider writing something for the next issue of The Monad.Reader. The deadline for Issue 14 is: ** May 15, 2009 ** The Monad.Reader is a electronic magazine about all things Haskell. Check out the website and browse the previous editions to learn more: http://www.haskell.org/haskellwiki/The_Monad.Reader * Submission Details * Get in touch if you intend to submit something -- the sooner you let me know what you're up to, the better. Please submit articles for the next issue to me by e-mail (wouter at chalmers.se). Articles should be written according to the guidelines available from: http://www.haskell.org/haskellwiki/The_Monad.Reader Please submit your article in PDF, together with any source files you used. The sources will be released together with the magazine under a BSD license. Looking forward to your submission, Wouter From g9ks157k at acme.softbase.org Tue Apr 14 09:24:24 2009 From: g9ks157k at acme.softbase.org (Wolfgang Jeltsch) Date: Tue Apr 14 09:11:03 2009 Subject: [Haskell] CFP Trends in Functional Programming In-Reply-To: <88C55C9C92561741A80422B15F25C4BFDAAD7FE351@exch02.inf.elte.hu> References: <88C55C9C92561741A80422B15F25C4BFDAAD7FE351@exch02.inf.elte.hu> Message-ID: <200904141524.24395.g9ks157k@acme.softbase.org> Am Dienstag, 14. April 2009 12:55 schrieb Horv?th Zolt?n: > Third call for papers > 10th SYMPOSIUM ON TRENDS IN FUNCTIONAL PROGRAMMING > TFP 2009 > SELYE JANOS UNIVERSITY, KOMARNO, SLOVAKIA > June 2-4, 2009 > http://www.inf.elte.hu/tfp_cefp_2009 > > *** Submission deadline extended until 10th of May! *** Hello, submission is only possible for people who submitted a paper or an extended abstract by March 31. Or did I miss something? Best wishes, Wolfgang From ekmett at gmail.com Tue Apr 14 10:27:50 2009 From: ekmett at gmail.com (Edward Kmett) Date: Tue Apr 14 10:14:21 2009 Subject: [Haskell] deriving Show for GADT? In-Reply-To: <2f9b2d30904132303i520891d3j43a0d43531fe3465@mail.gmail.com> References: <20090414042820.AC23B68AF2C7@yorkie.cs.tufts.edu> <2f9b2d30904132303i520891d3j43a0d43531fe3465@mail.gmail.com> Message-ID: <7fb8f82f0904140727x4a6b71ddrcd35901b9f911646@mail.gmail.com> I seem to recall Matt Morrow having some code lying around for automatically generating such instances using haskell-src-exts. I wonder how hard it would be to adapt to Template Haskell. -Edward Kmett On Tue, Apr 14, 2009 at 2:03 AM, Ryan Ingram wrote: > You might be able to write some Template Haskell to derive the Show > instance. > > It's a bit tricky, because there are some types which can't have Show > derived, such as: > > data Foo where > Broken :: a -> Foo > > What should > show (Broken id) > do? > > -- ryan > > On Mon, Apr 13, 2009 at 9:28 PM, Norman Ramsey wrote: > > I've got a fairly large GADT for which I wished to use > > deriving (Show) > > but I got a mysterious error message: > > > > Exp.hs:13:11: > > Can't make a derived instance of `Show (Exp a)' > > (`Exp' has non-Haskell-98 constructor(s)) > > In the data type declaration for `Exp' > > > > > > This is from GHC. Does anybody know a compiler option or other trick > > that will coax the compiler into producing a Show instance. > > (I know I can write one by hand, but I'd rather not bother.) > > > > > > Norman > > _______________________________________________ > > Haskell mailing list > > Haskell@haskell.org > > http://www.haskell.org/mailman/listinfo/haskell > > > _______________________________________________ > Haskell mailing list > Haskell@haskell.org > http://www.haskell.org/mailman/listinfo/haskell > -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/haskell/attachments/20090414/68294a7a/attachment.htm From dominic.steinitz at blueyonder.co.uk Tue Apr 14 14:49:50 2009 From: dominic.steinitz at blueyonder.co.uk (Dominic Steinitz) Date: Tue Apr 14 14:36:38 2009 Subject: [Haskell] Re: deriving Show for GADT? References: <20090414042820.AC23B68AF2C7@yorkie.cs.tufts.edu> Message-ID: Norman Ramsey cs.tufts.edu> writes: > > I've got a fairly large GADT for which I wished to use > deriving (Show) You will have to write one by hand. I tend to use Text.Pretty and then the output is much more readable. It doesn't take long even for a what I would consider a large GADT. From p.k.f.holzenspies at utwente.nl Tue Apr 14 16:05:48 2009 From: p.k.f.holzenspies at utwente.nl (=?ISO-8859-1?Q?Philip_H=F6lzenspies?=) Date: Tue Apr 14 15:52:23 2009 Subject: [Haskell] Haskell logo in TeX (tested for TeXLive >= 2007) Message-ID: <046DE88D-FE75-4176-8A3D-9F586C5E77BF@utwente.nl> Dear all, Seeing people throw the new logo around in different formats, I thought I would do it up in TikZ (for those that don't know: graphics embedded in LaTeX). For convenience, I wrapped it in a .sty file. If people find this useful, I will try and submit it to CTAN as well. I'm open for bug reports or feature requests. You do need a proper TeXLive installation (at least a relatively recent version of TikZ; check whether "kpsewhich pgfkeys.sty" says anything, in which case you should be fine). I will write up documentation for this before I put it onto CTAN, but for now, you will have to do with the example illustrating most options: \documentclass{article} \usepackage{haskelllogo} \begin{document} \haskelllogo[outlines,splitlambda] \haskelllogo[splitlambda] \haskelllogo[outlines] \haskelllogo[splitlambda, rangle color=green, lambda body color=red, lambda leg color=red!50!yellow, upper equals color=black, lower equals color=brown ] \haskelllogo[grayscale] \haskelllogo[splitlambda,grayscale] \haskelllogo[seventies] \haskelllogo[seventies,outlines] \end{document} The style is available at: http://www.cs.utwente.nl/~holzensp/haskelllogo.sty Enjoy! Regards, Philip -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/haskell/attachments/20090414/8fd5ce4b/attachment.htm From josebenjaminp at gmail.com Tue Apr 14 21:39:05 2009 From: josebenjaminp at gmail.com (Benjamin Perez) Date: Tue Apr 14 21:25:40 2009 Subject: [Haskell] Haskell logo in TeX (tested for TeXLive >= 2007) In-Reply-To: <046DE88D-FE75-4176-8A3D-9F586C5E77BF@utwente.nl> References: <046DE88D-FE75-4176-8A3D-9F586C5E77BF@utwente.nl> Message-ID: <1239759545.5243.1.camel@annie> wow!! is great. thanks, -- Benjo On Tue, 2009-04-14 at 22:05 +0200, Philip H?lzenspies wrote: > Dear all, > > Seeing people throw the new logo around in different formats, I > thought I would do it up in TikZ (for those that don't know: graphics > embedded in LaTeX). For convenience, I wrapped it in a .sty file. If > people find this useful, I will try and submit it to CTAN as well. I'm > open for bug reports or feature requests. > > You do need a proper TeXLive installation (at least a relatively > recent version of TikZ; check whether "kpsewhich pgfkeys.sty" says > anything, in which case you should be fine). I will write up > documentation for this before I put it onto CTAN, but for now, you > will have to do with the example illustrating most options: > > > \documentclass{article} > \usepackage{haskelllogo} > \begin{document} > \haskelllogo[outlines,splitlambda] > \haskelllogo[splitlambda] > \haskelllogo[outlines] > \haskelllogo[splitlambda, > rangle color=green, > lambda body color=red, > lambda leg color=red!50!yellow, > upper equals color=black, > lower equals color=brown > ] > \haskelllogo[grayscale] > \haskelllogo[splitlambda,grayscale] > \haskelllogo[seventies] > \haskelllogo[seventies,outlines] > \end{document} > > > The style is available at: > > http://www.cs.utwente.nl/~holzensp/haskelllogo.sty > > Enjoy! > > Regards, > Philip > > _______________________________________________ > Haskell mailing list > Haskell@haskell.org > http://www.haskell.org/mailman/listinfo/haskell -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/haskell/attachments/20090414/1e007805/attachment.htm From hu at nii.ac.jp Wed Apr 15 03:44:34 2009 From: hu at nii.ac.jp (Zhenjiang Hu) Date: Wed Apr 15 03:31:07 2009 Subject: [Haskell] Call For Papers: APLAS 2009 (Korea, Dec 14-16, 2009) Message-ID: <1C104715-7CCB-4636-98CF-A29FBC6845E7@nii.ac.jp> =============================================================== FIRST CALL FOR PAPERS The Seventh Asian Symposium on Programming Languages and Systems (APLAS 2009) Seoul, December 14-16, 2009 http://ropas.snu.ac.kr/aplas09/ =============================================================== APLAS aims at stimulating programming language research by providing a forum for the presentation of recent results and the exchange of ideas and experience in topics concerned with programming languages and systems. APLAS is based in Asia, but is an international forum that serves the worldwide programming languages community. The APLAS series is sponsored by the Asian Association for Foundation of Software (AAFS), which has recently been founded by Asian researchers in cooperation with many researchers from Europe and the USA. The past formal APLAS symposiums were successfully held in Bangalore (2008, India), Singapore (2007), Sydney (2006, Australia), Tsukuba (2005, Japan), Taipei (2004, Taiwan) and Beijing (2003, China) after three informal workshops held in Shanghai (2002, China), Daejeon (2001, Korea) and Singapore (2000). Proceedings of the past symposiums were published in Springer-Verlag's LNCS 2895, 3302, 3780, 4279, and 5356. TOPICS: The symposium is devoted to both foundational and practical issues in programming languages and systems. Papers are solicited on, but not limited, to the following topics: * semantics, logics, foundational theory * type systems, language design * program analysis, optimization, transformation * software security, safety, verification * compiler systems, interpreters, abstract machines * domain-specific languages and systems * programming tools and environments INVITED SPEAKERS: TBA IMPORTANT DATES: Abstract Deadline: June 8 (Monday), 2009 Paper Submission Deadline: 24:00 AM (in Samoan Time), June 15 (Monday), 2009 Author Notification: August 17, 2009 Camera Ready: September 14, 2009 Conference: December 14-16, 2009 SUBMISSIONS INFORMATION: Papers should be submitted electronically online via the conference submission web page at URL . Acceptable formats are PostScript or PDF, viewable by Ghostview or Adobe Reader. Submissions should not exceed 16 pages in LNCS format, including bibliography and figures. Submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. They should clearly identify what has been accomplished and why it is significant. Submitted papers must be unpublished and not submitted for publication elsewhere. The proceedings of the symposium is planned to be published as a volume in Springer-Verlag's Lecture Notes in Computer Science series. Authors of selected papers will be invited after the symposium to submit a full version for publication in a special issue of New Generation Computing. GENERAL CHAIR Kwangkeun Yi (Seoul National University, Korea) PROGRAM CHAIR Zhenjiang Hu (National Institute of Inforamtics, Japan) PROGRAM COMMITTEE Manuel M. T. Chakravarty (University of New South Wales, Australia) Wei-Ngan Chin (National University of Singapore, Singapore) Nate Foster (University of Pennsylvania, USA) Ralf Hinze (Oxford University, United Kingdom) Zhenjiang Hu (National Institute of Informatics, Japan), Chair Ik-Soon Kim (Electronics and Telecommunications Research Institute, Korea) Julia Lawall (DIKU, Denmark) Sebastian Maneth (NICTA and University of New South Wales, Australia) Sungwoo Park (Pohang University of Science and Technology, Korea) G. Ramalingam (Microsoft Research, India) Peter Thiemann (University of Freiburg, Germany) Kazushige Terui (Kyoto University, Japan) Janis Voigtl?nder (Technical University of Dresden, Germany) Chung-chieh Shan (Rutgers University, USA) Kazunori Ueda (Waseda University, Japan) Bow-Yaw Wang (Academia Sinica, Taiwan) Jianjun Zhao (Shanghai Jiaotong University, China) POSTER CHAIR Kiminori Matsuzaki (University of Tokyo, Japan) From g9ks157k at acme.softbase.org Wed Apr 15 03:55:35 2009 From: g9ks157k at acme.softbase.org (Wolfgang Jeltsch) Date: Wed Apr 15 03:42:05 2009 Subject: Fwd: RE: [Haskell] CFP Trends in Functional Programming Message-ID: <200904150955.35289.g9ks157k@acme.softbase.org> -------------- next part -------------- An embedded message was scrubbed... From: "=?utf-8?B?SG9ydsOhdGggWm9sdMOhbg==?=" Subject: RE: [Haskell] CFP Trends in Functional Programming Date: Tue, 14 Apr 2009 20:49:37 +0200 Size: 3938 Url: http://www.haskell.org/pipermail/haskell/attachments/20090415/418e3575/attachment.eml From g9ks157k at acme.softbase.org Wed Apr 15 04:13:50 2009 From: g9ks157k at acme.softbase.org (Wolfgang Jeltsch) Date: Wed Apr 15 04:00:18 2009 Subject: [Haskell] Haskell logo in TeX (tested for TeXLive >= 2007) In-Reply-To: <046DE88D-FE75-4176-8A3D-9F586C5E77BF@utwente.nl> References: <046DE88D-FE75-4176-8A3D-9F586C5E77BF@utwente.nl> Message-ID: <200904151013.50658.g9ks157k@acme.softbase.org> Am Dienstag, 14. April 2009 22:05 schrieb Philip H?lzenspies: > Dear all, > > Seeing people throw the new logo around in different formats, I > thought I would do it up in TikZ (for those that don't know: graphics > embedded in LaTeX). For convenience, I wrapped it in a .sty file. If > people find this useful, I will try and submit it to CTAN as well. I'm > open for bug reports or feature requests. I haven?t tested it but if it works, I find it useful. :-) Best wishes, Wolfgang From fmics2009 at dsic.upv.es Wed Apr 15 15:39:36 2009 From: fmics2009 at dsic.upv.es (fmics2009@dsic.upv.es) Date: Wed Apr 15 15:27:24 2009 Subject: [Haskell] [FMICS 2009] Deadline Extension to 20 April Message-ID: <20090415213936.468121y5gh3f9jwg@webmail.dsic.upv.es> FMICS 2009 - DEADLINE EXTENSION TO 20 APRIL Please visit: http://users.dsic.upv.es/workshops/fmics2009 ************************************************************ * 14th International Workshop on * * Formal Methods for Industrial Critical Systems * * FMICS 2009 * * * * November 2-3, 2009 * * Eindhoven, The Netherlands * ************************************************************ * ** NEWS ** * * * * >> Deadline for abstracts: 16 April * * >> Deadline for papers (firm): 20 April * * * ************************************************************ ---------------------------------------------------------------- This message was sent using IMP, the Internet Messaging Program. From voigt at tcs.inf.tu-dresden.de Fri Apr 17 01:28:59 2009 From: voigt at tcs.inf.tu-dresden.de (Janis Voigtlaender) Date: Fri Apr 17 01:15:31 2009 Subject: [Haskell] REMINDER: Haskell Communities and Activities Report Message-ID: <49E8139B.9030204@tcs.inf.tu-dresden.de> Dear Haskellers, The deadline for the May 2009 edition of the Haskell Communities and Activities Report is only two weeks away. If you haven't already, please write an entry for your new project, or update your old entry. Please mail your entries to hcar@haskell.org in LaTeX format. More information can be found in the original Call for Contributions at: http://www.haskell.org/pipermail/haskell/2009-April/021180.html I look forward to receiving your contributions. Thanks a lot, Janis (current editor) -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:voigt@tcs.inf.tu-dresden.de From byorgey at seas.upenn.edu Fri Apr 17 07:46:25 2009 From: byorgey at seas.upenn.edu (Brent Yorgey) Date: Fri Apr 17 07:32:47 2009 Subject: [Haskell] Haskell Weekly News: Issue 114 - April 17, 2009 Message-ID: <20090417114624.GA22541@seas.upenn.edu> --------------------------------------------------------------------------- Haskell Weekly News http://sequence.complete.org/hwn/20090417 Issue 114 - April 17, 2009 --------------------------------------------------------------------------- Welcome to issue 114 of HWN, a newsletter covering developments in the [1]Haskell community. The [2]5th Haskell Hackathon is underway in Utrecht! Happy Haskell hacking! An early HWN this week since I will be traveling this weekend (but not, unfortunately, to the Hackathon). Announcements Reminder: Haskell Communities and Activities Report. Janis Voigtlaender [3]reminded everyone that the deadline for the [4]May 2009 edition of the Haskell Communities and Activities Report is only two weeks away. If you haven't already, please write an entry for your new project, or update your old entry. primes. Sebastian Fischer [5]announced the release of the [6]primes package, which implements lazy wheel sieves for efficient, purely functional generation of prime numbers in Haskell. level-monad-0.3. Sebastian Fischer [7]announced version 0.3 of the package [8]level-monad, which implements breadth-first search directly as an instance of MonadPlus (without using an intermediate tree representation). Version 0.3 adds a MonadPlus instance for iterative deepening inspired by Michael Spivey's paper on [9]Algebras for combinatorial search. hgettext 0.1.10. Vasyl Pasternak [10]announced a new release of the [11]hgettext package, which now has bindings to all gettext functions. Haskell logo in TeX. Philip H?lzenspies [12]announced a version of the new [13]Haskell logo design prepared using TikZ, for inclusion in LaTeX documents. The Monad.Reader (14) - Call for copy. Wouter Swierstra [14]issued a call for copy for Issue 14 of [15]The Monad.Reader. The deadline for submissions is May 15, 2009. Let Wouter know if you intend to submit something -- the sooner, the better. time 1.1.2.4. Ashley Yakeley [16]announced the release of [17]time 1.1.2.4, which should now compile on Windows. Discussion Code Golf. Sebastian Fischer [18]started a lively round of code golf with his code for list diagonalization. Converting IO [XmlTree] to [XmlTree]. rodrigo.bonifacio [19]asked how to convert an IO [XmlTree] into an [XmlTree], leading to a discussion of Haskell pedagogy. Blog noise [21]Haskell news from the [22]blogosphere. * Roman Cheplyaka: [23]Fun in Utrecht. * Roman Cheplyaka: [24]Utrecht: first impressions. * >>> Daniel van den Eijkel: [25]Hommage: Haskell Offline Music Manipulation And Generation EDSL. * >>> Brandon Simmons: [26]Some initial tests of Tries. * Christopher Lane Hinson: [27]Trends in Profiling Haskell. * >>> Larry O'Brien: [28]Windows & .NET Watch: Haskell: It's like Klingon, but with math!. * Sean Escriva: [29]Why Haskell is a joy to learn. * GHC / OpenSPARC Project: [30]Instruction counts on x86 vs SPARC. * Sebastian Fischer: [31]Barefaced pilferage of monadic bind. * Benjamin L. Russell: [32]Climbing the Towers of Hanoi with Haskell-style Curry from a Monadic Container (While Sparing the Sugar!). Quotes of the Week * Gracenotes: And then the type system goes all crazy and demands that x and 1 are both Word32s! * mauke: data What a = No; instance Monad What where { return _ = No; No >>= _ = No } * pumpkin: makes the next internet hit video, 2 natural transformations, 1 functor * mmorrow: a functor is like an analogy between two analogies * FliPPeh: @faq Can Conficker be rewritten in Haskell? : parse error on input `:' * HairyDude: The Haskell Type System is a Harsh Mistress.. there ain't no such thing as a free theorem. * LeCamarade: Now, let's say the set is {Haskell, SML, Ruby, Tomatoes, Human, Cabbage, Noise, IRC}. * pjdelport: YO DAWG I HERD YOU LIKE CARS SO WE PUT A PAIR IN YO CAR SO YOU CAN CAR WHILE YOU CAR * Babelfish: And there you travel: a beam tracer! Naturally, there are many things that ought to be amend. About the Haskell Weekly News New editions are posted to [33]the Haskell mailing list as well as to [34]the Haskell Sequence and [35]Planet Haskell. [36]RSS is also available, and headlines appear on [37]haskell.org. To help create new editions of this newsletter, please see the information on [38]how to contribute. Send stories to byorgey at cis dot upenn dot edu. The darcs repository is available at darcs get [39]http://code.haskell.org/~byorgey/code/hwn/ . References 1. http://haskell.org/ 2. http://haskell.org/haskellwiki/Hac5 3. http://article.gmane.org/gmane.comp.lang.haskell.cafe/57075 4. http://www.haskell.org/pipermail/haskell/2009-April/021180.html 5. http://article.gmane.org/gmane.comp.lang.haskell.cafe/57042 6. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/primes 7. http://article.gmane.org/gmane.comp.lang.haskell.cafe/56981 8. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/level-monad 9. http://spivey.oriel.ox.ac.uk/mike/search-jfp.pdf 10. http://article.gmane.org/gmane.comp.lang.haskell.cafe/56940 11. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hgettext 12. http://article.gmane.org/gmane.comp.lang.haskell.general/17094 13. http://www.cs.utwente.nl/~holzensp/haskelllogo.sty 14. http://article.gmane.org/gmane.comp.lang.haskell.general/17090 15. http://haskell.org/haskellwiki/The_Monad.Reader 16. http://article.gmane.org/gmane.comp.lang.haskell.libraries/10921 17. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/time 18. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/56957 19. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/56898 21. http://planet.haskell.org/ 22. http://haskell.org/haskellwiki/Blog_articles 23. http://ro-che.blogspot.com/2009/04/fun-in-utrecht.html 24. http://ro-che.blogspot.com/2009/04/utrecht-first-impressions.html 25. http://substitut-fuer-feinmotorik.net/projects/haskellommage/introduction 26. http://coder.bsimmons.name/blog/2009/04/some-initial-tests-of-tries/ 27. http://blog.downstairspeople.org/2009/04/16/trends-in-profiling-haskell/ 28. http://www.sdtimes.com/content/article.aspx?ArticleID=33399 29. http://www.webframp.com/2009/04/15/why-haskell-is-a-joy-to-learn/ 30. http://ghcsparc.blogspot.com/2009/04/instruction-counts-on-x86-vs-sparc.html 31. http://www-ps.informatik.uni-kiel.de/~sebf/haskell/stealing-bind.html 32. http://dekudekuplex.wordpress.com/2009/04/13/climbing-the-towers-of-hanoi-with-haskell-style-curry-from-a-monadic-container-while-sparing-the-sugar/ 33. http://www.haskell.org/mailman/listinfo/haskell 34. http://sequence.complete.org/ 35. http://planet.haskell.org/ 36. http://sequence.complete.org/node/feed 37. http://haskell.org/ 38. http://haskell.org/haskellwiki/HWN 39. http://code.haskell.org/~byorgey/code/hwn/ From martijn at van.steenbergen.nl Fri Apr 17 14:49:24 2009 From: martijn at van.steenbergen.nl (Martijn van Steenbergen) Date: Fri Apr 17 14:36:13 2009 Subject: [Haskell] Re: [Haskell-cafe] Haskell Weekly News: Issue 114 - April 17, 2009 In-Reply-To: <20090417114624.GA22541@seas.upenn.edu> References: <20090417114624.GA22541@seas.upenn.edu> Message-ID: <49E8CF34.9040506@van.steenbergen.nl> Brent Yorgey wrote: > The [2]5th Haskell Hackathon is underway in Utrecht! Happy Haskell > hacking! An early HWN this week since I will be traveling this weekend > (but not, unfortunately, to the Hackathon). Yes! It's been a good day so far; there are lots of projects being worked on. You can follow the [1]latest news on Twitter; there are also [2]some pictures online already. [1] http://search.twitter.com/search?q=%23hac5 [2] http://martijn.van.steenbergen.nl/journal/hac5-pt-1/ Groetjes from Utrecht, Martijn. From atze at cs.uu.nl Sat Apr 18 10:03:52 2009 From: atze at cs.uu.nl (atze@cs.uu.nl) Date: Sat Apr 18 09:50:23 2009 Subject: [Haskell] ANNOUNCE: Utrecht Haskell Compiler (UHC) -- first release Message-ID: <49542.131.211.150.16.1240063432.squirrel@mail.cs.uu.nl> Utrecht Haskell Compiler -- first release, version 1.0.0 ======================================================== The UHC team is happy to announce the first public release of the Utrecht Haskell Compiler (UHC). UHC supports almost all Haskell98 features plus many experimental extensions. The compiler runs on MacOSX, Windows (cygwin), and various Unix flavors. Features: * Multiple backends, including a bytecode interpreter backend and a GRIN based, full program analysing backend, both via C. * Experimental language extensions, some of which have not been implemented before. * Implementation via attribute grammars and other high-level tools. * Ease of experimentation with language variants, thanks to an aspect-oriented internal organisation. Getting started & Download -------------------------- UHC is available for download as source distribution via the UHC home page: http://www.cs.uu.nl/wiki/UHC Here you will also find instructions to get started. Status of the implementation ---------------------------- Like any university project UHC is very much work in progress. We feel that it is mature and stable enough to offer to the public, but much work still needs to be done; hence we welcome contributions by others. UHC grew out of our Haskell compiler project (called Essential Haskell Compiler, or EHC) over the past 5 years. UHC internally is organised as a combination of separate aspects, which makes UHC very suitable to experiment with; it is relatively easy to build compilers for sublanguages, or to generate related tools such as documentation generators, all from the same code base. Extensions to the language can be described separately, and be switched on or of as need arises. Warning ------- Although we think that the compiler is stable enough to compile subtantial Haskell programs, we do not recommend yet to use it for any serious development work in Haskell. We ourselves use the GHC as a development platform! We think however that it provides a great platform for experimenting with language implementations, language extensions, etc. Mailing lists ------------- For UHC users and developers respectively: http://mail.cs.uu.nl/mailman/listinfo/uhc-users http://mail.cs.uu.nl/mailman/listinfo/uhc-developers Bug reporting ------------- Please report bugs at: http://code.google.com/p/uhc/issues/list The UHC Team -- Atze Dijkstra, Department of Information and Computing Sciences. /|\ Utrecht University, PO Box 80089, 3508 TB Utrecht, Netherlands. / | \ Tel.: +31-30-2534118/1454 | WWW : http://www.cs.uu.nl/~atze . /--| \ Fax : +31-30-2513971 .... | Email: atze@cs.uu.nl ............ / |___\ From jupdike at gmail.com Sat Apr 18 12:09:54 2009 From: jupdike at gmail.com (Jared Updike) Date: Sat Apr 18 11:56:15 2009 Subject: [Haskell] Re: Hi-res/vector version of logo? In-Reply-To: References: <75DFE5DE-59EF-406E-831F-F81F08A302E3@lempsink.nl> <656F7A76-2AD5-44E3-9FF9-5D7DCFB4AEC3@lempsink.nl> <8b108f950904081714v7c62a1d5x725d476004bb6c3a@mail.gmail.com> <8b108f950904092217h36278b5i956b4ba8d6b65fcc@mail.gmail.com> <8b108f950904131040r73492ffcn8a41a543aa1f52cf@mail.gmail.com> <8b108f950904131419n69759eb0vbb3736c1a76004c3@mail.gmail.com> <8b108f950904161020sc5b99bdrdfcd693637e1bc1e@mail.gmail.com> Message-ID: <8b108f950904180909s2829ae8evc33381ea6fa18ec8@mail.gmail.com> LOGO VARIATION GENERATOR With some encouragement and feedback from Jeff Wheeler and Eelco Lempsink, I created a "Polymorphic" SVG Haskell Logo in Haskell [1]. This script yields a pile of SVG files and an HTML index showing them off (known to work in Safari 3.0 and Firefox 2.0) [1]: https://dl.getdropbox.com/u/143480/Haskell-logo/svg-test.html The above Logo.hs program (or small tweaks to it) should hopefully yield all of the variations of the Winning Logo that Jeff Wheeler posted [2] with one caveat: no text/fonts/the word "Haskell". (Note that I am not advocating that all of these designs be voted on, only showing what variations have been dreamt up thus far... Keep reading for my own design submission.) FINAL VARIATION VOTING Eelco Lempsink agreed with me that getting the community to pin down just the icon/emblem part of the logo (for use on the Haskell wiki, Wikipedia article on Haskell, Haskell reddit, derivative logos, etc.) would be enough work, and better than trying to vote simultaneously on an emblem design AND an official Haskell font presentation. What do people think of this idea? (If folks still feel the need for an official "Haskell" font we could always work out pairing text with the winner of the Logo Variation vote... but I say we worry about this later.) In addition, Eelco said: > I think letting people submit only one entry might be a good > way to limit the options and prevent us from having an exhaustive search in > the design space ;) I agree, and in the spirit of collaboration I am turning my design variation generator program (Logo.hs above) over to the community (public domain, as Jeff Wheeler has done with his winning logo designs) to hack on in the hopes that we will see some nice designs come out of this. If we get enough entries (n >= 2) we can set up a vote for the Final Logo Variation and revitalize the Haskell home page. [3] ONE POSSIBLE DESIGN In the spirit of competition, I created my own take on the purple/teal Haskell logo. (Note that this variation started as output from my program to which I manually added effects in Inkscape; it was not generated by my software, although it could be....) Unfortunately browsers are not as advanced at rendering SVG as Inkscape so I am submitting PNGs (which we probably want in the end, anyway) of my entry: https://dl.getdropbox.com/u/143480/Haskell-logo/pngs.html as well as the original Inkscape SVG [4] in the hopes that it will inspire others to submit better variations with different effects---but remember: please only submit a single entry of your best idea. All of these logo variations have sort of melted my brain but I hope the community is still excited to settle on a final logo variation once we see some design offerings. Feedback is appreciated, and thanks to everyone who has contributed designs so far. [5] Jared. [1] The Logo Variation Generator: https://dl.getdropbox.com/u/143480/Haskell-logo/Logo.hs I am willing to clean this code up and package it for Hackage, as well as add support for PDF (through Asymptote), if the winning variation is based on this code and the community wants a go-to Haskell-Logo package. [2] http://media.nokrev.com/junk/haskell-logos/ [3] Simulation Haskell.org: https://dl.getdropbox.com/u/143480/Haskell-logo/hask.html Simulation Wikipedia article: https://dl.getdropbox.com/u/143480/Haskell-logo/wikipedia-hask.html [4] Warning: the drop shadow looks terrible in browsers (Load in Inkscape): https://dl.getdropbox.com/u/143480/Haskell-logo/inkscape3-normal-partround-lambda-col1-256.svg [5] Brian Sniffen (MetaPost): http://evenmere.org/~bts/haskell-logo/ Don Stewart (SVG): http://galois.com/~dons/images/logos/logo-bezier.svg Philip H?lzenspies: (TeX logo!): http://wwwhome.cs.utwente.nl/~holzensp/haskelllogo.sty Darrin Thompson (ASCII): http://www.ultraviolet.org/mail-archives/haskell-cafe.2008/msg14574.html and everyone who shared their ideas freely... From sigbjorn.finne at gmail.com Sat Apr 18 16:44:41 2009 From: sigbjorn.finne at gmail.com (Sigbjorn Finne) Date: Sat Apr 18 16:31:02 2009 Subject: [Haskell] Announce: A pragmatic Haskell .NET interop layer, 0.4.0 Message-ID: <49EA3BB9.5050304@gmail.com> A new version of a Haskell .NET interop layer, hs-dotnet, has just been released and is now available for download, http://haskell.forkIO.com/dotnet It lets you access .NET functionality from Haskell and vice versa. Tool support is included in this release to aid such interop. The new version includes development done since the start of the year. Apart from rewriting the internals completely to put it all on a sounder footing, this release includes proper support for .NET generic types (classes and interfaces), mapping them naturally on to Haskell parameterized types. The support for generics enables for instance mixed Haskell-.NET LINQ programming; see the distribution for examples of this along with some other interesting applications of the hs-dotnet interop layer. enjoy --sigbjorn From thaldyron at gmail.com Sun Apr 19 16:10:18 2009 From: thaldyron at gmail.com (Peter Robinson) Date: Sun Apr 19 15:56:48 2009 Subject: [Haskell] ANN: persistent-map-0.0.0 Message-ID: The persistent-map package [1] provides a thread-safe (STM) frontend for finite map types together with a backend interface for persistent storage. The TMap data type is thread-safe, since all access functions run inside an STM monad . Any type that is an instance of Data.Edison.Assoc.FiniteMapX (see EdisonAPI) can be used as a map type. If a TMap is modified within an STM transaction, a corresponding backend IO-request is added using the onCommit hook (cf. stm-io-hooks package). To ensure consistency, the (Adv)STM monad runs these requests iff the transaction commits. Additional backends (e.g. HDBC) can be added by instantiating class Backend. Cheers, Peter [1] http://hackage.haskell.org/cgi-bin/hackage-scripts/package/persistent-map From raffalli at univ-savoie.fr Sun Apr 19 17:16:49 2009 From: raffalli at univ-savoie.fr (Christophe Raffalli) Date: Sun Apr 19 16:59:04 2009 Subject: [Haskell] TYPES 2009 Message-ID: <49EB94C1.3000205@univ-savoie.fr> Dear list members, Tomorow Monday is the last day to register on the TYPES 2009 website if you want to pay reduced fee. Later registration is still possible and talk submission to. We will probably (as every year) publish post proceedings with good referee. The TYPES workshop cover theory ptractice and application of type theory. More detail and registration on the website http://www.lama.univ-savoie.fr/types09. Yours sincerely, The organizing commitee. From frank at rosemeier.info Sun Apr 19 16:39:40 2009 From: frank at rosemeier.info (Frank Rosemeier) Date: Sun Apr 19 17:14:48 2009 Subject: [Haskell] Helpful libraries to implement a board game? Message-ID: <2AE8F0A6-684C-494F-8831-D2DE77B9987A@rosemeier.info> Dear Haskellers, I would like to implement a board game for a single player in Haskell. The pieces may be moved one step in any direction if there is no piece next to it, and the goal is to rearrange the pieces to their home positions. The Haskell program should find an optimal solution (with minimal number of moves). Can anybody recommend some helpful libraries for this task? Any hints are very welcome! Frank Rosemeier From paul at cogito.org.uk Sun Apr 19 17:49:04 2009 From: paul at cogito.org.uk (Paul Johnson) Date: Sun Apr 19 17:35:24 2009 Subject: [Haskell] Helpful libraries to implement a board game? In-Reply-To: <2AE8F0A6-684C-494F-8831-D2DE77B9987A@rosemeier.info> References: <2AE8F0A6-684C-494F-8831-D2DE77B9987A@rosemeier.info> Message-ID: <49EB9C50.2040004@cogito.org.uk> Frank Rosemeier wrote: > > Dear Haskellers, > > I would like to implement a board game for a single player in Haskell. > The pieces may be moved one step in any direction if there is no piece > next to it, > and the goal is to rearrange the pieces to their home positions. > The Haskell program should find an optimal solution (with minimal > number of moves). > > Can anybody recommend some helpful libraries for this task? > Any hints are very welcome! This sounds like a homework problem, so I'll be a bit vague. This is a job for a combination of the list and state monads. Something of type ListT (State GameState) will probably be important. You just need to define the GameState type and something to give you a list of legal next moves :: GameState -> [GameState]. After that, its trivial. Paul. From a.serebrenik at tue.nl Tue Apr 21 04:34:32 2009 From: a.serebrenik at tue.nl (Serebrenik, A.) Date: Tue Apr 21 04:20:45 2009 Subject: [Haskell] Second Call for Papers: 2nd International Conference on Software Language Engineering Message-ID: <7DF2365FF07C0E4E89419D65CCC93C9E015F34315DAA@EXCHANGE11.campus.tue.nl> __________________________________________________________________ Call for Papers - SLE 2009 2nd International Conference on Software Language Engineering http://planet-sl.org/sle2009 Denver, Colorado, October 5-6, 2009 ___________________________________________________________________ Co-located with 12th International Conference on Model-Driven Engineering Languages and Systems (MODELS 2009) and 8th International Conference on Generative Programming and Component Engineering (GPCE 2009) Proceedings will be published in the LNCS series (subject to Springer's approval). The 2nd International Conference on Software Language Engineering (SLE) is devoted to topics related to artificial languages in software engineering. SLE's foremost mission is to encourage and organize communication between communities that have traditionally looked at software languages from different, more specialized, and yet complementary perspectives. SLE emphasizes the fundamental notion of languages as opposed to any realization in specific "technical spaces". SLE 2009 will be co-located with the 12th IEEE/ACM International Conference on Model-Driven Engineering Languages and Systems (MODELS 2009). Scope ----- The term 'software language' comprises all sorts of artificial languages used in software development including general-purpose programming languages, domain-specific languages, modeling and meta-modeling languages, data models, and ontologies. Used in its broadest sense, examples include modeling languages such as UML-based and domain-specific modeling languages, business process modeling languages, and web application modeling languages. The term 'software language' also comprises APIs and collections of design patterns that are implicitly defined languages. Software language engineering is the application of a systematic, disciplined, quantifiable approach to the development, use, and maintenance of these languages. Thus, the SLE conference is concerned with all phases of the life cycle of software languages; these include the design, implementation, documentation, testing, deployment, evolution, recovery, and retirement of languages. Of special interest are tools, techniques, methods and formalisms that support these activities. In particular, tools are often based on or even automatically generated from a formal description of the language. Hence, of special interest is the treatment of language descriptions as software artifacts, akin to programs - while paying attention to the special status of language descriptions, subject to tailored engineering principles and methods for modularization, refactoring, refinement, composition, versioning, co-evolution, and analysis. Topics of interest ------------------ We solicit high-quality contributions in the area of SLE ranging from theoretical and conceptual contributions to tools, techniques and frameworks that support the aforementioned life cycle activities. Some examples of tools, techniques, applications, and problems are listed below in order to clarify the types of contributions sought by SLE. * Formalisms used in designing and specifying languages and tools that analyze such language descriptions. * Language implementation techniques, grammar-based and metamodel-based. * Program and model transformation tools. * Composition, integration, and mapping tools for managing different aspects of software languages or different manifestations of a given language. * Language evolution. * Approaches to the elicitation, specification, and verification of requirements for software languages. * Language development frameworks, methodologies, techniques, best practices, and tools for the broader language life cycle covering phases such as analysis, testing, and documentation. * Design challenges in SLE. * Applications of languages including innovative domain-specific languages or "little" languages Do note that this list is not exclusive and many examples of tools, techniques, approaches have not been listed. Please visit the conference web site to see a more elaborate description of the topics of interests. The program committee chairs encourage potential contributors to contact them with questions about the scope and topics of interest of SLE. Paper Submission ---------------- We solicit the following types of papers: * Research papers. These should report a substantial research contribution to SLE and/or successful application of SLE techniques. Full paper submissions must not exceed 20 pages. * Short papers. These may describe interesting or thought-provoking concepts that are not yet fully developed or evaluated, make an initial contribution to challenging research issues in SLE, or discuss and analyze controversial issues in the field. These papers must not exceed 10 pages. * Tool demonstration papers. Because of SLE's ample interest in tools, we seek papers that present software tools related to the field of SLE. These papers will accompany a tool demonstration to be given at the conference. These papers must not exceed 10 pages. The selection criteria include the originality of the tool, its innovative aspects, the relevance of the tool to SLE, and the maturity of the tool. Submissions may also include an appendix (that will not be published) containing additional screen-shots and discussion of the proposed demonstration. * Mini-tutorial papers. SLE is composed of various research areas, such as grammarware, modelware, language schemas, and semantic technologies. The cross product of attendees at SLE creates a situation where the contribution from one session may be difficult to understand by those not initiated to the area. To help unite the various communitues of SLE 2009, mini-tutorials are solicited that provide discussion points for mapping common ideas between the area and differentiating among variations. A mini-tutorial submisson should be between 15 and 20 pages. Submitted articles must not have been previously published or currently be submitted for publication elsewhere. All submitted papers will be closely reviewed by at least three members of the program committee. All accepted papers will be made available at the conference in the pre-proceedings and published in the post-proceedings of the conference, which will appear in Springer's Lecture Notes in Computer Science series. Authors will have the opportunity to revise their accepted paper for the pre- and post-proceedings. All papers must be formatted by following Springer's LNCS style and must be submitted using EasyChair (open early June): http://www.easychair.org/conferences/?conf=sle09 Further details regarding submission can be found on the SLE web page: http://planet-sl.org/sle2009 Invited Speakers ---------------- James Cordy, Queens University, Canada Jean Bezivin, University of Nantes, France Important Dates --------------- * Initial abstract submission (required) July 3, 2009 * Paper submission: July 10, 2009 * Author notification: August 21, 2009 * Paper submission for pre-proceedings: September 14, 2009 * Conference: October 5-6, 2009 * Camera-ready paper submission for post-proceedings: December 7, 2009 * LNCS post-proceedings mailed to authors (approx.): February 2010 Organization ------------ General Chair * Dragan Gasevic, Athabasca University, Canada Program Committee Co-Chairs * Mark van den Brand, TU Eindhoven, The Netherlands * Jeff Gray, University of Alabama at Birmingham, USA Program Committee * Colin Atkinson, Universit?t Mannheim, Germany * Don Batory, University of Texas at Austin, USA * Paulo Borba, Universidade Federal de Pernambuco, Brazil * John Boyland, University of Wisconsin, Milwaukee, USA * Marco Brambilla, Politecnico di Milano, Italy * Shigeru Chiba, Tokyo Institute of Technology, Japan * Charles Consel, LaBRI / INRIA, France * Gregor Engels, Universit?t Paderborn, Germany * Stephen A. Edwards, Columbia University, USA * Robert Fuhrer, IBM T.J. Watson Research, USA * Martin Gogolla, University of Bremen, Germany * Giancarlo Guizzardi, Federal University of Esp?rito Santo, Brazil * Reiko Heckel, University of Leicester, UK * Fr?d?ric Jouault, INRIA & Ecole des Mines de Nantes, France * Nicholas Kraft, University of Alabama, USA * Thomas K?hne, Victoria University of Wellington, New Zealand * Julia Lawall, University of Copenhagen, Denmark * Timothy Lethbridge, University Ottawa, Canada * Brian Malloy, Clemson University, USA * Kim Mens, Universit? catholique de Louvain, Belgium * Marjan Mernik, University of Maribor, Slovenia * Todd Millstein, University of California, Los Angeles, USA * Pierre-Etienne Moreau, INRIA Nancy - Grand Est, France * Pierre-Alain Muller, University of Haute-Alsace, France * Daniel Oberle, SAP Research, Germany * Richard Paige, University of York, UK * James Power, National University of Ireland, Ireland * Jo?o Saraiva, Universidade do Minho, Portugal * Mary Lou Soffa, University of Virginia, USA * Juha-Pekka Tolvanen, MetaCase, Finland * Alexander Serebrenik, Eindhoven University of Technology, Netherlands * Tony Sloane, Macquarie University, Australia * Steffen Staab, Universit?t Koblenz-Landau, Germany * Jun Suzuki, University of Massachusetts, Boston, USA * Walid Taha, Rice University, USA * Eli Tilevich, Virginia Tech, USA * Jurgen Vinju, CWI, Netherlands * Eelco Visser, Delft University of Technology, Netherlands * Ren? Witte, Concordia University, Canada Organization Committee * Bardia Mohabbati, Simon Fraser University, Canada (Web Chair) * Alexander Serebrenik, TU Eindhoven, The Netherlands (Publicity co-Chair) * James Hill, Vanderbilt University, USA (Publicity co-Chair) From marlowsd at gmail.com Tue Apr 21 11:40:35 2009 From: marlowsd at gmail.com (Simon Marlow) Date: Tue Apr 21 11:26:53 2009 Subject: [Haskell] CFT: Haskell Implementers' Workshop 2009 (co-located with ICFP) Message-ID: <49EDE8F3.4070403@gmail.com> Call for Talks ACM SIGPLAN Haskell Implementers' Workshop http://haskell.org/haskellwiki/HaskellImplementorsWorkshop Edinburgh, Scotland, September 3, 2009 The workshop will be held in conjunction with ICFP 2009 http://www.cs.nott.ac.uk/~gmh/icfp09.html Important dates Proposal Deadline: 15 June 2009 Notification: 3 July 2009 The Haskell Implementers Workshop is a new workshop to be held alongside ICFP 2009 this year in Edinburgh, Scotland. There will be no proceedings; it is an informal gathering of people involved in the design and development of Haskell implementations, tools, libraries, and supporting infrastructure. This new workshop reflects the growth of the user community: there is a clear need for a well-supported tool chain for the development, distribution, deployment, and configuration of Haskell software. The aim is for this workshop to give the people involved with building the infrastructure behind this ecosystem an opportunity to bat around ideas, share experiences, and ask for feedback from fellow experts. We intend the workshop to have an informal and interactive feel, with a flexible timetable and plenty of room for ad-hoc discussion, demos, and impromptu short talks. Scope and target audience ------------------------- We feel it's important to clearly distinguish the Haskell Implementers Workshop from the other Haskell-related workshops co-located with ICFP 2009. The Haskell Symposium is for the publication of Haskell-related research. In contrast, the Haskell Implementers' Workshop will have no proceedings - although we will aim to make slides and talk videos available with the consent of the speakers. DEFUN aims to teach how functional programming techniques can be applied in practice. In the Haskell Implementors' Workshop we hope to study the underlying technology that drives this application development. We want to bring together anyone interested in the nitty gritty details necessary to turn a text file into a deployed product. Having said that, members of the wider Haskell community are more than welcome to attend the workshop - we need your feedback to keep the Haskell ecosystem thriving. The scope covers any of the following topics (but there may be some we've missed, so by all means submit a proposal even if it doesn't fit exactly into one of these buckets): * Compilation techniques * Language features and extensions * Type system implementation * Concurrency and parallelism: language design and implementation * Performance, optimisation and benchmarking * Virtual machines and run-time systems * Libraries and Tools for development or deployment Talks ----- At this stage we'd like to invite proposals from potential speakers for a relatively short (20-30 min) talk. Please submit a talk title and abstract of no more than 200 words to simonmar@microsoft.com. We want to hear from people writing compilers, tools, or libraries, people with cool ideas for directions in which we should take the platform, proposals for new features to be implemented, and half-baked crazy ideas. We also plan to invite a number of speakers from the community. Organizers ---------- * Duncan Coutts - co-chair (Well-Typed LLP) * Atze Dijkstra (Utrecht University) * Roman Leshchinskiy (University of New South Wales) * Simon Marlow - co-chair (Microsoft Research) * Bryan O'Sullivan (Linden Lab) * Wouter Swierstra (Chalmers University of Technology) From martijn at van.steenbergen.nl Tue Apr 21 17:07:51 2009 From: martijn at van.steenbergen.nl (Martijn van Steenbergen) Date: Tue Apr 21 16:54:17 2009 Subject: [Haskell] Re: [Haskell-cafe] ANN: list-tries-0.0 - first release In-Reply-To: References: Message-ID: <49EE35A7.8060302@van.steenbergen.nl> Matti Niemenmaa wrote: > In order to run properly, list-tries needs a version of 'containers' > that hasn't yet been released. I incorporated a little hack which makes > it compile even with 0.2, but some calls will fail by calling 'error': > 30 of my 1014 test cases do so. 1014 test cases?! Wow. :-) FYI, list-tries installed without any problems (with containers-0.2.0.0). Thanks, Martijn. From andres at cs.uu.nl Wed Apr 22 02:11:44 2009 From: andres at cs.uu.nl (Andres Loeh) Date: Wed Apr 22 01:57:52 2009 Subject: [Haskell] Call for Participation: Utrecht Summer School on Applied Functional Programming Message-ID: <20090422061144.GA26836@cs.uu.nl> Call for participation: ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Utrecht Summer School in Computer Science: Applied Functional Programming August 17-28, 2009 Utrecht, The Netherlands ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ We are offering a summer school that may be interesting to Haskell beginners on this list. We mainly target bachelor and master students, but others interested are also welcome to apply. Note that the deadline for applications is very soon; May 1, 2009. More information: http://www.utrechtsummerschool.nl/index.php?type=courses&code=H9 Cheers, Andres -- Andres Loeh, Universiteit Utrecht mailto:andres@cs.uu.nl mailto:mail@andres-loeh.de http://www.andres-loeh.de From raffalli at univ-savoie.fr Wed Apr 22 15:48:05 2009 From: raffalli at univ-savoie.fr (Christophe Raffalli) Date: Wed Apr 22 15:30:11 2009 Subject: [Haskell] [Types] TYPES annual workshop in Aussois, France. Message-ID: <49EF7475.8000600@univ-savoie.fr> Dear list members, The Types 2009 meeting will be held in Aussois, at the "centre Paul Langevin" managed by the CNRS. This centre will supply everything: conference room, accommodation, meals, etc. It should provide very good conditions for profitable work. Early registration is now closed, but you can still register (until the week before the workshop). We also extended the deadline for talks submissions until the 27th of April. You are welcome to submit a talk or a demo You can find all the information on the workshop web page: http://www.lama.univ-savoie.fr/~types09/index.php Hoping to see some of you in Aussois, best regards, The TYPES 2009 program commitee. -- From sescobar at dsic.upv.es Wed Apr 22 23:17:22 2009 From: sescobar at dsic.upv.es (Santiago Escobar) Date: Wed Apr 22 23:03:37 2009 Subject: [Haskell] WFLP09: Deadline Extension References: Message-ID: <95C5E6D2-0FFA-4A72-B97B-008601678710@dsic.upv.es> ******************************************************************* DEADLINE EXTENSION WFLP 2009 18th International Workshop on Functional and (Constraint) Logic Programming Brasilia, Brazil, June, 28, 2009 http://www.dsic.upv.es/workshops/wflp09/ ********* part of the Federated Conference on Rewriting, Deduction, and Programming RDP'09 http://rdp09.cic.unb.br/index.html ******************************************************************* IMPORTANT DATES Abstract Submission April 27, 2009 Full Paper Submission May 3, 2009 Acceptance Notification May 25, 2009 Preliminary Proceedings June 8, 2009 Workshop June 28, 2009 PUBLICATION Preliminary proceedings will be available at the workshop. Selected authors will be invited to submit a full version of their papers after the workshop. Contributions accepted for the post-workshop proceedings will be published in Lecture Notes in Computer Science. INVITED SPEAKERS Claude Kirchner INRIA Bordeaux - Sud-Ouest, France Roberto Ierusalimschy Departamento de Informatica, PUC-Rio, Brazil From martijn at van.steenbergen.nl Thu Apr 23 09:13:41 2009 From: martijn at van.steenbergen.nl (Martijn van Steenbergen) Date: Thu Apr 23 09:00:04 2009 Subject: [Haskell] Hac5 roundup Message-ID: <49F06985.8080401@van.steenbergen.nl> Dear Haskell Hackers, Many thanks to all those who attended Hac5! We had a spectacular number of participants: over 50 hackers showed up, representing several countries. Many thanks also to the organising committee and sponsors! Those bagels on Sunday were delicious. :-) Please check out the updated wiki page [1] for: * a nice group photo of most attendants taken by Thomas Davie; * a list of blog posts/galleries/videos of the event; * a list of projects worked on and the progress that was made. Additionally, if you covered Hac5 in some way or contributed to any of the projects, please add your links or progress summary to the page. Thanks, Martijn. [1] http://www.haskell.org/haskellwiki/Hac5 From mnislaih at gmail.com Sat Apr 25 14:51:44 2009 From: mnislaih at gmail.com (Pepe Iborra) Date: Sat Apr 25 14:37:40 2009 Subject: [Haskell] ANN control-monad-exception-0.1: Explicitly typed exceptions Message-ID: <44b20d900904251151l6d8af72ch548d37372dad22b@mail.gmail.com> The control-monad-exception package [1] provides explicitly typed exceptions for Haskell. In other words, this is a perfect example of bundling in a Haskell library what for other programming languages is a native feature. The type of a computation in the EM monad carries a list of the exceptions that the computation may throw. A exception is raised with 'throw', which in addition adds it to the type, and captured with 'catch', which correspondingly removes it from the type. Only safe computations (all exceptions handled) can escape from the monad. The encoding used for the exception list is based on a phantom type variable carrying a @Throws@ constraint for every exception type. Catching an exception @e@ satifies the constraint @Throws e@ thus removing it from the type. It is possible to teach Throws about exception subtyping by manually inserting new instances declaring the subtyping relations between exceptions. I don't believe there is a better way to handle this, as the existential wrapper encoding used for Control.Exception.SomeException does not reveal the subtyping relations, but ideas are welcome. Example -------- GHCi infers the following types eval :: (Throws DivideByZero l, Throws SumOverflow l) => Expr -> EM l Double eval `catch` \ (e::DivideByZero) -> return (-1) :: Throws SumOverflow l => Expr -> EM l Double runEM (eval `catch` \ (e::SomeException) -> return (-1)) :: Expr -> Double for the code below. > import Control.Monad.Exception > import Data.Typeable > data Expr = Add Expr Expr | Div Expr Expr | Val Double > eval (Val x) = return x > eval (Add a1 a2) = do > v1 <- eval a1 > v2 <- eval a2 > let sum = v1 + v2 > if sum < v1 || sum < v2 then throw SumOverflow else return sum > eval (Div a1 a2) = do > v1 <- eval a1 > v2 <- eval a2 > if v2 == 0 then throw DivideByZero else return (v1 / v2) > data DivideByZero = DivideByZero deriving (Show, Typeable) > data SumOverflow = SumOverflow deriving (Show, Typeable) > instance Exception DivideByZero > instance Exception SumOverflow Comments and patches are welcome. Cheers, Pepe Iborra [1] - http://hackage.haskell.org/cgi-bin/hackage-scripts/package/control-monad-exception From byorgey at seas.upenn.edu Sat Apr 25 17:57:21 2009 From: byorgey at seas.upenn.edu (Brent Yorgey) Date: Sat Apr 25 17:43:33 2009 Subject: [Haskell] Haskell Weekly News: Issue 115 - April 25, 2009 Message-ID: <20090425215721.GA4913@seas.upenn.edu> --------------------------------------------------------------------------- Haskell Weekly News http://sequence.complete.org/hwn/20090425 Issue 115 - April 25, 2009 --------------------------------------------------------------------------- Welcome to issue 115 of HWN, a newsletter covering developments in the [1]Haskell community. By all reports, the [2]5th Haskell Hackathon was a resounding success, with over 50 hackers present and many interesting Haskell projects worked on! Announcements darcs hacking sprint 2 and hac5 report. Eric Kow [3]sent out a link to a [4]report on the second darcs hacking sprint, held as part of the Haskell Hackathon. HPong-0.1.2: A simple OpenGL Pong game based on GLFW. R.A. Niemeijer [5]announced the release of [6]HPong, a simple Pong game implemented using OpenGL and GLFW. Hac5 roundup. Martijn van Steenbergen [7]reported on the 5th Haskell Hackathon. See the [8]wiki page for details, pictures, and links to blog posts. HTTP-4000.0.6. Sigbjorn Finne [9]announced a new release of the [10]HTTP package, which adds more robust handling of ill-formed cookies, and fixes a bug in normalization of certain proxy-bound requests. dataenc 0.12.1.0. Magnus Therning [11]announced version 0.12.1.0 of the [12]dataenc package. This version adds a bunch of new encodings, including xxencode, hexadecimal, quoted-printable, python escaping, and url encoding; and also fixed some bugs. list-tries-0.0 - first release. Matti Niemenmaa [13]announced the first public release of [14]list-tries, a library providing implementations of finite sets and maps for list keys using tries, both simple and of the Patricia kind. The data types are parametrized over the map type they use internally to store the child nodes: this allows extending them to support different kinds of key types or increasing efficiency. curl-1.3.5. Sigbjorn Finne [15]announced a new release of the [16]curl package, which provides Haskell bindings to libcurl. It works with ghc 6.10.2, taking into account the updated story on how to register Haskell-based finalizers. Runge-Kutta library -- solve ODEs. Uwe Hollerbach [17]announced a [18]Runge-Kutta library for numerically solving ordinary differential equations. funsat-0.6. Denis Bueno [19]announced version 0.6 of [20]funsat, a modern, DPLL-style SAT solver written in Haskell. Funsat solves formulas in conjunctive normal form and produces a total variable assignment for satisfiable problems. Version 0.6 adds a representation for logical circuits (and, or, not, onlyif, iff, if-then-else) supporting efficient conversion to CNF, and now uses the BSD3 license. control-monad-exception-0.1: Explicitly typed exceptions. Pepe Iborra [21]announced the [22]control-monad-exception package, which provides explicitly typed exceptions for Haskell. The type of a computation in the EM monad carries a list of the exceptions that the computation may throw. A exception is raised with 'throw', which in addition adds it to the type, and captured with 'catch', which correspondingly removes it from the type. Only safe computations (all exceptions handled) can escape from the monad. Haskell Implementers' Workshop 2009 (co-located with ICFP). Simon Marlow [23]issued a call for talks to be given at the ACM SIGPLAN [24]Haskell Implementers' Workshop, to be held on September 3 in Edinburgh, Scotland, in conjunction with [25]ICFP 2009. The proposal deadline in 15 June. The Haskell Implementers Workshop is a new workshop to be held alongside ICFP 2009 this year in Edinburgh, Scotland. There will be no proceedings; it is an informal gathering of people involved in the design and development of Haskell implementations, tools, libraries, and supporting infrastructure. persistent-map-0.0.0. Peter Robinson [26]announced the [27]persistent-map package, which provides a thread-safe (STM) frontend for finite map types together with a backend interface for persistent storage. A pragmatic Haskell .NET interop layer, 0.4.0. Sigbjorn Finne [28]announced a new release of [29]hs-dotnet, a Haskell .NET interop layer. It lets you access .NET functionality from Haskell and vice versa. The new version includes development done since the start of the year. Apart from rewriting the internals completely to put it all on a sounder footing, this release includes proper support for .NET generic types (classes and interfaces), mapping them naturally on to Haskell parameterized types. Utrecht Haskell Compiler (UHC) -- first release. atze [30]announced the first public release of the [31]Utrecht Haskell Compiler (UHC). UHC supports almost all Haskell98 features plus many experimental extensions. The compiler runs on MacOSX, Windows (cygwin), and various Unix flavors. Features include multiple backends, including a bytecode interpreter backend and a GRIN based, full program analysing backend; experimental language extensions, some of which have not been implemented before; implementation via attribute grammars and other high-level tools; and ease of experimentation with language variants, thanks to an aspect-oriented internal organisation. 6.10.3 plans. Ian Lynagh [32]announced plans for a 6.10.3 release of GHC, in order to fix the handling of ^C in ghci. 6.10.3 will also use haskeline instead of editline. A HERE Document syntax. Jason Dusek [33]proposed a lightweight syntax for HERE documents in Haskell. Discussion Functor and Haskell. Daryoush Mehrtash [34]asked about the link between functors in category theory and Haskell's Functor class; the resulting thread is a good introduction to the connections between Haskell and category theory for those just learning the latter. breaking too long lines. Christian Maeder [35]asked how to break long lines in Haskell source, leading to an interesting discussion of coding style. Jobs Haskell consultant wanted to develop small, Mac-based utility in Haskell or AppleScript. R J [36]announced an opportunity to develop a short program to annotate lists of words with their definitions. Blog noise [37]Haskell news from the [38]blogosphere. * Twan van Laarhoven: [39]Where do I get my non-regular types?. * Sebastian Fischer: [40]Reinventing Haskell Backtracking. * Darcs: [41]darcs hacking sprint #2 report. * Well-Typed.Com: [42]Platform progress and the Hackathon. * Roman Cheplyaka: [43]Hac5: the rest of the story (almost). * Twan van Laarhoven: [44]A non-regular data type challenge. * Magnus Therning: [45]dataenc 0.12.1.0 released. * Galois, Inc: [46]Portland Next Week: ICFP PC Functional Programming Workshop. * Christophe Poucet (vincenz): [47]Flattening Data.Map. * Roman Cheplyaka: [48]Hac5: second day. * Xmonad: [49]contribs review. * GHC / OpenSPARC Project: [50]Loose ends and register pairing. * Sean Leather: [51]Latest on the incremental fold and attributes. * >>> Matthew Podwysocki: [52]Functional Solution for the Shortest Path Problem . * Chris Smith: [53]Code for Manipulating Graphs in Haskell. * Austin Seipp: [54]A little fun with Haskabelle. Proving things about *existing* Haskell code in Isabelle. * Tupil: [55]Running Happstack applications with FastCGI. * Martijn van Steenbergen: [56]Hac5-Saturday. * beelsebob: [57]Bottoms. * Antoine Latter: [58]Using Haskeline. * Darcs: [59]darcs weekly news #26. * Martijn van Steenbergen: [60]Hacking GHC-What I've learned. * >>> Brandon Simmons: [61]Initial tests of Tries: Follow Up. * >>> Lab 49: [62]The Algebra of Data, and the Calculus of Mutation. * Martijn van Steenbergen: [63]Hac5-Friday. Pictures from the Hackathon. * >>> Matthew Podwysocki: [64]Haskell and Collective Intelligence . Quotes of the Week * Gracenotes: foldr chosen for its magical evil terminating powers * uninverted: Moving from lisp to haskell with respect to functions is like moving from c to perl with respect to strings. * Berengal: [On infinitely fast computers] The OS probably has a failsafe built in: If a program is running it's in an infinite loop and needs to be killed... * nikki93: After a bit more delving, I've come to see the power of haskell at last. You have to treat functions like crap, forget about the C idea that they're 'big things'. They're not. * Berengal: I was squashing a bug, got frustrated, and typed "fix error" in ghci... About the Haskell Weekly News New editions are posted to [65]the Haskell mailing list as well as to [66]the Haskell Sequence and [67]Planet Haskell. [68]RSS is also available, and headlines appear on [69]haskell.org. To help create new editions of this newsletter, please see the information on [70]how to contribute. Send stories to byorgey at cis dot upenn dot edu. The darcs repository is available at darcs get [71]http://code.haskell.org/~byorgey/code/hwn/ . References 1. http://haskell.org/ 2. http://www.haskell.org/haskellwiki/Hac5 3. http://article.gmane.org/gmane.comp.lang.haskell.cafe/57551 4. http://blog.darcs.net/2009/04/darcs-hacking-sprint-2-report.html 5. http://article.gmane.org/gmane.comp.lang.haskell.cafe/57493 6. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HPong 7. http://article.gmane.org/gmane.comp.lang.haskell.cafe/57470 8. http://www.haskell.org/haskellwiki/Hac5 9. http://article.gmane.org/gmane.comp.lang.haskell.cafe/57336 10. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HTTP 11. http://article.gmane.org/gmane.comp.lang.haskell.libraries/10945 12. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/dataenc 13. http://article.gmane.org/gmane.comp.lang.haskell.cafe/57311 14. http://iki.fi/matti.niemenmaa/list-tries/ 15. http://article.gmane.org/gmane.comp.lang.haskell.cafe/57251 16. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/curl 17. http://article.gmane.org/gmane.comp.lang.haskell.cafe/57160 18. http://www.korgwal.com/software/rk-1.0.0.tar.gz 19. http://article.gmane.org/gmane.comp.lang.haskell.cafe/57101 20. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/funsat 21. http://article.gmane.org/gmane.comp.lang.haskell.general/17120 22. http://article.gmane.org/gmane.comp.lang.haskell.general/17120 23. http://article.gmane.org/gmane.comp.lang.haskell.general/17113 24. http://haskell.org/haskellwiki/HaskellImplementorsWorkshop 25. http://www.cs.nott.ac.uk/~gmh/icfp09.html 26. http://article.gmane.org/gmane.comp.lang.haskell.general/17106 27. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/persistent-map 28. http://article.gmane.org/gmane.comp.lang.haskell.general/17105 29. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hs%2Ddotnet 30. http://article.gmane.org/gmane.comp.lang.haskell.general/17103 31. http://www.cs.uu.nl/wiki/UHC 32. http://article.gmane.org/gmane.comp.lang.haskell.glasgow.user/16792 33. http://article.gmane.org/gmane.comp.lang.haskell.prime/2787 34. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/57324 35. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/57207 36. http://article.gmane.org/gmane.comp.lang.haskell.cafe/57568 37. http://planet.haskell.org/ 38. http://haskell.org/haskellwiki/Blog_articles 39. http://twan.home.fmf.nl/blog/haskell/non-regular2.details 40. http://www-ps.informatik.uni-kiel.de/~sebf/pub/atps09.html 41. http://blog.darcs.net/2009/04/darcs-hacking-sprint-2-report.html 42. http://blog.well-typed.com/2009/04/platform-progress-and-the-hackathon/ 43. http://ro-che.blogspot.com/2009/04/hac5-rest-of-story-almost.html 44. http://twan.home.fmf.nl/blog/haskell/non-regular1.details 45. http://therning.org/magnus/archives/568 46. http://www.galois.com/blog/2009/04/23/portland-next-week-icfp-pc-functional-programming-workshop/ 47. http://cpoucet.wordpress.com/2009/04/18/flattening-datamap/ 48. http://ro-che.blogspot.com/2009/04/hac5-second-day.html 49. http://xmonad.wordpress.com/2009/04/22/contribs-review/ 50. http://ghcsparc.blogspot.com/2009/04/loose-ends-and-register-pairing.html 51. http://feedproxy.google.com/~r/splonderzoek/~3/KWqNCgsK1ww/latest-on-incremental-fold-and.html 52. http://codebetter.com/blogs/matthew.podwysocki/archive/2009/04/21/functional-solution-for-the-shortest-path-problem.aspx 53. http://cdsmith.wordpress.com/2009/04/20/code-for-manipulating-graphs-in-haskell/ 54. http://www.jedi-ninja.net/2009/04/20/A-little-fun.html 55. http://blog.tupil.com/running-happstack-applications-with-fastcgi/ 56. http://martijn.van.steenbergen.nl/journal/2009/04/19/hac5-saturday/ 57. http://noordering.wordpress.com/2009/04/19/bottoms/ 58. http://panicsonic.blogspot.com/2009/04/using-haskeline.html 59. http://blog.darcs.net/2009/04/darcs-weekly-news-26.html 60. http://martijn.van.steenbergen.nl/journal/2009/04/18/hacking-ghc-what-ive-learned/ 61. http://coder.bsimmons.name/blog/2009/04/initial-tests-of-tries-follow-up/ 62. http://blog.lab49.com/archives/3011 63. http://martijn.van.steenbergen.nl/journal/2009/04/17/hac5-friday/ 64. http://codebetter.com/blogs/matthew.podwysocki/archive/2009/04/17/haskell-and-collective-intelligence.aspx 65. http://www.haskell.org/mailman/listinfo/haskell 66. http://sequence.complete.org/ 67. http://planet.haskell.org/ 68. http://sequence.complete.org/node/feed 69. http://haskell.org/ 70. http://haskell.org/haskellwiki/HWN 71. http://code.haskell.org/~byorgey/code/hwn/ From sigbjorn.finne at gmail.com Sat Apr 25 19:59:44 2009 From: sigbjorn.finne at gmail.com (Sigbjorn Finne) Date: Sat Apr 25 19:45:58 2009 Subject: [Haskell] ANN: Bamse-0.9.4, a Windows Installer generator Message-ID: <49F3A3F0.6030102@gmail.com> Hi, a new version of Bamse has been uploaded to hackage, http://hackage.haskell.org/cgi-bin/hackage-scripts/package/bamse Bamse is a package and application for letting you quickly put together Windows Installers for your software projects/products from within the comforts of Haskell. New in this release is the support for generating MSIs from your Cabal projects, having them either be built from source or just have them be installed and registered at install-time. i.e., one-click installation of Cabal packages. See examples/Cabal.hs for a worked example of how to bundle up Cabal packages. I've found this functionality a bit useful, hope others do too. The new version also adds support for handling .NET assemblies. enjoy --sigbjorn From michael.dever2 at mail.dcu.ie Sun Apr 26 12:24:09 2009 From: michael.dever2 at mail.dcu.ie (Michael Dever) Date: Sun Apr 26 12:10:04 2009 Subject: [Haskell] ANNOUNCE: Haskell File Manager Message-ID: Hi, The first release of Haskell File Manager has been uploaded to http://code.haskell.org/haskellfm This is a program for viewing/managing the files on your computer. It has all the common functionality you would expect from your current file manager, copying, moving, deleting, renaming, opening and searching. It is a beta release, so you know what to expect there, and any bugs found can be filed at http://trac.haskell.org/haskellfm . Regards, Michael -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/haskell/attachments/20090426/115fe743/attachment.htm From dons at galois.com Sun Apr 26 12:45:09 2009 From: dons at galois.com (Don Stewart) Date: Sun Apr 26 12:32:18 2009 Subject: [Haskell] ANNOUNCE: Haskell File Manager In-Reply-To: References: Message-ID: <20090426164509.GA29236@whirlpool.galois.com> Well done! Any screenshots? michael.dever2: > Hi, > > The first release of Haskell File Manager has been uploaded to http:// > code.haskell.org/haskellfm > > This is a program for viewing/managing the files on your computer. It has all > the common functionality you would expect from your current file manager, > copying, moving, deleting, renaming, opening and searching. It is a beta > release, so you know what to expect there, and any bugs found can be filed at > http://trac.haskell.org/haskellfm . > > Regards, > > Michael > _______________________________________________ > Haskell mailing list > Haskell@haskell.org > http://www.haskell.org/mailman/listinfo/haskell From tatd2 at kent.ac.uk Sun Apr 26 13:27:50 2009 From: tatd2 at kent.ac.uk (Thomas Davie) Date: Sun Apr 26 13:13:44 2009 Subject: [Haskell] ANNOUNCE: Haskell File Manager In-Reply-To: References: Message-ID: On 26 Apr 2009, at 18:24, Michael Dever wrote: > Hi, > > The first release of Haskell File Manager has been uploaded to http://code.haskell.org/haskellfm > > This is a program for viewing/managing the files on your computer. > It has all the common functionality you would expect from your > current file manager, copying, moving, deleting, renaming, opening > and searching. It is a beta release, so you know what to expect > there, and any bugs found can be filed at http://trac.haskell.org/haskellfm > . TreeFunctions.hs:24:7: Could not find module `DirectoryTree': Use -v to see a list of the files searched for. Bob From michael.dever2 at mail.dcu.ie Sun Apr 26 13:40:57 2009 From: michael.dever2 at mail.dcu.ie (Michael Dever) Date: Sun Apr 26 13:26:52 2009 Subject: [Haskell] ANNOUNCE: Haskell File Manager In-Reply-To: Message-ID: FYI, The blog with a screenshot of it: http://www.mickinator.com/wordpress/?cat=5 Regards, Michael On 26/04/2009 17:24, "Michael Dever" wrote: > Hi, > > The first release of Haskell File Manager has been uploaded to > http://code.haskell.org/haskellfm > > This is a program for viewing/managing the files on your computer. It has all > the common functionality you would expect from your current file manager, > copying, moving, deleting, renaming, opening and searching. It is a beta > release, so you know what to expect there, and any bugs found can be filed at > http://trac.haskell.org/haskellfm . > > Regards, > > Michael > > _______________________________________________ > Haskell mailing list > Haskell@haskell.org > http://www.haskell.org/mailman/listinfo/haskell -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/haskell/attachments/20090426/1dd8b941/attachment.htm From deniz.a.m.dogan at gmail.com Sun Apr 26 16:42:19 2009 From: deniz.a.m.dogan at gmail.com (Deniz Dogan) Date: Sun Apr 26 16:28:12 2009 Subject: [Haskell] ANNOUNCE: Haskell File Manager In-Reply-To: References: Message-ID: <7b501d5c0904261342y1f278840m754a8fc09229572@mail.gmail.com> 2009/4/26 Michael Dever : > Hi, > > The first release of Haskell File Manager has been uploaded to > http://code.haskell.org/haskellfm > > This is a program for viewing/managing the files on your computer. It has > all the common functionality you would expect from your current file > manager, copying, moving, deleting, renaming, opening and searching. It is a > beta release, so you know what to expect there, and any bugs found can be > filed at http://trac.haskell.org/haskellfm . Cool! Are there any plans on making a console UI as well? -- Deniz Dogan From voigt at tcs.inf.tu-dresden.de Mon Apr 27 18:19:34 2009 From: voigt at tcs.inf.tu-dresden.de (voigt@tcs.inf.tu-dresden.de) Date: Mon Apr 27 18:06:10 2009 Subject: [Haskell] LAST CALL: Haskell Communities and Activities Report Message-ID: Dear Haskellers, It is not yet too late to contribute to the May 2009 edition of the Haskell Communities and Activities Report. If you haven't already, please write an entry for your new project, or update your old entry. Please mail your entries to hcar@haskell.org in LaTeX format. More information can be found in the original Call for Contributions at http://www.haskell.org/pipermail/haskell/2009-April/021180.html I look forward to receiving your contributions. Thanks a lot, Janis. -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:voigt@tcs.inf.tu-dresden.de From matthew at wellquite.org Mon Apr 27 18:45:07 2009 From: matthew at wellquite.org (Matthew Sackman) Date: Mon Apr 27 18:32:43 2009 Subject: [Haskell] Announce: GraphViz: Change of Maintainer Message-ID: <20090427224507.GA26905@wellquite.org> I no longer have the time to continue development of the (apparently, judging from the number of emails I'm getting, rather popular) graphviz package. Fortunately, Ivan Lazar Miljenovic who has extended it himself and sent me patches (some of which I did get round to folding in) has agreed to take on the package. Please direct all further queries to him! Many thanks Ivan! Matthew From DekuDekuplex at Yahoo.com Mon Apr 27 23:19:52 2009 From: DekuDekuplex at Yahoo.com (Benjamin L.Russell) Date: Mon Apr 27 23:07:50 2009 Subject: [Haskell] Re: ANNOUNCE: Haskell File Manager References: Message-ID: On Sun, 26 Apr 2009 18:40:57 +0100, Michael Dever wrote: > >FYI, > >The blog with a screenshot of it: > >http://www.mickinator.com/wordpress/?cat=5 The screenshot shows it running on Ubuntu. Does it also run on Windows XP? -- Benjamin L. Russell -- Benjamin L. Russell / DekuDekuplex at Yahoo dot com http://dekudekuplex.wordpress.com/ Translator/Interpreter / Mobile: +011 81 80-3603-6725 "Furuike ya, kawazu tobikomu mizu no oto." -- Matsuo Basho^ From michael.dever2 at mail.dcu.ie Tue Apr 28 03:36:09 2009 From: michael.dever2 at mail.dcu.ie (Michael Dever) Date: Tue Apr 28 03:24:40 2009 Subject: [Haskell] Re: ANNOUNCE: Haskell File Manager In-Reply-To: References: Message-ID: Hey Benjamin, At this time no it doesn't, it only supports Linux ( no Mac support either ), but I have plans to add in Windows support if I get good feedback on it & people want more from it :D Regards, Michael On Tue, Apr 28, 2009 at 4:19 AM, Benjamin L.Russell wrote: > On Sun, 26 Apr 2009 18:40:57 +0100, Michael Dever > wrote: > > > > >FYI, > > > >The blog with a screenshot of it: > > > >http://www.mickinator.com/wordpress/?cat=5 > > The screenshot shows it running on Ubuntu. Does it also run on > Windows XP? > > -- Benjamin L. Russell > -- > Benjamin L. Russell / DekuDekuplex at Yahoo dot com > http://dekudekuplex.wordpress.com/ > Translator/Interpreter/ Mobile: +011 81 80-3603-6725 > "Furuike ya, kawazu tobikomu mizu no oto." > -- Matsuo Basho^ > > _______________________________________________ > Haskell mailing list > Haskell@haskell.org > http://www.haskell.org/mailman/listinfo/haskell > -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/haskell/attachments/20090428/924c544b/attachment-0001.htm From Sven.Panne at aedion.de Tue Apr 28 12:07:58 2009 From: Sven.Panne at aedion.de (Sven Panne) Date: Tue Apr 28 11:53:51 2009 Subject: [Haskell] ANNOUNCE: OpenGL 2.2.2.0 Message-ID: <200904281807.58587.Sven.Panne@aedion.de> A new version of the OpenGL package has bee uploaded to Hackage. This is mainly a bug fix release, containing the following changes: * Minor tweaks for recent Cabal versions. * Removal of old GHC build system relics. * Handle "invalid framebuffer operation" error. * Terminate GLSL attribute names with NUL in various functions. * Access 3D texture functions via their core API names, improving portability (e.g. for MacOS X). * Added a workaround for a bug in the SGI tessellator. * Fixed marshalling of control points for evaluators. * Added mapBuffer/unmapBuffer and beginQuery/endQuery to exported API. Cheers, S. From Sven.Panne at aedion.de Tue Apr 28 12:14:46 2009 From: Sven.Panne at aedion.de (Sven Panne) Date: Tue Apr 28 12:00:36 2009 Subject: [Haskell] ANNOUNCE: GLUT 2.1.2.0 Message-ID: <200904281814.46510.Sven.Panne@aedion.de> A new version of the GLUT package has been uploaded to Hackage. This is a feature release, adding all the shiny new features of the upcoming freeglut 2.6.0 C library plus a few older bits and pieces which had been missing: * Minor tweaks for recent Cabal versions * Removal of old GHC build system relics. * Added support for OpenGL 3.x context creation (freeglut only) * Added support for getModeValues (freeglut extension) * Added freeglut-specific full screen API * Added freeglut-specific (de-)initialization API * Added support for multisampling with given samples per pixel (freeglut) * Added support for mouse wheel callback (freeglut) * Added support for window state callback (freeglut) * Added support for captionless/borderless windows (freeglut 2.6.0) * Handle special keys introduced by freeglut 2.6.0 The most important addition is the ability to create versioned context, so you can use forward compatible OpenGL 3.1 contexts. Death to the fixed function pipeline!! ;-) Cheers, S. From Sven.Panne at aedion.de Tue Apr 28 12:17:36 2009 From: Sven.Panne at aedion.de (Sven Panne) Date: Tue Apr 28 12:03:25 2009 Subject: [Haskell] ANNOUNCE: OpenAL 1.3.1.2 Message-ID: <200904281817.36327.Sven.Panne@aedion.de> A new version of the OpenAL package has been uploaded to Hackage. This is a bug fix only release: * Minor tweaks for recent Cabal versions * Removal of old GHC build system relics. * Use the correct calling convention on Windows. Cheers, S. From Sven.Panne at aedion.de Tue Apr 28 12:19:09 2009 From: Sven.Panne at aedion.de (Sven Panne) Date: Tue Apr 28 12:04:59 2009 Subject: [Haskell] ANNOUNCE: ALUT 2.1.0.1 Message-ID: <200904281819.09149.Sven.Panne@aedion.de> A new version of the ALUT package has been uploaded to Hackage. This is a bug fix only release, containing only tiny changes: * Minor tweaks for recent Cabal versions * Removal of old GHC build system relics. Cheers, S. From doaitse at swierstra.net Tue Apr 28 17:43:34 2009 From: doaitse at swierstra.net (S. Doaitse Swierstra) Date: Tue Apr 28 17:29:23 2009 Subject: [Haskell] ANNOUNCE: uu-parsinglib-2.0.0 In-Reply-To: <200904281819.09149.Sven.Panne@aedion.de> References: <200904281819.09149.Sven.Panne@aedion.de> Message-ID: <76215254-253A-41F5-8EB4-D974DBDBBF0D@swierstra.net> The new uu-parsinglib package is the first version of the new parsing combinator library package from Utrecht University. Features: - online result construction - much simpler internals than the combinators in the uulib package, because of the availabilty of GADT's and other extensions which have become available over the last ten years - error correction - parsing ambiguous grammars (even with online result construction), provided one is willing to label a non-terminal as ambiguous - monadic interface. We solve a problem in the "Polish parsing" monadic construct, which could lead to a black hole in combination with error correction - instead of trying to make everything a parameter we rely a bit more on the user to provide some basic functions, based on given canonical implementations - no abstract interpretation yet, as found in the original uulib package. So if you have large grammars with many alternatives the uulib package is to be preferred - extensive motivation and documentation found in a technical report available from the web page Cons: - the package is likely to change and be extended in the near future as we incorprorate more of the uulib library into the new package Pros: - suggestions are welcome Doaitse Swierstra From lemming at henning-thielemann.de Wed Apr 29 06:03:35 2009 From: lemming at henning-thielemann.de (Henning Thielemann) Date: Wed Apr 29 05:49:38 2009 Subject: [Haskell] HaL4: Local Haskell meeting, Halle/Saale, Germany, June 12 Message-ID: Hi all, we like to remind the potential participants of our Local Haskell meeting HaL4 to submit proposals for talks. See the recent announcement in German: http://www.haskell.org/pipermail/haskell/2009-April/021220.html --------------------------------------------- HaL4 : Haskell - Tutorial + Workshop + Party am Freitag, dem 12. Juni 2009, in Halle/Saale --------------------------------------------- Das traditionsreiche HaL-Treffen bietet eine gute Mischung von Haskell-bezogenen Themen aus Forschung, Anwendung und Lehre mit vielen M?glichkeiten zu Diskussion und Unterhaltung bei der anschlie?enden Party. Der Workshop wird in diesem Jahr erg?nzt durch Tutorien f?r Haskell-Ein- und Umsteiger. Diesmal findet das Treffen in Halle/Saale im Institut f?r Informatik der Martin-Luther-Universit?t Halle-Wittenberg statt. Wir planen: 10 - 13 Uhr: Tutorien 15 - 19 Uhr: Fachvortr?ge 19 - 22 Uhr: Grillparty Wir freuen uns auf rege Teilnahme sowie spannende Vortr?ge mit hei?en Diskussionen und bitten um Vortragsanmeldungen bis zum 8. Mai. Gedacht sind 4 mal je 30 min Vortrag + 30 min Diskussion. Weitere Informationen auf ?http://www.iba-cg.de/hal4.html Beste Gruesse Henning Thielemann From voigt at tcs.inf.tu-dresden.de Wed Apr 29 14:59:22 2009 From: voigt at tcs.inf.tu-dresden.de (voigt@tcs.inf.tu-dresden.de) Date: Wed Apr 29 14:45:08 2009 Subject: [Haskell] International Summer School on Advances in Programming Languages Message-ID: <5f22a77bdac63bd5270f806d2bf0d822.squirrel@mail.tcs.inf.tu-dresden.de> International Summer School on Advances in Programming Languages 25th-28th August, 2009 Heriot-Watt University, Edinburgh, Scotland http://www.macs.hw.ac.uk/~greg/ISS-AiPL Overview This four-day residential International Summer School on Advances in Programming Languages has a major theme of Concurrency, Distribution, and Multicore. Intended primarily for postgraduate research students, the School offers lectures and practical sessions on an engaging blend of cutting edge theoretical and practical techniques from international experts. The Summer School is supported by the Scottish Informatics and Computer Science Alliance (http://www.sicsa.ac.uk/), a Scottish Funding Council Research Pool. Participants from SICSA member institutions may attend at no cost. Confirmed Topics/Speakers - Static and dynamic languages, Prof Phillip Wadler, University of Edinburgh - Compiler technology for data-parallel languages, Dr Sven-Bodo Scholz, University of Hertfordshire - New applications of parametricity, Dr Janis Voigtlaender, Technical University of Dresden - Automatic vectorising compilation, Dr Paul Cockshott, University of Glasgow - Foundational aspects of size analysis, Prof Marko van Eekelen/Dr Olha Shakaravska, Radboud University Nijmegen - Context oriented programming, Dr Pascal Costanza, Vrije Universiteit Brussel - Multi-core programming, Dr Phil Trinder, Heriot-Watt University - Multi-core compilation, Dr Alastair Donaldson, Codeplay Software Ltd - Principles and Applications of Refinement Types, Dr Andrew D. Gordon, Microsoft Research, Cambridge - Resource aware programming in Hume, Prof Greg Michaelson, Heriot-Watt University/ Prof Kevin Hammond, University of St Andrews - Haskell concurrency & parallelism, Dr Satnam Singh, Microsoft Research, Cambridge Location The Summer School is based at Heriot-Watt University's Riccarton campus, set in pleasant parkland to the west of Edinburgh, with easy access to the airport, city and central Scotland: http://www.hw.ac.uk/welcome/directions.htm. The Summer School immediately precedes the 2009 International Conference on Functional Programming (http://www.cs.nott.ac.uk/~gmh/icfp09.html) and takes place during the Edinburgh International Festival (http://www.eif.co.uk/), and the associated Edinburgh Festival Fringe (http://www.edfringe.com/) and Edinburgh International Book Festival (http://www.edbookfest.co.uk/). Steering Committee Prof Greg Michaelson, Heriot-Watt University (Convenor) (mailto:G.Michaelson@hw.ac.uk) Prof Kevin Hammond, University of St Andrews Dr Patricia Johann, University of Strathclyde Prof Phillip Wadler, University of Edinburgh -------------- next part -------------- A non-text attachment was scrubbed... Name: SICSA ISS AiPL.pdf Type: application/download Size: 34222 bytes Desc: not available Url : http://www.haskell.org/pipermail/haskell/attachments/20090429/d369960d/SICSAISSAiPL-0001.bin -------------- next part -------------- A non-text attachment was scrubbed... Name: SICSA ISS AiPL Programme.pdf Type: application/download Size: 5515 bytes Desc: not available Url : http://www.haskell.org/pipermail/haskell/attachments/20090429/d369960d/SICSAISSAiPLProgramme-0001.bin From pds at di.uevora.pt Wed Apr 29 17:53:24 2009 From: pds at di.uevora.pt (Pedro Salgueiro) Date: Wed Apr 29 17:39:11 2009 Subject: [Haskell] INAP 2009: 1st CFP Message-ID: <1241042004.4247.23.camel@rebirth> [apologies for multiple posts; please distribute] ------------------------------------------------- First Call for Papers INAP 2009 18th International Conference on Applications of Declarative Programming and Knowledge Management November 5-7, 2009 Evora, Portugal http://www.di.uevora.pt/inap2009/ http://inap.dialogengines.com/ Organized by the Portuguese AI Society (APPIA), the INAP Committee and the Society of Logic Programming (GLP e.V.) == Overview == Declarative Programming is a family of advanced paradigms for the modeling and solving of complex problems. These specification and implementation methods have attracted more and more attention over the past years, e.g. in the domains of databases and natural language processing, for modeling and the processing of combinatorial problems, and for establishing systems for the web. == INAP 2009 == INAP is a communicative and dense forum for intensive discussion of applications of important technologies related to Prolog, Logic and Constraint Programming as well as closely related advanced software. It comprehensively covers the impact of programmable logic solvers in the Internet Society, its underlying technologies, and leading edge applications in industry, commerce, government, and societal services. INAP 2009 continues a tradition of successful workshops cast around the applications of declarative programming, which were held in Kobe (1997), Tokyo (1995, 1996, 1998 - 2001), Potsdam (2004), Fukuoka (2005) and Wuerzburg (2007). We invite the submission of high quality papers on the described topics, especially, but not exclusively, on different aspects of Declarative Programming, Constraint Processing and Knowledge Management as well as their use for Distributed Systems and the Web: - Knowledge Management, e.g. Data Mining, Decision Support, Deductive Databases - Distributed Systems and the Web, e.g. Agents and Concurrent Engineering, Semantic Web - Constraints, e.g. Constraint Systems, Extensions of Constraint (Logic) Programming - Theoretical Foundations, e.g. Deductive Databases, Nonmonotonic Reasoning - Systems and Tools for Academic and Industrial Use - Knowledge-based Web Services - Logic Solvers and Applications == Workshop Format == The technical program of the workshop will include invited presentations (to be announced), regular technical sessions with presentations of the accepted papers, system demonstrations and a panel discussion. == Conference Venue == The conference will be held at the University of Evora, Portugal in November 5-7, 2009. Evora is a nice and quiet historical city located in the south of Portugal that can be reached from Lisbon by train or coach in under 2 hours. It is a small city of 60.000 inhabitants, 120 km inland from Lisbon and classified by Unesco as World Heritage. The University of Evora was established in the 16th Century and is the 2nd oldest Portuguese University. The social program is promising since the region is very rich in historical sites (Stone Age, Roman, Medieval and Renaissance remains) and also offers a very special gastronomy. See http://en.wikipedia.org/wiki/%C3%89vora for more information. == Important Dates == Paper Submission Deadline: June 29, 2009 Notifications to Authors: August 17, 2009 Camera-ready Version Deadline: September 14, 2009 INAP 2009 Workshop: November 5-7, 2009 == Submission Guidelines == Participants should submit a paper (maximum 15 pages, PDF format), describing their work in topics relevant to the workshop. Accepted papers will be presented during the workshop. At least one author of an accepted contribution is expected to register for the workshop, and present the paper. All submissions should include the author's name(s), affiliation, complete mailing address, and email address. Authors are requested to prepare their submissions, following the LNCS/LNAI Springer format. Please see: http://www.springer.de/comp/lncs/authors.html for further details. The submission should be submitted through the electronic submission site: http://www.easychair.org/inap2009/ The deadline for receipt of submissions is June 29, 2009. Papers received after this date will not be reviewed. Eligible papers will be peer-reviewed by at least three members of the Program Committee. Authors will be notified via email of the results by August 17, 2009. Authors of accepted papers are expected to improve their paper based on reviewers' comments and to send a camera ready version of their manuscripts by September 14, 2009. Accepted papers will be included in the workshop proceedings, which will be distributed to the participants. As in previous editions, we plan to publish selected papers in a proceedings volume in the Springer Lecture Notes in Artificial Intelligence (LNAI) series. == Organizing Committee == Vitor Nogueira vbn AT di.uevora.pt Salvador Abreu spa AT di.uevora.pt Pedro Salgueiro pds AT di.uevora.pt Universidade de Evora Portugal == Program Committee == Salvador Abreu, University of Evora, Portugal (co-chair) Sergio Alvarez, Boston College, USA Philippe Codognet, CNRS/JFLI, Tokyo, Japan Vitor Santos Costa, University of Porto, Portugal Daniel Diaz, University of Paris I, France Ulrich Geske, University of Potsdam, Germany Gopal Gupta, UT Dallas, USA Petra Hofstedt, Technical University of Berlin, Germany Ulrich Neumerkel, Technical University of Vienna, Austria Vitor Nogueira, University of Evora, Portugal Enrico Pontelli, New Mexico State University, USA Irene Rodrigues, University of Evora, Portugal Carolina Ruiz, Worcester Polytechnic Institute, USA Dietmar Seipel, University of Wuerzburg, Germany (co-chair) Terrance Swift, CENTRIA, Portugal Hans Tompits, Technical University of Vienna, Austria Masanobu Umeda, Kyushu Institute of Technology, Japan Armin Wolf, Fraunhofer FIRST, Berlin, Germany Osamu Yoshie, Waseda University, Japan == Contact Information == inap2009 AT di.uevora.pt Universidade de Evora Departamento de Informatica Largo dos Colegiais, 2 7004-516 Evora - PORTUGAL From sweirich at cis.upenn.edu Thu Apr 30 10:43:21 2009 From: sweirich at cis.upenn.edu (Stephanie Weirich) Date: Thu Apr 30 10:33:16 2009 Subject: [Haskell] Haskell Symposium Submission site now open Message-ID: <0351EB56-2A01-4408-AF67-68F4DB51CC55@cis.upenn.edu> Submission to the Haskell Symposium is now open at: http://www.easychair.org/conferences/?conf=haskell09 Please do submit! The deadline is a week from tomorrow. (There will be NO EXTENSIONS of this deadline, so do get your paper in on time.) Cheers, Stephanie --------------------------------------------------------------- Haskell 09 ACM SIGPLAN Haskell Symposium 2009 Edinburgh, Scotland, UK September 3, 2009 CALL FOR PAPERS http://haskell.org/haskell-symposium/2009/ The ACM SIGPLAN Haskell Symposium 2009 will be co-located with the 2009 International Conference on Functional Programming (ICFP). The purpose of the Haskell Symposium is to discuss experiences with Haskell and future developments for the language. The scope of the symposium includes all aspects of the design, semantics, theory, application, implementation, and teaching of Haskell. Topics of interest include, but are not limited to, the following: * Language Design, with a focus on possible extensions and modifications of Haskell as well as critical discussions of the status quo; * Theory, in the form of a formal treatment of the semantics of the present language or future extensions, type systems, and foundations for program analysis and transformation; * Implementations, including program analysis and transformation, static and dynamic compilation for sequential, parallel, and distributed architectures, memory management as well as foreign function and component interfaces; * Tools, in the form of profilers, tracers, debuggers, pre-processors, and so forth; * Applications, Practice, and Experience, with Haskell for scientific and symbolic computing, database, multimedia and Web applications, and so forth as well as general experience with Haskell in education and industry; * Functional Pearls, being elegant, instructive examples of using Haskell. Papers in the latter two categories need not necessarily report original research results; they may instead, for example, report practical experience that will be useful to others, re-usable programming idioms, or elegant new ways of approaching a problem. The key criterion for such a paper is that it makes a contribution from which other Haskellers can benefit. It is not enough simply to describe a program! Before 2008, the Haskell Symposium was known as the Haskell Workshop. The name change reflects both the steady increase of influence of the Haskell Workshop on the wider community as well as the increasing number of high quality submissions. The acceptance process is highly competitive. After eleven Haskell Workshops between 1995 and 2007, the first Haskell Symposium was held in Victoria in 2008. Submission Details * Submission Deadline: Friday, May 8th 2009 (3:00 pm, Eastern US Time) * Author Notification: Monday, June 1st 2009 * Final Papers Due : Monday, June 15th 2009 Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines (http://www.acm.org/sigs/sigplan/authorInformation.htm). The length is restricted to 12 pages, and the font size 9pt. Each submission must adhere to SIGPLAN's republication policy, as explained on the web. Violation risks summary rejection of the offending submission. Accepted papers will be published by the ACM and will appear in the ACM Digital Library. If there is sufficient demand, we will try to organize a time slot for system or tool demonstrations. If you are interested in demonstrating a Haskell related tool or application, please send a brief demo proposal to Stephanie Weirich, sweirich@cis.upenn.edu. Links * http://haskell.org/haskell-symposium, the permanent homepage of the Haskell Symposium. * http://haskell.org/haskell-symposium/2009/, the 2009 Haskell Symposium web page. * http://www.icfpconference.org/icfp2009, the ICFP 2009 web page. Program Committee * Jeremy Gibbons, Oxford University * Bastiaan Heeren, Open Universiteit Nederland * John Hughes, Chalmers/Quviq * Mark Jones, Portland State University * Simon Marlow, Microsoft Research * Ulf Norell, Chalmers * Chris Okasaki, United States Military Academy * Ross Paterson, City University London * Alexey Rodriguez Yakushev, Vector Fabrics * Don Stewart, Galois * Janis Voigtlaender, TU Dresden * Stephanie Weirich, University of Pennsylvania (Chair)