- Haskell - Haskell.org

ANN: Need functional programmers for debugging study
by Chris Bogart 30 Jul '08

30 Jul '08

Are you currently developing or maintaining a medium to large-sized program written in a functional language, such as Haskell, F#, OCaml, or Lisp? I'm a PhD student doing a study of functional programmers, as part of a research internship at Microsoft, and I would like the opportunity to look over your shoulder while you do debugging or coding on your project. I'm looking for people with at least a year's experience doing functional programming, and who are currently working on a real project (i.e. for some purpose other than learning functional programming). I'm only allowed to use people who can work in the US (because of the gratuity, which is taxable income). I'd simply come watch you work, and ask a few questions along the way. You'd do whatever you would normally be doing. If you're near Seattle or Portland, I'd come to your office for a couple of hours. If you're not near Seattle or Portland, then we'd set you up with LiveMeeting or some other remote screencast software so I can watch you from here. Obviously security concerns are an issue - I will not share any proprietary information that I learn about while visiting you. In exchange for your help, Microsoft will offer you your pick of free software off its gratuity list (which has about 50 items, including Visual Studio Professional, Word for Mac, XBOX 360 games) or any book from MS Press. We're doing this because expert functional programmers have not been studied much. We plan to share our findings through academic publications, to help tool developers create debugging tools that are genuinely helpful in real-world settings. I'm hoping to finish my observations by August 8th, so please contact me immediately if you're interested! Thank you, Chris Bogart 425-538-3562 t-chribo(a)microsoft.com

1 0

[PEPM 2009] Preliminary CFP
by German Vidal 30 Jul '08

30 Jul '08

P R E L I M I N A R Y C A L L F O R P A P E R S === P E P M 2009 === ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation http://www.clip.dia.fi.upm.es/Conferences/PEPM09 January 19-20, 2009 Savannah, Georgia, USA (Affiliated with POPL 2009) IMPORTANT DATES Abstract due: October 12, 2008 Submission: October 17, 2008 Author Notification: November 17, 2008 Camera-Ready Paper: December 1, 2008 SCOPE The PEPM Symposium/Workshop series aims at bringing 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. PEPM is classified as category A in the CORE ranking of ICT conferences. The 2009 PEPM workshop will be based on a broad interpretation of semantics-based program manipulation and continue last years' 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'09 include, but are not limited to: * Program and model manipulation techniques such as transformations driven by rules, patterns, or analyses, partial evaluation, specialization, program inversion, program composition, 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 webbased programming including middleware manipulation, model-driven development, and on-the-fly program adaptation driven by run-time or statistical analysis. SUBMISSION GUIDELINES, CATEGORIES, AND PROCEEDINGS Regular Research Papers must not exceed 10 pages in ACM Proceedings style. Tool demonstration papers must not exceed 4 pages in ACM Proceedings style. At least one author of each accepted contribution must attend the workshop and present the work. In the case of tool demonstration papers, a live demonstration of the described tool is expected. Suggested topics, evaluation criteria, and writing guidelines for both research tool demonstration papers will be made available on the PEPM'09 Web-site. Papers should be submitted electronically via the workshop web site. The workshop proceedings will be published in the ACM Digital Library. A journal special issue dedicated to PEPM'09 including selected papers is under consideration. PROGRAM CO-CHAIRS German Puebla, Technical University of Madrid, Spain German Vidal, Technical University of Valencia, Spain PEPM 2009 PROGRAM COMMITTEE To be announced

1 0

WI-IAT'08 Workshops: Deadline Extended to August 7, 2008
by WI-IAT'08 29 Jul '08

29 Jul '08

