- Haskell - Haskell.org

Cfp: 3rd Int'l Workshop on Security and Rewriting Techniques (SecReT 2008)
by Santiago Escobar 17 Mar '08

17 Mar '08

******************************************************************** SecReT 2008 3rd International Workshop on Security and Rewriting Techniques http://www.dsic.upv.es/workshops/secret08 Sunday, June 22, 2008, Pittsburgh, USA Affiliated workshop of the 21st IEEE Computer Security Foundations Symposium (CSF) and the 23rd IEEE Symposium on Logic In Computer Science (LICS) IMPORTANT DATES Abstract Submission March 31, 2008 Full Paper Submission April 6, 2008 Acceptance Notification May 12, 2008 Camera Ready May 26, 2008 Workshop June 22, 2008 SCOPE The aim of this workshop is to bring together rewriting researchers and security experts, in order to foster their interaction and develop future collaborations in this area, provide a forum for presenting new ideas and work in progress, and enable newcomers to learn about current activities in this area. The workshop focuses on the use of rewriting techniques in all aspects of security. Specific topics include: authentication, encryption, access control and authorization, protocol verification, specification of policies, intrusion detection, integrity of information, control of information leakage, control of distributed and mobile code, etc. Previous instances of SecRet were held in 2006 (S. Servolo, Venice, Italy), and 2007 (Paris, France). LOCATION SecReT'08 will be held at Carnegie Mellon University in Pittsburgh, Pennsylvania, USA. The workshop is associated with the 21st IEEE Computer Security Foundations Symposium (CSF'08) and the 23rd IEEE Symposium on Logic in Computer Science (LICS'08). SUBMISSION PROCEDURE Submission is web-based via a link available in the main web page. Submissions must be received by April 6, 2008. In addition, a title and abstract must be submitted by March 31, 2008. Submitted papers should be at most 15 pages in the ENTCS style, and should include an abstract and the author's information. See the author's instructions of ENTCS style at http://www.entcs.org. PUBLICATION Accepted papers will be published in a preliminary volume available during the workshop. After the workshop, a final version of the proceedings will be published in the Elsevier series Electronic Notes in Theoretical Computer Science (ENTCS). INVITED SPEAKERS Hubert Comon Cachan, France Jonathan Millen MITRE, USA PROGRAM CO-CHAIRS Daniel Dougherty Worcester Polytechnic Institute, USA Santiago Escobar Technical University of Valencia, Spain PROGRAM COMMITTEE Pierpaolo Degano Pisa, Italy Daniel Dougherty Worcester, USA Santiago Escobar Valencia, Spain Maribel Fernandez King's College London, UK Thomas Genet IRISA Rennes, France Joshua Guttman MITRE, USA Catherine Meadows NRL, USA Monica Nesi L'Aquila, Italy Michael Rusinowitch Lorraine, France Ralf Treinen Paris-7, France ********************************************************************

1 0

Unicode advice request
by László Kálmán 15 Mar '08

15 Mar '08

Excuse me if this question is misplaced or too trivial. I'm writing a CGI program in Haskell (CGI/HDBC/Sqlite3), the database contains UTF-8 strings. If I use HDBC.fetchRow() to retrieve the data, then HDBC.fromSql() to convert the data to Haskell, then Text.XHtml constructs to dsplay it, I get wrong results in the browser (ASCII rendering of UTF-8 characters, which looks like garbage). What is the way to do this correctly? Thanks -- L. Kalman -- Laszlo Kalman Theoretical Linguistics Program, kalman(a)nytud.hu Budapest University (ELTE) Research Institute for Linguistics, Room 209 P.O. Box 701/518, 1399 Budapest, Hungary (+36-1) 351 4830 x148, fax: (+36-1) 322 9297 http://budling.nytud.hu/~kalman "Me die? That'll be the last thing I do!"

2 2

Passing typeclasses as parameters?
by Ville Tirronen 15 Mar '08

15 Mar '08

Hi all. I managed to paint myself in a corner where I did this: > data ShowDynamic = forall a . (Show a) => SD Dynamic a > toShowDyn a = SD (toDyn a) a > fromShowDyn (SD d a) = fromDynamic d > instance Show ShowDynamic where ... Then I began to wonder if there was any hack to do: > data AnyDynamic X = forall a . (X a) => AD Dynamic a which could be kinda neat, but I saw no obvious way to do this. Ideas? - Ville (bound to be slain by curiosity)

2 1

Advert: Software Technology Master at Utrecht University
by Andres Loeh 14 Mar '08

