From si at fh-wedel.de Sun Feb 1 07:37:50 2009 From: si at fh-wedel.de (Uwe Schmidt) Date: Sun Feb 1 07:28:00 2009 Subject: [Haskell] ANN: regex-xmlschema Message-ID: <200902011337.50730.si@fh-wedel.de> I'm pleased to announce (yet another) package for processing text with regular expressions: regex-xmlschema The W3C XML Schema specification (http://www.w3.org/TR/xmlschema11-2/#regexs) defines a language for regular expressions. This language is used in the XML Schema spec when defining the data type library part. This regex-xmlschema package contains a complete implementation of this spec. It is implemented with the technique of derivations of regular expression. Main features are: * full support of Unicode including all Unicode code blocks and character properties * a purely functional interface * 100% Haskell, no other packages except parsec needed * cabal build file * extensions for intersection, set difference, exclusive or and interleave of regular sets (regular expressions), * extensions for subexpression matches * functions for matching, for grep like searching, for stream like editing (sed like) and for tokenizing. With this package, it becomes rather easy to build lightweight tokenizers e.g. for colourizing arbitrary programming languages, like hscolor does it for Haskell. The package is available from Hackage: "http://hackage.haskell.org/cgi-bin/hackage-scripts/package/regex-xmlschema", there's a darcs repo for the latest source: "http://darcs2.fh-wedel.de/hxt/regex/" and a wiki page, describing the extension and giving some examples for using the library: "http://www.haskell.org/haskellwiki/Regular_expressions_for_XML_Schema" Cheers, Uwe -- Uwe Schmidt FH Wedel http://www.fh-wedel.de/~si/ From jgm at berkeley.edu Sun Feb 1 12:07:53 2009 From: jgm at berkeley.edu (John MacFarlane) Date: Sun Feb 1 11:58:12 2009 Subject: [Haskell] ANN: gitit 0.5.1 Message-ID: <20090201170753.GA8172@berkeley.edu> I've just uploaded gitit 0.5.1 to HackageDb. Gitit is a wiki program that uses git or darcs as a filestore and HAppS as a server. Changes: * Major code reorganization, making gitit more modular. * Gitit can now optionally be built using Happstack instead of HAppS (just use -fhappstack when cabal installing). * Fixed bug with directories that had the same names as pages. * Added code from HAppS-Extra to fix cookie parsing problems. * New command-line options for --port, --debug. * New debug feature prints the date, the raw request, and the processed request data to standard output on each request. * Files with ".page" extension can no longer be uploaded. * Apostrophes and quotation marks now allowed in page names. From icfp.publicity at googlemail.com Mon Feb 2 10:30:52 2009 From: icfp.publicity at googlemail.com (Matthew Fluet (ICFP Publicity Chair)) Date: Mon Feb 2 10:21:04 2009 Subject: [Haskell] ICFP09 Final CFP Message-ID: <53ff55480902020730l2b41010cu69c2fcc80f7f60fa@mail.gmail.com> Final Call for Papers ICFP 2009: International Conference on Functional Programming Edinburgh, Scotland, 31 August - 2 September 2009 http://www.cs.nott.ac.uk/~gmh/icfp09.html ** Submission deadline: 2 March 2009 ** Submission URL: https://www.softconf.com/a/icfp09/ ICFP 2009 seeks original papers on the art and science of functional programming. Submissions are invited on all topics from principles to practice, from foundations to features, from abstraction to application. The scope includes all languages that encourage functional programming, including both purely applicative and imperative languages, as well as languages with objects or concurrency. Particular topics of interest include * Language Design * Implementation * Software-Development Techniques * Foundations * Applications and Domain-Specific Languages * Functional Pearls The conference also solicits Experience Reports, which are short papers that provide evidence that functional programming really works or describe obstacles that have kept it from working in a particular application. Important Dates (at 20:00 UTC) ~~~~~~~~~~~~~~~ Submission: 2 March 2009 https://www.softconf.com/a/icfp09/ Author response: 21-23 April 2009 Notification: 5 May 2009 Final papers due: 8 June 2009 Call for Papers (full text) ~~~~~~~~~~~~~~~ http://web.cecs.pdx.edu/~apt/icfp09_cfp.html Call for Experience Reports (full text) ~~~~~~~~~~~~~~~~~~~~~~~~~~~ http://web.cecs.pdx.edu/~apt/icfp09_cfer.html Program Chair ~~~~~~~~~~~~~ Andrew Tolmach Department of Computer Science Portland State University P.O. Box 751, Portland, OR 97207 USA Email: apt@cs.pdx.edu Phone: +1 503 725 5492 Fax: +1 503 725 3211 Mail sent to the address above is filtered for spam. If you send mail and do not receive a prompt response, particularly if the deadline is looming, feel free to telephone. From monnier at iro.umontreal.ca Mon Feb 2 14:58:59 2009 From: monnier at iro.umontreal.ca (Stefan Monnier) Date: Mon Feb 2 14:49:11 2009 Subject: [Haskell] Haskell-mode 2.0 In-Reply-To: <41A725C6.90308@tzi.de> (Christian Maeder's message of "Fri, 26 Nov 2004 13:47:02 +0100") References: <41A725C6.90308@tzi.de> Message-ID: A bit more than 4 years ago, you wrote: > Stefan Monnier wrote: >> This release has several changes that have all been only lightly tested, >> especially w.r.t compatibility with various Emacsen. > It works (as far as I tried) on my emacs: > GNU Emacs 21.3.1 (i586-suse-linux, X toolkit, Xaw3d scroll bars) of > 2003-09-23 on Weber > While playing with the new mode I discovered a small deficiency in the menu > "Declarations" -> "Imports" (that I've never used before). The names of the > imported modules are cut off after the first dot. Instead of > i.e. "Data.List" only "Data" is displayed. (There may be several dots in > a module name.) I have just fixed this bug in the CVS repository of haskell-mode. Stefan "Never quite sure if it's ?better late than never? or ?better never than too late?." From haskell at list.mightyreason.com Mon Feb 2 15:27:47 2009 From: haskell at list.mightyreason.com (ChrisK) Date: Mon Feb 2 15:18:03 2009 Subject: [Haskell] ANN: regex-posix-unittest-1.0 AND regex-posix-0.94.1 AND regex-tdfa-0.97.1 Message-ID: <49875743.2090502@list.mightyreason.com> I have three announcements to make about regex-* related packages. The regex-posix-0.94.1 package update provides better semantics for multiple matches. Below version 0.94, if any match was empty the matching would stop. Now the empty match is returned and the position is incremented and the searching continues. The regex-tdfa-0.71.1 package update provides the same new multiple match semantics. It also fixes a bug I found. I know of no outstanding bugs in regex-tdfa, and version 0.71.1 now passes all the tests used in regex-posix-unittest-1.0 announced below. We should care about the correctness of our operating system libraries. To help with this, I have a NEW package to announce: regex-posix-unittest-1.0 The accompanying wiki page is http://www.haskell.org/haskellwiki/Regex_Posix This new package provides an executable called regex-posix-unittest which you can install as --user or --global. The regex-posix-unittest executable with no arguments runs a suite of unit tests, all of which are described by text files in the package, the format is documented in the wiki page. By editing the text files in the package you can add to or delete from the unit tests being run. With two arguments the program expects the text first and the pattern second and will run just that match and print all the results. How does regex-posix-unittest help us care about the OS libraries? The regex-posix distributed in the GHC bundle uses the OS C library's "regex.h" API. The regex-posix-unittest package will quite likely show you that your OS C library "regex.h" API is full of bugs. If you are on Linux, it will show you a plethora of GLIBC bugs in Posix conformance. If you are on OS X, FreeBSD, or NetBSD, it will show you many bugs including a critical bug where it fail to find a match where one actually exists. These bugs in the OS library are inherited by your "sed" program as well as regex-posix and Haskell. If you are on Windows, or OpenBSD, or Solaris, or anything else, then please update the wiki page at http://www.haskell.org/haskellwiki/Regex_Posix or email me with your results so I can update the wiki. You may have evil and ingenious tests of Posix extended regular expressions to add to the test suite. Adding them is easy and if you send them to me I will put them in an updated version of regex-posix-unittest. Cheers, Chris From hz at inf.elte.hu Mon Feb 2 17:39:33 2009 From: hz at inf.elte.hu (=?iso-8859-2?Q?Horv=E1th_Zolt=E1n?=) Date: Mon Feb 2 17:29:51 2009 Subject: [Haskell] CFP TFP 2009 Message-ID: <88C55C9C92561741A80422B15F25C4BFC5E9068E53@exch02.inf.elte.hu> First 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 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: March 15 * Notification of Acceptance: April 3 * Camera Ready Symposium Proceedings Paper: April 24 * 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 Conference Centre of Selye University, Komarno, Slovakia (http://www.selyeuni.sk/). It 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/20090202/dbd033a7/attachment-0001.htm From martin.hofmann at uni-bamberg.de Tue Feb 3 06:23:08 2009 From: martin.hofmann at uni-bamberg.de (Martin Hofmann) Date: Tue Feb 3 06:17:19 2009 Subject: [Haskell] CFP: AAIP'09 associated with ICFP'09 Message-ID: <1233660188.5928.13.camel@localhost> 3rd Workshop on Approaches and Applications of Inductive Programming (AAIP 2009) associated with the 14th ACM SIGPLAN International Conference on Functional Programming (ICFP 2009) 4 September 2009, Edinburgh, Scotland *** Submission Deadline 11 May 2009 *** http://www.cogsys.wiai.uni-bamberg.de/aaip09/ CALL FOR PAPERS Inductive Programming is concerned with the automated construction of declarative (often functional) programs from incomplete specifications such as input/output examples. This inductive type of automated program synthesis has been originally addressed by researchers in artificial intelligence and machine learning. During the last years, some work on exploiting induction techniques has been started also in the functional programming community. This is the third workshop on "Approaches and Applications of Inductive Programming" and takes place for the first time in conjunction with ICFP. AAIP'09 aims to bring together researchers from the field of inductive functional programming and present and compare the different approaches with respect to their scope and efficiency. Furthermore, challenge problems for inductive programming which can be of interest to the functional programming community will be discussed. Finally, potential applications of inductive programming, especially the potential of such approaches for their use as programming assistants shall be discussed. We hope that this workshop advances fruitful interactions between the functional programming and the inductive functional programming communities. We invite authors to submit papers in either of two categories: technical papers and work in progress reports. Topics of interest are theoretical approaches to and algorithms or applications of inductive programming. Technical papers should present mature work on up to 12 pages. Additionally, extended abstracts (up to two pages) can be submitted to report work in progress. INVITED TALKS It is our pleasure to announce the following invited speakers: * Lennart Augustsson (Chalmers University of Technology) * Pieter Koopman and Rinus Plasmeijer (University of Nijmegen) * Neil Mitchell (Standard Chartered) PRESENTATION AND PUBLICATION INFORMATION Accepted technical papers will be presented orally (20 min. talk and 10 min. discussion). Accepted work in progress reports will be presented as posters. Workshop proceedings will be published online and as technical report. Furthermore, we plan to publish revised and selected papers as post-proceedings volume at Springer LNCS/LNAI. SUBMISSION GUIDELINES * Submissions of technical papers should be no longer than 12 pages, including bibliography and appendices. Submissions of work in progress reports should not be longer than 2 pages. Both paper types should follow the ICFP submission policy. The document template for LaTeX available from SIGPLAN should be used to prepare the document: http://www.sigplan.org/authorInformation.htm * Submission should be sent as EMail attachment as PDF to the workshop organizers using the following address martin.hofmann@uni-bamberg.de * Submitted papers must have content that has not previously been published in other conferences or refereed venues, and simultaneous submission to other conferences or refereed venues is unacceptable. IMPORTANT DATES Submission deadline 11 May 2009 Author notification 05 June 2009 Final paper due 22 June 2009 Workshop 04 September 2009 ORGANISATION COMMITTEE * Schmid, Ute, University of Bamberg * Plasmeijer, Rinus, Radboud University Nijmegen * Kitzelmann, Emanuel, University of Bamberg Technical Support: Martin Hofmann, University of Bamberg PROGRAM COMMITTEE * Pierre Flener, Uppsala University, Sweden * Lutz Hamel, University of Rhode Island, Kingston, USA * Jose Hernandez-Orallo, Technical University of Valencia, Spain * Johan Jeuring, University of Utrecht, The Netherlands * Susumu Katayama, University of Miyazaki, Japan * Kitzelmann, Emanuel, University of Bamberg * Pieter Koopman, Radboud University Nijmegen, The Netherlands * Oleg G. Monakhov, Russian Academy of Sciences, Siberian Branch, Russia * Ricardo Aler Mur, Universidad Carlos III de Madrid, Spain * Roland Olsson, Ostfold College, Norway * Rinus Plasmeijer, Radboud University Nijmegen, The Netherlands * Maria Jos? Ram?rez Quintana, Technical University of Valencia, Spain * Schmid, Ute, University of Bamberg WORKSHOP URL Further information: http://www.cogsys.wiai.uni-bamberg.de/aaip09/ From demis at dimi.uniud.it Tue Feb 3 12:38:00 2009 From: demis at dimi.uniud.it (Demis Ballis) Date: Tue Feb 3 12:28:09 2009 Subject: [Haskell] WWV'09 - DEADLINE EXTENSION Message-ID: <40BF76C8-2286-4D5C-A52A-FD85AC459103@dimi.uniud.it> [Apologies if you receive multiple copies] *********************************************************** * DEADLINE EXTENSION * * * * WWV 2009 * * Automated Specification and Verification of Web Systems * * 5th International Workshop * * * * Castle of Hagenberg, Austria. July 17, 2009 * * * *********************************************************** NEW DATES --------- Abstract Submission February 9, 2009 (extended) Full Paper Submission February 16, 2009 (extended) Acceptance Notification April 20, 2009 Camera Ready June 1, 2009 Workshop July 17, 2009 WEB PAGE -------- http://www.risc.uni-linz.ac.at/conferences/wwv09/ -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/haskell/attachments/20090203/f651af7d/attachment.htm From flippa at flippac.org Tue Feb 3 19:15:48 2009 From: flippa at flippac.org (Philippa Cowderoy) Date: Tue Feb 3 19:06:00 2009 Subject: [Haskell] ANN: #haskell-in-depth IRC channel Message-ID: <1233706548.14308.125.camel@flippa-eee> Hi folks. As I've been daft enough to get a few things rolling, it looks like it's fallen on me to announce the new IRC channel, #haskell-in-depth. #haskell has been a roaring success over the last few years, as Don has repeatedly pointed out. Unfortunately that roar is starting to make it hard for some to participate - there's so much traffic that it can be difficult to fit an additional conversation in. We're starting to hit the limits as to how far one channel can take us, and that means we need to explore ways to divide up traffic. Actually, this isn't entirely new - a number of years ago now, #haskell-blah was formed as a space for off-topic (and sometimes less-than-worksafe) conversation among #haskell regulars. We also created #haskell-overflow, but it doesn't see much use except among some of the cabal implementors because it's hard to know when to take the conversation you're currently in to -overflow. We need channels that people start their conversations in, not ones to send people to! So we're trying a space for in-depth discussion. The new channel is open to everyone, just like #haskell. But just as we're hoping for certain kinds of discussion, there're others we want to avoid. If you need to know how to use monads so you can do IO, #haskell-in-depth isn't the place. On the other hand, if you want to discuss how Haskell's monads compare to the category theory or what the category theory can tell us about how individual monads relate to the language as a whole, -in-depth is a good place! In particular, we're hoping that the kind of category theory discussions that give the mistaken impression you actually need to know CT will increasingly live in #haskell-in-depth. We're not after a theory channel though - architectural discussion, compiler implementation, possible type system extensions, library design, all are good subjects. Anyway, I shouldn't ramble on for too long here - #haskell-in-depth is open for business and we look forward to seeing you there! -- Philippa Cowderoy From wagner.andrew at gmail.com Tue Feb 3 19:18:45 2009 From: wagner.andrew at gmail.com (Andrew Wagner) Date: Tue Feb 3 19:08:51 2009 Subject: [Haskell] Re: [Haskell-cafe] ANN: #haskell-in-depth IRC channel In-Reply-To: <1233706548.14308.125.camel@flippa-eee> References: <1233706548.14308.125.camel@flippa-eee> Message-ID: Well-done! I've said for many months that we need a channel like this! On Tue, Feb 3, 2009 at 7:15 PM, Philippa Cowderoy wrote: > Hi folks. As I've been daft enough to get a few things rolling, it looks > like it's fallen on me to announce the new IRC channel, > #haskell-in-depth. > > #haskell has been a roaring success over the last few years, as Don has > repeatedly pointed out. Unfortunately that roar is starting to make it > hard for some to participate - there's so much traffic that it can be > difficult to fit an additional conversation in. We're starting to hit > the limits as to how far one channel can take us, and that means we need > to explore ways to divide up traffic. > > Actually, this isn't entirely new - a number of years ago now, > #haskell-blah was formed as a space for off-topic (and sometimes > less-than-worksafe) conversation among #haskell regulars. We also > created #haskell-overflow, but it doesn't see much use except among some > of the cabal implementors because it's hard to know when to take the > conversation you're currently in to -overflow. > > We need channels that people start their conversations in, not ones to > send people to! So we're trying a space for in-depth discussion. The new > channel is open to everyone, just like #haskell. But just as we're > hoping for certain kinds of discussion, there're others we want to > avoid. If you need to know how to use monads so you can do IO, > #haskell-in-depth isn't the place. On the other hand, if you want to > discuss how Haskell's monads compare to the category theory or what the > category theory can tell us about how individual monads relate to the > language as a whole, -in-depth is a good place! In particular, we're > hoping that the kind of category theory discussions that give the > mistaken impression you actually need to know CT will increasingly live > in #haskell-in-depth. > > We're not after a theory channel though - architectural discussion, > compiler implementation, possible type system extensions, library > design, all are good subjects. > > Anyway, I shouldn't ramble on for too long here - #haskell-in-depth is > open for business and we look forward to seeing you there! > > -- > Philippa Cowderoy > > _______________________________________________ > 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/20090203/1aecc094/attachment.htm From DekuDekuplex at Yahoo.com Wed Feb 4 07:33:02 2009 From: DekuDekuplex at Yahoo.com (Benjamin L.Russell) Date: Wed Feb 4 07:23:14 2009 Subject: [Haskell] Re: HOC References: <0B7A0A1B-2571-4472-854C-C6113071E6FC@gmail.com> Message-ID: On Sat, 31 Jan 2009 21:34:34 +0100, Thomas Davie wrote: >I noticed recently that HOC has moved over to google code, and seems a >little more active than it was before. Is there a mailing list where >I can talk to other users and get myself kick started, or is it a >case of just using the standard Haskell ones? According to the "HOC: Support" site (see http://hoc.sourceforge.net/support.html), >There are four mailing lists where you can contact the HOC developers and other users: > >hoc-announce Announcements of HOC releases and related tools (low-traffic) >hoc-users General HOC discussions >hoc-devel HOC developer & implementation discussions >hoc-cvs CVS commit log messages The above-mentioned links point to the following sites: hoc-announce Info Page https://lists.sourceforge.net/lists/listinfo/hoc-announce hoc-users Info Page https://lists.sourceforge.net/lists/listinfo/hoc-users hoc-devel Info Page https://lists.sourceforge.net/lists/listinfo/hoc-devel hoc-cvs Info Page https://lists.sourceforge.net/lists/listinfo/hoc-cvs You can subscribe to the above-mentioned mailing lists at the above-indicated sites. Hope this helps. Enjoy! -- 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 tom.davie at gmail.com Wed Feb 4 07:44:19 2009 From: tom.davie at gmail.com (Thomas Davie) Date: Wed Feb 4 07:34:48 2009 Subject: [Haskell] Re: HOC In-Reply-To: References: <0B7A0A1B-2571-4472-854C-C6113071E6FC@gmail.com> Message-ID: <5B536FFA-B6F1-48BF-B6F6-088D2F823DB7@gmail.com> On 4 Feb 2009, at 13:33, Benjamin L.Russell wrote: > On Sat, 31 Jan 2009 21:34:34 +0100, Thomas Davie > wrote: > >> I noticed recently that HOC has moved over to google code, and >> seems a >> little more active than it was before. Is there a mailing list where >> I can talk to other users and get myself kick started, or is it a >> case of just using the standard Haskell ones? > > According to the "HOC: Support" site (see > http://hoc.sourceforge.net/support.html), > >> There are four mailing lists where you can contact the HOC >> developers and other users: >> >> hoc-announce Announcements of HOC releases and related tools >> (low-traffic) >> hoc-users General HOC discussions >> hoc-devel HOC developer & implementation discussions >> hoc-cvs CVS commit log messages > > The above-mentioned links point to the following sites: > > hoc-announce Info Page > https://lists.sourceforge.net/lists/listinfo/hoc-announce > > hoc-users Info Page > https://lists.sourceforge.net/lists/listinfo/hoc-users > > hoc-devel Info Page > https://lists.sourceforge.net/lists/listinfo/hoc-devel > > hoc-cvs Info Page > https://lists.sourceforge.net/lists/listinfo/hoc-cvs > > You can subscribe to the above-mentioned mailing lists at the > above-indicated sites. Ah, neat ? I guess they have a lot of updating to do having moved away from Sourceforge. Bob From cfp at clip.dia.fi.upm.es Wed Feb 4 10:34:54 2009 From: cfp at clip.dia.fi.upm.es (CFP) Date: Wed Feb 4 10:25:19 2009 Subject: [Haskell] Postdoc Positions at the CLIP group, Spain Message-ID: ********************************************************************** Application deadline 13th of February (for the 5 years position) and 18th of February (for the 3 years position) ********************************************************************** The CLIP (Computational Logic, Implementation and Parallelism) group is searching for candidates for postdoctoral research positions in the research areas in which the group is involved. A PhD in Computer Science or related areas is required. These are research positions (no teaching is compulsory, although it is allowed) and renewable for up to 3 or 5 years. The initial salary (for the 5 year positions) is 44370 Euros/year plus an initial budget of 15000 Euros for travel and other expenses during the first year. Knowledge of Spanish is not a prerequisite for application and candidates can be of any nationality. The working language at the CLIP group for research is English. The number of positions available depends on the quality of the applicants. The positions are co-funded by the Spanish Ministry of Science and Technology and the Technical University of Madrid within the Ramon y Cajal and Juan de la Cierva programs. Selection Process: Interested applicants should send their c.v. and a description of their research interests to the CLIP group at hats-grants@clip.dia.fi.upm.es. The CLIP group will perform a pre-selection of the best applicants based on their scientific merits and the relevance of their research interests and experience to the research activities of the group. The CLIP group will then assist the pre-selected candidates in accomplishing all required steps to present the required documentation for the final evaluation step. The applications, will then be sent to the Spanish Ministry of Science and Technology which performs the final selection. The details of this step are described here. http://clip.dia.fi.upm.es/Job_Openings/RyC2009.html More details on the CLIP group, publications, projects, and research areas of interest can be found at our WWW site (see e.g. the group description and the listing of research topics and publications): http://clip.dia.fi.upm.es/ For more information on any of the above, please contact hats-grants@clip.dia.fi.upm.es -- From matt at mattelder.org Wed Feb 4 13:42:25 2009 From: matt at mattelder.org (Matthew Elder) Date: Wed Feb 4 13:32:29 2009 Subject: [Haskell] ANN: Happstack 0.1 Released! Message-ID: <987d172d0902041042l1ef9d5b3nafad0045f381f784@mail.gmail.com> Hello Haskell Universe, I just wanted to inform you that the Happstack project has shipped it's 0.1 release. For those of you who don't know, Happstack is the successor for the HAppS project. More details on the release can be found at http://blog.happstack.com/2009/02/03/happstack-01-released . Thanks for your time, Matthew Elder -- Need somewhere to put your code? http://patch-tag.com Want to build a webapp? http://happstack.com -- Need somewhere to put your code? http://patch-tag.com Want to build a webapp? http://happstack.com -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/haskell/attachments/20090204/e6f845e1/attachment.htm From a.serebrenik at tue.nl Wed Feb 4 17:28:54 2009 From: a.serebrenik at tue.nl (Serebrenik, A.) Date: Wed Feb 4 17:19:41 2009 Subject: [Haskell] Call for Papers: 2nd International Conference on Software Language Engineering Message-ID: <7DF2365FF07C0E4E89419D65CCC93C9E015BEB8353C8@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 dino at ui3.info Fri Feb 6 00:39:44 2009 From: dino at ui3.info (Dino Morelli) Date: Fri Feb 6 00:30:17 2009 Subject: [Haskell] ANN: multiplicity 0.1.0 released Message-ID: Just released: multiplicity 0.1.0 is a configuration file driven wrapper around duplicity[1]. It allows you to easily define backup sets as config files and avoid long, repetitive command lines. on Hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/multiplicity-0.1.0 homepage: http://ui3.info/d/proj/multiplicity.html [1] duplicity is itself a command-line tool that uses rdiff-backup and gpg to perform encrypted, incremental backups -- Dino Morelli email: dino@ui3.info web: http://ui3.info/d/ irc: dino- pubkey: http://ui3.info/d/dino-4AA4F02D-pub.gpg From erwig at eecs.oregonstate.edu Fri Feb 6 11:37:47 2009 From: erwig at eecs.oregonstate.edu (Martin Erwig) Date: Fri Feb 6 11:27:45 2009 Subject: [Haskell] Multiple funded Ph.D. positions available Message-ID: <5F802D07-7B49-4E2B-8198-18B295A944D3@eecs.oregonstate.edu> The following might be of interest for people on this list who are serious about getting a Ph.D. in CS. -- Martin ------------------------------ Multiple Ph.D. Positions in CS ------------------------------ The school of EECS at Oregon State University has several funded Computer Science Ph.D. positions to fill. The positions will be available in the following areas: * Programming Languages (with a focus on Domain-Specific Languages and Language Design) * Software Engineering * HCI Information about some of the specific projects is available from the web sites of the faculty working in these areas (Martin Erwig, Margaret Burnett, Carlos Jensen and colleagues). Several faculty colleagues also have openings in these areas that are recent, and have not yet been announced. The positions can start as early as Spring term, but no later than Fall term of 2009. Even though the official application deadline has passed, we are accepting applications for these positions, because they have just opened up. If you are interested in one of these positions, please send a resume with contact information to: erwig@eecs.oregonstate.edu by February 15. Please indicate in your email which area you are applying to. From nikhil at bluespec.com Fri Feb 6 16:46:56 2009 From: nikhil at bluespec.com (Rishiyur Nikhil) Date: Fri Feb 6 16:36:54 2009 Subject: [Haskell] Re: Haskell Digest, Vol 63, Issue 8 In-Reply-To: <20081119151517.26C293244B7@www.haskell.org> References: <20081119151517.26C293244B7@www.haskell.org> Message-ID: <867033cd0902061346o664e4b86l4b6d0a2527abfe80@mail.gmail.com> Simon PJ's interview in Computer World about Haskell: http://www.computerworld.com.au/index.php/id;1974033854 > contains the following quote: "IO is a side effect as we discussed. IO ensures the launching of the missiles: do it now and do it in this order. IO means that it needs to be done in a particular order, so you say do this and then do that and you are mutating the state of the world." I couldn't help enjoying the following abbreviation: "IO ensures the launching of the missiles ... and you are mutating the state of the world." :-) Nikhil PS: Also, "oh, that's not very cool, how can we launch missiles with that?" -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/haskell/attachments/20090206/9c86815e/attachment-0001.htm From bulat.ziganshin at gmail.com Fri Feb 6 17:26:56 2009 From: bulat.ziganshin at gmail.com (Bulat Ziganshin) Date: Fri Feb 6 17:23:03 2009 Subject: [Haskell] Re: Haskell Digest, Vol 63, Issue 8 In-Reply-To: <867033cd0902061346o664e4b86l4b6d0a2527abfe80@mail.gmail.com> References: <20081119151517.26C293244B7@www.haskell.org> <867033cd0902061346o664e4b86l4b6d0a2527abfe80@mail.gmail.com> Message-ID: <1149727713.20090207012656@gmail.com> Hello Rishiyur, Saturday, February 7, 2009, 12:46:56 AM, you wrote: > I couldn't help enjoying the following abbreviation: > ?? "IO ensures the launching of the missiles ... and you are mutating > > ?? ? the state of the world." "Haskell: we can change!" :) -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com From nikhil at bluespec.com Fri Feb 6 17:56:03 2009 From: nikhil at bluespec.com (Rishiyur Nikhil) Date: Fri Feb 6 17:45:59 2009 Subject: [Haskell] Re: Haskell Digest, Vol 63, Issue 8 In-Reply-To: <1149727713.20090207012656@gmail.com> References: <20081119151517.26C293244B7@www.haskell.org> <867033cd0902061346o664e4b86l4b6d0a2527abfe80@mail.gmail.com> <1149727713.20090207012656@gmail.com> Message-ID: <867033cd0902061456g5c756fd4vd5aff16c4e476473@mail.gmail.com> "We need change we can believe in!" "Yes we can!" (Thx for the original link to the interview!) Regards, Nikhil On Fri, Feb 6, 2009 at 5:26 PM, Bulat Ziganshin wrote: > Hello Rishiyur, > > Saturday, February 7, 2009, 12:46:56 AM, you wrote: > > > I couldn't help enjoying the following abbreviation: > > > "IO ensures the launching of the missiles ... and you are mutating > > > > the state of the world." > > "Haskell: we can change!" :) > > > -- > Best regards, > Bulat mailto:Bulat.Ziganshin@gmail.com > > -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/haskell/attachments/20090206/de7013f2/attachment.htm From kirk.martinez at gmail.com Fri Feb 6 18:07:40 2009 From: kirk.martinez at gmail.com (kirk.martinez@gmail.com) Date: Fri Feb 6 17:57:37 2009 Subject: [Haskell] Do you use Haskell on the job? Message-ID: <00163646b7b071aba204624816d8@google.com> Hello, fellow Haskell hackers! I am writing a term paper on Haskell in Business, and while I have gathered a lot of good information on the Internet, I would really like direct feedback from software professionals who have used Haskell in a business setting. I would really appreciate a few minutes of your time to provide insights gained from applying Haskell in the real world. Who knows, this could lead to a greater adoption of Haskell in the business community! Rather than a list of Haskell's technical strengths (purity, laziness, composition, etc.), I want to get a sense of the process leading up to the decision to use Haskell for a given project and the insights gained during and after completion. I am particularly interested in questions related to business value: * What were the pros and cons you considered when choosing a language? Why FP? Why Haskell? * What aspects of your problem domain were most critical to making that choice? * How has using Haskell given you a competitive advantage? * How is the software development lifecycle positively/negatively affected by using Haskell as opposed to a different language? * How did you convince management to go with a functional approach? * Was the relative scarcity of Haskell programmers a problem? If so, how was it managed? * Would you choose to use Haskell again for a similar project given what you know now? The best responses will not simply list answers, but also provide background and a bit of narrative on the project and insights gained. Feel free to reply to the list, or just to me personally if you prefer. My email is below. Thank you, Kirk Martinez (Kirk dot Martinez at gmail dot com) -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/haskell/attachments/20090206/04fcace7/attachment.htm From ashley at semantic.org Sat Feb 7 04:21:09 2009 From: ashley at semantic.org (Ashley Yakeley) Date: Sat Feb 7 04:11:25 2009 Subject: [Haskell] HaskellWiki Accounts Message-ID: I just discovered I can create HaskellWiki accounts really easily. If you want one, email me your desired username. Medial spaces are allowed in usernames (just as they are in article titles). -- Ashley Yakeley From byorgey at seas.upenn.edu Sat Feb 7 14:11:49 2009 From: byorgey at seas.upenn.edu (Brent Yorgey) Date: Sat Feb 7 14:01:52 2009 Subject: [Haskell] Haskell Weekly News: Issue 104 - February 7, 2009 Message-ID: <20090207191149.GA25487@seas.upenn.edu> --------------------------------------------------------------------------- Haskell Weekly News http://sequence.complete.org/hwn/20090207 Issue 104 - February 07, 2009 --------------------------------------------------------------------------- Welcome to issue 104 of HWN, a newsletter covering developments in the [1]Haskell community. Community News Andre Pang (ozone) will be soon [2]moving to San Fransisco to begin work with [3]Pixar! Announcements Mutually recursive modules. Henning Thielemann [4]announced a [5]small writeup explaining how mutually recursive modules are currently supported, and how they can be avoided. Please add information about other compilers and more ideas on breaking cycles. UrlDisp, a friendly URL dispatching library. Artyom Shalkhakov [6]announced the first release of [7]UrlDisp, a small library for URL dispatching (aka routing). Right now it works with CGI, and should be compatible with FastCGI as well (not tested); Happstack compatibility is planned. [8]Documentation and usage examples are available. Purely functional LU decomposition. Rafael Gustavo da Cunha Pereira Pinto [9]released some code to perform purely functional LU decomposition. Ready for testing: Unicode support for Handle I/O. Simon Marlow [10]announced that proper Unicode support in Handle I/O is ready for testing in GHC. Just download the [11]set of patches, compile GHC with them, and test away! Comments and discussion welcome. HaskellWiki Accounts. Ashley Yakeley can [12]create a HaskellWiki account for anyone who wants one (account creation has been disabled as a spam-fighting measure). multiplicity 0.1.0 released. Dino Morelli [13]announced the release of [14]multiplicity 0.1.0, a configuration file driven wrapper around [15]duplicity. It allows you to easily define backup sets as config files and avoid long, repetitive command lines. Happstack 0.1 Released!. Matthew Elder [16]announced the [17]0.1 release of [18]Happstack, the successor for the HAppS project. #haskell-in-depth IRC channel. Philippa Cowderoy [19]announced the creation of a new IRC channel, #haskell-in-depth. The new channel is open to everyone, just like #haskell, but is intended for more in-depth conversations, to allow the #haskell channel to be a more newbie-friendly place. regex-posix-unittest-1.0 AND regex-posix-0.94.1 AND regex-tdfa-0.97.1. ChrisK [20]announced an update to the [21]regex-posix package which provides better semantics for multiple matches; an update to the [22]regex-tdfa package, which provides the same new multiple match semantics and fixes a bug; and finally, a new package, [23]regex-posix-unittest, along with an [24]accompanying wiki page; it runs a suite of unit tests which regex-tdfa passes, but reveals bugs in the standard glibc, OS X, FreeBSD, and NetBSD implementations! Jane Street Summer Project 2009. Yaron Minsky [25]announced the [26]Jane Street Summer Project for 2009, the goal of which is to make functional programming languages into better practical tools for programming in the real world. Students will be funded over the summer to work on open-source projects which aim at improving the practical utility of their favorite functional language. gitit 0.5.1. John MacFarlane [27]announced the release of [28]gitit 0.5.1, a wiki program that uses git or darcs as a filestore and HAppS as a server. Changes include major code reorganization, bug fixes, new debugging features, and more. regex-xmlschema. Uwe Schmidt [29]announced the [30]release of [31]regex-xmlschema, (yet another) package for processing text with regular expressions, containing a complete implementation of the W3C XML Schema specification language for regular expressions. diagrams 0.2. Brent Yorgey [32]announced version 0.2 of the [33]diagrams package, an embedded domain-specific language for creating simple graphics in a compositional style. New features include support for arbitrary paths, text, multiple output formats, and support for the [34]colour library. Discussion Haddock Markup. David Waern began a [35]discussion on Haddock markup syntax: should it support (La)TeX for embedded mathematics? Should it support other stuff? Elegant & powerful replacement for CSS. Conal Elliott began a [36]discussion on an elegant replacement for CSS that is consistent, composable, orthogonal, functional, and based on an elegantly compelling semantic model---what might such a thing look like? type metaphysics. Gregg Reynolds began a long and interesting [37]discussion on the type system, denotational semantics, and related matters. Jobs Postdoc Positions at the CLIP group, Spain. CFP [38]announced the availability of [39]postdoctoral research positions within the [40]CLIP (Computational Logic, Implementation and Parallelism) group in Madrid, Spain. The application deadlines are February 13th and 18th; see the original email for more details. Multiple funded Ph.D. positions available. Martin Erwig [41]announced the availability of multiple funded Ph.D. positions in the [42]school of EECS at Oregon State University, in the areas of programming languages (focusing on DSLs and language design), software engineering, and HCI. If you are interested, email Martin with a resume and contact information by February 15. Blog noise [43]Haskell news from the [44]blogosphere. * Erik de Castro Lopo: [45]libsndfile 1.0.18.. * >>> Gregg Reynolds: [46]Moggi :: CT -> Hask. An interesting perspective on Haskell and category theory. * Osfameron: [47]Functional Pe(a)rls v2 (now with Monads!) at the London Perl Workshop 2008. * ezekiel smithburg: [48]google code project, google group, and darcs repository for WikimediaParser. * ezekiel smithburg: [49]releasing WikimediaParser 0.1. * Andre Pang (ozone): [50]Change. * Lennart Augustsson: [51]Is Haskell fast?. * Lennart Augustsson: [52]Regression. A library for writing embedded BASIC programs in Haskell? What is the world coming to? * Galois, Inc: [53]Equivalence and Safety Checking in Cryptol. * GHC / OpenSPARC Project: [54]Just Testing. * Jeff Heard: [55]Hieroglyph: Interactively graph a spreadsheet in 99 lines of code.. * Jeff Heard: [56]Snippet: sorting the elements of a map. * LHC Team: [57]Grin a little.. * Alex Mason: [58]Other shootout news. * Xmonad: [59]contribs review: SpawnOn. * Jeff Heard: [60]Hieroglyph Haddock docs. * Alex Mason: [61]More n-bodies speedups. * Alex Mason: [62]N-bodies evolution. * Eric Kow (kowey): [63]practical quickcheck (wanted). Eric is seeking practical advice on how to effectively use QuickCheck. * Alex Mason: [64]TextMate haskell bundle improvements. * Haskell application server stack: [65]Happstack 0.1 Released (one day early!). * Haskell application server stack: [66]SOCALFP presentation: patch-tag as a startup using Happstack. * Neil Mitchell: [67]Monomorphism and Defaulting. * Jeff Heard: [68]Hieroglyph Part II, basic mouse/keyboard interactivity. * Jeff Heard: [69]Introducing Hieroglyph. Purely functional 2D visualization on top of Cairo.. The Hieroglyph library looks pretty cool! * Jeff Heard: [70]Hieroglyph HOWTO, part I: Sparklines. * Alex Mason: [71]N-bodies speedup (50%!). * >>> John Lato: [72]Build a better WAVE reader, pt 2. * GHC / OpenSPARC Project: [73]Join Points. * Luke Palmer: [74]Parallel Rewrite System. * >>> John Lato: [75]Build a better WAVE reader, pt 1. Notes on building an 'optimal audio I/O library in Haskell'. * Luke Palmer: [76]Dana update: System U-Box compiler is go. * Luke Palmer: [77]Dana needs a self-embedding of U-Box. * Beelsebob: [78]Simulating n-bodies and functional programming. A beautiful implementation of an n-bodies simulation using reactive. * Xmonad: [79]New layout: GridVariants.SplitGrid. * Lane: [80]Christopher Lane Hinson: MaybeArrow?. An arrow with possible failure, which still allows later effects to happen after failure. * Don Stewart (dons): [81]#haskell is a busy place. Some statistics on the #haskell IRC channel. * Alson Kemp: [82]Cabal-install is awesome. Enough said! * FP-Syd: [83]Sydney FP Group: FP-Syd #11.. * Brent Yorgey: [84]Diagrams 0.2 release. * Dan Piponi (sigfpe): [85]Beyond Regular Expressions: More Incremental String Matching. More incremental brain expansion courtesy of Dan. * Don Stewart (dons): [86]Reviving the Gofer Standard Prelude (circa. 1994). Haskell, retro-style! Quotes of the Week * sigfpe: If I took some Ritalin, maybe I could write an entire book on Haskell and algebra. * cjb: It's all fun and games until somebody loses an IOVar. * Gracenotes: You are likely to be eaten by a poset * Gracenotes: A public service announcement: if you find yourself overusing the Writer monad, tell (Sum 1) * Anonymous: Haskell, the world's leading purely fictional programming language * ehird: 2009: The Year of the Combinatorial Explosion of Haskell Web Frameworks. Also, the Linux Desktop. * ehird: [on the previous quote] Someone re-remember that quote when lambdabot's back so I don't have to and thereby look egotistical, thanks * luqui: Hmph! My program which uses unsafeCoerce everywhere is not working properly! Who'd have thought... About the Haskell Weekly News New editions are posted to [87]the Haskell mailing list as well as to [88]the Haskell Sequence and [89]Planet Haskell. [90]RSS is also available, and headlines appear on [91]haskell.org. To help create new editions of this newsletter, please see the information on [92]how to contribute. Send stories to byorgey at cis dot upenn dot edu. The darcs repository is available at darcs get [93]http://code.haskell.org/~byorgey/code/hwn/ . References 1. http://haskell.org/ 2. http://www.algorithm.com.au/blog/files/change.php#unique-entry-id-605 3. http://www.pixar.com/ 4. http://article.gmane.org/gmane.comp.lang.haskell.cafe/52272 5. http://haskell.org/haskellwiki/Mutually_recursive_modules 6. http://article.gmane.org/gmane.comp.lang.haskell.cafe/52045 7. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/UrlDisp 8. http://www.haskell.org/haskellwiki/UrlDisp 9. http://article.gmane.org/gmane.comp.lang.haskell.cafe/52012 10. http://article.gmane.org/gmane.comp.lang.haskell.cafe/51988 11. http://www.haskell.org/~simonmar/base-unicode.tar.gz 12. http://article.gmane.org/gmane.comp.lang.haskell.general/16846 13. http://article.gmane.org/gmane.comp.lang.haskell.general/16840 14. http://ui3.info/d/proj/multiplicity.html 15. http://duplicity.nongnu.org/index.html 16. http://article.gmane.org/gmane.comp.lang.haskell.general/16838 17. http://blog.happstack.com/2009/02/03/happstack-01-released 18. http://happstack.com/ 19. http://article.gmane.org/gmane.comp.lang.haskell.general/16833 20. http://article.gmane.org/gmane.comp.lang.haskell.general/16829 21. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/regex%2Dposix 22. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/regex%2Dtdfa 23. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/regex%2Dposix%2Dunittest 24. http://www.haskell.org/haskellwiki/Regex_Posix 25. http://article.gmane.org/gmane.comp.lang.haskell.general/16822 26. http://janestreetsummer.com/ 27. http://article.gmane.org/gmane.comp.lang.haskell.cafe/51783 28. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/gitit 29. http://article.gmane.org/gmane.comp.lang.haskell.cafe/51764 30. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/regex-xmlschema 31. http://www.haskell.org/haskellwiki/Regular_expressions_for_XML_Schema 32. http://article.gmane.org/gmane.comp.lang.haskell.cafe/51726 33. http://code.haskell.org/diagrams 34. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/colour 35. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/52219 36. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/51998 37. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/51858 38. http://article.gmane.org/gmane.comp.lang.haskell.general/16837 39. http://clip.dia.fi.upm.es/Job_Openings/RyC2009.html 40. http://clip.dia.fi.upm.es/ 41. http://article.gmane.org/gmane.comp.lang.haskell.general/16841 42. http://eecs.oregonstate.edu/ 43. http://planet.haskell.org/ 44. http://haskell.org/haskellwiki/Blog_articles 45. http://www.mega-nerd.com/erikd/Blog/CodeHacking/libsndfile/rel_18.html 46. http://syntax.wikidot.com/blog:1 47. http://greenokapi.net/blog/2008/12/01/functional-pearls-v2-now-with-monads-at-the-london-perl-workshop-2008/ 48. http://tehgeekmeister.wordpress.com/2009/02/06/google-code-project-google-group-and-darcs-repository-for-wikimediaparser/ 49. http://tehgeekmeister.wordpress.com/2009/02/05/releasing-wikimediaparser-01/ 50. http://www.algorithm.com.au/blog/files/change.php#unique-entry-id-605 51. http://augustss.blogspot.com/2009/02/is-haskell-fast-lets-do-simple.html 52. http://augustss.blogspot.com/2009/02/regression-they-say-that-as-you-get.html 53. http://www.galois.com/blog/2009/02/05/equivalence-and-safety-checking-in-cryptol/ 54. http://ghcsparc.blogspot.com/2009/02/just-testing.html 55. http://vis.renci.org/jeff/2009/02/05/heiroglyph-interactively-graph-a-spreadsheet-in-99-lines-of-code/ 56. http://vis.renci.org/jeff/2009/02/05/snippet-sorting-the-elements-of-a-map/ 57. http://lhc-compiler.blogspot.com/2009/02/grin-little.html 58. http://axman6.homeip.net/blog/2009/02/other-shootout-news.html 59. http://xmonad.wordpress.com/2009/02/04/contribs-review-spawnon/ 60. http://vis.renci.org/jeff/2009/02/04/hieroglyph-haddock-docs/ 61. http://axman6.homeip.net/blog/2009/02/more-n-bodies-speedups.html 62. http://axman6.homeip.net/blog/2009/02/n-bodies-evolution.html 63. http://koweycode.blogspot.com/2009/02/practical-quickcheck-wanted.html 64. http://axman6.homeip.net/blog/2009/02/textmate-haskell-bundle-improvments.html 65. http://blog.happstack.com/2009/02/03/happstack-01-released/ 66. http://blog.happstack.com/2009/02/03/socalfp-presentation-patch-tag-as-a-startup-using-happstack/ 67. http://neilmitchell.blogspot.com/2009/02/monomorphism-and-defaulting.html 68. http://vis.renci.org/jeff/2009/02/03/hieroglyph-part-ii-basic-mousekeyboard-interactivity/ 69. http://vis.renci.org/jeff/2009/02/03/introducing-hieroglyph-purely-functional-visualization-on-top-of-cairo/ 70. http://vis.renci.org/jeff/2009/02/03/hieroglyph-howto-part-i-sparklines/ 71. http://axman6.homeip.net/blog/2009/02/n-bodies-speedup-50.html 72. http://johnlato.blogspot.com/2009/02/build-better-wave-reader-pt-2.html 73. http://ghcsparc.blogspot.com/2009/02/join-points.html 74. http://lukepalmer.wordpress.com/2009/02/02/parallel-rewrite-system/ 75. http://johnlato.blogspot.com/2009/02/build-better-wave-reader.html 76. http://lukepalmer.wordpress.com/2009/02/02/dana-update-system-u-box-compiler-is-go/ 77. http://lukepalmer.wordpress.com/2009/02/02/dana-needs-a-self-embedding-of-u-box/ 78. http://noordering.wordpress.com/2009/02/01/simulating-n-bodies-and-functional-programmingre/ 79. http://xmonad.wordpress.com/2009/02/01/new-layout-gridvariantssplitgrid/ 80. http://blog.downstairspeople.org/2009/01/04/maybearrow/ 81. http://donsbot.wordpress.com/2009/02/01/haskell-is-a-busy-place/ 82. http://www.alsonkemp.com/haskell/cabal-install-is-awesome/ 83. http://www.mega-nerd.com/erikd/Blog/FP-Syd/fp-syd-11.html 84. http://byorgey.wordpress.com/2009/01/31/diagrams-02-release/ 85. http://sigfpe.blogspot.com/2009/01/beyond-regular-expressions-more.html 86. http://donsbot.wordpress.com/2009/01/31/reviving-the-gofer-standard-prelude-circa-1994/ 87. http://www.haskell.org/mailman/listinfo/haskell 88. http://sequence.complete.org/ 89. http://planet.haskell.org/ 90. http://sequence.complete.org/node/feed 91. http://haskell.org/ 92. http://haskell.org/haskellwiki/HWN 93. http://code.haskell.org/~byorgey/code/hwn/ From wchogg at gmail.com Sat Feb 7 19:25:25 2009 From: wchogg at gmail.com (Creighton Hogg) Date: Sat Feb 7 19:15:19 2009 Subject: [Haskell] ANN : happs-tutorial 0.7 Message-ID: <814617240902071625o79c8e7des35f155cc7a4655f3@mail.gmail.com> Hello, I'm pleased to announce the release of happs-tutorial 0.7 on Hackage. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/happs-tutorial This is the first release of happs-tutorial built against the new Happstack project. Not much has changed in content since the last release except a few minor cleanups & a little bit of reorganization. The 0.8 release will consist of more extensive additions, with the primary focus being a walk through of multimaster. I've taken over the development of the tutorial from Thomas Hartman, who has already put a rather massive effort into making HAppS/Happstack more accessible. Please feel free to e-mail me with any comments, errata, or threats of bodily harm. Cheers, Creighton Hogg From matt at mattelder.org Sat Feb 7 19:37:10 2009 From: matt at mattelder.org (Matthew Elder) Date: Sat Feb 7 19:27:04 2009 Subject: [Haskell] ANN : happs-tutorial 0.7 In-Reply-To: <814617240902071625o79c8e7des35f155cc7a4655f3@mail.gmail.com> References: <814617240902071625o79c8e7des35f155cc7a4655f3@mail.gmail.com> Message-ID: <987d172d0902071637j4196b79fjdb53c560797bbfe7@mail.gmail.com> Congratulations on the release Creighton and thank you! On Sat, Feb 7, 2009 at 4:25 PM, Creighton Hogg wrote: > Hello, > > I'm pleased to announce the release of happs-tutorial 0.7 on Hackage. > http://hackage.haskell.org/cgi-bin/hackage-scripts/package/happs-tutorial > > This is the first release of happs-tutorial built against the new > Happstack project. Not much has changed in content since the last > release except a few minor cleanups & a little bit of reorganization. > The 0.8 release will consist of more extensive additions, with the > primary focus being a walk through of multimaster. > > I've taken over the development of the tutorial from Thomas Hartman, > who has already put a rather massive effort into making > HAppS/Happstack more accessible. Please feel free to e-mail me with > any comments, errata, or threats of bodily harm. > > Cheers, > Creighton Hogg > _______________________________________________ > Haskell mailing list > Haskell@haskell.org > http://www.haskell.org/mailman/listinfo/haskell > -- Need somewhere to put your code? http://patch-tag.com Want to build a webapp? http://happstack.com -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/haskell/attachments/20090207/794effa0/attachment.htm From cfp at clip.dia.fi.upm.es Sun Feb 8 11:05:29 2009 From: cfp at clip.dia.fi.upm.es (cfp@clip.dia.fi.upm.es) Date: Sun Feb 8 10:56:49 2009 Subject: [Haskell] ICLP 2009: Call for Workshop Proposals Message-ID: <18831.713.609057.368295@fi.upm.es> [We apologize in advance for repeated reception of this message] [Please fell free to forward it to anyone who can be interested] *** CALL FOR WORKSHOP PROPOSALS *** ICLP 2009 25th International Conference on Logic Programming Pasadena, California, USA July 14-17, 2009 URL: http://www.ist.unomaha.edu/iclp2009/ ICLP 2009, the 25th International Conference on Logic Programming, will be held in Pasadena (USA), from July 14 to 17, 2009. Workshops co-located with international conferences are one of the best venue for the presentation and discussion of preliminary work, novel ideas, and new open problems to a wide and interested audience. Co-located workshops also provide an opportunity for presenting specialized topics and opportunities for intensive discussions and project collaboration. The topics of the workshops co-located with ICLP 2009 can cover any areas related to logic programming, (e.g., theory, implementation, environments, language issues, alternative paradigms, applications), including cross-disciplinary areas. However, any workshop proposal will be considered. The format of the workshop will be decided by the workshop organizers, but ample time must be allowed for general discussion. Workshops can vary in length, but the optimal duration will be half a day or a full day. Workshop Proposal: ================== Those interested in organizing a workshop at ICLP 2009 are invited to submit a workshop proposal. Proposals should be in English and about two pages in length. They should contain: * The title of the workshop. * A brief technical description of the topics covered by the workshop. * A discussion of the timeliness and relevance of the workshop. * A list of some related workshops held in the last years. * The (preliminary) required number of half-days allotted to the workshop and an estimate of the number of expected attendees. * The names, affiliation, and contact details (email, web page, phone, fax) of the workshop organizer(s) together with a designated contact person. * The previous experience of the workshop organizing committee in workshop/conference organization. Proposals are expected in ASCII or PDF format. All proposals should be submitted to the Workshop Chair (Manuel Carro) by email by February 9th, 2009. Reviewing Process: ================== Each submitted proposal is reviewed by the Workshops Chair and the Conference Program Chairs. Proposals that appear well-organized and that fit the goals and scope of ICLP will be selected. The decision will be notified by email to the responsible organizer by February 23rd, 2009. The definitive length of the workshop will be planned according to the number of submissions received by the different workshops. For every accepted workshop, the ICLP local organizers will prepare a meeting place and arrange the distribution of the workshop proceedings, whose preparation is however in charge to the workshop organizers. The workshop registration fees will be handled together with the conference fees. Workshop Organizers' Tasks: =========================== * Producing a "Call for Papers" for the workshop and posting it on the net and/or other means. Please provide a web page URL which can be linked into the ICLP 2009 home page by March 9th, 2009. * Providing a brief description of the workshop for the conference program. * Reviewing/accepting submitted papers. * Scheduling workshop activities in collaboration with the local organizers and the workshop chair. * Sending workshop program and workshop proceedings in pdf format to the workshop chair for distribution at the conference. * The use of the Computing Research Repository (CoRR) for the workshop proceedings is strongly suggested. See http://www.logicprogramming.org/ for guidelines. We encourage reading these instructions in advance so that you can ask paper authors to prepare accordingly the final versions of their papers. Location: ========= All workshops will take place in Pasadena at the site of the main conference. See the ICLP 2009 web site for location details. Important Dates: ================ February 9, 2009: Proposal submission deadline. February 23, 2009: Notification. March 9, 2009: Deadline to receive the CFP and URL for workshop web page. June 1, 2009: Deadline for preliminary proceedings. July 14-17, 2009: ICLP 2009 workshops. Workshop Chair: =============== Manuel Carro [mcarro AT fi dot upm dot es] (www.clip.dia.fi.upm.es/~mcarro) From aslatter at gmail.com Sun Feb 8 15:46:06 2009 From: aslatter at gmail.com (Antoine Latter) Date: Sun Feb 8 15:36:04 2009 Subject: [Haskell] ANNOUNCE: X Haskell Bindings 0.1 Message-ID: <694519c50902081246i5cb82191mf0ba2cf16ea4ceb0@mail.gmail.com> I'd like to announce a version bump for the X Haskell Bindings (XHB) library, to 0.1.* from 0.0.*. The goal of XHB is to provide a Haskell implementation of the X11 wire protocol, similar in spirit to the X protocol C-language Binding (XCB). On Hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/xhb This release focuses on making the API a bit friendlier: + 'type BOOL = Word8' has been replaced in the API by Prelude.Bool + type synonyms BYTE, CARD8, CARD16 and CARD32 for the Data.Word types have been eliminated + type synonyms INT8, INT16 and INT32 for the Data.Int types have been eliminated + Previously, all protocol replies were represented by their own distinct data type. Now, if the reply to a request only includes a single field, the request returns that field directly. In more concrete terms: > internAtom :: Connection -> InternAtom -> IO (Receipt InternAtomReply) becomes: > internAtom :: Connection -> InternAtom -> IO (Receipt ATOM) Further work to make the API more "Haskelly" is ongoing. Related projects: X C Bindings: http://xcb.freedesktop.org/ -Antoine From dons at galois.com Sun Feb 8 15:47:10 2009 From: dons at galois.com (Don Stewart) Date: Sun Feb 8 15:37:45 2009 Subject: [Haskell] Re: [Haskell-cafe] ANNOUNCE: X Haskell Bindings 0.1 In-Reply-To: <694519c50902081246i5cb82191mf0ba2cf16ea4ceb0@mail.gmail.com> References: <694519c50902081246i5cb82191mf0ba2cf16ea4ceb0@mail.gmail.com> Message-ID: <20090208204710.GV29860@whirlpool.galois.com> aslatter: > I'd like to announce a version bump for the X Haskell Bindings (XHB) > library, to 0.1.* from 0.0.*. > > The goal of XHB is to provide a Haskell implementation of the X11 wire > protocol, similar in spirit to the X protocol C-language Binding > (XCB). > > On Hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/xhb > > This release focuses on making the API a bit friendlier: > > + 'type BOOL = Word8' has been replaced in the API by Prelude.Bool > > + type synonyms BYTE, CARD8, CARD16 and CARD32 for the Data.Word > types have been eliminated > > + type synonyms INT8, INT16 and INT32 for the Data.Int types have > been eliminated > > + Previously, all protocol replies were represented by their own > distinct data type. Now, if the reply to a request only includes a > single field, the request returns that field directly. > > In more concrete terms: > > > internAtom :: Connection -> InternAtom -> IO (Receipt InternAtomReply) > > becomes: > > > internAtom :: Connection -> InternAtom -> IO (Receipt ATOM) > > Further work to make the API more "Haskelly" is ongoing. > > Related projects: > > X C Bindings: http://xcb.freedesktop.org/ Well done! Have a distro package, http://aur.archlinux.org/packages.php?ID=23765 -- Don From aslatter at gmail.com Sun Feb 8 15:57:39 2009 From: aslatter at gmail.com (Antoine Latter) Date: Sun Feb 8 15:47:37 2009 Subject: [Haskell] Re: ANNOUNCE: X Haskell Bindings 0.1 In-Reply-To: <694519c50902081246i5cb82191mf0ba2cf16ea4ceb0@mail.gmail.com> References: <694519c50902081246i5cb82191mf0ba2cf16ea4ceb0@mail.gmail.com> Message-ID: <694519c50902081257x4978c205o83b9d208687f02c0@mail.gmail.com> On Sun, Feb 8, 2009 at 2:46 PM, Antoine Latter wrote: > I'd like to announce a version bump for the X Haskell Bindings (XHB) > library, to 0.1.* from 0.0.*. > > The goal of XHB is to provide a Haskell implementation of the X11 wire > protocol, similar in spirit to the X protocol C-language Binding > (XCB). > On a related note, I don't think I've ever formally announce my xcb-types library: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/xcb-types The goal of this project is to provide a parser for the X11 Protocol descriptions used by the XCB project. This is probably a bit specialized of a library, so I doubt I'll be announcing future releases as widely. The XML files that this is built to parse are available at: http://xcb.freedesktop.org/dist/ in the xcb-proto-X.X.tar.gz files. This library is among those required to build the source distribution for the XHB library. -Antoine From sescobar at dsic.upv.es Sun Feb 8 16:52:08 2009 From: sescobar at dsic.upv.es (Santiago Escobar) Date: Sun Feb 8 16:42:04 2009 Subject: [Haskell] Cfp: WFLP09-18th Int'l Workshop on Functional and (Constraint) Logic Programming References: <51580035-5DE7-4E2F-A69D-CF943F10A060@dsic.upv.es> Message-ID: <08FE1BD7-77EC-4CB7-B89C-CE95EC436D3F@dsic.upv.es> ******************************************************************* Preliminary Call For Papers 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 20, 2009 Full Paper Submission April 26, 2009 Acceptance Notification May 25, 2009 Preliminary Proceedings June 8, 2009 Workshop June 28, 2009 SCOPE The Workshop on Functional and (Constraint) Logic Programming aims at bringing together researchers interested in functional programming, (constraint) logic programming, as well as the integration of the two paradigms. It promotes the cross-fertilizing exchange of ideas and experiences among researchers and students from the different communities interested in the foundations, applications, and combinations of high-level, declarative programming languages and related areas. The previous WFLP editions are: WFLP 2008 (Siena, Italy), WFLP 2007 (Paris, France), WFLP 2006 (Madrid, Spain), WCFLP 2005 (Tallinn, Estonia), WFLP 2004 (Aachen, Germany), WFLP 2003 (Valencia, Spain), WFLP 2002 (Grado, Italy), WFLP 2001 (Kiel, Germany), WFLP 2000 (Benicassim, Spain), WFLP'99 (Grenoble, France), WFLP'98 (Bad Honnef, Germany), WFLP'97 (Schwarzenberg, Germany), WFLP'96 (Marburg, Germany), WFLP'95 (Schwarzenberg, Germany), WFLP'94 (Schwarzenberg, Germany), WFLP'93 (Rattenberg, Germany), and WFLP'92 (Karlsruhe, Germany). LOCATION WFLP'09 will be held in June 28, 2009 at Brasilia, Brazil, as part of the Federated Conference on Rewriting, Deduction, and Programming (RDP'09). WFLP'09 solicits papers in all areas of functional and (constraint) logic programming, including but not limited to: * Foundations: formal semantics, rewriting and narrowing, constraint solving, dynamics, type theory * Language Design: modules and type systems, multi-paradigm languages, concurrency and distribution, objects * Implementation: abstract machines, parallelism, compile-time and run-time optimizations, interfacing with external languages * Transformation and Analysis: abstract interpretation, specialization, partial evaluation, program transformation, meta-programming * Software Engineering: design patterns, specification, verification and validation, debugging, test generation * Integration of Paradigms: integration of declarative programming with other paradigms such as imperative, object-oriented, concurrent, and real-time programming * Applications: security, declarative programming in education and industry, domain-specific languages, visual/graphical user interfaces, embedded systems, WWW applications, knowledge representation and machine learning, deductive databases, advanced programming environments and tools SUBMISSIONS and PROCEEDINGS Authors are invited to submit papers of at most 15 pages (pdf or postscript formats) presenting original, not previously published works. Submission categories include regular research papers, short papers (not more than 8 pages) describing on-going work, and system descriptions. Submissions must be formatted in the Lecture Notes in Computer Science style (excluding well-marked appendices not intended for publication). Papers should be submitted electronically via the web-based submission site http://www.easychair.org/conferences/?conf=wflp2009 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 are planned to be published in a journal. INVITED SPEAKERS Claude Kirchner INRIA Bordeaux - Sud-Ouest, France Roberto Ierusalimschy Departamento de Informatica, PUC-Rio, Brazil PROGRAMME CHAIR Santiago Escobar Universidad Politecnica de Valencia, Spain ORGANIZING COMMITTEE Maria Alpuente Universidad Politecnica de Valencia, Spain Sergio Antoy Portland State University, USA Christiano Braga Universidade Federal Fluminense, Brazil Rafael Caballero Universidad Complutense de Madrid, Spain David Deharbe Universidade Federal do Rio Grande do Norte, Brazil Rachid Echahed CNRS,laboratoire LIG, France Moreno Falaschi Universita di Siena, Italy Michael Hanus Christian-Albrechts-Universitaet zu Kiel, Germany Frank Huch Christian-Albrechts-Universitaet zu Kiel, Germany Tetsuo Ida University of Tsukuba, Japan Wolfgang Lux Westfalische Wilhelms-Universitat Munster, Germany Mircea Marin University of Tsukuba, Japan Camilo Rueda Universidad Javeriana-Cali, Colombia Jaime Sanchez-Hernandez Universidad Complutense de Madrid, Spain Anderson Santana de Oliveira Universidade Federal do Rio Grande do Norte, Brazil From marlowsd at gmail.com Tue Feb 10 05:15:53 2009 From: marlowsd at gmail.com (Simon Marlow) Date: Tue Feb 10 05:05:46 2009 Subject: [Haskell] Fwd: Formal verification of high-level language implementation of critical software? Message-ID: <499153D9.8080309@gmail.com> Forwarding on behalf of David von Oheimb . > ------------------------------------------------------------------------ > > Subject: Formal verification of high-level language implementation of critical software? > From: David von Oheimb > Date: Mon, 09 Feb 2009 11:49:08 +0100 > To: members@fmeurope.org, formal-methods@cs.uidaho.edu, fmacademic@cas.mcmaster.ca, haskell@haskell.org > CC: Jorge Cu?llar , Greg Kimberly > > > Dear all, > > at Siemens Corporate Technology we are currently doing a study with > Boeing on how to enhance assurance of open-source security-critical > software components like OpenSSL. Methods considered range from standard > static analysis tools to formal verification. > > One observation is that the higher the programming language used is, > the less likely programming mistakes are, and the easier a formal model > can be obtained and the more likely it is to be faithful and verifiable. > In this sense, implementations e.g. in a functional/logic programming > language would be ideal. > > Are you aware of any (security critical or other) software component > that has been implemented in such a high-level language and has been > formally verified? Any quick pointers etc. are appreciated. > > Thanks, > David v.Oheimb > > +------------------------------------------------------------------<><-+ > | Dr. David von Oheimb Senior Research Scientist | > | Siemens AG, CT IC 3 Phone : +49 89 636 41173 | > | Otto-Hahn-Ring 6 Fax : +49 89 636 48000 | > | 81730 M?nchen Mobile: +49 171 8677 885 | > | Germany E-Mail: David.von.Oheimb@siemens.com | > | http://scd.siemens.de/db4/lookUp?tcgid=Z000ECRO http://ddvo.net/ | From ac638 at cam.ac.uk Tue Feb 10 05:31:11 2009 From: ac638 at cam.ac.uk (Amine Chaieb) Date: Tue Feb 10 05:20:58 2009 Subject: [Haskell] Fwd: Formal verification of high-level language implementation of critical software? In-Reply-To: <499153D9.8080309@gmail.com> References: <499153D9.8080309@gmail.com> Message-ID: <4991576F.4010105@cam.ac.uk> Hi, Maybe not that "big" components, but we verified formally (in Isabelle/HOL) some decision procedure implementations (mainly quantifier elimination for linear real, integer arithmetic and their combination). Using Isabelle's push button Technology you transform the formally Isabelle/HOL implementation in to SML, Ocaml or Haskell. Here are some pointers: http://www.cl.cam.ac.uk/~ac638/pubs/pdf/mir.pdf http://www.cl.cam.ac.uk/~ac638/pubs/pdf/frpar.pdf http://www.cl.cam.ac.uk/~ac638/pubs/pdf/linear.pdf Best wishes, Amine. Simon Marlow wrote: > Forwarding on behalf of David von Oheimb . > > > ------------------------------------------------------------------------ > > > > Subject: Formal verification of high-level language implementation of > critical software? > > From: David von Oheimb > > Date: Mon, 09 Feb 2009 11:49:08 +0100 > > To: members@fmeurope.org, formal-methods@cs.uidaho.edu, > fmacademic@cas.mcmaster.ca, haskell@haskell.org > > CC: Jorge Cu?llar , Greg Kimberly > > > > > > > Dear all, > > > > at Siemens Corporate Technology we are currently doing a study with > > Boeing on how to enhance assurance of open-source security-critical > > software components like OpenSSL. Methods considered range from standard > > static analysis tools to formal verification. > > > > One observation is that the higher the programming language used is, > > the less likely programming mistakes are, and the easier a formal model > > can be obtained and the more likely it is to be faithful and verifiable. > > In this sense, implementations e.g. in a functional/logic programming > > language would be ideal. > > > > Are you aware of any (security critical or other) software component > > that has been implemented in such a high-level language and has been > > formally verified? Any quick pointers etc. are appreciated. > > > > Thanks, > > David v.Oheimb > > > > +------------------------------------------------------------------<><-+ > > | Dr. David von Oheimb Senior Research Scientist | > > | Siemens AG, CT IC 3 Phone : +49 89 636 41173 | > > | Otto-Hahn-Ring 6 Fax : +49 89 636 48000 | > > | 81730 M?nchen Mobile: +49 171 8677 885 | > > | Germany E-Mail: David.von.Oheimb@siemens.com | > > | http://scd.siemens.de/db4/lookUp?tcgid=Z000ECRO http://ddvo.net/ | > _______________________________________________ > Haskell mailing list > Haskell@haskell.org > http://www.haskell.org/mailman/listinfo/haskell From Malcolm.Wallace at cs.york.ac.uk Tue Feb 10 09:26:44 2009 From: Malcolm.Wallace at cs.york.ac.uk (Malcolm Wallace) Date: Tue Feb 10 09:20:02 2009 Subject: [Haskell] Google Summer of Code 2009 Message-ID: <20090210142644.361a1d9e.Malcolm.Wallace@cs.york.ac.uk> Gentle Haskellers, The Google Summer of Code will be running again this year. Once again, haskell.org has the opportunity to bid to become a mentoring organisation. (Although, as always, there is no guarantee of acceptance.) If you have ideas for student projects that you think would benefit the Haskell community, now is the time to start discussing them on mailing lists of your choice. We especially encourage students to communicate with the wider community: if you keep your ideas private, you have a much worse chance of acceptance than if you develop ideas in collaboration with those who will be your "customers", end-users, or fellow-developers. This is the open-source world! The timeline is that Haskell.org will apply for GSoC membership between 9-13 March, and if we are successful, students can submit applications between 23 March - 3 April. If you wish to help publicise GSoC amongst students, there are official posters/fliers available (not specific to haskell.org): http://code.google.com/p/google-summer-of-code/wiki/GsocFlyers Regards, Malcolm From dons at galois.com Tue Feb 10 11:02:25 2009 From: dons at galois.com (Don Stewart) Date: Tue Feb 10 10:52:55 2009 Subject: [Haskell] Google Summer of Code 2009 In-Reply-To: <20090210142644.361a1d9e.Malcolm.Wallace@cs.york.ac.uk> References: <20090210142644.361a1d9e.Malcolm.Wallace@cs.york.ac.uk> Message-ID: <20090210160225.GA3835@whirlpool.galois.com> Malcolm.Wallace: > Gentle Haskellers, > > The Google Summer of Code will be running again this year. Once again, > haskell.org has the opportunity to bid to become a mentoring > organisation. (Although, as always, there is no guarantee of > acceptance.) > > If you have ideas for student projects that you think would benefit the > Haskell community, now is the time to start discussing them on mailing > lists of your choice. We especially encourage students to communicate > with the wider community: if you keep your ideas private, you have a > much worse chance of acceptance than if you develop ideas in > collaboration with those who will be your "customers", end-users, or > fellow-developers. This is the open-source world! > And I'll just note that since December we've been running a proposal submission site here, where you can vote and comment on ideas, http://www.reddit.com/r/haskell_proposals/top/ A great place to suggest ideas! -- Don From haskell at list.mightyreason.com Tue Feb 10 18:46:10 2009 From: haskell at list.mightyreason.com (ChrisK) Date: Tue Feb 10 18:36:03 2009 Subject: [Haskell] ANN: Bug fix to regex-tdfa, new version 0.97.3 Message-ID: <499211C2.4030605@list.mightyreason.com> To Haskell and Libraries and Haskell-Cafe, Whilst improving regex-tdfa I have run across new bugs. Some patterns were getting compiled wrong and others were affected by an execution bug. As this package has actual users, I wanted to make sure they get these fixes immediately. Three Cheers For QuickCheck! The new version is 0.97.3 at http://hackage.haskell.org/cgi-bin/hackage-scripts/package/regex-tdfa And this version passes all the unit tests I have, including coverage for the new bugs. This is no warranty that regex-tdfa is bug free, since I made that same claim last release. For instance: I suspect 0.97.3 may be buggy if used in the optional left-associative mode. The new improved version of regex-tdfa is still a long way off. Cheers, Chris Kuklewicz From lennart at augustsson.net Wed Feb 11 09:49:57 2009 From: lennart at augustsson.net (Lennart Augustsson) Date: Wed Feb 11 09:39:50 2009 Subject: [Haskell] Re: [Haskell-cafe] Gtk2HS 0.10.0 Released In-Reply-To: <499256D9.7020102@gmail.com> References: <499256D9.7020102@gmail.com> Message-ID: Does this version work from ghci? -- Lennart On Wed, Feb 11, 2009 at 5:40 AM, Peter Gavin wrote: > Hi everyone, > > Oh, dear... it seems I've forgotten how to spell "cafe", and sent this > message to haskell-caft@haskell.org the first time around. I resent it to > all the lists again (just to make sure everyone interested receives it), so > I apologize for any duplicated messages you might have received. In any > case... > > I'd like to release the announcement of Gtk2HS 0.10.0. A lot of new stuff > has gone into this release, including: > > - Support for GHC 6.10 > - Bindings to GIO and GtkSourceView-2.0 > - Full switch to the new model-view implementation using a Haskell model > - Support for many more model-based widgets such as IconView and an updated > binding for ComboBox > - Full Drag-and-Drop support > - Better support for Attributes in Pango > - Replaced Event for EventM monad, thereby improving efficiency and > convenience > - Functions for interaction between Cairo and Pixbuf drawing > - Lots of bug fixes, code cleanups, and portability improvements > > With this release, the bindings to GnomeVFS and GtkSourceView-1.0 have been > deprecated. The TreeList modules have been deprecated from the Gtk+ > bindings. > > Source and Win32 binaries are available at: > > > https://sourceforge.net/project/showfiles.php?group_id=49207package_id=42440&release_id=659598 > > Thanks to everyone who submitted bug fixes and features this time around! > > Thanks, > Peter Gavin > Gtk2HS Release Manager > > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe > From simonpj at microsoft.com Thu Feb 12 04:41:49 2009 From: simonpj at microsoft.com (Simon Peyton-Jones) Date: Thu Feb 12 04:31:44 2009 Subject: [Haskell] Take a break: write an essay for Onward! Essays Message-ID: <638ABD0A29C8884A91BC5FB5C349B1C33399201B74@EA-EXMSG-C334.europe.corp.microsoft.com> Friends Writing papers is fun, we mostly only get to write one *kind* of paper. Here is an opportunity to write something in a totally different style: Submit an essay to Onward! Essays Deadline: 20 April 2009 http://onward-conference.org/calls/foressays An Onward! essay is a thoughtful reflection upon software-related technology. Its goal is to help the reader to share a new insight, engage with an argument, or wrestle with a dilemma. A successful essay is a clear and compelling piece of writing that explores a topic important to the software community. The subject area should be interpreted broadly, including the relationship of software to human endeavours, or its philosophical, sociological, psychological, historical, or anthropological underpinnings. An essay can be an exploration of its topic, its impact, or the circumstances of its creation; it can present a personal view of what is, explore a terrain, or lead the reader in an act of discovery; it can be a philosophical digression or a deep analysis. It can describe a personal journey, perhaps that by which the author reached an understanding of such a topic. I'm the program chair, and I'd love to get submissions from the POPL/ICFP/types community. Reflections on programming languages, types, testing, verification, software engineering, compilers, society, ... you name it. Anything to do with software. NB: Onward! is co-located with OOPSLA, but they are otherwise unrelated. OO is fine, but not required. Don't forget: 20th April. Simon PS: To get your imagination going, here are a couple of (strongly-contrasting) past essays: * Dan Grossman "The transactional memory / garbage collection analogy" http://www.cs.washington.edu/homes/djg/papers/analogy_oopsla07.pdf * Dick Gabriel "Designed as designer" http://dreamsongs.org/DesignedAsDesigner.html From leather at cs.uu.nl Thu Feb 12 09:57:31 2009 From: leather at cs.uu.nl (Sean Leather) Date: Thu Feb 12 09:47:23 2009 Subject: [Haskell] CFP: 5th Haskell Hackathon, April 17-19, Utrecht Message-ID: <3c6288ab0902120657v4b23f18duc8663d365c0e3223@mail.gmail.com> Call for participation: ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ The 5th Haskell Hackathon April 17 - 19, 2009 Utrecht, The Netherlands ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ The Haskell Hackathon is a collaborative coding festival with a simple focus: build and improve Haskell libraries, tools, and infrastructure. Of course, we have fun doing it, too! All hackers are welcome to visit and work on various Haskell-related projects. You decide what you want to work on! Lists of projects and concerted efforts are collected on the Hac5 website. == General Information == Information about the projects as well as practicalities such as traveling, accommodation, etc. is available from the Hac5 website: http://haskell.org/haskellwiki/Hac5 == Registration == Please register by following the instructions on the registration page: http://haskell.org/haskellwiki/Hac5/Register Once you've registered, please add your info to the attendees self-organizing page: http://haskell.org/haskellwiki/Hac5/Attendees If you are looking to share costs or want to meet up prior to the Hackathon with other attendees, feel free to organize via the Attendees wiki page or join the Hackathon IRC channel on freenode: #haskell-hac5 == 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 ... -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/haskell/attachments/20090212/ab3e0364/attachment-0001.htm From himself at poczta.nom.pl Thu Feb 12 19:48:08 2009 From: himself at poczta.nom.pl (Andrzej Jaworski) Date: Thu Feb 12 19:38:04 2009 Subject: [Haskell] Google Summer of Code 2009 Message-ID: <12F7D63DD8CE47CE94746F2F493E1D54@bzdryk> > If you have ideas for student projects that you think would benefit the > Haskell community, now is the time to start discussing them on mailing Here is an idea that if done right might bootstrap Haskell real world applications with the help of greed and adrenaline:-) The ignition: (0) Bind Haskell to an automatic trading platform [API] (1) write real-time streamer and stock scanner. [PType] should offer more than was demonstrated in [F#] (2) Join [apps] from any angle (3) Consider a [DSL] for data analysis or write an [EasyLanguage] [API] http://www.interactivebrokers.com/en/p.php?f=programInterface&ib_entity=llc [F#] http://channel9.msdn.com/pdc2008/TL11/ [PType] http://research.nii.ac.jp/~hu/pub/aplas04-xu.pdf [apps] http://www.interactivebrokers.com/en/general/poll/ibconsultants.php?accept_disclaimer=T&ib_entity=llc [DSL] http://www.cc.gatech.edu/~saswat/research/one.pdf [EasyLanguage] https://www.tradestation.com/support/books/pdf/EL_Essentials.pdf https://www.tradestation.com/support/books/pdf/EL_FunctionsAndReservedWords_Ref.pdf From isabelle.perseil at telecom-paristech.fr Fri Feb 13 01:53:02 2009 From: isabelle.perseil at telecom-paristech.fr (Isabelle Perseil) Date: Fri Feb 13 01:42:41 2009 Subject: [Haskell] (CfP) UML&AADL'2009 : LAST CALL FOR PAPERS Message-ID: <8349fa2d7ecc0c135d9e7b513356b3ab.squirrel@webmail1.telecom-paristech.fr> ********************************************************************** CALL FOR PAPERS: UML&AADL?2009 http://www.artist-embedded.org/artist/UML-AADL-2009.html Workshop held in conjunction with ICECCS 2009 The fourteenth IEEE International Conference on Engineering of Complex Computer Systems http://www.iceccs.org/ June 02, 2009 Potsdam, Germany ************************************************************************ Submission deadline: February 20, 2009 -------------------------------------- Topics ====== New real-time systems have increasingly complex architectures because of the intricacy of the multiple interdependent features they have to manage. They must meet new requirements of reusability, interoperability, flexibility and portability. These new dimensions favor the use of an architecture description language that offers a global vision of the system, and which is particularly suitable for handling real-time characteristics. Due to the even more increased complexity of distributed, real-time and embedded systems (DRE), the need for a model-driven approach is more obvious in this domain than in monolithic RT systems. The purpose of this workshop is to provide an opportunity to gather researchers and industrial practitioners to survey existing efforts related to behavior modeling and model-based analysis of DRE systems. This workshop seeks contributions from researchers and practitioners interested in all aspects of the representation, analysis, and implementation of DRE system behavior and/or architecture models. To this end, we solicit papers (no more than 6 pages long) related to, but not limited to, the following principal topics: - Multi-domain specific modeling languages - Model transformation and generative approaches - Model-based Methodologies - Integration of different formalisms (e.g., Simulink/StateFlow, StateMate and Scade-drive) - Model Checking of architecture specifications - ADLs behavioral models simulation, Scheduling analysis and Worst-case execution time prediction Workshop Format =============== This full-day workshop will consist of an introduction of the topic by the workshop organizers, presentations of accepted papers, and in depth discussion of previously identified subjects emerging from the submissions. A summary of the discussions will be made available. Submission and Publication ========================== To contribute, please send a position paper or a technical paper to agusti[dot]canals[at]c-s[dot]fr with ?ICECCS09 UML&AADL Workshop? in the title. Papers should not exceed 6 pages. Submitted manuscripts should be in English and formatted in the style of the IEEE Computer Society Proceedings Format. Preferably, submissions should be in PDF format. All selected papers will be published in the IEEE Computer Society Press Proceedings. IMPORTANT DATES =============== Submission deadline: February 20, 2009 All Notification of acceptance: March 05, 2009 Workshop date: June 02, 2009 Organizational sponsors ======================= ARTIST NoE OMG Organizers and Programme Steering Committee =========================================== Jean-Michel Bruel (IRIT, France) Agusti Canals (CS, France) Robert de Simone (INRIA, France) S?bastien G?rard (CEA-LIST, France) Isabelle Perseil (TELECOM ParisTech, France) Publicity Chair =============== Sun Meg (CWI, The Netherlands) IEEE CS TCCX Coordinator ======================== Mike Hinchey (NASA GSFC and Loyola College in Maryland, USA) Programme Committee =================== Yamine Ait Ameur (LISI / ENSMA, France) Keijiro Araki (Kyushu University, Japan) Grady Booch (IBM Fellow, USA) Agusti Canals (CS, France) Juan Antonio de la Puente (Universidad Polit?cnica de Madrid, Spain) Sebastien Demathieu (THALES, France) Dionisio De Niz Villasenor (SEI, Carnegie Mellon, USA) Vincent Englebert (University of Namur, Belgium) Madeleine Faug?re (THALES, France) Mamoun Filali (IRIT, France) Robert France (Colorado State University, USA) S?bastien G?rard (CEA-LIST, France) Patrick Heymans (University of Namur, Belgium) Irfan Hamid (Microsoft Corp, Canada) J.J.M. Hooman (Embedded Systems Institute, The Netherlands) Bruce Lewis (US Army AMCOM) Johan Lilius (?bo Akademi University, Finland) Ricardo J. Machado (University of Minho, Portugal) Sun Meg (CWI, The Netherlands) Dominique Mery (LORIA, France) Nenad Medvidovic (University of Southern California, USA) Thierry Millan (IRIT, France) Richard Paige (University of York, United Kingdom) Marc Reynolds (University of Western Australia, Australia) Jos? Ra?l Romero Salguero (Universidad de C?rdoba, Spain) Bernhard Rumpe (Braunschweig University of Technology, Germany) Douglas C. Schmidt (Vanderbild University, USA) Fran?oise Simonot Lion (LORIA, France) Oleg Sokolsky (University of Pennsylvania, USA) Roy Sterritt (University of Ulster, United Kingdom) J?rn Guy S?? ( University of Queensland, Australia) Jing Sun (University of Auckland, New Zealand) Bedir Tekinerdogan (Bilkent University, Turkey) Martin T?rngren (KTH - Royal Institute of Technology, Sweden) Laurence Tratt (Bournemouth University, United Kingdom) Tullio Vardanega (University of Padua, Italy) Fran?ois Vernadat (CNRS-LAAS, France) Thomas Vergnaud (THALES, France) Eugenio Villar (Universidad de Cantabria, Spain) Sergio Yovine (CNRS-Verimag, France) Roberto V. Zicari (Goethe University Frankfurt, Germany) From g9ks157k at acme.softbase.org Sat Feb 14 11:19:09 2009 From: g9ks157k at acme.softbase.org (Wolfgang Jeltsch) Date: Sat Feb 14 11:10:26 2009 Subject: [Haskell] ANNOUNCE: first Grapefruit release Message-ID: <200902141719.09745.g9ks157k@acme.softbase.org> Dear friends of Haskell and Functional Reactive Programming, its my pleasure to announce the first official release of Grapefruit, a library for Functional Reactive Programming (FRP) with a focus on user interfaces. With Grapefruit, you can implement reactive and interactive systems in a declarative style. User interfaces are described as networks of communicating widgets and windows. Communication is done via different kinds of signals which describe temporal behavior. Grapefruit consists of five packages with several interesting features: grapefruit-frp: Functional Reactive Programming core * The FRP implementation uses a hybrid push/pull-based approach. * Signals can be memoized by binding them to variables ? like ordinary data structures. * Merging of event streams combines simultaneous events properly. * Signals cannot behave differently by starting them at different times. The type system is used to enforce proper aging of signals. grapefruit-records: A record system for Functional Reactive Programming * Input records can specify fields as being required or optional. * Uninteresting output fields can be ignored. The set of interesting fields is specified by pattern matching. grapefruit-ui: Declarative user interface programming * The interface for UI programming is platform-independent and can be implemented on top of different UI toolkits. * A concrete implementation can be selected at compile time or runtime. grapefruit-ui-gtk: GTK+-based implementation of the general UI interface * Gtk2Hs is used internally. grapefruit-examples: examples demonstrating features of Grapefruit * Circular communication and switching are demonstrated. Support for the following is planned for the future: * signals with incremental updates * user interfaces with changing structure * more kinds of UI components * graphical animations Further information about Grapefruit is available on its wiki page at . If you have questions, applause or criticism, please get in touch with me. Wolfgang Jeltsch Principal Grapefruit developer From byorgey at seas.upenn.edu Mon Feb 16 04:29:50 2009 From: byorgey at seas.upenn.edu (Brent Yorgey) Date: Mon Feb 16 04:19:34 2009 Subject: [Haskell] ANN: The Typeclassopedia, and request for feedback Message-ID: <20090216092950.GA12517@seas.upenn.edu> Hi all, If you've noticed the lack of a HWN this week, that's because I've been doggedly finishing my article entitled 'The Typeclassopedia', which I have just submitted for publication in the Monad.Reader. Here's the abstract: The standard Haskell libraries feature a number of type classes with algebraic or categorical underpinnings. Becoming a fluent Haskell hacker requires intimate familiarity with them all, yet acquiring this familiarity often involves combing through a mountain of tutorials, blog posts, mailing list archives, and IRC logs. The goal of this article is to serve as a starting point for the student of Haskell wishing to gain a firm grasp of its standard type classes. The essentials of each type class are introduced, with examples, commentary, and extensive references for further reading. My hope is that this will be a valuable resource to the Haskell community, especially those who are learning. Any feedback would be greatly appreciated, especially if it helps improve the article before publication. A draft can be found here: http://www.cis.upenn.edu/~byorgey/papers/typeclassopedia-draft-090216.pdf Also see my blog post for a bit more info: http://byorgey.wordpress.com/2009/02/16/the-typeclassopedia-request-for-feedback/ happy haskelling! -Brent From martijn at van.steenbergen.nl Mon Feb 16 07:31:57 2009 From: martijn at van.steenbergen.nl (Martijn van Steenbergen) Date: Mon Feb 16 07:21:24 2009 Subject: [Haskell] Ann: Yogurt-0.3 Message-ID: <49995CBD.6070807@van.steenbergen.nl> Dear Haskellers, I'm pleased to announce the release of Yogurt-0.3! This version improves over 0.2 in several ways: * It compiles and runs with GHC 6.10. * The Mud monad is now built on top of IO. * Vars are expressed as IORefs. No more unsafeCoerce needed. * Forking of threads is supported, with callback into the Mud monad: > type RunMud = forall a. Mud a -> IO a > forkWithCallback :: (RunMud -> IO ()) -> Mud ThreadId * Timers are no longer a primitive: they can be expressed as function of forkWithCallback. * Refactorings in the architecture: the features are a strict superset of the previous version while the number of lines of code has decreased by 10%. All feedback is appreciated! Thanks to Saizan on #haskell for helping me work around the predicative types. :-) The code is available at Google: http://code.google.com/p/yogurt-mud/ Kind regards, Martijn. From wagner.andrew at gmail.com Mon Feb 16 10:09:03 2009 From: wagner.andrew at gmail.com (Andrew Wagner) Date: Mon Feb 16 09:58:47 2009 Subject: [Haskell] Re: [Haskell-cafe] ANN: The Typeclassopedia, and request for feedback In-Reply-To: <20090216092950.GA12517@seas.upenn.edu> References: <20090216092950.GA12517@seas.upenn.edu> Message-ID: Positively brilliant. What else can be said? Time for Brent to sign a "Haskell recipes" deal with O'Reilly (or whatever the next normal book should be). On Mon, Feb 16, 2009 at 4:29 AM, Brent Yorgey wrote: > Hi all, > > If you've noticed the lack of a HWN this week, that's because I've > been doggedly finishing my article entitled 'The Typeclassopedia', > which I have just submitted for publication in the Monad.Reader. > Here's the abstract: > > The standard Haskell libraries feature a number of type classes > with algebraic or categorical underpinnings. Becoming a fluent > Haskell hacker requires intimate familiarity with them all, yet > acquiring this familiarity often involves combing through a > mountain of tutorials, blog posts, mailing list archives, and IRC > logs. > > The goal of this article is to serve as a starting point for the > student of Haskell wishing to gain a firm grasp of its standard > type classes. The essentials of each type class are introduced, > with examples, commentary, and extensive references for further > reading. > > My hope is that this will be a valuable resource to the Haskell > community, especially those who are learning. Any feedback would be > greatly appreciated, especially if it helps improve the article before > publication. A draft can be found here: > > > http://www.cis.upenn.edu/~byorgey/papers/typeclassopedia-draft-090216.pdf > > Also see my blog post for a bit more info: > > > http://byorgey.wordpress.com/2009/02/16/the-typeclassopedia-request-for-feedback/ > > happy haskelling! > -Brent > _______________________________________________ > 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/20090216/b0de529a/attachment.htm From rodrigoswanderley at gmail.com Mon Feb 16 10:35:42 2009 From: rodrigoswanderley at gmail.com (=?ISO-8859-1?Q?Rodrigo_Steinm=FCller?=) Date: Mon Feb 16 10:25:11 2009 Subject: [Haskell] Re: [Haskell-cafe] ANN: The Typeclassopedia, and request for feedback In-Reply-To: References: <20090216092950.GA12517@seas.upenn.edu> Message-ID: Brent, First of all, great article! Was really fun to read. I just had some difficulties to follow up the occurrences of the <$> operator on section Instances page 9. The operator is explained only a little bit later, on Laws page 10. Rodrigo 2009/2/16 Andrew Wagner > Positively brilliant. What else can be said? Time for Brent to sign a > "Haskell recipes" deal with O'Reilly (or whatever the next normal book > should be). > > On Mon, Feb 16, 2009 at 4:29 AM, Brent Yorgey wrote: > >> Hi all, >> >> If you've noticed the lack of a HWN this week, that's because I've >> been doggedly finishing my article entitled 'The Typeclassopedia', >> which I have just submitted for publication in the Monad.Reader. >> Here's the abstract: >> >> The standard Haskell libraries feature a number of type classes >> with algebraic or categorical underpinnings. Becoming a fluent >> Haskell hacker requires intimate familiarity with them all, yet >> acquiring this familiarity often involves combing through a >> mountain of tutorials, blog posts, mailing list archives, and IRC >> logs. >> >> The goal of this article is to serve as a starting point for the >> student of Haskell wishing to gain a firm grasp of its standard >> type classes. The essentials of each type class are introduced, >> with examples, commentary, and extensive references for further >> reading. >> >> My hope is that this will be a valuable resource to the Haskell >> community, especially those who are learning. Any feedback would be >> greatly appreciated, especially if it helps improve the article before >> publication. A draft can be found here: >> >> >> http://www.cis.upenn.edu/~byorgey/papers/typeclassopedia-draft-090216.pdf >> >> Also see my blog post for a bit more info: >> >> >> http://byorgey.wordpress.com/2009/02/16/the-typeclassopedia-request-for-feedback/ >> >> happy haskelling! >> -Brent >> _______________________________________________ >> Haskell-Cafe mailing list >> Haskell-Cafe@haskell.org >> http://www.haskell.org/mailman/listinfo/haskell-cafe >> > > > _______________________________________________ > 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/20090216/f649a35a/attachment-0001.htm From wchogg at gmail.com Mon Feb 16 13:48:32 2009 From: wchogg at gmail.com (Creighton Hogg) Date: Mon Feb 16 13:38:16 2009 Subject: [Haskell] ANN : Crypto 4.2.0 & Related News Message-ID: <814617240902161048k2e691a17t86d687baf2679339@mail.gmail.com> Hello Haskellers, I'm pleased to announce version 4.2.0 of Crypto has been uploaded to Hackage & that I am taking over maintenance of the library from Dominic Steinitz. As of this release it should be cabal install'able on GHC 6.10.1. I'm also pleased to announce that the darcs repo will be moving from code.haskell.org to being hosted on Patch-Tag at http://patch-tag.com/repo/crypto/home. You don't need to sign up for Patch-Tag to use the read only repos, but you will need an account if you want to be given write access to the crypto repository. Please feel free to e-mail me with any issues or questions. Cheers, Creighton From dons at galois.com Mon Feb 16 13:56:36 2009 From: dons at galois.com (Don Stewart) Date: Mon Feb 16 13:46:58 2009 Subject: [Haskell] Re: [Haskell-cafe] ANN : Crypto 4.2.0 & Related News In-Reply-To: <814617240902161048k2e691a17t86d687baf2679339@mail.gmail.com> References: <814617240902161048k2e691a17t86d687baf2679339@mail.gmail.com> Message-ID: <20090216185635.GD28006@whirlpool.galois.com> wchogg: > Hello Haskellers, > > I'm pleased to announce version 4.2.0 of Crypto has been uploaded to > Hackage & that I am taking over maintenance of the library from > Dominic Steinitz. As of this release it should be cabal install'able > on GHC 6.10.1. I'm also pleased to announce that the darcs repo will > be moving from code.haskell.org to being hosted on Patch-Tag at > http://patch-tag.com/repo/crypto/home. You don't need to sign up for > Patch-Tag to use the read only repos, but you will need an account if > you want to be given write access to the crypto repository. > > Please feel free to e-mail me with any issues or questions. Great! Good to see the torch passed on. Packaged up for Arch, http://aur.archlinux.org/packages.php?ID=17492 -- Don From aslatter at gmail.com Mon Feb 16 20:30:17 2009 From: aslatter at gmail.com (Antoine Latter) Date: Mon Feb 16 20:20:00 2009 Subject: [Haskell] Re: [Haskell-cafe] ANN : Crypto 4.2.0 & Related News In-Reply-To: <814617240902161048k2e691a17t86d687baf2679339@mail.gmail.com> References: <814617240902161048k2e691a17t86d687baf2679339@mail.gmail.com> Message-ID: <694519c50902161730g38e12f94qb6b2c2abf5bddfe7@mail.gmail.com> On Mon, Feb 16, 2009 at 12:48 PM, Creighton Hogg wrote: > Hello Haskellers, > > I'm pleased to announce version 4.2.0 of Crypto has been uploaded to > Hackage & that I am taking over maintenance of the library from > Dominic Steinitz. As of this release it should be cabal install'able > on GHC 6.10.1. I'm also pleased to announce that the darcs repo will > be moving from code.haskell.org to being hosted on Patch-Tag at > http://patch-tag.com/repo/crypto/home. You don't need to sign up for > Patch-Tag to use the read only repos, but you will need an account if > you want to be given write access to the crypto repository. > > Please feel free to e-mail me with any issues or questions. > > Cheers, > Creighton It's nice to see dogfooding of haskell frameworks - are there any announcements or blog postings anywhere for Patch-Tag? Maybe I missed something. Also I'm getting a 'not authorized' message when opening the above link. -Antoine From wchogg at gmail.com Mon Feb 16 20:35:40 2009 From: wchogg at gmail.com (Creighton Hogg) Date: Mon Feb 16 20:25:17 2009 Subject: [Haskell] Re: [Haskell-cafe] ANN : Crypto 4.2.0 & Related News In-Reply-To: <694519c50902161730g38e12f94qb6b2c2abf5bddfe7@mail.gmail.com> References: <814617240902161048k2e691a17t86d687baf2679339@mail.gmail.com> <694519c50902161730g38e12f94qb6b2c2abf5bddfe7@mail.gmail.com> Message-ID: <814617240902161735x5644cb19i38b3448ec403c6f0@mail.gmail.com> On Mon, Feb 16, 2009 at 7:30 PM, Antoine Latter wrote: > On Mon, Feb 16, 2009 at 12:48 PM, Creighton Hogg wrote: >> Hello Haskellers, >> >> I'm pleased to announce version 4.2.0 of Crypto has been uploaded to >> Hackage & that I am taking over maintenance of the library from >> Dominic Steinitz. As of this release it should be cabal install'able >> on GHC 6.10.1. I'm also pleased to announce that the darcs repo will >> be moving from code.haskell.org to being hosted on Patch-Tag at >> http://patch-tag.com/repo/crypto/home. You don't need to sign up for >> Patch-Tag to use the read only repos, but you will need an account if >> you want to be given write access to the crypto repository. >> >> Please feel free to e-mail me with any issues or questions. >> >> Cheers, >> Creighton > > It's nice to see dogfooding of haskell frameworks - are there any > announcements or blog postings anywhere for Patch-Tag? Maybe I missed > something. > > Also I'm getting a 'not authorized' message when opening the above link. Ah, the repo was accidentally marked private. I've fixed that now. There have been a few bits of news about Patch-Tag so far, actually, but I think a good place to look right now is their blog http://blog.patch-tag.com/. Cheers, C From ml at isaac.cedarswampstudios.org Mon Feb 16 21:14:41 2009 From: ml at isaac.cedarswampstudios.org (Isaac Dupree) Date: Mon Feb 16 21:04:35 2009 Subject: [Haskell] ANN: The Typeclassopedia, and request for feedback In-Reply-To: <20090216092950.GA12517@seas.upenn.edu> References: <20090216092950.GA12517@seas.upenn.edu> Message-ID: <200902162114.42168.ml@isaac.cedarswampstudios.org> Natural numbers under min don't form a monoid, only naturals under max do (so you can have a zero element) Brent Yorgey wrote: > Hi all, > > If you've noticed the lack of a HWN this week, that's because I've > been doggedly finishing my article entitled 'The Typeclassopedia', > which I have just submitted for publication in the Monad.Reader. > Here's the abstract: > > The standard Haskell libraries feature a number of type classes > with algebraic or categorical underpinnings. Becoming a fluent > Haskell hacker requires intimate familiarity with them all, yet > acquiring this familiarity often involves combing through a > mountain of tutorials, blog posts, mailing list archives, and IRC > logs. > > The goal of this article is to serve as a starting point for the > student of Haskell wishing to gain a firm grasp of its standard > type classes. The essentials of each type class are introduced, > with examples, commentary, and extensive references for further > reading. > > My hope is that this will be a valuable resource to the Haskell > community, especially those who are learning. Any feedback would be > greatly appreciated, especially if it helps improve the article before > publication. A draft can be found here: > > > http://www.cis.upenn.edu/~byorgey/papers/typeclassopedia-draft-090216.pdf > > Also see my blog post for a bit more info: > > > http://byorgey.wordpress.com/2009/02/16/the-typeclassopedia-request-for-fee >dback/ > > happy haskelling! > -Brent > _______________________________________________ > Haskell mailing list > Haskell@haskell.org > http://www.haskell.org/mailman/listinfo/haskell From byorgey at seas.upenn.edu Tue Feb 17 11:26:33 2009 From: byorgey at seas.upenn.edu (Brent Yorgey) Date: Tue Feb 17 11:16:11 2009 Subject: [Haskell] Haskell Weekly News: Issue 105 - February 17, 2009 Message-ID: <20090217162633.GA15165@seas.upenn.edu> --------------------------------------------------------------------------- Haskell Weekly News http://sequence.complete.org/hwn/20090217 Issue 105 - February 17, 2009 --------------------------------------------------------------------------- Welcome to issue 105 of HWN, a newsletter covering developments in the [1]Haskell community. And here's the Belated Valentine's Day HWN! Motto: "Remembering that you love someone three days after you were supposed to is better than not remembering at all." Of course, it's late because I spent the weekend working on the Typeclassopedia (although you won't find a link to it in this HWN because I've only included things through Saturday). Much Haskell love to all! Announcements Plans for GHC 6.10.2. Ian Lynagh [2]announced a quick summary of the plans for GHC 6.10.2. If there is a bug not on the [3]high-priority list that is causing you major problems, please let the developers know. A release candidate is expected to be ready by the end of the week. Bug fix to regex-tdfa, new version 0.97.3. ChrisK [4]announced a [5]new release of regex-tdfa which fixes some additional bugs. Three Cheers For QuickCheck! Google Summer of Code 2009. Malcolm Wallace [6]announced that haskell.org will once again be applying to be a Google Summer of Code mentor organization. Now is the time to begin discussing ideas for student projects. Also, if you wish to help publicize GSoC amongst students, there are [7]official posters/fliers available. A long discussion of various project ideas followed, including some analysis of the factors which contribute to project success. happs-tutorial 0.7. Creighton Hogg [8]announced the release of [9]happs-tutorial 0.7, the first release of happs-tutorial built against the new [10]Happstack project. Creighton has now taken over development of the tutorial from Thomas Hartman. first Grapefruit release. Wolfgang Jeltsch [11]announced the first official release of [12]Grapefruit, a library for Functional Reactive Programming (FRP) with a focus on user interfaces. With Grapefruit, you can implement reactive and interactive systems in a declarative style. User interfaces are described as networks of communicating widgets and windows. Communication is done via different kinds of signals which describe temporal behavior. CFP: 5th Haskell Hackathon, April 17-19, Utrecht. Sean Leather [13]issued a call for participation in the [14]5th Haskell Hackathon, which will be held in Utrecht, The Netherlands, from 17-19 April. The Haskell Hackathon is a collaborative coding festival with a simple focus: build and improve Haskell libraries, tools, and infrastructure. All are welcome! See the website for more information, or join the IRC channel (#haskell-hac5). Please register if you plan to attend! Take a break: write an essay for Onward! Essays. Simon Peyton-Jones [15]announced a call for submissions to [16]Onward! Essays. An Onward! essay is a thoughtful reflection upon software-related technology. Its goal is to help the reader to share a new insight, engage with an argument, or wrestle with a dilemma. The deadline is 20 April. Data.Stream 0.3. Wouter Swierstra [17]announced a new version of the [18]Data.Stream package, a modest library for manipulating infinite lists. Changes include support for lazy SmallCheck, an improved Show instance, stricter scans, various documentation fixes, and several new functions from Data.List. X Haskell Bindings 0.1. Antoine Latter [19]announced a new release of the [20]X Haskell Bindings (XHB) library. The goal of XHB is to provide a Haskell implementation of the X11 wire protocol, similar in spirit to the X protocol C-language Binding (XCB). Gtk2HS 0.10.0 released. Peter Gavin [21]announced a [22]new release of [23]Gtk2HS, the Haskell GTK bindings. Notable changes include support for GHC 6.10, bindings to GIO and GtkSourceView-2.0, a full switch to the new model-view implementation using a Haskell model, and many others. Discussion Haskell.org GSoC. Daniel Kraft began a [24]discussion about good topics for a Haskell GSoC project. Painting logs to get a coloured tree. Joachim Breitner asked about elegant ways to annotate trees, leading to an interesting [25]discussion. Blog noise [26]Haskell news from the [27]blogosphere. * Conor McBride: [28]FP Lunch: Djinn, monotonic. * Gregg Reynolds: [29]"Computation" considered harmful. "Value" not so hot either.. * Darcs: [30]darcs weekly news #17. * Antoine Latter: [31]Dependencies in Hackage, revisited. * GHC / OpenSPARC Project: [32]Allocate!. * Chris Done: [33]Updates: RSS and highlighting. * Chris Done: [34]Simple SMTP library with plain/login authentication. * The GHC Team: [35]Ever wondered how big a closure is?. * Luke Palmer: [36]Dana update: Core execution language, dependent combinators. * John Van Enk: [37]Distraction: Fun with diagrams!. * Magnus Therning: [38]New backend for epilicious pushed.. * Alex Mason: [39]Shootout PiDigits program kinda sucks (and possibly so does GHC). * Gtk2HS: [40]Gtk2Hs version 0.10.0 released. * Ketil Malde: [41]Notes from PADL. * Alson Kemp: [42]Kudos to Bodo. * xmonad: [43]New layout: XMonad.Layout.Cross. * Gregg Reynolds: [44]Programming Language Semiotics. * Gregg Reynolds: [45]Formal semantics for side effects. * xmonad: [46]contribs review: CycleWindows, multimedia keys, runOrCopy. * Conal Elliott: [47]From the chain rule to automatic differentiation. * Arnar Birgisson: [48]The Non-Determinism Monad. * Matthew Jones: [49]XMonad: A tiling window manager written in Haskell. * Gregg Reynolds: [50]Moggi :: CT -> Hask. * Lennart Augustsson: [51]More BASIC. Quotes of the Week * chrisdone: zipWith3 ($) (cycle [const,flip const]) "hai! haha!" "yarlysotense!" * quicksilver: I'm very unlikely to give the time of day to anything which doesn't let me continue to use emacs. * roconnor: don't let Float do your finance homework for you. * quicksilver: @go is made of STRING and FAIL. * drhodes: We're sorry Mr. Thunk, but this program is on a need to run basis, and you don't need to run. Now go away before I call the garbage collector. About the Haskell Weekly News New editions are posted to [52]the Haskell mailing list as well as to [53]the Haskell Sequence and [54]Planet Haskell. [55]RSS is also available, and headlines appear on [56]haskell.org. To help create new editions of this newsletter, please see the information on [57]how to contribute. Send stories to byorgey at cis dot upenn dot edu. The darcs repository is available at darcs get [58]http://code.haskell.org/~byorgey/code/hwn/ . References 1. http://haskell.org/ 2. http://article.gmane.org/gmane.comp.lang.haskell.glasgow.user/16304 3. http://hackage.haskell.org/trac/ghc/query?status=new&status=assigned&status=reopened&priority=high&priority=highest&milestone=6.10.2&order=priority 4. http://article.gmane.org/gmane.comp.lang.haskell.general/16859 5. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/regex-tdfa 6. http://article.gmane.org/gmane.comp.lang.haskell.general/16857 7. http://code.google.com/p/google-summer-of-code/wiki/GsocFlyers 8. http://article.gmane.org/gmane.comp.lang.haskell.general/16848 9. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/happs-tutorial 10. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/happs-tutorial 11. http://article.gmane.org/gmane.comp.lang.haskell.cafe/52847 12. http://haskell.org/haskellwiki/Grapefruit 13. http://article.gmane.org/gmane.comp.lang.haskell.cafe/52689 14. http://haskell.org/haskellwiki/Hac5 15. http://article.gmane.org/gmane.comp.lang.haskell.cafe/52660 16. http://onward-conference.org/calls/foressays 17. http://article.gmane.org/gmane.comp.lang.haskell.cafe/52558 18. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Stream/ 19. http://article.gmane.org/gmane.comp.lang.haskell.cafe/52364 20. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/xhb 21. http://www.haskell.org//pipermail/haskell-cafe/2009-February/055490.html 22. https://sourceforge.net/project/showfiles.php?group_id=49207package_id=42440&release_id=659598 23. http://www.haskell.org/gtk2hs/ 24. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/52553 25. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/52461 26. http://planet.haskell.org/ 27. http://haskell.org/haskellwiki/Blog_articles 28. http://sneezy.cs.nott.ac.uk/fplunch/weblog/?p=187 29. http://syntax.wikidot.com/blog:5 30. http://blog.darcs.net/2009/02/news-and-discussions-1_13.html 31. http://panicsonic.blogspot.com/2009/02/dependencies-in-hackage-revisited.html 32. http://ghcsparc.blogspot.com/2009/02/allocate.html 33. http://chrisdone.com/blog/html/2009-02-13-lang-spec-tag-rss.html 34. http://chrisdone.com/blog/html/2009-02-13-smtp.html 35. http://ghcmutterings.wordpress.com/2009/02/12/53/ 36. http://lukepalmer.wordpress.com/2009/02/12/dana-update-core-execution-language-dependent-combinators/ 37. http://blog.sw17ch.com/wordpress/?p=18 38. http://therning.org/magnus/archives/499 39. http://axman6.homeip.net/blog/2009/02/shootout-pidigits-program-kinda-sucks-and-possibly-so-does-ghc.html 40. http://haskell.org/gtk2hs/archives/2009/02/11/gtk2hs-version-0100-released/ 41. http://blog.malde.org/index.php/2009/02/11/notes-from-padl/ 42. http://www.alsonkemp.com/haskell/kudos-to-bodo/ 43. http://xmonad.wordpress.com/2009/02/10/new-layout-xmonadlayoutcross/ 44. http://syntax.wikidot.com/blog:4 45. http://syntax.wikidot.com/blog:3 46. http://xmonad.wordpress.com/2009/02/08/contribs-review-cyclewindows-multimedia-keys-runorcopy/ 47. http://conal.net/blog/posts/from-the-chain-rule-to-automatic-differentiation/ 48. http://www.hvergi.net/2009/02/the-non-determinism-monad/ 49. http://matburt.net/?p=36 50. http://syntax.wikidot.com/blog:1 51. http://augustss.blogspot.com/2009/02/more-basic-not-that-anybody-should-care.html 52. http://www.haskell.org/mailman/listinfo/haskell 53. http://sequence.complete.org/ 54. http://planet.haskell.org/ 55. http://sequence.complete.org/node/feed 56. http://haskell.org/ 57. http://haskell.org/haskellwiki/HWN 58. http://code.haskell.org/~byorgey/code/hwn/ From blancolioni at gmail.com Tue Feb 17 17:05:50 2009 From: blancolioni at gmail.com (Fraser Wilson) Date: Tue Feb 17 16:55:13 2009 Subject: [Haskell] ANN: Barrie 0.3.1 Message-ID: This is the hackaged version of an earlier release of Barrie. This release is not backward compatible (but it took me about five minutes to update everything). >From the package description: Implementation of an idea for supporting certain kinds of GUI: that is state based, user-driven ones. The GUI is intended to manipulate a state, and it is responsive rather than active. Configuration is an example. The idea is that you already have a state-manipulation bit of code lying around, and you want to slap a GUI on the front. Barrie does not help you write beautiful code, but it sure puts something functional on the screen quickly. It's currently being used for an interface to a Bridge application, and for something else which is too nerdy to describe here, but which follows the general pattern of the intended purpose. To install: $ cabal update $ cabal install barrie Barrie now requires gtk2hs 0.10.0. Changes: - Dropped the generic value type. It was 1. not type safe 2. not interesting 3. not exactly everything I ever wanted from a type-agnostic storage mechanism. Instead, Barrie operates internally with Strings. This should be type safe because of the way they are wrapped, and it seems like a good place to park the problem until I work out what I really want. - Gadget constructors are now much more regular. For example, to create a gadget that displays things, you have a choice of displayG, which displays any instance of show, displayG', which lets you provide your own conversions to and from String, and textDisplayG, which displays plain old Strings. Similarly, the chooserG gadget is created by chooserG, chooserG' and textChooserG, but there's also enumChooserG, which automatically creates a chooser for the elements of any Enum that is an instance of Show. Choosers can currently be rendered by a list or a combo box. - Quite a bit of documentation, which, because of the regularity imposed by Haddock, is making me question the decision to use Literate Haskell. Hey ho, live and learn. - Text boxes now apply their changes after they lose focus. The darcs repository with demos can still be found at http://thewhitelion.org/darcs/barrie, and I think I've sorted out the recent problems there. cheers, Fraser. -- http://thewhitelion.org/mysister -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/haskell/attachments/20090217/4a68c631/attachment-0001.htm From duncan.coutts at worc.ox.ac.uk Thu Feb 19 11:14:18 2009 From: duncan.coutts at worc.ox.ac.uk (Duncan Coutts) Date: Thu Feb 19 11:04:07 2009 Subject: [Haskell] ANNOUNCE: Cabal-1.6.0.2 and cabal-install-0.6.2 Message-ID: <1235060058.10457.230.camel@localhost> I'm pleased to announce point-releases of the Cabal library and the cabal-install command line tool. If you are already using cabal-install then you can upgrade both using: $ cabal update $ cabal install Cabal cabal-install New users you can get it from: http://haskell.org/cabal/download.html For users on unix systems there is a source tarball with a bootstrap script. For users on Windows systems there is a pre-compiled cabal.exe. Release notes ============= Cabal-1.6.0.2 ------------- This is a point-release in the stable 1.6.x series. It is expected that this release will be included with ghc-6.10.2. It has a number of fixes and minor improvements. The most noticeable change is that Cabal now checks at configure time that C libraries and header files are available. This is known to break a small number of packages. The maintainers of these packages have been notified. Changes since 1.6.0.1: * New configure-time check for C headers and libraries * Added language extensions present in ghc-6.10 * Added support for NamedFieldPuns extension in ghc-6.8 * Fix in configure step for ghc-6.6 on Windows * Fix warnings in Path_pkgname.hs module on Windows * Fix for exotic flags in ld-options field * Fix for using pkg-config in a package with a lib and an executable * Fix for building haddock docs for exes that use the Paths module * Fix for installing header files in subdirectories * Fix for the case of building profiling libs but not ordinary libs * Fix read-only attribute of installed files on Windows * Ignore ghc -threaded flag when profiling in ghc-6.8 and older cabal-install-0.6.2 ------------------- This release contains a number of incremental improvements, including some new features. We expect to do another 0.6.x release in the not too distant future focusing on improvements in the way package dependencies are selected. Changes since 0.6.0: * The upgrade command has been disabled in this release * The configure and install commands now have consistent behaviour * Reduce the tendency to re-install already existing packages * The --constraint= flag now works for the install command * New --preference= flag for soft constraints / version preferences * Improved bootstrap.sh script, smarter and better error checking * New cabal info command to display detailed info on packages * New cabal unpack command to download and untar a package * HTTP-4000 package required, should fix bugs with http proxies * Now works with authenticated proxies. * On Windows can now override the proxy setting using an env var * Fix compatibility with config files generated by older versions * Warn if the hackage package list is very old * More helpful --help output, mention config file and examples * Better documentation in ~/.cabal/config file * Improved command line interface for logging and build reporting * Minor improvements to some messages Changes since 0.5.2: * Constraint solver can now cope with base 3 and base 4 * Allow use of package version preferences from hackage index * More detailed output from cabal install --dry-run -v * Improved bootstrap.sh Bugs and feature requests ========================= This is an excellent opportunity to make sure your favourite bug or feature request is properly described in our bug tracker: http://hackage.haskell.org/trac/hackage/ To help us guide development priorities please add yourself to the ticket's cc list and describe why that bug or feature is important to you. Credits ======= On behalf of the Cabal hackers and the community generally I'd like to thank the people who have contributed patches for these releases: * Gleb Alexeyev * Samuel Bronson * Thomas Schilling * Ganesh Sittampalam * Andrea Vezzosi Get involved ============ There's still a lot to do! We have big plans for Cabal-2.0, cabal-install and the Hackage website. So if you're interested in helping out with this core infrastructure project then: * subscribe to the cabal-devel mailing list: http://www.haskell.org/mailman/listinfo/cabal-devel * grab the source: http://haskell.org/cabal/code.html * read the guide to the source code: http://hackage.haskell.org/trac/hackage/wiki/SourceGuide * take a look at our list of bugs and feature requests: http://hackage.haskell.org/trac/hackage/report/12 especially the easy tickets: http://hackage.haskell.org/trac/hackage/report/13 Duncan From hjgtuyl at chello.nl Fri Feb 20 18:13:16 2009 From: hjgtuyl at chello.nl (Henk-Jan van Tuyl) Date: Fri Feb 20 18:02:49 2009 Subject: [Haskell] ANNOUNCE: wxFruit-0.1.2 Message-ID: L.S., I have updated wxFruit to work with GHC 6.10; it can be downloaded from Hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/wxFruit wxFruit is a graphical user interface that combines some of the power and versatility of wxHaskell with the elegance and simplicity of Fruit. The interface of wxFruit has a functional style, using arrows, whereas wxHaskell has an object oriented style. The package includes a demo game, PaddleBall: try to keep the ball in the game, using the mouse to move the paddle. The position of developer/maintainer is currently open. See also http://www.haskell.org/haskellwiki/WxFruit -- Regards, Henk-Jan van Tuyl -- http://functor.bamikanarie.com http://Van.Tuyl.eu/ -- From isabelle.perseil at telecom-paristech.fr Sat Feb 21 07:02:25 2009 From: isabelle.perseil at telecom-paristech.fr (Isabelle Perseil) Date: Sat Feb 21 06:51:37 2009 Subject: [Haskell] (CfP) UML&AADL'2009 CfP : EXTENDED DEADLINE Message-ID: ********************************************************************** CALL FOR PAPERS: UML&AADL?2009 http://www.artist-embedded.org/artist/UML-AADL-2009.html Workshop held in conjunction with ICECCS 2009 The fourteenth IEEE International Conference on Engineering of Complex Computer Systems http://www.iceccs.org/ June 02, 2009 Potsdam, Germany ************************************************************************ Submission deadline: March 1st, 2009 -------------------------------------- Topics ====== New real-time systems have increasingly complex architectures because of the intricacy of the multiple interdependent features they have to manage. They must meet new requirements of reusability, interoperability, flexibility and portability. These new dimensions favor the use of an architecture description language that offers a global vision of the system, and which is particularly suitable for handling real-time characteristics. Due to the even more increased complexity of distributed, real-time and embedded systems (DRE), the need for a model-driven approach is more obvious in this domain than in monolithic RT systems. The purpose of this workshop is to provide an opportunity to gather researchers and industrial practitioners to survey existing efforts related to behavior modeling and model-based analysis of DRE systems. This workshop seeks contributions from researchers and practitioners interested in all aspects of the representation, analysis, and implementation of DRE system behavior and/or architecture models. To this end, we solicit papers (no more than 6 pages long) related to, but not limited to, the following principal topics: - Multi-domain specific modeling languages - Model transformation and generative approaches - Model-based Methodologies - Integration of different formalisms (e.g., Simulink/StateFlow, StateMate and Scade-drive) - Model Checking of architecture specifications - ADLs behavioral models simulation, Scheduling analysis and Worst-case execution time prediction Workshop Format =============== This full-day workshop will consist of an introduction of the topic by the workshop organizers, presentations of accepted papers, and in depth discussion of previously identified subjects emerging from the submissions. A summary of the discussions will be made available. Submission and Publication ========================== To contribute, please send a position paper or a technical paper to agusti[dot]canals[at]c-s[dot]fr with ?ICECCS09 UML&AADL Workshop? in the title. Papers should not exceed 6 pages. Submitted manuscripts should be in English and formatted in the style of the IEEE Computer Society Proceedings Format. Preferably, submissions should be in PDF format. All selected papers will be published in the IEEE Computer Society Press Proceedings. IMPORTANT DATES =============== Submission deadline: March 01, 2009 All Notification of acceptance: March 05, 2009 Workshop date: June 02, 2009 Organizational sponsors ======================= ARTIST NoE OMG Organizers and Programme Steering Committee =========================================== Jean-Michel Bruel (IRIT, France) Agusti Canals (CS, France) Robert de Simone (INRIA, France) S?bastien G?rard (CEA-LIST, France) Isabelle Perseil (TELECOM ParisTech, France) Publicity Chair =============== Sun Meg (CWI, The Netherlands) IEEE CS TCCX Coordinator ======================== Mike Hinchey (NASA GSFC and Loyola College in Maryland, USA) Programme Committee =================== Yamine Ait Ameur (LISI / ENSMA, France) Keijiro Araki (Kyushu University, Japan) Grady Booch (IBM Fellow, USA) Agusti Canals (CS, France) Juan Antonio de la Puente (Universidad Polit?cnica de Madrid, Spain) Sebastien Demathieu (THALES, France) Dionisio De Niz Villasenor (SEI, Carnegie Mellon, USA) Vincent Englebert (University of Namur, Belgium) Madeleine Faug?re (THALES, France) Mamoun Filali (IRIT, France) Robert France (Colorado State University, USA) S?bastien G?rard (CEA-LIST, France) Patrick Heymans (University of Namur, Belgium) Irfan Hamid (Microsoft Corp, Canada) J.J.M. Hooman (Embedded Systems Institute, The Netherlands) Bruce Lewis (US Army AMCOM) Johan Lilius (?bo Akademi University, Finland) Ricardo J. Machado (University of Minho, Portugal) Sun Meg (CWI, The Netherlands) Dominique Mery (LORIA, France) Nenad Medvidovic (University of Southern California, USA) Thierry Millan (IRIT, France) Richard Paige (University of York, United Kingdom) Marc Reynolds (University of Western Australia, Australia) Jos? Ra?l Romero Salguero (Universidad de C?rdoba, Spain) Bernhard Rumpe (Braunschweig University of Technology, Germany) Douglas C. Schmidt (Vanderbild University, USA) Fran?oise Simonot Lion (LORIA, France) Oleg Sokolsky (University of Pennsylvania, USA) Roy Sterritt (University of Ulster, United Kingdom) J?rn Guy S?? ( University of Queensland, Australia) Jing Sun (University of Auckland, New Zealand) Bedir Tekinerdogan (Bilkent University, Turkey) Martin T?rngren (KTH - Royal Institute of Technology, Sweden) Laurence Tratt (Bournemouth University, United Kingdom) Tullio Vardanega (University of Padua, Italy) Fran?ois Vernadat (CNRS-LAAS, France) Thomas Vergnaud (THALES, France) Eugenio Villar (Universidad de Cantabria, Spain) Sergio Yovine (CNRS-Verimag, France) Roberto V. Zicari (Goethe University Frankfurt, Germany) From byorgey at seas.upenn.edu Sat Feb 21 12:09:51 2009 From: byorgey at seas.upenn.edu (Brent Yorgey) Date: Sat Feb 21 11:59:23 2009 Subject: [Haskell] Haskell Weekly News: Issue 106 - February 21, 2009 Message-ID: <20090221170951.GA7492@seas.upenn.edu> --------------------------------------------------------------------------- Haskell Weekly News http://sequence.complete.org/hwn/20090221 Issue 106 - February 21, 2009 --------------------------------------------------------------------------- Welcome to issue 106 of HWN, a newsletter covering developments in the [1]Haskell community. Announcements HWEB. Eric Macaulay, following a little [2]prodding by Neil Mitchell, has released version 0 of [3]HWEB, a small tool for producing literate Haskell programs. Cabal-1.6.0.2 and cabal-install-0.6.2. Duncan Coutts [4]announced point-releases of the Cabal library and the cabal-install command line tool. These releases include a number of fixes and minor improvements, and are expected to be included with ghc-6.10.2. Barrie 0.3.1. Fraser Wilson [5]announced a hackage release of [6]Barrie, an implementation of an idea for supporting state based, user-driven GUIs. Yogurt-0.3. Martijn van Steenbergen [7]announced the release of [8]Yogurt-0.3, a MUD client library for Haskell. This version improves over 0.2 in several ways, including support for GHC 6.10, no more unsafeCoerce needed, new support for forking threads, and various refactorings. wxFruit-0.1.2. Henk-Jan van Tuyl [9]announced an [10]update of [11]wxFruit, a graphical user interface that combines some of the power and versatility of wxHaskell with the elegance and simplicity of Fruit. The new version works with GHC 6.10, and also includes a demo game, PaddleBall. Interested parties, take note: the position of developer/maintainer for this library is currently open. Paper draft: "Denotational design with type class morphisms". Conal Elliott [12]announced a [13]draft of a new paper, "Denotational design with type class morphisms". Feedback is appreciated, especially if in time for the March 2 ICFP deadline. Crypto 4.2.0 & Related News. Creighton Hogg [14]announced the release of version 4.2.0 of the [15]Crypto library. Creighton will also betaking over maintenance of the library from Dominic Steinitz. The Typeclassopedia, and request for feedback. Brent Yorgey [16]announced a [17]first draft of an article entitled 'The Typeclassopedia', a "starting point for the student of Haskell wishing to gain a firm grasp of its standard type classes." Comments and feedback are encouraged! hslibsvm-2.88.0.1 - A FFI binding to LibSVM. S. Guenther [18]announced the [19]hlibsvm package, a set of Haskell bindings to the C++ [20]libsvm library. spacepart-0.1.0.0 (was called data-spacepart). Corey O'Connor [21]announced a new release of the [22]spacepart package, supporting space-partitioning data structures. The new release includes many bug fixes and some code cleanup. pqueue-mtl, stateful-mtl. Louis Wasserman [23]announced two new packages, [24]stateful-mtl and [25]pqueue-mtl. stateful-mtl provides an ST monad transformer, several useful operations on generic monad transformers, and a monad transformer intended to cleanly externally wrap operations on a mutable array (including resizing operations). pqueue-mtl provides implementations of several structures supporting a generic 'single-in, single-out' paradigm (encapsulated in a typeclass named Queuelike), including stacks, queues, and several implementations of priority queues. haha-0.1 - Animated ascii lambda. Sebastiaan Visser [26]announced [27]haha, a very minimal vector based ascii art library written just for fun. If you've always wanted to have a full-color rotating vector based ascii art lambda on your terminal, now is your chance! Discussion Darcs and Google Summer of Code. Eric Kow [28]floated the idea of having darcs apply to the Google Summer of Code as a separate mentoring organization, and discussed several ideas for student projects. Jobs Postdoctoral Research Position at Yale University. Paul Hudak [29]announced the availability of a postdoctoral research position at Yale University. The successful candidate will apply modern, high-level programming language ideas (such as embodied in Haskell) to help design and implement a language for the control of BGP-based network routers, with the goal of realizing high-level networking protocols for traffic engineering, security, and related networking concerns. Blog noise [30]Haskell news from the [31]blogosphere. * GHC / OpenSPARC Project: [32]Triage. * Manuel M T Chakravarty: [33]Mark your Haskell tweets with #haskell. * Gregg Reynolds: [34]Performance Economics. * Alex Mason: [35]AVar released (three times). * Sean Leather: [36]The strict danger of switching from pure to monadic Template Haskell. * Mads Lindstrom: [37]Using Mutable Arrays for Faster Sorting. * Conal Elliott: [38]Denotational design with type class morphisms. A draft of Conal's new paper. * Jesse Andrews: [39]Getting Tiled with XMonad. * happstack.com: [40]SOCALFP Presentation Slides: "Happstack is better than X". * Luke Palmer: [41]Dependent types are ridiculously easy. * GHC / OpenSPARC Project: [42]Thunderbirds are go. * Brent Yorgey: [43]Typeclassopedia---a generic response. * Alex Mason: [44]ASTM updates. * London Haskell Users Group: [45]Lemmih: LHC - past, present and future. * Eric Kow (kowey): [46]announcing: burrito tutorial support group. Laden with burrito tutorial guilt? The burrito tutorial support group can help. * Alex Mason: [47]ASTM: redundant STMish fun. * happstack.com: [48]Announcing the launch of the Patch-Tag blog. * Colin Ross: [49]XML parsing with Haskell. * Brent Yorgey: [50]The Typeclassopedia---request for feedback. * Sean Leather: [51]Incremental fold, a design pattern. * Manuel M T Chakravarty: [52]Comparison of type families with functional dependencies.. A nice summary comparison of these two Haskell language features. * Random permutations and sorting: [53]Heinrich Apfelmus. * A day with xmonad: [54]Colin Adams. * Antoine Latter: [55]MaybeT - The CPS Version. * Gregg Reynolds: [56]Intergalactic Telefunctors and Quantum Entanglement. * Gregg Reynolds: [57]In Praise of Elitism. * Dan Piponi (sigfpe): [58]Beyond Monads. A generalization of monads to parameterized monads. * Well-Typed.Com: [59]Cabal ticket #500. Quotes of the Week * KetilMalde: No, those are quite outdated by now. The new horsemen of the programming apocalypse are, of course, IO, MutableState, LazyMemoryLeak, and Bottom. * skorpan: i love the layout of lyah. makes me feel like having some chunky bacon. * lilac: * lilac looks forward to Cale explaining category theory by analogy to Call of Duty * byorgey: _|_ ... is a party pooper * idnar: enlarge your context in just seven days with all-natural herbal supplements! * mmorrow: gah, i'm so used to haskell i forgot a return stmt in C and was trying to figure out where the segfault was happening for 20 minutes 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://neilmitchell.blogspot.com/2009/01/small-scripts-with-haskell.html 3. http://mathmeth.com/eem/hweb/quickstart.shtml 4. http://www.haskell.org//pipermail/haskell-cafe/2009-February/056153.html 5. http://article.gmane.org/gmane.comp.lang.haskell.general/16882 6. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/barrie 7. http://article.gmane.org/gmane.comp.lang.haskell.general/16869 8. http://code.google.com/p/yogurt-mud/ 9. http://article.gmane.org/gmane.comp.lang.haskell.cafe/53341 10. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/wxFruit 11. http://www.haskell.org/haskellwiki/WxFruit 12. http://article.gmane.org/gmane.comp.lang.haskell.cafe/53166 13. http://conal.net/papers/type-class-morphisms/ 14. http://article.gmane.org/gmane.comp.lang.haskell.cafe/53029 15. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Crypto 16. http://article.gmane.org/gmane.comp.lang.haskell.cafe/52964 17. http://www.cis.upenn.edu/~byorgey/papers/typeclassopedia-draft-090216.pdf 18. http://article.gmane.org/gmane.comp.lang.haskell.cafe/52961 19. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hslibsvm 20. http://www.csie.ntu.edu.tw/~cjlin/libsvm/ 21. http://article.gmane.org/gmane.comp.lang.haskell.cafe/52951 22. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/spacepart 23. http://article.gmane.org/gmane.comp.lang.haskell.cafe/52920 24. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/stateful%2Dmtl 25. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/pqueue%2Dmtl 26. http://article.gmane.org/gmane.comp.lang.haskell.cafe/52865 27. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/haha 28. http://www.haskell.org//pipermail/haskell-cafe/2009-February/056057.html 29. http://article.gmane.org/gmane.comp.lang.haskell.cafe/53103 30. http://planet.haskell.org/ 31. http://haskell.org/haskellwiki/Blog_articles 32. http://ghcsparc.blogspot.com/2009/02/triage.html 33. http://justtesting.org/post/80211621 34. http://syntax.wikidot.com/blog:10 35. http://axman6.homeip.net/blog/2009/02/avar-released.html 36. http://feedproxy.google.com/~r/splonderzoek/~3/sD_bp8yKBxc/strict-danger-of-switching-from-pure-to.html 37. http://lindstroem.wordpress.com/2009/02/19/using-mutable-arrays-for-faster-sorting/ 38. http://conal.net/blog/posts/denotational-design-with-type-class-morphisms/ 39. http://overstimulate.com/articles/why-xmonad 40. http://blog.happstack.com/2009/02/18/socalfp-presentation-slides-happstack-is-better-than-x/ 41. http://lukepalmer.wordpress.com/2009/02/18/dependent-types-are-ridiculously-easy/ 42. http://ghcsparc.blogspot.com/2009/02/thunderbirds-are-go.html 43. http://byorgey.wordpress.com/2009/02/17/typeclassopedia-a-generic-response/ 44. http://axman6.homeip.net/blog/2009/02/astm-updates.html 45. http://www.londonhug.net/2009/02/17/lemmih-lhc-past-present-and-future/ 46. http://koweycode.blogspot.com/2009/02/announcing-burrito-tutorial-support.html 47. http://axman6.homeip.net/blog/2009/02/astm-redundant-stmish-fun.html 48. http://blog.happstack.com/2009/02/16/announcing-the-launch-of-the-patch-tag-blog/ 49. http://vcolin.com/2009/02/16/xml-parsing-haskell/ 50. http://byorgey.wordpress.com/2009/02/16/the-typeclassopedia-request-for-feedback/ 51. http://feedproxy.google.com/~r/splonderzoek/~3/tj_MkKqIlkQ/incremental-fold-design-pattern.html 52. http://justtesting.org/post/78667708 53. http://apfelmus.nfshost.com/random-permutations.html 54. http://colina.demon.co.uk/?q=node/534 55. http://panicsonic.blogspot.com/2009/02/maybet-cps-version.html 56. http://syntax.wikidot.com/blog:9 57. http://syntax.wikidot.com/blog:8 58. http://blog.sigfpe.com/2009/02/beyond-monads.html 59. http://blog.well-typed.com/2009/02/cabal-ticket-500/ 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 aslatter at gmail.com Sun Feb 22 00:08:09 2009 From: aslatter at gmail.com (Antoine Latter) Date: Sat Feb 21 23:57:21 2009 Subject: [Haskell] ANNOUNCE: X Haskell Bindings 0.2 Message-ID: <694519c50902212108l69206aceub1a12ab921bc6a29@mail.gmail.com> I'd like to announce the 0.2.* series release of the X Haskell Bindings. This release, like the prior 0.1.* series focuses on making the API prettier. This does mean that there's a good chance this is a breaking release. Also, 0.2.* is based on the just-released version 1.4 of the XML descriptions of the X protocol. The goal of XHB is to provide a Haskell implementation of the X11 wire protocol, similar in spirit to the X protocol C-language Binding (XCB). On Hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/xhb New this release: In the core protocol, a lot of the fields which previously were of type 'Word8' or 'Word16' now have appropriate higher-level types. For example, in the type GetWindowAttributesReply, the 'class' field was previously of type 'Word16', and is now of type 'WindowClass,' and the 'all_event_masks' field was of type 'Word32' and is now of type '[EventMask]'. These improvements haven't made their way out to the extensions yet, but the code-generation machinery is now in place for this to happen as the information makes its way into the XML protocol description. Related projects: X C Bindings: http://xcb.freedesktop.org/ -Antoine From dons at galois.com Sun Feb 22 00:09:26 2009 From: dons at galois.com (Don Stewart) Date: Sat Feb 21 23:59:36 2009 Subject: [Haskell] ANNOUNCE: X Haskell Bindings 0.2 In-Reply-To: <694519c50902212108l69206aceub1a12ab921bc6a29@mail.gmail.com> References: <694519c50902212108l69206aceub1a12ab921bc6a29@mail.gmail.com> Message-ID: <20090222050926.GD23994@whirlpool.galois.com> aslatter: > I'd like to announce the 0.2.* series release of the X Haskell > Bindings. This release, like the prior 0.1.* series focuses on making > the API prettier. This does mean that there's a good chance this is a > breaking release. Also, 0.2.* is based on the just-released version > 1.4 of the XML descriptions of the X protocol. > > The goal of XHB is to provide a Haskell implementation of the X11 wire > protocol, similar in spirit to the X protocol C-language Binding > (XCB). > > On Hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/xhb Woo, well done! Here's an Arch Linux package, http://aur.archlinux.org/packages.php?ID=23765 -- Don From leather at cs.uu.nl Mon Feb 23 19:11:11 2009 From: leather at cs.uu.nl (Sean Leather) Date: Mon Feb 23 19:00:31 2009 Subject: [Haskell] Hac5: April 17-19, Utrecht -- Book Now! Message-ID: <3c6288ab0902231611m75aa22a4kafd235b9bcc65612@mail.gmail.com> Twelve days ago, we emailed you about a particular event... ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ The 5th Haskell Hackathon April 17 - 19, 2009 Utrecht, The Netherlands ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ We have some updated information for you. If you don't want to read the details, then the important points are: * Hotel or hostel accommodation may be hard to come by, so book your room now! * Check out the website for lots of useful information. As I mentioned before, you can find out more about the Hackathon here: http://haskell.org/haskellwiki/Hac5 The site is a wealth of useful information gratefully provided by the Utrecht organizing team. If you haven't seen it recently, check again. In particular, however, we'd like to inform you of some newly obtained information. We unknowingly scheduled the Hackathon on the same weekend as a popular record and CD fair. http://www.recordplanet.nl/ So, not only do you get the chance to hack on projects involving your favorite purely functional programming language, you also have the opportunity to visit "the most impressive record fair of the world." However, this does have some drawbacks... Rooms in hotels and hostels in Utrecht are often notoriously difficult to come by. It's already a crowded city sometimes with too few places to stay (esp. if you want cheap). Therefore, if you've decided to join us or have already registered, we highly recommend booking a room at your earliest convenience. (If you haven't decided to visit Utrecht, then you should hurry up and agree to it already!) For this purpose, we have updated the main Hac5 page with information about accommodations. http://haskell.org/haskellwiki/Hac5#Accommodation We also have a Google map with information about places to stay and transportation. http://haskell.org/haskellwiki/Hac5#Map And finally, don't forget that you can use either the Attendees page, the Hackathon mailing list, or the IRC channel to communicate with other (potential) attendees or the organizers about sharing rooms, finding a place, or anything else. http://haskell.org/haskellwiki/Hac5/Attendees http://haskell.org/mailman/listinfo/hackathon #haskell-hac5 (on freenode) Good luck and 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 ... -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/haskell/attachments/20090224/ff12e90c/attachment.htm From haskell at list.mightyreason.com Tue Feb 24 06:57:34 2009 From: haskell at list.mightyreason.com (ChrisK) Date: Tue Feb 24 06:46:41 2009 Subject: [Haskell] ANN: bug fix for regex-tdfa, version 0.97.4 (and "regex-ast") Message-ID: <49A3E0AE.404@list.mightyreason.com> Hello, The regex-tdfa package has had a series of bug fix releases (0.97.1 and 2 and 3 and now 4). This 0.97.4 releases finishes fixing the bug that was only mostly fixed in the 0.97.1 release. An example of the fixed bug: Apply the regex pattern (BB(B?))+(B?) to the text BBBB. The "BB" in the pattern should be used twice and both "B?" should match nothing. My code grouped the "+" wrong and matched the "BB" once and then both the "B?" matched a "B". The case fixed here was not initially caught because of how I search for unknown bugs. I use "Arbitrary" from QuickCheck to generate random patterns and strings to search, and compare regex-tdfa to another POSIX engine. Because I am on OS X, I am limited by the the native POSIX libraries bugs: this bug in regex-tdfa was triggered only when the native POSIX was also buggy. But the source of most of my unit tests is AT&T research [1], and they have a "libast" with a POSIX implementation. I have adapted my regex-* wrapper packages to make a "regex-ast" Haskell interface, but the difficulties with the AT&T headers prevent me from releasing this on hackage. This "regex-ast" has given me access to a less buggy POSIX back-end, and randomized testing has led to catching the bug fixed here (as well as a few bug reports back to AT&T). So while regex-tdfa will not win many speed contests, it is the only POSIX regular expression library I have running that passes all the unit tests. [1] http://www.research.att.com/sw/download/ http://www.research.att.com/~gsf/testregex/ http://www.research.att.com/~gsf/testregex/re-interpretation.html From hpacheco at gmail.com Thu Feb 26 09:30:17 2009 From: hpacheco at gmail.com (Hugo Pacheco) Date: Thu Feb 26 09:20:22 2009 Subject: [Haskell] Re: [Haskell-cafe] ANN: gitit 0.5.1 In-Reply-To: <20090201170753.GA8172@berkeley.edu> References: <20090201170753.GA8172@berkeley.edu> Message-ID: <7b92c2840902260630h7dfb9d81ybe7efce50a343cda@mail.gmail.com> Hi all, Under gitit 0.5.3 I always get "Prelude.read: no parse" when trying to load a configuration file. My previous file goes attached, but the sample config file from http://github.com/jgm/gitit/tree/master does not work also. Has anything changed that is not documented? Thanks, hugo On Sun, Feb 1, 2009 at 5:07 PM, John MacFarlane wrote: > I've just uploaded gitit 0.5.1 to HackageDb. Gitit is a wiki program > that uses git or darcs as a filestore and HAppS as a server. > > Changes: > > * Major code reorganization, making gitit more modular. > * Gitit can now optionally be built using Happstack instead of HAppS > ?(just use -fhappstack when cabal installing). > * Fixed bug with directories that had the same names as pages. > * Added code from HAppS-Extra to fix cookie parsing problems. > * New command-line options for --port, --debug. > * New debug feature prints the date, the raw request, and > ?the processed request data to standard output on each request. > * Files with ".page" extension can no longer be uploaded. > * Apostrophes and quotation marks now allowed in page names. > > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe > -- www.di.uminho.pt/~hpacheco -------------- next part -------------- {\rtf1\ansi\ansicpg1252\cocoartf949\cocoasubrtf430 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} {\colortbl;\red255\green255\blue255;} \paperw11900\paperh16840\margl1440\margr1440\vieww9000\viewh8400\viewkind0 \pard\tx566\tx1133\tx1700\tx2267\tx2834\tx3401\tx3968\tx4535\tx5102\tx5669\tx6236\tx6803\ql\qnatural\pardirnatural \f0\fs24 \cf0 Config \{\ repositoryPath = "/var/www/wiki/wikidata",\ userFile = "/var/www/wiki/gitit-users",\ templateFile = "/var/www/wiki/template.html",\ staticDir = "/var/www/wiki/static",\ tableOfContents = False,\ maxUploadSize = 100000,\ portNumber = 8080,\ passwordSalt = "l91snthoae8eou2340987",\ debugMode = True,\ frontPage = "Front Page",\ noEdit = ["Help"],\ noDelete = ["Help", "Front Page"],\ accessQuestion = Nothing\ \}\ } From duncan.coutts at worc.ox.ac.uk Sat Feb 28 09:20:43 2009 From: duncan.coutts at worc.ox.ac.uk (Duncan Coutts) Date: Sat Feb 28 09:09:43 2009 Subject: [Haskell] ANNOUNCE: c2hs 0.16.0 Message-ID: <1235830843.7915.51.camel@localhost> All, c2hs version 0.16.0 is out and is available from hackage http://hackage.haskell.org/cgi-bin/hackage-scripts/package/c2hs What is c2hs ============ The c2hs tool assists in the development of Haskell bindings to C libraries. It extracts interface information from C header files and generates Haskell code with foreign imports and marshaling. The major advantages of using c2hs compared to writing foreign imports by hand (or using hsc2hs) are: * Cross-language type safety: C functions are imported with the correct Haskell types. * Saves time: boilerplate marshaling code is generated. Changes in this release ======================= The major change in this release is that it now uses the Language.C library. This brings the code full circle. Benedikt Huber split out and developed the Language.C library from the C parser I originally wrote for c2hs some years ago. Other changes since 0.15.x: * Works better on OSX, it now uses gcc -E to do the pre-processing of C header files. Previously it used cpp, however on OSX the cpp program appears to operate in an antiquated compatibility mode. * "enum hooks" are now implemented but not yet documented * A couple fixes in the default mapping of C names to Haskell names. * A number of other bugs fixes. Credits ======= Benedikt Huber gets the credit for majority of the work in this release. Thanks also to John Lato for numerous cleanup patches. Links ===== Home page: http://www.cse.unsw.edu.au/~chak/haskell/c2hs/ Bug tracker: http://hackage.haskell.org/trac/c2hs/ Duncan From byorgey at seas.upenn.edu Sat Feb 28 12:42:32 2009 From: byorgey at seas.upenn.edu (Brent Yorgey) Date: Sat Feb 28 12:31:44 2009 Subject: [Haskell] Haskell Weekly News: Issue 107 - February 28, 2009 Message-ID: <20090228174232.GA11988@seas.upenn.edu> --------------------------------------------------------------------------- Haskell Weekly News http://sequence.complete.org/hwn/20090228 Issue 107 - February 28, 2009 --------------------------------------------------------------------------- Welcome to issue 107 of HWN, a newsletter covering developments in the [1]Haskell community. Announcements Google Summer of Code 2009 - mentors wanted!. Eric Kow [2]reminded everyone that darcs will be applying to be a mentoring organisation for the Google Summer of Code project 2009, and is seeking people to serve as mentors. You need not be a darcs expert to serve as a mentor! c2hs 0.16.0. Duncan Coutts [3]announced the release of [4]c2hs version 0.16.0, a tool which assists in the development of Haskell bindings to C libraries by extracts interface information from C header files and generating Haskell code with foreign imports and marshaling. The major change in this release is that it now uses the [5]Language.C library. X Haskell Bindings 0.2. Antoine Latter [6]announced the 0.2.* series release of the [7]X Haskell Bindings, mostly aimed at making the API prettier. The goal of XHB is to provide a Haskell implementation of the X11 wire protocol, similar in spirit to the [8]X protocol C-language Binding (XCB). text and text-icu, fast and comprehensive Unicode support using stream fusion. Bryan O'Sullivan , on behalf of the Data.Text team, [9]announced the release of preview versions of two new packages: [10]text 0.1, providing fast, packed Unicode text support with modern stream fusion, and [11]text-icu 0.1, which augments text with comprehensive character set conversion support and normalization (and soon more), via bindings to the ICU library. Boston Area Haskell User's Group, first meeting on Saturday February 28th. Shae Matijs Erisson [12]announced the first meeting of the [13]Boston Area Haskell User's Group this Saturday, February 28, at 2pm. Directions are on the web page; you can also check out the [14]mailing list. New version of Hieroglyph released: Hieroglyph 1.1 is on hackage. Jeff Heard [15]announced the release of a new version of [16]Hieroglyph; the biggest change is that it now uses Russell O'Connor's excellent [17]Data.Colour library. bug fix for regex-tdfa, version 0.97.4 (and "regex-ast"). ChrisK [18]announced another bug fix release for the [19]regex-tdfa package, which fixes another tricksy bug. This is now the only known regex library that passes the entire test suite. Hac5: April 17-19, Utrecht -- Book Now!. Sean Leather [20]announced some updated information regarding the [21]5th Haskell Hackathon. The executive summary: hotel or hostel accommodation may be hard to come by, so book your room now, and check out the website for lots of useful information. pkgenv - disposable, isolated pkg environments. Paolo Losi [22]announced a tool, [23]pkgenv, which facilitates setting up isolated, disposable package environments. Blog noise [24]Haskell news from the [25]blogosphere. * JP Moresmau: [26]A high-level GUI library for Haskell. * Magnus Therning: [27]More fun with Cabal, visualising dependencies. Giant graphs are fun! * Magnus Therning: [28]A no-no in my book (found in Cabal). * Bryan O'Sullivan: [29]Finally! Fast Unicode support for Haskell. Data.Text is here! * happstack.com: [30]Happstack now outputs Apache Combined Logs. * GHC / OpenSPARC Project: [31]Benchmarking. * Christophe Poucet (vincenz): [32]Fibonacci in the Type System. * Eric Kow (kowey): [33]inkscape layers. * Magnus Therning: [34]Another reason to create distro-specific packages for Haskell modules. * boegel: [35]Using Haskell to win the Netflix Prize. * Magnus Therning: [36]Simple Cabal parsing. * GHC / OpenSPARC Project: [37]Bugfixes and pretty graphs. * Jeff Heard: [38]New version of Hieroglyph released.. * Chris Done: [39]Vgrabbj hacking. * Conal Elliott: [40]Paper: Beautiful differentiation. Another draft paper from Conal. * happstack.com: [41]Momentum builds as we approach Happstack 0.2. * Luke Palmer: [42]RTS Research. * GHC / OpenSPARC Project: [43]Sanity. * Darcs: [44]darcs weekly news #18. * Don Stewart (dons): [45]Can Haskell give me a pony?. The answer is: Yes! Haskell can do that. * Neil Mitchell: [46]Hoogle package search. * Alex Mason: [47]AVar changes. * Xmonad: [48]Using gimp under xmonad. It can actually be quite nice, despite what you might think. * FP-Syd: [49]Sydney FP Group: FP-Syd #12.. * Eric Kow (kowey): [50]implementing join in terms of (>>=). * GHC / OpenSPARC Project: [51]Triage. * Benjamin L. Russell: [52]Learning Haskell through Category Theory, and Adventuring in Category Land: Like Flatterland, Only About Categories. Quotes of the Week * lilac: haskell's learning curve is like this: | * cowardlydragon: [from a reddit comment thread] Don't get me started on monad. What is that, a man with a single testicle? About the Haskell Weekly News New editions are posted to [53]the Haskell mailing list as well as to [54]the Haskell Sequence and [55]Planet Haskell. [56]RSS is also available, and headlines appear on [57]haskell.org. To help create new editions of this newsletter, please see the information on [58]how to contribute. Send stories to byorgey at cis dot upenn dot edu. The darcs repository is available at darcs get [59]http://code.haskell.org/~byorgey/code/hwn/ . References 1. http://haskell.org/ 2. http://www.haskell.org//pipermail/haskell-cafe/2009-February/056798.html 3. http://www.haskell.org//pipermail/haskell/2009-February/021052.html 4. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/c2hs 5. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/language%2Dc 6. http://article.gmane.org/gmane.comp.lang.haskell.general/16888 7. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/xhb 8. http://xcb.freedesktop.org/ 9. http://article.gmane.org/gmane.comp.lang.haskell.cafe/53780 10. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/text 11. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/text-icu 12. http://article.gmane.org/gmane.comp.lang.haskell.cafe/53761 13. http://www.haskell.org/haskellwiki/Boston_Area_Haskell_Users%27_Group 14. http://groups.google.com/group/bostonhaskell 15. http://article.gmane.org/gmane.comp.lang.haskell.cafe/53549 16. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Hieroglyph 17. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/colour 18. http://article.gmane.org/gmane.comp.lang.haskell.cafe/53525 19. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/regex%2Dtdfa 20. http://article.gmane.org/gmane.comp.lang.haskell.cafe/53510 21. http://haskell.org/haskellwiki/Hac5 22. http://article.gmane.org/gmane.comp.lang.haskell.cafe/53448 23. http://bitbucket.org/pao/pkgenv/raw/488bfe8e58dd/pkgenv 24. http://planet.haskell.org/ 25. http://haskell.org/haskellwiki/Blog_articles 26. http://jpmoresmau.blogspot.com/2009/02/high-level-gui-library-for-haskell.html 27. http://therning.org/magnus/archives/534 28. http://therning.org/magnus/archives/523 29. http://www.serpentine.com/blog/2009/02/27/finally-fast-unicode-support-for-haskell/ 30. http://blog.happstack.com/2009/02/26/happstack-now-outputs-apache-combined-logs/ 31. http://ghcsparc.blogspot.com/2009/02/benchmarking.html 32. http://cpoucet.wordpress.com/2009/02/26/fibonacci-in-the-type-system/ 33. http://koweycode.blogspot.com/2009/02/inkscape-layers.html 34. http://therning.org/magnus/archives/522 35. http://boegel.kejo.be/?q=node%2F8 36. http://therning.org/magnus/archives/514 37. http://ghcsparc.blogspot.com/2009/02/bugfixes-and-pretty-graphs.html 38. http://vis.renci.org/jeff/2009/02/24/new-version-of-hieroglyph-released/ 39. http://chrisdone.com/blog/html/2009-02-25-vgrabbj.html 40. http://conal.net/blog/posts/paper-beautiful-differentiation/ 41. http://blog.happstack.com/2009/02/23/momentum-builds-as-we-approach-happstack-02/ 42. http://lukepalmer.wordpress.com/2009/02/24/rts-research/ 43. http://ghcsparc.blogspot.com/2009/02/sanity.html 44. http://blog.darcs.net/2009/02/darcs-weekly-news-18.html 45. http://donsbot.wordpress.com/2009/02/22/can-haskell-give-me-a-pony/ 46. http://neilmitchell.blogspot.com/2009/02/hoogle-package-search.html 47. http://axman6.homeip.net/blog/2009/02/avar-changes.html 48. http://xmonad.wordpress.com/2009/02/21/using-gimp-under-xmonad/ 49. http://www.mega-nerd.com/erikd/Blog/FP-Syd/fp-syd-12.html 50. http://koweycode.blogspot.com/2009/02/implementing-join-in-terms-of.html 51. http://ghcsparc.blogspot.com/2009/02/triage.html 52. http://dekudekuplex.wordpress.com/2009/01/16/learning-haskell-through-category-theory-and-adventuring-in-category-land-like-flatterland-only-about-categories/ 53. http://www.haskell.org/mailman/listinfo/haskell 54. http://sequence.complete.org/ 55. http://planet.haskell.org/ 56. http://sequence.complete.org/node/feed 57. http://haskell.org/ 58. http://haskell.org/haskellwiki/HWN 59. http://code.haskell.org/~byorgey/code/hwn/