[Apologies if you receive this more than once] Papers Due: *** 7 August 2008 ***NEW DEADLINE*** Due to repeated requests, the deadline is extended to 7 August 2008. ##################################################################### IEEE/WIC/ACM WI-IAT 2008 WORKSHOPS CALL FOR PAPERS ##################################################################### 2008 IEEE/WIC/ACM International Conference on Web Intelligence (WI-08) 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT-08) December 9-12, 2008, Sydney, Australia Official sites: http://datamining.it.uts.edu.au/conferences/wi08/ AND http://datamining.it.uts.edu.au/conferences/iat08/ Mirror sites: http://maebashi-it.org/wi-iat08/wi08/index.html AND http://maebashi-it.org/wi-iat08/iat08/index.html Sponsored By IEEE Computer Society Web Intelligence Consortium (WIC) Association for Computing Machinery (ACM) ######################################################################## All submitted papers will be reviewed on the basis of technical quality, relevance, significance, and clarity. Accepted papers for workshops will be published in the Workshops Proceedings by the IEEE Computer Society Press, which are indexed by EI. ######################################################################## WI-IAT 2008 workshops provide an excellent international forum of scientific research and development to explore the fundamental roles as well as practical impacts of Web Intelligence and Intelligent Agent Technology. The two main conferences will have a joint opening, keynote, reception, and banquet. Attendees only need to register for one conference and can attend workshops, sessions, tutorials, panels, exhibits and demonstrations across the conferences. Note: we will not have a separate workshop registration fee this year (i.e., only one conference registration covers everything). +++++++++++++++++++ Workshops +++++++++++++++++++ --------------------------------------------------------------------------------------------- The 2nd Workshop on Collective Intelligence in Semantic Web and Social Networks (CISWSN 2008) --------------------------------------------------------------------------------------------- http://www.iit.pwr.wroc.pl/~krzysiek/CISWSN.htm Jason J. Jung [j2jung(a)intelligent.pe.kr] Tudor Groza [tudor.groza(a)deri.org] Hak Lae Kim [haklae.kim@ deri.org] --------------------------------------------------------------------------------- International Workshop on Web Information Retrieval Support Systems (WIRSS 2008) --------------------------------------------------------------------------------- http://uxlab.cs.mun.ca/wirss2008/ Orland Hoeber [hoeber(a)cs.mun.ca] Yiyu Yao [yyao(a)cs.uregina.ca] ---------------------------------------------------------------------------------------------- International Workshop on Web Personalization, Reputation and Recommender Systems (WPRRS 2008) ---------------------------------------------------------------------------------------------- http://www.wprrs08.fit.qut.edu.au/ Yue Xu [yue.xu(a)qut.edu.au] ---------------------------------------------------------------- International Workshop on Intelligent Web Interaction (IWI 2008) ---------------------------------------------------------------- http://ymd.ex.nii.ac.jp/ws/iwi/08/ Tsuyoshi MURATA [murata(a)cs.titech.ac.jp] Seiji YAMADA [seiji(a)nii.ac.jp] ----------------------------------------------- Workshop on Intelligent E-government (IEG 2008) ----------------------------------------------- http://management.dlut.edu.cn/WI-IAT'08_IEG/index.htm Dr Ning Wang [wn(a)dlut.edu.cn] Dr Xin Ye [yejstar(a)163.com] Dr Liming Zhu [Liming.Zhu(a)nicta.com.au] Dr Shaobo Ji [sji(a)business.carleton.ca] ---------------------------------------------------------------------------------------------------------- International Workshop on New Computing Paradigms for Web Intelligence meet Brain Informatics (WImBI 2008) ---------------------------------------------------------------------------------------------------------- http://www.wi-consortium.org/wimbi08/ Peng (Paul) Wen [Wen(a)usq.edu.au] ------------------------------------------------------------ International Workshop on Fuzzy Logic On the Web (FLOW 2008) ------------------------------------------------------------ http://www.cwi.ugent.be/flow2008/ Stijn Heymans [email:heymans@kr.tuwien.ac.at] Ghent University [Stijn.Heymans(a)UGent.be] Martine De Cock [Martine.Decock(a)UGent.be] Dirk Vermeir [dvermeir(a)vub.ac.be] Elie Sanchez [elie.sanchez(a)medecine.univ-mrs.fr] ----------------------------------------------------------------------------- Workshop on Natural Language Processing and Ontology Engineering (NLPOE 2008) ----------------------------------------------------------------------------- http://icl.pku.edu.cn/proceedings/NLPOEworkshop/ Sui Zhifang [suizhifang(a)gmail.com] Liu Yao [liuy(a)istic.ac.cn] --------------------------------------------------------------------------------------- Workshop on Web Intelligence & Intelligent Agent Technology in eLearning (TUMAS-A 2008) --------------------------------------------------------------------------------------- http://adenu.ia.uned.es/workshops/wi-iat08/tumasa08 Jesus G. Boticario [jgb(a)dia.uned.es] Olga C. Santos [ocsantos(a)dia.uned.es] Rafael Calvo [rafa(a)ee.usyd.edu.au] --------------------------------------------------------------------- International Workshop on Computational Social Networks (IWCSN 2008) --------------------------------------------------------------------- http://www.softcomputing.net/~csn/ Vaclav Snasel [vaclav.snasel(a)vsb.cz] Ajith Abraham [ajith.abraham(a)ieee.org] James Peters [jfpeters(a)ee.umanitoba.ca] Aboul Ella Hassanien [a.hassanien(a)fci-cu.edu.eg] Gerald Schaefer [g.schaefer(a)aston.ac.uk] -------------------------------------------------------------------------- Workshop on Optimization-based Data Mining and Web Intelligence (ODM 2008) -------------------------------------------------------------------------- http://www.feds.ac.cn/three/WebIntelligence.mht Yong Shi [yshi(a)unomaha.edu] Jing He [lotusjing(a)gmail.com] --------------------------------------------------------------------------------------------------------------------------------------------------- The Second International Workshop on Human Aspects in Ambient Intelligence: Agent Technology, Human-Oriented Knowledge and Applications (HAAI 2008) --------------------------------------------------------------------------------------------------------------------------------------------------- http://www.few.vu.nl/~treur/HAI08wsCfP.htm Jan Treur [treur(a)cs.vu.nl] ------------------------------------------------------------------------ International Workshop on E-Commerce, Business, and Services (ECBS 2009) ------------------------------------------------------------------------ http://www.uow.edu.au/~quan/ECBS/index.html Takayuki Ito [ito.takayuki(a)nitech.ac.jp] ----------------------------------------------------------- Workshop on P2P Computing and Autonomous Agents (P2P 2008) ----------------------------------------------------------- http://faculty.kfupm.edu.sa/ICS/helmy/P2PAA08/index.htm Tarek Helmy [helmy(a)kfupm.edu.sa] ------------------------------------------------------------------------ International Workshop on Agents and Data Mining Interaction (ADMI 2008) ------------------------------------------------------------------------ http://www.agentmining.org/admi08/ Longbing CAO [lbcao(a)it.uts.edu.au] -------------------------------------------------------------------------------- Workshop on Logics for Intelligent Agents and Multi-Agent Systems (WLIAMAS 2008) -------------------------------------------------------------------------------- http://www.comp.mq.edu.au/conferences/wliamas08 Mehmet A Orgun [mehmet(a)ics.mq.edu.au] ------------------------------------------------------------------------------------ The 3rd IEEE International Workshop on Data Mining in Bioinformatics (IEEE DMB 2008) ------------------------------------------------------------------------------------ http://dmb08.biomap.org Amandeep S. Sidhu [asidhu(a)mac.com] ----------------------------- 2008 WI-IAT Doctoral Workshop ----------------------------- http://www.roughsets.org/WI-IAT2008/DoctoralWS.html Marcin Szczuka [szczuka(a)mimuw.edu.pl] Ryszard Kowlaczyk [rkowalczyk(a)swin.edu.au] Hui Wang [h.wang(a)ulster.ac.uk] Xiaohui Tao [x.tao(a)qut.edu.au] ++++++++++++++++++++++++++++++++++++ On-Line Submissions and Publication ++++++++++++++++++++++++++++++++++++ Paper submissions should be limited to a maximum of 4 pages in the IEEE 2-column format; the same as the camera-ready format (see the Author Guidelines at ftp://pubftp.computer.org/press/outgoing/proceedings/instruct.pdf) All submitted papers will be reviewed by the Program Committee on the basis of technical quality, relevance, significance, and clarity. Please use the Submission Form on the WI’08 or IAT'08 website to submit your papers for Workshops. Accepted papers will be published in the workshops proceedings by the IEEE Computer Society Press that are indexed by EI. Each workshops paper will be allocated 4 pages in the proceedings and will have an oral presentation. All co-authors will be notified at all time, for the submission, notification, and confirmation on the attendance. Submitting a paper to the workshops means that, if the paper is accepted, at least one author should attend the workshops to present the paper. A selected number of accepted papers will be expanded and revised for inclusion in Web Intelligence and Agent Systems: An International Journal or in Annual Review of Intelligent Informatics (http://wi-consortium.org/) More detailed instructions and the On-Line Submission Form can be found at http://datamining.it.uts.edu.au/conferences/wi08/?page_id=5 OR http://datamining.it.uts.edu.au/conferences/iat08/?page_id=6 ++++++++++++++++ Important Dates ++++++++++++++++ * Workshop paper submission: 7 August, 2008 ***NEW DEADLINE*** * Author notification: September 3, 2008 * Conference dates: December 9-12, 2008 ++++++++++++++++++++++++ Workshop Co-Chairs ++++++++++++++++++++++++ * Yuefeng Li, Queensland University of Technology, Australia (Email: y2.li(a)qut.edu.au) * Gabriella Pasi, University of Milano, Italy (Email: pasi(a)disco.unimib.it)