14 Mar '08

Haskell enthusiasts looking for an interesting and challenging Master program should consider the "Software Technology" program at Utrecht University. The Master Program Software Technology studies techniques that are employed in the production of software. We start from sound theoretical foundations, with a strong focus on real applicability. The program includes courses on programming methodology, programming formalisms (languages), programming tools, software architectures, component based programming, specification formalisms and verification techniques (correctness proofs, theorem proving). Almost all of our courses use Haskell as the main implementation language, and we have many courses that are specifically targeted at functional programmers such as "Implementation of Programming Languages", "Advanced Functional Programming" and "Generic Programming". Furthermore, we have regular seminars on topics such as "Type Systems", "Dependently-Typed Programming", "Program Analysis" or "Advanced Compiler Construction". The Master Program is internationally oriented: the program is open to foreign students, and courses are taught in English. Students have the opportunity to follow courses and do projects at foreign universities and institutes. The program caters for students with a desire to obtain a Ph.D. position or a research position in a company, and for students who are interested in jobs as software designer in industry. The program results in a degree Master of Science in Computer Science. The program is offered by the Center for Software Technology of the Institute of Information and Computing Sciences at Utrecht University. For more information, see http://www.cs.uu.nl/wiki/Master http://www.cs.uu.nl/wiki/Master/MasterCourses -- Andres Loeh, Universiteit Utrecht mailto:andres@cs.uu.nl mailto:mail@andres-loeh.de http://www.andres-loeh.de

1 0

CfP: LOPSTR 2008
by mh＠informatik.uni-kiel.de 13 Mar '08

13 Mar '08

====================================================================== CALL FOR PAPERS 18th International Symposium on International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2008 http://www.informatik.uni-kiel.de/~mh/lopstr08/ July 17-18, 2008, Valencia, Spain (co-located with SAS 2008, PPDP 2008, and PLID 2008) ====================================================================== Objectives: The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium, so authors can incorporate this feedback in the published papers. Topics: Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Papers describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: specification synthesis verification transformation analysis optimisation composition security reuse applications and tools component-based software development software architectures agent-based software development program refinement Survey papers, that present some aspect of the above topics from a new perspective, and application papers, that describe experience with industrial applications, are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). IMPORTANT DATES AND SUBMISSION GUIDELINES: Paper/extended abstract submission: May 7, 2008 Notification (for pre-proceedings): June 8, 2008 Camera-ready (for pre-proceedings): June 29, 2008 Symposium: July 17-18, 2008 Submissions can either be (short) extended abstracts or (full) papers whose length should not exceed 9 and 15 pages (including references), respectively. Submissions must be formatted in the Springer LNCS style (excluding well-marked appendices not intended for publication). Referees are not required to read the appendices, and thus papers should be intelligible without them. Short papers may describe work-in-progress or tool demonstrations. Both accepted short and full papers will appear in the pre-proceedings. The full papers will automatically appear in the formal proceedings that will be published by Springer-Verlag in the LNCS series. In addition, after the symposium, the programme committee will select those short papers to be considered for formal publication. These authors will be invited to revise and extend their submissions in the light of the comments of the reviewers and the feedback solicited at the meeting. Then after another round of reviewing, the revised papers which are accepted will be also published in the formal proceedings. Papers should be submitted either in PDF or PostScript via the web page of LOPSTR 2008. Program Committee: Slim Abdennadher German University Cairo Danny De Schreye K.U.Leuven, Belgium Wlodek Drabent Polish Academy of Sciences, Poland / Linkoeping Univ., Sweden Gopal Gupta University of Texas at Dallas, USA Michael Hanus University of Kiel, Germany (Chair) Patricia Hill University of Leeds, UK Andy King University of Kent, UK Michael Leuschel University of Duesseldorf, Germany Torben Mogensen DIKU, University of Copenhagen, Denmark Mario Ornaghi Universita degli Studi di Milano, Italy Etienne Payet Universite de La Reunion, France Alberto Pettorossi University of Rome Tor Vergata, Italy German Puebla Technical University of Madrid, Spain C.R. Ramakrishnan SUNY at Stony Brook, USA Sabina Rossi Universita Ca' Foscari di Venezia, Italy Chiaki Sakama Wakayama University, Japan Josep Silva Technical University of Valencia, Spain Wim Vanhoof University of Namur, Belgium Eelco Visser Delft University of Technology, The Netherlands ----------------------------------------------------------------------

1 0

