October 2006 - Haskell

Haskell training course?
by Wim Vanderbauwhede 03 Oct '06

03 Oct '06

Hello list, Does anyone know of a good Haskell training course in the UK? TIA, Wiim -- If it's pointless, what's the point? If there is a point to it, what's the point? (Tibor Fischer, "The Thought Gang")

2 1

Common library for generic programming
by Johan Jeuring 03 Oct '06

03 Oct '06

Dear haskellers, Generic programming has been around for more than 10 years now. We think a lot of progress has been made in the last decade. As an example, there are more than 10 proposals for libraries or language extensions only for Haskell. The success of generic programming has also caused a problem: although generic programming has been applied in several applications, it lacks actual users for real-life projects (HaRe using Strafunski is maybe an exception). This is understandable: choosing a particular approach to generic programming for a real-life project is rather risky: few approaches that have been developed over the last decade are still supported, and there is a high risk that the chosen approach will not be supported anymore, or that at least it will change in a backwards incompatible way in a couple of years time. We have recently started an initiative to design a common library for generic programming, which should work together with most of the Haskell compilers, and for which we hope to guarantee support for a longer period. If you want to get involved (or just want to see the discussion), you can subscribe to the mailing list generics(a)haskell.org, see http://www.haskell.org/mailman/listinfo/generics -- Johan Jeuring and Andres Loeh

2 1

CfP: PAPP 2007
by grelck＠isp.uni-luebeck.de 03 Oct '06

03 Oct '06

Please, accept our apologies if you receive multiple copies. ========================================= Fourth International Workshop on Practical Aspects of High-level Parallel Programming (PAPP 2007) part of The International Conference on Computational Science May 27-30, 2007, University of Beijing, China http://f.loulergue.free.fr/PAPP2007/index.html ========================================= Aims and scope Computational Science applications are more and more complex to develop and require more and more computing power. Parallel and grid computing are solutions to the increasing need for computing power. High level languages offer a high degree of abstraction which ease the development of complex systems. Moreover, being based on formal semantics, it is possible to certify the correctness of critical parts of the applications. Algorithmic skeletons, parallel extensions of functional languages such as Haskell and ML, parallel logic and constraint programming, parallel execution of declarative programs such as SQL queries, etc. have produced methods and tools that improve the price/performance ratio of parallel software, and broaden the range of target applications. The PAPP workshop focuses on practical aspects of high-level parallel programming: design, implementation and optimization of high-level programming languages and tools (performance predictors working on high-level parallel/grid source code, visualisations of abstract behaviour, automatic hotspot detectors, high-level GRID resource managers, compilers, automatic generators, etc.), applications in all fields of computational science, benchmarks and experiments. Research on high-level grid programming is particularly relevant. The PAPP workshop is aimed both at researchers involved in the development of high level approaches for parallel and grid computing and computational science researchers who are potential users of these languages and tools. Topics We welcome submission of original, unpublished papers in English on topics including: * high-level models (CGM, BSP, MPM, LogP, etc.) and tools for parallel and grid computing * high-level parallel language design, implementation and optimisation * functional, logic, constraint programming for parallel, distributed and grid computing systems * algorithmic skeletons, patterns and high-level parallel libraries * generative (e.g. template-based) programming with algorithmic skeletons, patterns and high-level parallel libraries * applications in all fields of high-performance computing (using high-level tools) * benchmarks and experiments using such languages and tools Paper submission and publication Prospective authors are invited to submit full papers in English presenting original research. Submitted papers must be unpublished and not submitted for publication elsewhere. Papers will go through a rigorous reviewing process. Each paper will be reviewed by at least three referees. The accepted papers will be published in the Springer-Verlag Lecture Notes in Computer Science (LNCS) series, as part of the ICCS proceedings. Submission must be done through the ICCS website: http://www.iccs-meeting.org/iccs2007/papers/upload.php. We invite you to submit a full paper of 8 pages formatted according to the rules of LNCS, describing new and original results, no later than December 12, 2006. Submission implies the willingness of at least one of the authors to register and present the paper. An early email to papp2007 at free.fr with your intention to submit a paper would be greatly appreciated (especially if you have doubts about the relevance of your paper). Accepted papers should be presented at the workshop. Authors will be invited to submit extended and revised versions of their papers. Accepted manuscripts will be published in a special issue of Scalable Computing: Practice and Experience. Important Dates * December 12, 2006 - Full paper due * February 3, 2007 - Notification * February 19, 2007 - Camera-ready paper due * July 2007 - Journal version due * September 2007 - Referee reports * October 2007 - Revision of papers, final notification * November 2007 - Final paper due Programme committee * Marco Aldinucci (Univ. of Pisa, Italy) * Anne Benoit (ENS Lyon, France) * Armelle Bonenfant (Univ. of St Andrews, UK) * Frédéric Gava (Univ. Paris XII Val de Marne, France) * Alexandros Gerbessiotis (NJIT, USA) * Clemens Grelck (Univ. of Luebeck, Germany / Univ. of Hertfordshire, UK) * Zhenjiang Hu (Univ. of Tokyo, Japan) * Rita Loogen (Univ. of Marburg, Germany) * Frédéric Loulergue (Univ. Orléans, France) * Susanna Pelagatti (Univ. of Pisa, Italy) * Casiano Rodriguez Leon (Univ. La Laguna, Spain) Organizers * Dr. Anne BENOIT Laboratoire d'Informatique du Parallelisme Ecole Normale Supérieure de Lyon 46 Allée d'Italie 69364 Lyon Cedex 07 - France * Pr. Frederic LOULERGUE Laboratoire d'Informatique Fondamentale d'Orléans Université d'Orléans Batiment IIIA - Rue Léonard de Vinci - BP6759 45067 Orléans Cedex 2 - France -- Dr. Clemens Grelck University of Hertfordshire Dept of Computer Science College Lane, Hatfield, AL10 9AB United Kingdom