1 0

Anglo Haskell 2008
by Matthew Sackman 29 Jul '08

29 Jul '08

Anglo Haskell is a gathering of all people Haskell-related from beginners, to seasoned hackers to academic giants. All and more are welcomed by large fuzzy green lambdas. Anglo Haskell has happened for the last two years and we see no reason why it should not happen again this year. For the last two years they've tended to have talks on Fridays and then Other Things on the Saturday (including Punting and Group Hacking, some or more of which may have happened in Pubs). We're proposing the same general format this year. In contrast to the last two years which have been held at MSR Cambridge (UK), we're this year proposing to hold the event at Imperial College, London. London is probably easier to get to and from (though more tedious to get across) than Cambridge and we hope this will attract people who previously have not been able to get out to Cambridge. The proposed dates are Friday the 8th and Saturday the 9th of August. More details are available on the wikipage: http://www.haskell.org/haskellwiki/AngloHaskell/2008 Please feel free to add to this page. If you're at all interested in coming along then please add your name to the wikipage. If you're interested in giving a talk - on literally anything Haskell related: this is not a solely theory day or solely a practical day; anything goes which is Haskell related - then similarly add yourself to the list of speakers. Schedule and other details will be confirmed soon. Lodging, travel and all other related matters will be discussed on the irc channel (and will eventually migrate to the wikipage) #anglohaskell. If you're free that weekend then please come along! Also, if you'd really like to come but can't make those dates and there are many of you then please shout loudly and things could potentially be moved, though with the lack of time left before the event, we'd prefer to avoid this. Matthew

1 2