[Haskell] Reminder: 4th Haskell Hackathon, April 11-13 in Gothenburg
by Bjorn Bringert 13 Mar '08

13 Mar '08

------------------------------------------------------------------------ Hac4 4th Haskell Hackathon April 11-13, 2008 Gothenburg, Sweden http://haskell.org/haskellwiki/Hac4 Sponsored by Credit Suisse and Galois. ------------------------------------------------------------------------ This is a reminder to register for the 4th Haskell Hackathon. The event will be held over 3 days, April 11-13, at Chalmers University of Technology in Gothenburg, Sweden. == NEWS == * Lunches and at least one dinner for the Hackathon attendees will be provided through our generous sponsors Credit Suisse and Galois. * If you plan to start a new project on community.haskell.org, please request an account and project in advance, so as to save valuable Hackathon time. See http://community.haskell.org/admin/ for more details. == What it is == The plan is to hack on Haskell infrastructure, tools, libraries and compilers. To attend please register, and get ready to hack those lambdas! Code to hack on: * Hackage * Cabal * Porting foreign libraries * Bug squashing * You decide! Before you attend, do start thinking and familiarizing yourself with 1 or 2 projects you wish to work on, to ensure no wasted effort during the Hackathon. A list of possible projects is available on the website. == Registration == We ask that you register your interest. Follow the instructions on the registration page: http://haskell.org/haskellwiki/Hac4/Register Once you've registered, do add your info to the attendees self-organizing page, http://haskell.org/haskellwiki/Hac4/Attendees if you are looking to share costs, or meet up prior to the hackathon, with other attendees. N.B. if you already expressed interest via the wiki, do confirm by registering `officially' anyway. == Important dates == Hackathon: April 11-13, 2008 == Organizers == Björn Bringert (local) Thomas Schilling (local) Lennart Kolmodin (local) Krasimir Angelov (local) Jean-Philippe Bernardy (local) Ian Lynagh Duncan Coutts

1 0

ML Workshop 2008 call for papers
by Eijiro Sumii 11 Mar '08

11 Mar '08

[Dear Haskell mailing list subscribers: Please note the last paragraph in "GOALS OF THE WORKSHOP".] CALL FOR PAPERS The 2008 ACM SIGPLAN Workshop on ML Sunday, September 21, 2008 Victoria, British Columbia, Canada To be held in conjunction with ICFP 2008 http://www.kb.ecei.tohoku.ac.jp/ml2008/ IMPORTANT DATES: Submission deadline: Monday, June 23, 2008 Notification of acceptance: Friday, July 18, 2008 Final revision due: Monday, July 28, 2008 Workshop: Sunday, September 21, 2008 GOALS OF THE WORKSHOP: ML is a family of programming languages that includes dialects known as Standard ML, Objective Caml, and F#. The development of these languages has inspired a large amount of computer science research, both practical and theoretical. This workshop aims to build on previous occasions (recent instances are ML 2005 in Tallinn, Estonia, 2006 in Portland, Oregon, and 2007 in Freiburg, Germany), providing a forum to encourage discussion and research on ML and related technology. The 2008 Workshop on ML will be held in conjunction with the 13th ACM SIGPLAN International Conference on Functional Programming (ICFP 2008) in Victoria, British Columbia, Canada on Sunday, September 21, 2008. This year we extend the scope of the workshop from ML itself to technologies closely related to ML (higher-order, typed, or strict languages) and invite high-quality papers in all areas of crucial importance for the future of ML. SUBMISSION GUIDELINES: We seek papers on topics related to ML, including (but not limited to): * applications * extensions: objects, classes, concurrency, distribution and mobility, semi-structured data handling, etc. * type systems (static and dynamic): inference, effects, overloading, error reporting, contracts, specifications and assertions, etc. * implementation: compilers, interpreters, partial evaluators, garbage collectors, etc. * environments: libraries, tools, editors, debuggers, cross-language interoperability, functional data structures, etc. * semantics Submitted papers should describe new ideas, experimental results, ML-related projects, or informed positions regarding proposals for next-generation ML languages. In order to encourage lively discussion, submitted papers may describe work in progress. All papers will be judged on a combination of correctness, significance, novelty, clarity, and interest to the community. All paper submissions must be at most 12 pages total length in the standard ACM SIGPLAN two-column conference format (9pt): http://www.acm.org/sigs/sigplan/authorInformation.htm Accepted papers will be published by the ACM and will appear in the ACM Digital Library. More details about the submission procedure will be announced later on the web page: http://www.kb.ecei.tohoku.ac.jp/ml2008/ PROGRAM CHAIR: Eijiro Sumii (Tohoku University) PROGRAM COMMITTEE: Sylvain Conchon (Paris-Sud University / INRIA Saclay-Ile-de-France) Karl Crary (Carnegie Mellon University) Andrzej Filinski (DIKU) Robby Findler (The University of Chicago) Cormac Flanagan (University of California at Santa Cruz) Alain Frisch (LexiFi) Dan Grossman (University of Washington) Didier Remy (INRIA Paris-Rocquencourt) Claudio Russo (Microsoft Research Cambridge) Eijiro Sumii (Tohoku University) Hongwei Xi (Boston University)