1 0

Haskell Weekly News: October 03, 2006
by dons＠cse.unsw.edu.au 03 Oct '06

03 Oct '06

--------------------------------------------------------------------------- Haskell Weekly News http://haskell.org/haskellwiki/HWN Issue 43 - October 03, 2006 --------------------------------------------------------------------------- Welcome to issue 43 of HWN, a weekly newsletter covering developments in the Haskell community. The proceedings of the first Haskell Workshop are now available online, and work has begun on a unified library for generics in Haskell. Announcements * Proceedings Haskell Workshop 1995. Henrik Nilsson [1]announced that in celebration of the 10th [2]Haskell Workshop that took place recently, the proceedings of the very first Haskell workshop, in La Jolla 1995, have now been made available on [3]the Haskell Workshop home page. Thanks to Paul Hudak for help locating the proceedings and arranging for them to be scanned into PDF. 1. http://article.gmane.org/gmane.comp.lang.haskell.general/14312/ 2. http://haskell.org/haskell-workshop 3. http://haskell.org/haskell-workshop/1995 * Common library for generic programming. Johan Jeuring and Andres Loeh [4]announced an initiative to design a common library for generic programming, which should work together with most of the Haskell compilers, and for which they hope to guarantee support for generics in Haskell into the future. If you want to get involved (or just want to see the discussion), you can subscribe to [5]the generics mailing list. Check the [6]Haskell research wiki for some background on generics. 4. http://article.gmane.org/gmane.comp.lang.haskell.general/14304/ 5. http://www.haskell.org/mailman/listinfo/generics 6. http://haskell.org/haskellwiki/Research_papers/Generics * GHC 6.6 Second Release Candidate. Ian Lynagh [7]announced that the Second Release Candidate phase for GHC 6.6 is underway. Get testing! 7. http://article.gmane.org/gmane.comp.lang.haskell.glasgow.user/10823 * Lazy functional language for the JVM. Luke Evans [8]announced that the research group at Business Objects has developed a lazily evaluated, strongly-typed language called CAL, with many similarities to Haskell, targeting the JVM, to facilitate representing certain kinds of business logic as reusable, composable pieces. 8. http://thread.gmane.org/gmane.comp.lang.haskell.general/14296/ Haskell' This section covers the [9]Haskell' standardisation process. * [10]Pattern guards * [11]Improving pattern guard syntax 9. http://hackage.haskell.org/trac/haskell-prime 10. http://thread.gmane.org/gmane.comp.lang.haskell.prime/1680/focus=1680 11. http://article.gmane.org/gmane.comp.lang.haskell.prime/1704 Discussion * Typeclass versus Prolog programming. Oleg Kiselyov [12]wrote further on the connection between typeclass hacking and logic programming. 12. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/15401/ * Irrefutable patterns for existential types. Several Haskellers [13]discussed, in a long thread, issues relating to irrefutable patterns when combined with existentials or GADTs. [14]Read more. 13. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/15564/ 14. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/15633/ * GHC on the Mac. Simon Peyton-Jones [15]sought contributors to help maintain [16]GHC on the Mac. 15. http://thread.gmane.org/gmane.comp.lang.haskell.glasgow.user/10801/ 16. http://haskell.org/ghc * Smallest Double. Tamas Papp [17]initiated a thread regarding finding the smallest Double such that 1+x /= x, for a numerics problem. 17. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/15573/focus=15573 * Migrating content to the new wiki. Ian Lynagh [18]forced an action to finally close down the old hawiki, and move all content to the new haskell wiki. Work to be done is [19]here. 18. http://article.gmane.org/gmane.comp.lang.haskell.general/14314 19. http://www.haskell.org/haskellwiki/HaWiki_migration Blog noise Haskell news from the blogosphere. * [20]Functional programming for the rest of us * [21]Coming soon: Perl 6 * [22]Arrows, like monads, are monoids * [23]OOP is dead 20. http://www.defmacro.org/ramblings/fp.html 21. http://www.samag.com/documents/s=10093/sam0609j/0609j.htm 22. http://lambda-the-ultimate.org/node/1750 23. http://kawagner.blogspot.com/2006/08/oop-is-dead-part-2.html Quotes of the Week * Bill Wood: It became obvious that when a Prolog program is tuned by removing non-determinism it moves towards a functional program. * Bjarne Stroustrup: Any verbose and tedious solution is error-prone because programmers get bored. [S 9.4 of C++, 2nd edition] * Hamilton Richards: It's fair to say that functional programming requires a very different mind-set, but once you've mad e the `jump`, programming in conventional languages feels like doing arithmetic in Roman numerals. * Larry Wall: Take Lisp, you know it's the most beautiful language in the world -- at least up until Haskell came along. * dons: Welcome to computer science, we count from 0. * glguy: This is like Web 5GL. I like it! * sjanssen: Quoth the Prelude, Chapter 6, verse 4: Yeah verily shall repeat floweth cons cells over. Code Watch * Fri Sep 29 09:07:17 PDT 2006 simonpj. Remove Linear Implicit Parameters, and all their works. Linear implicit parameters have been in GHC quite a while, but we decided they were a mis-feature and scheduled them for removal. This patch does the job. About the Haskell Weekly News Each week, new editions are posted to [24]the Haskell mailing list as well as to [25]the Haskell Sequence and [26]Planet Haskell. [27]RSS is also available, and headlines appear on [28]haskell.org. To help create new editions of this newsletter, please see the [29]contributing information. Send stories to dons at cse.unsw.edu.au. The darcs repository is available at darcs get http://www.cse.unsw.edu.au/~dons/code/hwn 24. http://www.haskell.org/mailman/listinfo/haskell 25. http://sequence.complete.org/ 26. http://planet.haskell.org/ 27. http://sequence.complete.org/node/feed 28. http://haskell.org/ 29. http://haskell.org/haskellwiki/HWN