ANN: Hayoo! beta 0.2
by Timo B. Hübel 27 Jul '08

27 Jul '08

Hello, we are pleased to announce the second beta release of Hayoo!, a Haskell API search engine providing advanced features like suggestions, find-as-you-type, fuzzy queries and much more. Visit Hayoo! here: http://holumbus.fh-wedel.de/hayoo The major change is the inclusion of all packages available on Hackage, i.e. the documentation of the latest versions of all packages is included in the index. Unfortunately we had to drop the direct links to the source code, as the documentation on Hackage is currently generated without source code. But as soon as this changes, we will include these links again. Additionally, we added some tweaks to the interface which make the browser history/the back button work (at least in Firefox). Please bear in mind that this is still a beta release and we are continuously working on further improvements. Any suggestions and feedback is highly welcomed. Cheers, Timo & Sebastian

2 1

ANN: Hipmunk 0.1 and HipmunkPlayground 0.1
by Felipe Lessa 27 Jul '08

27 Jul '08

Hello! =) I'm pleased to announce the availability of Hipmunk, containing bindings for the Chipmunk 2D physics engine, and Hipmunk Playground, where you may see some of Hipmunk's features in action. The bindings are low-level but try to hide most of the nasty details of the C code. It was tested on two Linux distros (with GHC 6.8.3) and Windows (GHC 6.8.1). You may get Cabal packages for both on Hackage at: - http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Hipmunk - http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HipmunkPlayground The Chipmunk physics engine home page is at http://wiki.slembcke.net/main/published/Chipmunk . Thanks, -- Felipe.

1 0

ANNOUNCE: Sun Microsystems and Haskell.org joint project on OpenSPARC
by Duncan Coutts 24 Jul '08

24 Jul '08

http://haskell.org/opensparc/ I am very pleased to announce a joint project between Sun Microsystems and the Haskell.org community to exploit the high performance capabilities of Sun's latest multi-core OpenSPARC systems via Haskell! http://opensparc.net/ Sun has donated a powerful 8 core SPARC Enterprise T5120 Server to the Haskell community, and $10,000 to fund a student, to further develop support for high performance Haskell on the SPARC. The aim of the project is to improve the SPARC native code generator in GHC and to demonstrate and improve the results of parallel Haskell benchmarks. The student will work with a mentor from Haskell.org and an adviser from Sun's SPARC compiler team. ** We are now inviting applications from students ** Please forward this announcement to any and all mailing lists where you think interested students might be lurking. Further details for students may be found below, and on the project website. Haskell and Multi-core Systems ------------------------------ The latest generation of multi-core machines pose a number of problems for traditional languages and parallel programming techniques. Haskell, in contrast, supports a wealth of approaches for writing correct parallel programs: traditional explicit threads and locks (forkIO and MVars), pure parallel evaluation strategies (par) and also Software Transactional Memory (STM). GHC has supported lightweight preemptable threads for a long time, and for the last couple of years it has been able to take advantage of machines with multiple CPUs or CPU cores. The GHC runtime has also recently gained a parallel garbage collector. OpenSPARC --------- We think the UltraSPARC T1/T2 architecture is a very interesting platform for Haskell. In particular the way that each core multiplexes many threads as a way of hiding memory latency. Memory latency is a performance bottleneck for Haskell code because the execution model uses a lot of memory indirections. Essentially, when one thread blocks due to a main memory read, the next thread is able to continue. This is in contrast to traditional architectures where the CPU core would stall until the result of the memory read was available. This approach can achieve high utilisation as long as there is enough parallelism available. The Project ----------- GHC is increasingly relying on its native code backend for high performance. Respectable single-threaded performance is a prerequisite for decent parallel performance. The first stage of the project therefore is to implement a new SPARC native code generator, taking advantage of the recent and ongoing infrastructure improvements in the C-- and native layers of the GHC backend. There is some existing support for SPARC in the native code generator but it has not kept up with changes in the GHC backend in the last few years. Once the code generator is working we will want to get a range of single threaded and parallel benchmarks running and look for various opportunities for improvement. There is plenty of ongoing work on the generic parts of the GHC backend and run-time system so the project will focus on SPARC-specific aspects. The UltraSPARC T1/T2 architecture supports very fast thread synchronisation (by taking advantage of the fact that all threads share the same L2 cache). We would like to optimise the synchronisation primitives in the GHC libraries and run-time system to take advantage of this. This should provide the basis for exploring whether the lower synchronisation costs make it advantageous to use more fine-grained parallelism. The Server ---------- The T5120 server has a T2 UltraSPARC processor with 8 cores running at 1.2GHz. Each core multiplexes 8 threads giving 64 hardware threads overall. It comes equipped with 32GB of memory. It also has two 146GB 10k RPM SAS disks. http://www.sun.com/servers/coolthreads/t5120/ http://www.sun.com/processors/UltraSPARC-T2/ This server is a donation to the whole Haskell community. We will make accounts available on the same basis as the existing community server as soon as is practical. Our friends at Chalmers University of Technology are kindly hosting the server on our behalf. We will encourage people to use the server for building, testing and benchmarking their Haskell software on SPARC, under both Solaris and Linux. Student applications -------------------- This is a challenging and exciting project and will need a high calibre student. Familiarity with Haskell is obviously important as is some experience with code generation for RISC instruction sets. The summer is now upon us so we do not expect students to be able to work 3 months all in one go. We are inviting students to suggest their own schedule when they apply. This may involve blocks of time in the next 9 months or so. It should add up to the equivalent of 3 months full time work. The application process is relatively informal. Students should send their application to: opensparc(a)community.haskell.org The deadline for applications in Friday 5th September 2008. If that deadline likely to be a problem for you then do get in touch. The application should detail skills and experience. Applications will be reviewed by a panel including the mentor, the adviser from Sun and a number of other Haskell.org community members who have helped with reviewing student projects in the past. The review will be partly interactive; students can expect to get questions and feedback from the reviewers. Students are welcome to contact myself or anyone else to help improve the quality of their application or if they have any questions. The $10k student funding will be paid in three phases, at the beginning ($3k), an intermediate point ($3k) and at the end ($4k). The exact timing will depend on the agreed schedule. The intermediate and final payments will be subject to positive reviews from the mentor. Duncan (project coordinator)