1 0

ANN: Chart 0.6
by Tim Docker 10 Mar '08

10 Mar '08

A post to announce that Chart-0.6 is now available from it's darcs repository and from hackage. This is a library for drawing 2D charts. It relies upon the haskell cairo binding that is part of gtk2hs, and hence supports several backend output formats (windows, png, pdf, ps, etc). I'm announcing this particular version here because it now includes an alternative API (Data.Rendering.Chart.Simple), that is concise enough to use interactively from a ghci repl. Thanks are due to David Roundy for contributing this API. Further information is available here: http://dockerz.net/software/chart.html Tim

1 0

PPDP 2008 - 2nd Call for Papers
by Elvira Albert 10 Mar '08

10 Mar '08

................................................................ ACM PPDP 2008 - Call For Papers 10th ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming Valencia, Spain, July 15-17, 2008 http://www.clip.dia.fi.upm.es/Conferences/PPDP08 ................................................................ IMPORTANT DATES Submission: April 10, 2008 Notification: May 15, 2008 Conference: July 15-17, 2008 SCOPE: PPDP 2008 is a forum for researchers and practitioners in the declarative programming communities. It solicits papers on all aspects of logic, constraint and functional programming, as well as on related paradigms such as visual programming, executable specification languages, database languages, AI and knowledge representation languages for the "semantic web". MAIN TOPICS: Logic, Constraint, and Functional Programming; Database, AI and Knowledge Representation Languages; Visual Programming; Executable Specification for Languages; Applications of Declarative Programming; Methodologies for Program Design and Development; Declarative Aspects of Object-Oriented Programming; Concurrent Extensions to Declarative Languages; Declarative Mobile Computing; Paradigm Integration; Proof Theoretic and Semantic Foundations; Type and Module Systems; Program Analysis and Verification; Program Transformation; Abstract Machines and Compilation; Programming Environments. PROCEEDINGS: The proceedings will be published by ACM Press RELATED EVENTS: PPDP 2008 will be co-located with the 15th International Static Analysis Symposium (SAS 2008) and the 18th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2008). SYMPOSIUM CHAIR: Elvira Albert, Complutense University of Madrid PROGRAM CHAIR: Sergio Antoy, Portland State University INVITED SPEAKER: Michael Leuschel, University of DÃ¼sseldorf, Germany PROGRAM COMMITTEE: Elvira Albert Complutense University of Madrid, Spain Sergio Antoy Portland State University, USA Maribel Fernandez King's College London, UK Maurizio Gabbrielli University of Bologna, Italy Neil Ghani University of Nottingham, UK Masami Hagiya University of Tokyo, Japan Joxan Jaffar National University, Singapore Claude Kirchner INRIA Bordeaux, France Herbert Kuchen University of Muenster, Germany Michael Maher NICTA and University of New South Wales, Australia Dale Miller INRIA Saclay, France Eugenio Moggi University of Genova, Italy Kostis Sagonas Uppsala University, Sweden Carsten Schurmann, IT University of Copenhagen, Denmark Peter Sestoft IT University of Copenhagen, Denmark LOCAL CHAIR: Christophe Joubert

1 0

Haskell Weekly News: March 09, 2008
by Don Stewart 10 Mar '08

10 Mar '08