1 0

Third CFP: Partial Evaluation and Program Manipulation (PEPM'07)
by Eelco Visser 02 Oct '06

02 Oct '06

---------------------------------------------------------------------- electronic submission is open http://www.easychair.org/PEPM2007 ---------------------------------------------------------------------- Third Call For Papers ACM SIGPLAN 2007 Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'07) Nice, France January 15-16, 2007 (Co-located with POPL 2007) http://www.program-transformation.org/PEPM07 ---------------------------------------------------------------------- The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the areas of program manipulation, partial evaluation, and program generation. PEPM focuses on techniques, theory, tools, and applications of analysis and manipulation of programs. The 2007 PEPM workshop will be based on a broad interpretation of semantics-based program manipulation and continue last year's successful effort to expand the scope of PEPM significantly beyond the traditionally covered areas of partial evaluation and specialization and include practical applications of program transformations such as refactoring tools, and practical implementation techniques such as rule- based transformation systems. In addition, the scope of PEPM covers manipulation and transformations of program and system representations such as structural and semantic models that occur in the context of model-driven development. In order to reach out to practitioners, a separate category of tool demonstration papers will be solicited. ---------------------------------------------------------------------- Topics of interest for PEPM'07 include, but are not limited to: + Program and model manipulation techniques such as transformations driven by rules, patterns, or analyses, partial evaluation, specialization, slicing, symbolic execution, refactoring, aspect weaving, decompilation, and obfuscation. + Program analysis techniques that are used to drive program/model manipulation such as abstract interpretation, static analysis, binding-time analysis, dynamic analysis, constraint solving, and type systems. + Analysis and transformation for programs/models with advanced features such as objects, generics, ownership types, aspects, reflection, XML type systems, component frameworks, and middleware. + Techniques that treat programs/models as data objects including meta-programming, generative programming, staged computation, and model-driven program generation and transformation. + Application of the above techniques including experimental studies, engineering needed for scalability, and benchmarking. Examples of application domains include legacy program understanding and transformation, domain-specific language implementations, scientific computing, middleware frameworks and infrastructure needed for distributed and web-based applications, resource-limited computation, and security. We especially encourage papers that break new ground including descriptions of how program/model manipulation tools can be integrated into realistic software development processes, descriptions of robust tools capable of effectively handling realistic applications, and new areas of application such as rapidly evolving systems, distributed and web-based programming including middleware manipulation, model-driven development, and on-the-fly program adaptation driven by run-time or statistical analysis. ---------------------------------------------------------------------- Submission Categories and Guidelines Regular research papers must not exceed 10 pages in ACM Proceedings style. Tool demonstration papers must not exceed 4 pages in ACM Proceedings style, and authors will be expected to present a live demonstration of the described tool at the workshop. Suggested topics, evaluation criteria, and writing guidelines for both research tool demonstration papers will be made available on the PEPM'07 web site. Papers should be submitted electronically via the workshop web site. The workshop proceedings will be published in the ACM Digital Library and selected papers will be invited for a journal special issue dedicated to PEPM'07. ---------------------------------------------------------------------- Important Dates + Abstracts due: October 18, 2006 + Submission: October 20, 2006 + Notification: December 1, 2006 + Camera-ready: December 18, 2006 + Workshop: January 15-16, 2007 ----------------------------------------------------------------------- Program Chairs * G. Ramalingam (Microsoft Research, Bangalore) * Eelco Visser (Delft University of Technology, The Netherlands) Program Committee Members * Ras Bodik (University of California, Berkeley, USA) * Albert Cohen (INRIA, France) * Jim Cordy (Queen's University, Canada) * Martin Erwig (Oregon State University, USA) * Bernd Fischer (University of Southampton, UK) * John Hatcliff (Kansas State University, USA) * Jan Heering (CWI, The Netherlands) * Dan Grossman (University of Washington, USA) * Annie Liu (State University of New York at Stony Brook, USA) * Jacques Noy� (�cole des Mines de Nantes/INRIA, France) * German Puebla (Technical University of Madrid, Spain) * Peter Sestoft (Royal Veterinary and Agricultural University, Denmark) * Yannis Smaragdakis (Georgia Tech, Atlanta, USA) * Walid Taha (Rice University, Houston, USA) -----------------------------------------------------------------------

1 0

ByteString tokens
by Chad Scherrer 02 Oct '06

02 Oct '06

The Haddock documentation days there is a function tokens :: (Char -> Bool) -> ByteString -> [ByteString] in Data.ByteString.Lazy.Char8 But in ghci, I get this: ------------------------------------------------------------------------ % ./ghci ___ ___ _ / _ \ /\ /\/ __(_) / /_\// /_/ / / | | GHC Interactive, version 6.5.20061001, for Haskell 98. / /_\\/ __ / /___| | http://www.haskell.org/ghc/ \____/\/ /_/\____/|_| Type :? for help. Loading package base ... linking ... done. Prelude> :m Data.ByteString.Lazy.Char8 Prelude Data.ByteString.Lazy.Char8> :t tokens <interactive>:1:0: Not in scope: `tokens' ------------------------------------------------------------------------ Any idea where it went? Thanks, -- Chad Scherrer "Time flies like an arrow; fruit flies like a banana" -- Groucho Marx

2 2