2 1

CC 2009: abstracts due Oct 2
by Oege.de.Moor＠comlab.ox.ac.uk 24 Jul '08

24 Jul '08

>>> abstracts - Oct 2, full papers - Oct 9 <<< CC 2009 International Conference on Compiler Construction March 22-29, York, United Kingdom Invited Speaker: Vivek Sarkar (Rice University, US) Part of ETAPS 2009 http://www.cs.york.ac.uk/etaps09/Conf/conf.html#cc CC is a premier forum for presenting research on compilers in the broadest possible sense, including run-time techniques, programming tools, domain-specific languages, novel language constructs and so on. In recent years CC has seen a healthy increase in the number of submissions, in line with its broad outlook; its typical acceptance rate is 20-25%. CC is part of ETAPS, and this year it is held in York (UK), March 22-29 2009. The program committee would particularly welcome submissions from researchers in functional programming on any topic relating to analysis, optimisation and compilation of Haskell programs Abstracts are due on October 2, and the deadline for full paper submission is October 9. Prospective authors are welcome to contact the program chairs, Michael Schwartzbach (mis(a)brics.dk) and Oege de Moor (oege(a)comlab.ox.ac.uk) with any queries they might have.

1 0

Haskell Weekly News: Issue 78 - July 23, 2008
by Brent Yorgey 23 Jul '08

23 Jul '08