--------------------------------------------------------------------------- Haskell Weekly News http://sequence.complete.org/hwn/20080309 Issue 71 - March 09, 2008 --------------------------------------------------------------------------- Welcome to issue 71 of HWN, a newsletter covering developments in the [1]Haskell community. Another busy week on the Haskell library front, with around 100 new and updated libraries and tools on Hackage. 1. http://haskell.org/ Announcements Google Summer of Code. Malcolm Wallace [2]announced Google is running its 'Summer of Code' project again this year, and Haskell.org is once again going to apply to be a mentoring organisation. If you're interested in earning money to hack on Haskell, and helping out the community, [3]take a look at the wiki. 2. http://article.gmane.org/gmane.comp.lang.haskell.cafe/37273 3. http://hackage.haskell.org/trac/summer-of-code Haskell in the browser. Dimitry Golubovsky [4]announced that the YHC JavaScript backend is now in alpha testing, and is open to experimentation for those wanting to write Haskell directly for the browser 4. http://article.gmane.org/gmane.comp.lang.haskell.cafe/37299 Hackage New and updated libraries in [5]the Hackage library database. 5. http://hackage.haskell.org/ * typalyze 0.1.1. Uploaded by Matthew Danish. [6]typalyze: Analyzes Haskell source files for easy reference. * lax 0.0.0.1. Uploaded by Wolfgang Jeltsch. [7]lax: Lax arrows. * truelevel 0.1.1. Uploaded by Barton Massey. [8]truelevel: Audio file compressor-limiter. * WAVE 0.1. Uploaded by Barton Massey. [9]WAVE: WAVE audio file IO library. * parseargs 0.1. Uploaded by Barton Massey. [10]parseargs: Command-line argument parsing library for Haskell programs. * conjure 0.1. Uploaded by Gwern Branwen. [11]conjure: A BitTorrent client. * Diff 0.1.1. Uploaded by Sterling Clover. [12]Diff: O(ND) diff algorithm in haskell.. * simseq 0.0. Uploaded by Gwern Branwen. [13]simseq: Simulate sequencing with different models for priming and errors. * rbr 0.8.3. Uploaded by Gwern Branwen. [14]rbr: Mask nucleotide (EST) sequences in Fasta format. * xml2x 0.2. Uploaded by Gwern Branwen. [15]xml2x: Convert BLAST output in XML format to CSV or HTML. 6. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/typalyze-0.1.1 7. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/lax-0.0.0.1 8. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/truelevel-0.1.1 9. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/WAVE-0.1 10. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/parseargs-0.1 11. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/conjure-0.1 12. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Diff-0.1.1 13. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/simseq-0.0 14. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/rbr-0.8.3 15. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/xml2x-0.2 * estreps 0.1. Uploaded by Gwern Branwen. [16]estreps: Repeats from ESTs. * clustertools 0.1. Uploaded by Gwern Branwen. [17]clustertools: Tools for manipulating sequence clusters. * xsact 1.6. Uploaded by Gwern Branwen. [18]xsact: Cluster EST sequences. * HsJudy 0.2. Uploaded by Gwern Branwen. [19]HsJudy: Judy bindings, and some nice APIs. * prof2dot 0.3.1. Uploaded by Gregory Wright. [20]prof2dot: Convert GHC profiles into GraphViz's dot format. * strict 0.3.2. Uploaded by Roman Leshchinskiy. [21]strict: Strict data types and String IO.. * Emping 0.4. Uploaded by Hans VanThiel. [22]Emping: derives heuristic rules from nominal data. * GuiHaskell 0.1.1. Uploaded by Neil Mitchell. [23]GuiHaskell: A graphical REPL and development environment for Haskell. * simpleargs 0.1. Uploaded by Ketil Malde. [24]simpleargs: Provides a more flexible getArgs function with better error reporting.. * parsec 3.0.0. Uploaded by Derek Elkins. [25]parsec: Monadic parser combinators. 16. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/estreps-0.1 17. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/clustertools-0.1 18. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/xsact-1.6 19. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HsJudy-0.2 20. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/prof2dot-0.3.1 21. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/strict-0.3.2 22. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Emping-0.4 23. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/GuiHaskell-0.1.1 24. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/simpleargs-0.1 25. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/parsec-3.0.0 * hetris 0.2. Uploaded by Gwern Branwen. [26]hetris: Text Tetris. * hscurses 1.3. Uploaded by Gwern Branwen. [27]hscurses: NCurses bindings for Haskell. * photoname 2.0. Uploaded by Dino Morelli. [28]photoname: Rename JPEG photo files based on shoot date. * mage 1.1.0. Uploaded by Gwern Branwen. [29]mage: Rogue-like. * infix 0.1.1. Uploaded by Gwern Branwen. [30]infix: Infix expression re-parsing (for HsParser library). * bio 0.3.3. Uploaded by Gwern Branwen. [31]bio: A bioinformatics library. * dephd 0.0. Uploaded by Gwern Branwen. [32]dephd: Analyze 'phred' output (.phd files). * hybrid 2.0. Uploaded by Gwern Branwen. [33]hybrid: A implementation of a type-checker for Lambda-H. * propgrid 0.1. Uploaded by Gwern Branwen. [34]propgrid: GUI propertygrid. * gravatar 0.3. Uploaded by Donald Stewart. [35]gravatar: Find the url of the gravatar associated with an email address.. 26. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hetris-0.2 27. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hscurses-1.3 28. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/photoname-2.0 29. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/mage-1.1.0 30. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/infix-0.1.1 31. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/bio-0.3.3 32. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/dephd-0.0 33. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hybrid-2.0 34. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/propgrid-0.1 35. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/gravatar-0.3 * himerge 0.17.9. Uploaded by Luis Araujo. [36]himerge: Haskell Graphical User Interface for Emerge. * Takusen 0.8. Uploaded by Alistair Bayley. [37]Takusen: Database library with left-fold interface, for PostgreSQL, Oracle, SQLite, ODBC.. * irc 0.4.1. Uploaded by Trevor Elliott. [38]irc: A small library for parsing IRC messages.. * hexpat 0.2. Uploaded by Evan Martin. [39]hexpat: wrapper for expat, the fast XML parser. * microbench 0.1. Uploaded by Evan Martin. [40]microbench: Microbenchmark Haskell code. * hxt 7.5. Uploaded by Uwe Schmidt. [41]hxt: A collection of tools for processing XML with Haskell.. * hmatrix 0.2.1.0. Uploaded by Alberto Ruiz. [42]hmatrix: Linear algebra and numerical computations. * binary-strict 0.3.1. Uploaded by Adam Langley. [43]binary-strict: Binary deserialisation using strict ByteStrings. * category-extras 0.1. Uploaded by Dan Doel. [44]category-extras: Various modules and constructs inspired by category theory.. * pcap 0.4.3. Uploaded by Bryan OSullivan. [45]pcap: A system-independent interface for user-level packet capture. 36. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/himerge-0.17.9 37. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Takusen-0.8 38. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/irc-0.4.1 39. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hexpat-0.2 40. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/microbench-0.1 41. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hxt-7.5 42. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hmatrix-0.2.1.0 43. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/binary-strict-0.… 44. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/category-extras-… 45. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/pcap-0.4.3 * curl 1.3.1. Uploaded by Eric Mertens. [46]curl: Haskell binding to libcurl. * fastcgi 3001.0.2. Uploaded by Bjorn Bringert. [47]fastcgi: A Haskell library for writing FastCGI programs. * hslogger 1.0.5. Uploaded by John Goerzen. [48]hslogger: Versatile logging framework. * HAppS-Server 0.9.2.1. Uploaded by David Himmelstrup. [49]HAppS-Server: Web related tools and services.. * HAppS-IxSet 0.9.2.1. Uploaded by David Himmelstrup. [50]HAppS-IxSet: Added by DavidHimmelstrup, Fri Feb 29 07:27:13 PST 2008.. * HAppS-State 0.9.2.1. Uploaded by David Himmelstrup. [51]HAppS-State: Event-based distributed state.. * HAppS-Data 0.9.2.1. Uploaded by David Himmelstrup. [52]HAppS-Data: HAppS data manipulation libraries. * HAppS-Util 0.9.2.1. Uploaded by David Himmelstrup. [53]HAppS-Util: Web framework. * sessions 2008.2.28. Uploaded by Matthew Sackman. [54]sessions: Session Types for Haskell. * utf8-string 0.3. Uploaded by Eric Mertens. [55]utf8-string: Support for reading and writing UTF8 Strings. 46. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/curl-1.3.1 47. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/fastcgi-3001.0.2 48. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hslogger-1.0.5 49. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HAppS-Server-0.9… 50. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HAppS-IxSet-0.9.… 51. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HAppS-State-0.9.… 52. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HAppS-Data-0.9.2… 53. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HAppS-Util-0.9.2… 54. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/sessions-2008.2.… 55. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/utf8-string-0.3 * EdisonCore 1.2.1.2. Uploaded by Robert Dockins. [56]EdisonCore: A library of efficent, purely-functional data structures (Core Implementations). * parameterized-data 0.1. Uploaded by Alfonso Acosta. [57]parameterized-data: Parameterized data library implementing lightweight dependent types. * unix 2.3.0.0. Uploaded by Ross Paterson. [58]unix: POSIX functionality. * hoogle 3.1. Uploaded by Neil Mitchell. [59]hoogle: Haskell API Search. * ftshell 0.2. Uploaded by Janis Voigtlaender. [60]ftshell: Shell interface to the FreeTheorems library.. * free-theorems 0.2. Uploaded by Janis Voigtlaender. [61]free-theorems: Automatic generation of free theorems.. * special-functors 1.0. Uploaded by Henning Thielemann. [62]special-functors: Control.Applicative, Data.Foldable, Data.Traversable (compatibility package). * type-level 0.1. Uploaded by Alfonso Acosta. [63]type-level: Type-level programming library. * nymphaea 0.2. Uploaded by Gwern Branwen. [64]nymphaea: An interactive GUI for manipulating L-systems. * hsc3 0.2. Uploaded by Rohan Drape. [65]hsc3: Haskell SuperCollider. 56. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/EdisonCore-1.2.1… 57. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/parameterized-da… 58. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/unix-2.3.0.0 59. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hoogle-3.1 60. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/ftshell-0.2 61. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/free-theorems-0.2 62. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/special-functors… 63. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/type-level-0.1 64. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/nymphaea-0.2 65. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hsc3-0.2 * hosc 0.2. Uploaded by Rohan Drape. [66]hosc: Haskell Open Sound Control. * hslackbuilder 0.0.1. Uploaded by Andrea Rossato. [67]hslackbuilder: HSlackBuilder automatically generates slackBuild scripts from a cabal package. * hsparklines 0.1.0. Uploaded by Hitesh Jasani. [68]hsparklines: Sparklines for Haskell. * sat-micro-hs 0.1.1. Uploaded by Denis Bueno. [69]sat-micro-hs: A minimal SAT solver. * interlude 0.1.1. Uploaded by Gwern Branwen. [70]interlude: Replaces some Prelude functions for enhanced error reporting. * parse-dimacs 1.0.1. Uploaded by Denis Bueno. [71]parse-dimacs: DIMACS CNF parser library. * bitset 0.5. Uploaded by Denis Bueno. [72]bitset: A functional data structure for efficient membership testing.. * special-functors 1.0. Uploaded by Henning Thielemann. [73]special-functors: Control.Applicative, Data.Foldable, Data.Traversable (compatibility package). * condorcet 0.0.1. Uploaded by Gwern Branwen. [74]condorcet: Library for Condorcet voting. * heap 0.2.3. Uploaded by Stephan Friedrichs. [75]heap: Heaps in Haskell. 66. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hosc-0.2 67. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hslackbuilder-0.… 68. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hsparklines-0.1.0 69. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/sat-micro-hs-0.1… 70. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/interlude-0.1.1 71. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/parse-dimacs-1.0… 72. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/bitset-0.5 73. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/special-functors… 74. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/condorcet-0.0.1 75. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/heap-0.2.3 * hspr-sh 0.3. Uploaded by Gwern Branwen. [76]hspr-sh: Session handler for HSP. * hsp 0.2. Uploaded by Gwern Branwen. [77]hsp: Haskell Server Pages is a library for writing dynamic server-side web pages.. * trhsx 0.2.1. Uploaded by Gwern Branwen. [78]trhsx: trhsx is the preprocessor for Harp and HSP. * haskell-src-exts 0.2.1. Uploaded by Gwern Branwen. [79]haskell-src-exts: Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer. * harp 0.2.1. Uploaded by Gwern Branwen. [80]harp: HaRP allows pattern-matching with regular expressions. * HTF 0.1. Uploaded by Gwern Branwen. [81]HTF: The Haskell Test Framework. * hsdip 0.1. Uploaded by Gwern Branwen. [82]hsdip: hsdip - a Diplomacy parser/renderer. * mpdmate 0.1. Uploaded by Gwern Branwen. [83]mpdmate: MPD/PowerMate executable. * powermate 0.1. Uploaded by Gwern Branwen. [84]powermate: PowerMate bindings. * syb-with-class 0.4. Uploaded by David Himmelstrup. [85]syb-with-class: Scrap Your Boilerplate With Class. 76. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hspr-sh-0.3 77. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hsp-0.2 78. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/trhsx-0.2.1 79. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/haskell-src-exts… 80. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/harp-0.2.1 81. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HTF-0.1 82. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hsdip-0.1 83. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/mpdmate-0.1 84. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/powermate-0.1 85. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/syb-with-class-0… * whim 0.1. Uploaded by Gwern Branwen. [86]whim: A Haskell window manager. * memcached 0.1. Uploaded by Gwern Branwen. [87]memcached: haskell bindings for memcached. * HaLeX 1.1. Uploaded by Gwern Branwen. [88]HaLeX: HaLeX enables modelling, manipulation and animation of regular languages. 86. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/whim-0.1 87. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/memcached-0.1 88. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HaLeX-1.1 Jobs Haskell for real-time control software. Tom Hawkins [89]announced an opening for a Haskell job in real-time control software for vehicle and machinery applications 89. http://article.gmane.org/gmane.comp.lang.haskell.cafe/37093 Haskell for bioinformatics. Ketil Malde [90]announced an open position for a 3-year Ph.D. scolarship at IMR working on bioinformatics projects in Haskell 90. http://news.gmane.org/gmane.comp.lang.haskell.cafe/cutoff=37362 Blog noise [91]Haskell news from the [92]blogosphere. * [93]Barracuda P2P Chat * [94]A Lambda Calculus Reducer * [95]A Fashion Magazine in Haskell * [96]Introduction to building stateful web apps in HAppS * [97]Intro to HAppS-State * [98]Project Euler in Haskell * [99]In praise of mandatory indentation for novice programmers * [100]More Monads on the Cheap: Inlined fromMaybe * [101]A First Haskell Experience * [102]Haskell and code coverage * [103]Why I don't use Haskell for Functional Programming (monads, lifting) 91. http://planet.haskell.org/ 92. http://haskell.org/haskellwiki/Blog_articles 93. http://haskell.org/gtk2hs/archives/2008/02/24/barracuda-p2p-chat/ 94. http://www.defmacro.org/ramblings/lambda-reducer.html 95. http://www.alpheccar.org/en/posts/show/91 96. http://softwaresimply.blogspot.com/2008/02/intro-to-happs-part-1.html 97. http://softwaresimply.blogspot.com/2008/02/intro-to-happs-state.html 98. http://extempore.livejournal.com/212602.html 99. http://okasaki.blogspot.com/2008/02/in-praise-of-mandatory-indentation-for.… 100. http://osteele.com/archives/2008/02/inlined-frommaybe 101. http://the-programmers-stone.com/2008/03/04/a-first-haskell-experience/ 102. http://dukedave.blogspot.com/2008/03/back-in-action.html 103. http://jlouisramblings.blogspot.com/2008/03/why-i-dont-use-haskell-for-func… Quotes of the Week * teamonkey: the Haskell solutions that people are posting are generally so much more concise and elegant than for any other language * Dan Zwell: I am fairly new to Haskell, and I didn't realize how easy concurrent code is until I wrote this * anonymous: The Haskall (sic) language is often uses by very intelligent programmers, it often allows to use lazy computations and iterations, but it has the advantage that its iterators behave better (than in Python), and during the generation of some items you can, when you want, refer and use the items already generated. * Corun: I don't understand, what's the advantage of hugs? The uni here says to use hugs, though, but I kept finding myself going in to ghci to get a useful error message * They say that if it compiles, it will run correctly. It?s nearly true! I?m amazed. ... Such buglessness will remove a huge source of indeterminism in production environments where the work of many teams is co-ordinated by schedules. * dolio: I've made a domain specific notation for describing puddings. * cschneid: [Haskell] changed the way I look at decomposition of problems in the more corporate languages (Java and C#). I use far fewer variables, and more side-effect free methods. It's made my code clearer, and easier to test. * nicodemus: I've written some Erlang and much more Haskell. My take so far is that Erlang is good for teaching you how to fish, Haskell is good for teaching you about procuring food (including fish). * paulzork: Haskell is to functional programming like C is to imperative languages? Sort of the latin root? About the Haskell Weekly News New editions are posted to [104]the Haskell mailing list as well as to [105]the Haskell Sequence and [106]Planet Haskell. [107]RSS is also available, and headlines appear on [108]haskell.org. Headlines are available as [109]PDF. To help create new editions of this newsletter, please see the [110]contributing information. Send stories to dons at galois.com. The darcs repository is available at darcs get [111]http://code.haskell.org/~dons/code/hwn/ 104. http://www.haskell.org/mailman/listinfo/haskell 105. http://sequence.complete.org/ 106. http://planet.haskell.org/ 107. http://sequence.complete.org/node/feed 108. http://haskell.org/ 109. http://code.haskell.org/~dons/code/hwn/archives/20080309.pdf 110. http://haskell.org/haskellwiki/HWN 111. http://code.haskell.org/~dons/code/hwn/

1 0