--------------------------------------------------------------------------- Haskell Weekly News http://sequence.complete.org/hwn/20080723 Issue 78 - July 23, 2008 --------------------------------------------------------------------------- Welcome to issue 78 of HWN, a newsletter covering developments in the [1]Haskell community. Issue 78: In Which Michi and Neil Become Doctors, Sun Donates Some Sweet Loot, and Jules Is Revealed To Be A Helpful Anthropomorphic Robot Community News Congratulations are in order this week to two members of the community who have completed PhDs. Neil Mitchell (ndm) passed his PhD viva last week, subject to minor corrections. Mikael Johansson (Syzygy-) [2]has also completed his PhD and will soon be starting a postdoc at Stanford with the topology in computer science working group. Congratulations, Drs. Mitchell and Johansson! Announcements rosezipper. Eric Kow (kowey) [3]announced the release of [4]rosezipper, Krasimir Angelov and Iavor S. Diatchki's Data.Tree implementation of zippers. list-extras 0.1.0. wren ng thornton (koninkje) [5]announced the initial release of [6]list-extras, a home for common not-so-common list functions. Sun Microsystems and Haskell.org joint project on OpenSPARC. Duncan Coutts (dcoutts) [7]announced a [8]joint project between Sun Microsystems and the Haskell.org community to exploit the high performance capabilities of Sun's latest multi-core [9]OpenSPARC systems via Haskell! Sun has donated a powerful 8 core SPARC Enterprise T5120 Server to the Haskell community, and $10,000 to fund a student to further develop support for high performance Haskell on the SPARC. The student will work with a mentor from Haskell.org and an adviser from Sun's SPARC compiler team. If you're a student and this sounds interesting to you, send in those applications!! Hayoo! beta 0.2. Timo B. [10]announced the second beta release of [11]Hayoo!, a Haskell API search engine providing advanced features like suggestions, find-as-you-type, fuzzy queries and much more. The major change in this release is the inclusion of all packages available on Hackage in the index. Haskell-beginners mailing list. Benjamin L. Russell [12]announced the creation of the [13]Haskell-Beginners Mailing List, beginners at haskell.org, devoted to discussion of primarily beginner-level topics related to Haskell. It's already off to a great start, so if you're a Haskell beginner, or someone interested in answering beginner questions, please subscribe! Haskeline 0.2. Judah Jacobson [14]announced the initial (alpha-ish) release of [15]Haskeline, a library for line input in command-line programs. It is similar in purpose to editline or readline, but is written in Haskell and thus (hopefully) more easily used in other Haskell programs. Google Summer of Code Progress updates from participants in the 2008 [16]Google Summer of Code. Generic tries. Jamie Brandon is working on a library for efficient maps using generalized tries. [17]This week, he ran QuickCheck on his test suite for the first time, and found a large number of failing tests! He's got his work cut out for him straightening those out over the next few days. DPH physics engine. Roman Cheplyaka (Feuerbach) is working on a [18]physics engine using [19]Data Parallel Haskell. [20]This week, he implemented full handling of rigid body collisions, including angular velocity. Next he plans to explore various ways to make the engine faster, including broad-phase collision detection. GHC plugins. Max Bolingbroke is working on dynamically loaded plugins for GHC. [21]This week, he revealed his "mystery project": an HTML pretty-printer for GHC core! [22]Here is a sample. Now his focus turns to tidying things up and solidifying documentation in preparation for getting his patches merged into GHC HEAD. Hoogle 4. Neil Mitchell (ndm) is working on [23]Hoogle 4. [24]This week, he fleshed out the final part of type search, including support for instances and alpha renaming of variables. Unfortunately, it uses too much memory to be feasibly run on the base libraries! Neil has some ideas on how to fix this, however, which he plans to tackle next week. Language.C. Benedikt Huber (visq) is [25]working on Language.C, a standalone parser/pretty printer library for C99. He has finally completed a working implementation for analysing declarations and definitions, and [26]presents a working example of the library's use. Cabal dependency framework. Andrea Vezzosi (Saizan) is working on a [27]make-like dependency analysis framework for Cabal. GHC API. Thomas Schilling (nominolo) is working on [28]improvements to the GHC API. Libraries Proposals and extensions to the [29]standard libraries. generalize mapAccumL/R. Ross Paterson [30]proposed adding generalized versions of mapAccumL and mapAccumR to Data.Traversable. signal-handling API. Simon Marlow [31]proposed a [32]new signal-handling API. Discussion Point-free style in guards. L29Ah [33]asked a question about using a points-free style in guard expressions, leading to a number of clever suggestions involving custom combinators. Optimizing sequence. Gracjan Polak started a [34]discussion on the strictness properties of the sequence function, and its implications for optimization. It sounds as though adding an alternate strict version of sequence to the libraries could be a good idea. Blog noise [35]Haskell news from the [36]blogosphere. * Eric Kow (kowey): [37]rose zipper on hackage. Eric has uploaded an implementation of a zipper for Data.Tree to hackage. * Jamie Brandon: [38]QuickCheck strikes again. An update on Jamie's Google Summer of Code project. Lots of failing QuickCheck tests mean Jamie has his work cut out for him. * >>> Ayumilove: [39]Haskell Programming Tutorial Part 1. A video introduction to Haskell? * Roman Cheplyaka (Feuerbach): [40]Status report: week 7-8. An update on Roman's Google Summer of Code project. * Conal Elliott (conal): [41]Designing for the future. * Benedikt Huber (visq): [42]Language.C: Analysing Definitions. An update on Benedikt's Google Summer of Code project. * Max Bolingbroke: [43]Compiler Plugins For GHC: Week Six. An update on Max's Google Summer of Code project. * Arnar Birgisson (Arnar): [44]Playing with Haskell's lazy lists. Arnar implements Eric Rowland's [45]simple prime-generating recurrence using lazy lists in Haskell. * Neil Mitchell (ndm): [46]GSoC Hoogle: Week 8. An update on Neil's Google Summer of Code project. * Matthew Sackman: [47]What is the point?. Matthew had his submission rejected from the Haskell Symposium, and isn't happy about it. * Tupil: [48]Stemming with Haskell reloaded. An updated, more functional/Haskellish interface to the stemmer library. * Luke Palmer (luqui): [49]Semantic Design. Luke's reflections on a design approach learned from Conal Elliott. * Muad`Dib (vixey): [50]Rascal - Mini-haskell like language. * Jeremy Shaw: [51]HTML Templating in HAppS using HSP. Jeremy writes a very cool introduction/tutorial to using HSP (Haskell Server Pages) with HAppS. * >>> Duane Johnson: [52]Lazy Evaluation at Work. Duane likes the idea of lazy file I/O. * >>> Duane Johnson: [53]A Glimmer of Monadic Hope. Duane figures out do-notation. * >>> Duane Johnson: [54]Using 'foldr' in Haskell. Duane figures out how to define (++) and concat in terms of foldr. * Mikael Johansson (Syzygy-): [55]Dr rer nat, Magna cum laude. * >>> Holden Karau: [56]Integrating your HUnit (or other) tests into your cabal package. * Real-World Haskell: [57]Beta availability hiccups. * >>> Antoine Hersen: [58]ICFP 2008 Postmortem. * Edward Kmett (edwardk): [59]A Sort of Difference. Edward uses an analysis of quicksort in Haskell as a jumping-off point for an introduction to difference lists. * Ralf Lammel: [60]The Expression Lemma -- Explained. Ralf explains the relationship between OOP and FP. * >>> Greg McClure: [61]Learning languages through problem-solving. Greg extols the virtues of [62]Project Euler for learning new languages, and exhibits a solution to the first problem in Haskell, Erlang, and Python. Quotes of the Week * kryptiskt: my point is that our brain isn't some logic machine, it's a jury-rigged contraption to help us get food, friends and sex. It's the Perl of intelligences. * Fallacy: peyton `simon` jones * Quadrescence: [on #haskell] Well, the nice population here attracts people. Unlike other pla_C_es. How'd those underscores get there? * mauke: hmm, regexes get even more cryptic after z-encoding: ZLz3fUZCZLz3fUzlznzrwZRZLz3fUzezrwZRzbZLz3fUzlzezrwZRZLz3fUznzrwZRZR * BMeph: Haskell: Where even the newest newcomer acts monadically: join :: ask (ask something) -> ask something * Quadrescence: quicksilver: You must be an anthropomorphic robot or something. About the Haskell Weekly News New editions are posted to [63]the Haskell mailing list as well as to [64]the Haskell Sequence and [65]Planet Haskell. [66]RSS is also available, and headlines appear on [67]haskell.org. Headlines are available as [68]PDF. To help create new editions of this newsletter, please see the information on [69]how to contribute. Send stories to byorgey at seas dot upenn dot edu. The darcs repository is available at darcs get [70]http://code.haskell.org/~byorgey/code/hwn/ . References 1. http://haskell.org/ 2. http://blog.mikael.johanssons.org/archive/2008/07/dr-rer-nat-magna-cum-laud… 3. http://koweycode.blogspot.com/2008/07/rose-zipper-on-hackage.html 4. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/rosezipper 5. http://article.gmane.org/gmane.comp.lang.haskell.cafe/42485 6. http://code.haskell.org/~wren/ 7. http://article.gmane.org/gmane.comp.lang.haskell.general/16351 8. http://haskell.org/opensparc/ 9. http://opensparc.net/ 10. http://article.gmane.org/gmane.comp.lang.haskell.general/16349 11. http://holumbus.fh-wedel.de/hayoo 12. http://article.gmane.org/gmane.comp.lang.haskell.general/16345 13. http://www.haskell.org/mailman/listinfo/beginners 14. http://article.gmane.org/gmane.comp.lang.haskell.general/16343 15. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/haskeline 16. http://hackage.haskell.org/trac/summer-of-code/wiki/SoC2008 17. http://jamiiecb.blogspot.com/2008/07/quickcheck-strikes-again.html 18. http://haskell.org/haskellwiki/Hpysics 19. http://www.haskell.org/haskellwiki/GHC/Data_Parallel_Haskell 20. http://physics-dph.blogspot.com/2008/07/status-report-week-7-8.html 21. http://blog.omega-prime.co.uk/2008/07/21/compiler-plugins-for-ghc-week-six/ 22. http://www.omega-prime.co.uk/files/GHC-Core-HTML.html 23. http://code.haskell.org/hoogle/ 24. http://neilmitchell.blogspot.com/2008/07/gsoc-hoogle-week-8.html 25. http://www.sivity.net/projects/language.c/wiki/ 26. http://hsbene.blogspot.com/2008/07/languagec-analysing-definitions.html 27. http://code.haskell.org/~Saizan/cabal 28. http://hackage.haskell.org/trac/ghc/wiki/GhcApiStatus 29. http://haskell.org/haskellwiki/Library_submissions 30. http://article.gmane.org/gmane.comp.lang.haskell.libraries/9649 31. http://article.gmane.org/gmane.comp.lang.haskell.libraries/9599 32. http://hackage.haskell.org/trac/ghc/ticket/2451 33. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/42475 34. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/42453 35. http://planet.haskell.org/ 36. http://haskell.org/haskellwiki/Blog_articles 37. http://koweycode.blogspot.com/2008/07/rose-zipper-on-hackage.html 38. http://jamiiecb.blogspot.com/2008/07/quickcheck-strikes-again.html 39. http://www.5min.com/Video/Ayumilove-Haskell-Programming-Tutorial-Part-1-311… 40. http://physics-dph.blogspot.com/2008/07/status-report-week-7-8.html 41. http://feeds.feedburner.com/~r/conal/~3/342784118/ 42. http://hsbene.blogspot.com/2008/07/languagec-analysing-definitions.html 43. http://blog.omega-prime.co.uk/2008/07/21/compiler-plugins-for-ghc-week-six/ 44. http://www.hvergi.net/2008/07/playing-with-haskells-lazy-lists/ 45. http://recursed.blogspot.com/2008/07/rutgers-graduate-student-finds-new.html 46. http://neilmitchell.blogspot.com/2008/07/gsoc-hoogle-week-8.html 47. http://www.wellquite.org/what_is_the_point.html 48. http://blog.tupil.com/stemming-with-haskell-reloaded/ 49. http://luqui.org/blog/archives/2008/07/18/semantic-design/ 50. http://muaddibspace.blogspot.com/2008/07/rascal-mini-haskell-like-language.… 51. http://nhlab.blogspot.com/2008/07/html-templating-in-happs-using-hsp.html 52. http://blog.inquirylabs.com/2008/07/18/lazy-evaluation-at-work/ 53. http://blog.inquirylabs.com/2008/07/17/a-glimmer-of-monadic-hope/ 54. http://blog.inquirylabs.com/2008/07/17/using-foldr-in-haskell/ 55. http://blog.mikael.johanssons.org/archive/2008/07/dr-rer-nat-magna-cum-laud… 56. http://feeds.feedburner.com/~r/holdenkarau/iYtm/~3/337908379/integrating-yo… 57. http://www.realworldhaskell.org/blog/2008/07/16/beta-availability-hiccups/ 58. http://endymion2021.livejournal.com/17117.html 59. http://comonad.com/reader/2008/a-sort-of-difference/ 60. http://blogs.msdn.com/ralflammel/archive/2008/07/16/the-expression-lemma-ex… 61. http://www.codechops.com/?p=15 62. http://www.projecteuler.net/ 63. http://www.haskell.org/mailman/listinfo/haskell 64. http://sequence.complete.org/ 65. http://planet.haskell.org/ 66. http://sequence.complete.org/node/feed 67. http://haskell.org/ 68. http://code.haskell.org/~byorgey/code/hwn/archives/20080723.pdf 69. http://haskell.org/haskellwiki/HWN 70. http://code.haskell.org/~byorgey/code/hwn/

1 0

Commercial Users of Functional Programming Workshop Call for Participation
by Andy Adams-Moran 22 Jul '08

22 Jul '08

Commercial Users of Functional Programming Workshop (CUFP) 2008 Functional Programming As a Means, Not an End Call for Participation Sponsored by SIGPLAN Co-located with ICFP 2008 __________________________________________________________________ 26 September 2008 Victoria, Canada Registration opens in late July through http://www.icfpconference.org/icfp2008/ __________________________________________________________________ Functional languages have been under academic development for over 25 years, and remain fertile ground for programming language research. Recently, however, developers in industrial, governmental, and open source projects have begun to use functional programming successfully in practical applications. In these settings, functional programming has often provided dramatic leverage, including whole new ways of thinking about the original problem. The goal of the CUFP workshop is to act as a voice for these users of functional programming. The workshop supports the increasing viability of functional programming in the commercial, governmental, and open-source space by providing a forum for professionals to share their experiences and ideas, whether those ideas are related to business, management, or engineering. The workshop is also designed to enable the formation and reinforcement of relationships that further the commercial use of functional programming. Providing user feedback to language designers and implementors is not a primary goal of the workshop, though it will be welcome if it occurs. Program CUFP 2008 will last a full day and feature a discussion session and the following presentations: Don Syme (Microsoft) Invited Presentation: Why Microsoft is Investing in Functional Programming David Balaban (Amgen) Minimizing the Immune Response to Functional Programming at Amgen Francesco Cesarini (Erlang Training and Consulting) The Mobile Messaging Gateway, from Idea to Prototype to Launch in 12 months Jake Donham (Skydeck) From OCaml to Javascript at Skydeck Nick Gerakines (Yahoo) Developing Erlang at Yahoo Tom Hawkins (Eaton Corporation) Controlling Hybrid Vehicles with Haskell Bob Ippolito (Mochimedia) Ad Serving with Erlang Anil Madhavapeddy (Citrix) Xen and the art of OCaml Howard Mansell (Credit Suisse) Quantitative Finance in F# Jeff Polakow (Deutsche Bank) Is Haskell ready for everyday computing? David Pollak (Lift web framework) Buy a Feature: an adventure in immutability and Actors Gregory Wright (Antiope) Functions to Junctions: Ultra Low Power Chip Design With Some Help From Haskell There will be no published proceedings, as the meeting is intended to be more a discussion forum than a technical interchange. See http://cufp.galois.com for more information, including presentation abstracts and the most recent schedule information. Program Committee * Lennart Augustsson <lennart(dot)augustsson(at)gmail(dot)com> * Matthias Blume <blume(at)tti-c(dot)org> * Adam Granicz <granicz(dot)adam(at)intellifactory(dot)com> * Jim Grundy(co-chair)<jim(dot)d(dot)grundy(at)intel(dot)com> * Andy Martin <akmartin(at)us(dot)ibm(dot)com> * Yaron Minsky <yminsky(at)janestcapital(dot)com> * Simon Peyton Jones(co-chair)<simonpj(at)microsoft(dot)com> * Ulf Wiger <ulf(dot)wiger(at)ericsson(dot)com> This will be the fifth CUFP; see CUFP 2004 CUFP 2005, CUFP 2006, and CUFP 2007 for information about the earlier meetings, including reports from attendees and video of the most recent talks. -- Andy Adams-Moran Phone: 503.626.6616, x113 Galois Fax: 503.214.8120 421 SW 6th Ave, Suite #300 http://www.galois.com Portland, OR 97204 adams-moran(a)galois.com

1 0