- Haskell - Haskell.org

ANN: wl-pprint-1.0: Wadler/Leijen pretty printer
by Stefan O'Rear 16 Apr '07

16 Apr '07

Announcing wl-pprint-1.0, the classic Wadler / Leijen pretty printing combinators, now in 100% easier to use Cabalised form! Synopsis: PPrint is an implementation of the pretty printing combinators described by Philip Wadler (1997). In their bare essence, the combinators of Wadler are not expressive enough to describe some commonly occurring layouts. The PPrint library adds new primitives to describe these layouts and works well in practice. The library is based on a single way to concatenate documents, which is associative and has both a left and right unit. This simple design leads to an efficient and short implementation. The simplicity is reflected in the predictable behaviour of the combinators which make them easy to use in practice. Hackage-Url: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/wl-pprint-1.0 Darcs: http://members.cox.net/stefanor/wl-pprint/ Original-Docs: http://www.cs.uu.nl/~daan/pprint.html Stefan

3 3

ANNC: hpaste.el
by David House 15 Apr '07

15 Apr '07

hpaste.el [1] is an Emacs Lisp library that integrates hpaste [2], the Haskell pastebin, into Emacs. It provides two functions, hpaste-paste-region and hpaste-paste-buffer, which send the region or buffer to the hpaste server as required. [1]: http://haskell.org/haskellwiki/Hpaste.el [2]: http://hpaste.org Comments and suggestions welcome! -- -David House, dmhouse(a)gmail.com

1 0

CfP: Streaming Models of Parallel Processing
by Clemens Grelck 13 Apr '07

13 Apr '07

First Call for Papers IFIP International Workshop on Streaming Models of Parallel Processing September 20, 2007 Dalian, China In conjunction with IFIP International Conference on Network and Parallel Computing (NPC 2007) http://www.dlmu.edu.cn/npc2007/ Scope: Stream processing is a paradigm of parallel computing based on a communication graph connecting processing nodes, which are stream-to- stream, limited-memory functions. Applicability of stream processing goes far beyond its conventional areas of strength: signal processing and multimedia. Its wider adoption in areas such as scientific and Grid computing, distributed databases, security, etc., will depend on the progress in programming languages, optimisation methods and implementation techniques specifically targeting stream processing. This workshop is expected to bring together researchers from various topics of computer science: machine models and semantics, compilation technology, computer architecture, real-time computing, etc., as well as the areas of conventional and novel applications of stream processing, including but not limited to: signal processing, multimedia, databases, grand-challenge data processing, Grid computing, etc. In fact any significant contribution that uses a stream-processing approach is welcome, whether theoretical, experimental or practical in nature. Programme Committee: Alex Shafarenko (chair) University of Hertfordshire, UK Manfred Broy Technical University Munchen, Germany Walter Dosch University of Lubeck, Germany Kees Goossens Technical Unversity Delft, the Netherlands Clemens Grelck University of Hertfordshire, UK Gabriella Pasi University of Milano Bicocca, Italy Andy Pimental University of Amsterdam, the Netherlands Krishna Sankar CISCO corporation Sven-Bodo Scholz University of Hertfordshire, UK Gheorghe Stefanescu University of Bucharest, Romania Annette Stumpel University of Lubeck, Germany Call for papers: All papers will be peer reviewed for originality and quality on the basis of an extended abstract. The full versions of the accepted papers will be published by IEEE Computer Society prior to the workshop. The final paper should not exceed 8 pages in IEEE Computer society format. The final submission guidelines will be communicated later. The extended abstracts should not exceed 4 pages and must state the research question, briefly delineate the relevant state of the art and related work, and present the main results and conclusions. The papers will be selected on the basis of originality and significance of the results for various aspects of stream processing research. Important Dates: Extended abstracts due: 16 May 2007 18:00 Central European Time (firm deadline) Notification of acceptance: 24 May 2007 Full papers due: 22 June 2007 Workshop: 20 September 2007 -- Dr. Clemens Grelck University of Luebeck, Germany Institute of Software Technology http://www.isp.uni-luebeck.de/~grelck/

1 0

ANNOUNCE: ParseP library 0.1
by Twan van Laarhoven 12 Apr '07

12 Apr '07

Hi, Mostly for fun, and to see how well it would work, I made a generalized/improved variant of the ReadP parser library. Unlike ReadP ParseP can handle any type of token, and actually generates error messages in case something goes wrong. It is also possible to use things other then a list as an input stream, for example ByteStrings. In addition to the unbiased choice provided by ReadP, and a 'greedy' choice operator similar to the behavior of Parsec (when using try), there is also what I call a 'soft biased' choice. This operator prefers the left alternative, but not if it leads to parse errors later on. For example > runParser ((lit 'a' <<|> return ()) >> lit 'a') "a" will not lead to errors, while it would be an error with other biased choice operators. An obvious advantage of ParseP over Parsec is that you don't have to mess with 'try'. Also, all alternatives are parsed in parallel, so no backtracking is needed. But I have no idea how the performance would compare in practice. Also, I am not to happy about the name, does anyone has any other suggestions? Homepage: http://twan.home.fmf.nl/parsep/ Source: darcs get http://twan.home.fmf.nl/repos/parsep Haddock: http://twan.home.fmf.nl/parsep/doc/html/ Twan

3 2

Haskell Weekly News: April 12, 2007
by dons＠cse.unsw.edu.au 12 Apr '07

12 Apr '07

--------------------------------------------------------------------------- Haskell Weekly News http://sequence.complete.org/hwn/20070412 Issue 60 - April 12, 2007 --------------------------------------------------------------------------- Welcome to issue 60 of HWN, a weekly newsletter covering developments in the [1]Haskell community. With the ICFP deadline passed, your Haskell Weekly News returns to its regularly scheduled programming. This week: a truckload of new libraries! 1. http://haskell.org/ Announcements ndp-0.1: nested data parallelism in Haskell. Roman Leshchinskiy [2]announced the first release of [3]the NDP package, a library for writing nested data-parallel programs in Haskell, on shared-memory multiprocessors. The NDP library is part of the Data Parallel Haskell project. The paper [4]Data Parallel Haskell: a status report describes the underlying design and go through an example program. 2. http://article.gmane.org/gmane.comp.lang.haskell.general/15006 3. http://haskell.org/haskellwiki/GHC/Data_Parallel_Haskell 4. http://www.cse.unsw.edu.au/~chak/papers/CLPKM07.html binary 0.3: bigger, better, faster. Lennart Kolmodin [5]announced binary 0.3. The 'binary' package provides efficient serialization of Haskell values to and from lazy ByteStrings. ByteStrings constructed this way may then be written to disk, written to the network, or further processed (e.g. stored in memory directly, or compressed in memory with zlib or bzlib). It's available [6]through Hackage, or via its [7]homepage. 5. http://article.gmane.org/gmane.comp.lang.haskell.general/15044 6. http://hackage.haskell.org/packages/archive/binary/binary-0.3.tar.gz 7. http://www.cse.unsw.edu.au/~dons/binary.html Text.HTML.Chunks. Matthew Sackman [8]announced the [9]Text.HTML.Chunks library, a clone with improvements of the Perl HTML::Chunks module. The main achievement is the use of template-haskell to combine the template into the code at compile time. This then allows for static checking that the variables/fields that the templates are expecting are indeed being provided and that the templates the code is trying to use do indeed exist. The template is then incorporated within the code, removing the dependency on the template. 8. http://article.gmane.org/gmane.comp.lang.haskell.general/15028 9. http://www.wellquite.org/chunks Phooey 1.0 and GuiTV 0.3. Conal Elliott [10]announced a new version of Phooey, a library for functional user interfaces. Highlights in this release: uses new TypeCompose package, which includes a simple implementation of data-driven computation; new Applicative functor interface; eliminated the catch-all Phooey.hs module. Now import any one of Graphics.UI.Phooey.{Monad ,Applicative,Arrow}; Phooey.Monad has two different styles of output widgets, made by owidget and owidget' and more. Phooey is also used in GuiTV, a library for composable interfaces and 'tangible values'. 10. http://article.gmane.org/gmane.comp.lang.haskell.general/15047 The real Monad Transformer. Henning Thielemann [11]announced the real monad transformer! It has been argued that people avoid Haskell because of terms from Category theory like 'Monad'. This problem can now be solved by a wrapper which presents all the internet entirely without monads! Start [12]the parallel Haskell wiki. Of course the tool is written in Haskell, that is, Haskell helps solving problems which only exist because of Haskell. Bug reports and feature requests can be tracked at [13]here. 11. http://article.gmane.org/gmane.comp.lang.haskell.general/15059 12. http://tinyurl.com/2e32r4 13. https://sourceforge.net/projects/parallelweb GHC 6.6.1 Release Candidate. Ian Lynagh [14]announced the Release Candidate phase for GHC 6.6.1. Snapshots beginning with 6.6.20070409 are release candidates for 6.6.1. You can download snapshots from [15]here. 14. http://article.gmane.org/gmane.comp.lang.haskell.glasgow.user/11964 15. http://www.haskell.org/ghc/dist/stable/dist/ Haskell Cryptographic Library 4.0.3. Dominic Steinitz [16]announced the release of a new version of the Haskell Cryptographic Library based on the [17]crypto proposal. See [18]the crypto home for more details. There is now no dependency on NewBinary. The downside is the library contains no support for ASN.1 which will be released in separate package. 16. http://article.gmane.org/gmane.comp.lang.haskell.libraries/6761 17. http://www.haskell.org/haskellwiki/Crypto_Library_Proposal 18. http://www.haskell.org/crypto/ TagSoup library 0.1. Neil Mitchell [19]announced TagSoup, a library for extracting information out of unstructured HTML code, sometimes known as [20]tag-soup. The HTML does not have to be well formed, or render properly within any particular framework. This library is for situations where the author of the HTML is not cooperating with the person trying to extract the information, but is also not trying to hide the information. The library provides a basic data type for a list of unstructured tags, a parser to convert HTML into this tag type, and useful functions and combinators for finding and extracting information. 19. http://article.gmane.org/gmane.comp.lang.haskell.general/15100 20. http://www-users.cs.york.ac.uk/~ndm/tagsoup/ ParseP library 0.1. Twan van Laarhoven [21]announced a generalized/improved variant of the ReadP parser library. Unlike ReadP ParseP can handle any type of token, and actually generates error messages in case something goes wrong. It is also possible to use things other then a list as an input stream, for example ByteStrings. 21. http://article.gmane.org/gmane.comp.lang.haskell.general/15101 Debian library for Haskell. Jeremy Shaw [22]announced the availability of a library for interacting with the Debian system from Haskell. This library does not (currently) depend on dpkg or apt for any functionality. Contributions are welcome, and the library is available from [23]Hackage. Well-Support Modules: parsing/Printing Debian control files, parsing/printing sources.list files, comparing Debian version numbers, a data type for encoding Debian relations and more. 22. http://article.gmane.org/gmane.comp.lang.haskell.general/15064 23. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/debian-1.2 Call for Contributions: HC and A Report. Andres Loeh [24]mentioned that it is nearly time for the twelfth edition of the [25]Haskell Communities and Activities Report. If you are working on any project that is in some way related to Haskell, write a short entry and submit it. Even if the project is very small or unfinished or you think it is not important enough -- please reconsider and submit an entry anyway! 24. http://article.gmane.org/gmane.comp.lang.haskell.general/15096 25. http://www.haskell.org/communities/ System.FilePath 1.0. Neil Mitchell [26]announced the [27]System.FilePath 1.0 release! The FilePath library is a library for manipulating FilePaths in a cross platform way on both Windows and Unix. [28]Documentation. 26. http://article.gmane.org/gmane.comp.lang.haskell.general/15097 27. http://www-users.cs.york.ac.uk/~ndm/filepath/ 28. http://www.cs.york.ac.uk/fp/haddock/filepath/ FGL - A Functional Graph Library. Martin Erwig [29]announced a new release of [30]the Functional Graph Library for Haskell. This release fixes some bugs in the implementation of several basic inspection functions. 29. http://article.gmane.org/gmane.comp.lang.haskell.general/15052 30. http://eecs.oregonstate.edu/~erwig/fgl/haskell/ TypeCompose 0.0. Conal Elliott [31]announced TypeCompose, which provides some classes and instances for forms of type composition. It also includes a very simple implementation of data-driven computation. 31. http://article.gmane.org/gmane.comp.lang.haskell.general/15046 Haskell SWF generation library. Jeremy Shaw [32]announced the availability of an Adobe Shockwave Flash (SWF) [33]library for Haskell. It is primarily useful for compiling ActionScript assembly into a .swf file. 32. http://article.gmane.org/gmane.comp.lang.haskell.general/15095 33. http://www.n-heptane.com/nhlab/repos/haskell-swf/ New web-devel mailinglist for Haskell. Marc Weber [34]announced a new web-devel mailinglist on haskell.org has been set up. You can subscribe [35]here. 34. http://article.gmane.org/gmane.comp.lang.haskell.general/15045 35. http://www.haskell.org/mailman/listinfo/web-devel strict-0.1: strict versions of Haskell types. Roman Leshchinskiy [36]announced the first release of [37]package 'strict' which provides strict versions of standard Haskell types. At the moment, pairs, Maybe and Either are defined. The library is available [38]from hackage. 36. http://article.gmane.org/gmane.comp.lang.haskell.general/15017 37. http://www.cse.unsw.edu.au/~rl/code/strict.html 38. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/strict-0.1 Chess in Haskell. Steffen Mazanek [39]announced a straightforward implementation of [40]a chess engine in Haskell, available as a tutorial exercise. 39. http://article.gmane.org/gmane.comp.lang.haskell.general/15002 40. http://www.steffen-mazanek.de/blog/2007/02/haskell-chess.html storylen: story word count and categorization. Dino Morelli [41]announced storylen, a [42]command-line utility that counts the words in files and classifies them into story types (short story, novella, novel...). Its operation and output are very similar to the *nix program wc. This is useful for books in plain ascii text. 41. http://article.gmane.org/gmane.comp.lang.haskell.general/15083 42. http://ui3.info/d/proj/storylen.html Haskell' This section covers the [43]Haskell' standardisation process. * [44]Type aliases and Id * [45]Strict bits of datatypes * [46]Literate Haskell specification 43. http://hackage.haskell.org/trac/haskell-prime 44. http://thread.gmane.org/gmane.comp.lang.haskell.prime/2152 45. http://thread.gmane.org/gmane.comp.lang.haskell.prime/2139 46. http://thread.gmane.org/gmane.comp.lang.haskell.prime/2177 Libraries This week's proposals and extensions to the [47]standard libraries. * [48]Reduce base from the top * [49]Make Data.Graph.Inductive.NodeMap handle slightly messy input * [50]ByteString based datagram communication 47. http://haskell.org/haskellwiki/Library_submissions 48. http://article.gmane.org/gmane.comp.lang.haskell.libraries/6716 49. http://article.gmane.org/gmane.comp.lang.haskell.libraries/6727 50. http://article.gmane.org/gmane.comp.lang.haskell.libraries/6559 Discussion Haskell in the real world: building a commercial website in Haskell with WASH. Adam Peacock [51]described how he implemented a commercial website in Haskell, using WASH 51. http://article.gmane.org/gmane.comp.lang.haskell.cafe/21159 Haskell communities worthy of academic study?. Claus Reinke [52]wondered about the software archeology of Haskell. 52. http://article.gmane.org/gmane.comp.lang.haskell.general/15048 Type level programming to eliminate array bound checking in the real world. Vivian McPhail [53]mentioned an attempt to write code that will receive an array from C land and convert it to a type safe representation. 53. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/21314 Conference roundup Commercial Users of Functional Programming. Simon Peyton-Jones [54]announced the call for speakers for this year's [55]CUFP. If you use functional programming as a means, rather than as an end, this message is an invitation for you to offer to give a talk at the workshop. 54. http://article.gmane.org/gmane.comp.lang.haskell.general/14989 55. http://cufp.galois.com/ Jobs One-year INRIA post-doctoral position. Frederic Blanqui [56]announced a one-year INRIA post-doctoral position is available investigating 'Generation of construction functions guaranteeing algebraic invariants on concrete data types' 56. http://article.gmane.org/gmane.comp.lang.haskell.general/15018 Blog noise [57]Haskell news from the blogosphere. * [58]What Programming Languages Should You Know? * [59]Monads in 15 minutes: Backtracking and Maybe * [60]Time to learn a little Haskell... * [61]Say what you mean, mean what you say * [62]Fundamental Ideas of Computing * [63]On Code Generation * [64]Monads in the unix shell * [65]Haskell Eye for the Ruby Guy * [66]2D Mouse Picking with OpenGL and GLUT * [67]Implementing chess in Haskell * [68]Port Scanner in Haskell * [69]Command line arguments in Haskell * [70]IFS In Haskell * [71]Spider Solitaire, Intro * [72]Learning Haskell... * [73]Quick and Dirty Theorem Prover. * [74]Software Transactional Memory for concurrency * [75]Haskell thoughts. * [76]What Haskell teaches us about writing Enterprise-scale software * [77]Unit testing in Haskell * [78]The imaginary concurrency debate: Erlang versus Haskell * [79]On Haskell: Writing a black-list filter using the Writer Monad * [80]A simple file filter * [81]Haskell: an Imperative Language with Mutable State * [82]Pattern matching in Haskell and Ruby * [83]Haskell for C# Programmers 57. http://planet.haskell.org/ 58. http://tinyurl.com/2aczfr 59. http://www.randomhacks.net/articles/2007/03/12/monads-in-15-minutes 60. http://edge-loop.spaces.live.com/Blog/cns!8F028CC27525BEA1!1175.entry 61. http://notes-on-haskell.blogspot.com/2007/03/say-what-you-mean-mean-what-yo… 62. http://notes-on-haskell.blogspot.com/2007/03/fundamental-ideas-of-computing… 63. http://blog.twifkak.com/articles/2007/03/12/on-code-generation 64. http://freeshells.ch/~revence/monads.html 65. http://antoniocangiano.com/articles/2007/03/13/haskell-eye-for-the-ruby-guy 66. http://mad-computer-scientist.com/blog/?p=14 67. http://www.steffen-mazanek.de/blog/2007/02/haskell-chess.html 68. http://tinyurl.com/2fs39r 69. http://leiffrenzel.de/papers/commandline-options-in-haskell.html 70. http://www.alpheccar.org/en/posts/show/69 71. http://partiallyappliedlife.blogspot.com/2007/03/spider-solitaire-intro.html 72. http://a-w-j.blogspot.com/2007/03/learning-haskell.html 73. http://vandreev.wordpress.com/2006/12/24/quick-and-dirty-theorem-prover/ 74. http://mikeburrell.wordpress.com/2007/03/20/software-transactional-memory-f… 75. http://saladwithsteve.com/2007/04/haskell-thoughts.html 76. http://weblog.raganwald.com/2007/04/haskell-not-just-for-language-weenies.h… 77. http://cohatoe.blogspot.com/2007/04/unit-testing-in-haskell.html 78. http://toomuchcode.blogspot.com/2007/04/imaginary-concurrency-debate.html 79. http://austin.youareinferior.net/?q=node/22 80. http://praisecurseandrecurse.blogspot.com/2007/04/haskell-for-short-attenti… 81. http://neilbartlett.name/blog/2007/04/11/haskell-an-imperative-language-wit… 82. http://etorreborre.blogspot.com/2007/04/pattern-matching-with-ruby.html 83. http://themechanicalbride.blogspot.com/2007/04/haskell-for-c-3-programmers.… Quotes of the Week * AdamPeacock: Once I looked at the source code, 25000 lines of ASP, I reckoned it would be easier to rewrite it in a real language. * JesseVincent: Perl's idea of a type system is: 'La-La-La, I don't hear you' * LPhas: [In reference to HAppS.SimpleHTTP] When I first saw the type of 'h' my reaction was to hide under my bed * SvenPanne: Taking away the prelude is a little bit like taking away 'int', 'double', 'for' and 'while' from a C programmer * sjanssen: Threads are fine, its your language that sucks. * thorat: C should only be used to implement something better About the Haskell Weekly News Each week, new editions are posted to [84]the Haskell mailing list as well as to [85]the Haskell Sequence and [86]Planet Haskell. [87]RSS is also available, and headlines appear on [88]haskell.org. Headlines are available as [89]PDF. To help create new editions of this newsletter, please see the [90]contributing information. Send stories to dons at cse.unsw.edu.au. The darcs repository is available at darcs get [91]http://www.cse.unsw.edu.au/~dons/code/hwn 84. http://www.haskell.org/mailman/listinfo/haskell 85. http://sequence.complete.org/ 86. http://planet.haskell.org/ 87. http://sequence.complete.org/node/feed 88. http://haskell.org/ 89. http://www.cse.unsw.edu.au/~dons/code/hwn/archives/20070412.pdf 90. http://haskell.org/haskellwiki/HWN 91. http://www.cse.unsw.edu.au/~dons/code/hwn

1 0

Google SoC - student allocations
by Malcolm Wallace 12 Apr '07

12 Apr '07

Although there is still about one hour before Google officially publish the final tally of accepted Summer of Code projects, I think I now can safely reveal the 9 projects chosen for haskell.org, since we have no outstanding conflicts with other mentoring orgs. We received 64 proposals in total. Some students made several proposals. Of those proposals, we wanted to mentor about 22 individual students, but Google only gave us funding for 9, so if you weren't accepted, that doesn't mean your proposal was bad, just that the competition was stiff. Also, the mentors group tended to place language- and community-infrastructure projects at a higher priority than just plain application-oriented libraries. (By the way, several students who applied to haskell.org also applied to other organisations, and may well have been accepted by them instead of us.) So here they are! The list states * project title, * the student who will be funded, * the primary mentor from haskell.org, * and a set of backup mentors who have expressed interest in looking after things too. (These sets may continue to grow.) ----------------------- Darcs Conlict Handling Jason Dagit, David Roundy { Igloo, Patrik Janssen } Hackage Web Interface, Doc-Browser Sascha B?hme, Ross Paterson { Simon Marlow, BryanOS, Bjorn Bringert } Rewrite the typechecker for YHC and nhc98 Mathieu Boespflug, Malcolm Wallace { Neil Mitchell } Cabal Configurations Thomas Schilling, Michael Isaac Jones { Bjorn Bringert, BryanOS, PatrikJ, Simon Marlow, Ross } Update the Hat tracer Kenn Knowles, Malcolm Wallace { PatrikJ, BryanOS } Generalizing Parsec to ParsecT and arbitrary input (ByteStrings) Paolo Martini, Philippa Jane Cowderoy { Don Stewart, Dmitry Astapov, BryanOS, Bjorn Bringert } Shared Libraries for GHC Clemens Fruhwirth, Simon Marlow { BryanOS } HTTP Library Replacement Mieczys?aw B?k, Bryan O'Sullivan { Shae Erisson, Dmitry Astapov, Don Stewart, Bulat Ziganshin, Bjorn Bringert } Extending GuiHaskell: An IDE for Haskell Hackers Asumu Takikawa, Neil David Mitchell { Duncan Coutts, Bulat Ziganshin } ----------------------- Congratulations if you got accepted. Commiserations if you didn't. The official start date of the SoC (when students begin to receive their initial payments) is 28th May. Until then, the students have courses and exams (no doubt), but also (we hope) some time to familiarise themselves with the existing codebase and background of their project. Regards, Malcolm

2 1

Software Patterns Blog
by SPBlog 12 Apr '07

12 Apr '07

Greetings, I am pleased to broadcast the launch of a new blog called the software pattern blog http://pattern.ijop.org <http://pattern.ijop.org/> . This blog belongs to the editors of IJOP, columnists, staff, advisory, editorial and domain expert boards, external reviewers, and to those who have been specially invited. It is an open forum which is managed by Dr. M. E. Fayad and his associates, if you would like to submit an article to the Software Pattern Blog, please email it to patterns-blog(a)ijop.org <mailto:patterns-blog@ijop.org> and refer to the guidelines at http://pattern.ijop.org/?page_id=4 This blog focuses on software patterns, stable analysis and design patterns, architectural patterns, pattern languages and how to develop systems of patterns. In order to keep the spam at a minimum, postings will be moderated. Also please avoid anonymous/spoofed posting. The objective of this blog is to foster mature discussions about issues that affect all software developers and practitioners nowadays. Feel more than welcome to participate! To start reading and subscribing to the blog, click here <http://pattern.ijop.org/wp-login.php?action=register> . Sincerely, Eduardo M. Segura Co-Founder and Project Manager vrlSoft, Inc. -- ijop.org -- Powered by PHPlist, www.phplist.com --

1 0

ANN: TagSoup library 0.1
by Neil Mitchell 11 Apr '07

11 Apr '07

Hi TagSoup is a library for extracting information out of unstructured HTML code, sometimes known as tag-soup. The HTML does not have to be well formed, or render properly within any particular framework. This library is for situations where the author of the HTML is not cooperating with the person trying to extract the information, but is also not trying to hide the information. The library provides a basic data type for a list of unstructured tags, a parser to convert HTML into this tag type, and useful functions and combinators for finding and extracting information. Home page: http://www-users.cs.york.ac.uk/~ndm/tagsoup/ darcs: darcs get --partial http://www.cs.york.ac.uk/fp/darcs/tagsoup/ Haddock: http://www.cs.york.ac.uk/fp/haddock/tagsoup/ Manual: http://www.cs.york.ac.uk/fp/darcs/tagsoup/tagsoup.htm - "Drinking TagSoup by Example" If you are interested in this library I suggest reading the manual, that contains 4 examples including getting the haskell.org hit count, and a list of Simon Peyton Jones' recent papers. I am unable to upload this library to Hackage until the Cabal sdist command works on my machine, so if someone else wants to, I would be grateful. This library is required for Hoogle 4, hence the reason it was written. Thanks Neil

1 0

One-year INRIA post-doctoral position
by Frederic Blanqui 11 Apr '07

11 Apr '07

A one-year INRIA post-doctoral position is available: Title: Generation of construction functions guaranteeing algebraic invariants on concrete data types Aim: Although concrete data types are very useful in defining complex data structures, they are not always sufficient to adequately specify the data structures required by some algorithms. Often, only a subset of the concrete data type is in fact used since some invariants between the components are mandatory to ensure the correctness of the program. Now, many invariants can be described by using some equational theory. For instance, a sorted list is a particular representative of the equivalence class of lists modulo commutativity. The usual way to solve this problem is to use abstract data types or, better, private data types if one does not want to lose the ability of doing pattern matching. We propose to study the automatic generation of certified construction functions guaranteeing algebraic invariants on concrete data types, and develop an extension of OCaml with relational data types, that is, data types with invariants described by user defined equations. More information and online application on: http://www.talentsplace.com/syndication1/inria/frpostdoc/details.html?id=PG… Competences and profile: The position involves research and development in the area of functional programming, rewriting theory (in particular Knuth-Bendix completion) and, possibly, interactive theorem proving (experience with a proof assistant such as Coq is welcome). Speaking french is not necessary. Requirements: Candidates are required to hold a PhD degree between May 2006 and June 2007. Salary: the monthly gross salary is approx. EUR 2,150. Environment: - laboratory: LORIA (http://www.loria.fr/) - team: Protheo (http://protheo.loria.fr/) - project: Quotient (http://quotient.loria.fr/) - location: Nancy, in the East of France is at 1:30 from Paris by tren, 1:30 from Luxembourg airport by car, and 1:30 from Germany and Belgium. Application deadline: 1st July 2007. Contact: Frederic Blanqui (http://www.loria.fr/~blanqui/) More information about INRIA post-doctoral positions: http://www.inria.fr/travailler/opportunites/postdoc/postdoc.en.html

1 1

ANN: System.FilePath 1.0
by Neil Mitchell 10 Apr '07

10 Apr '07

Hi, Finally, here is a System.FilePath 1.0 release! The FilePath library is a library for manipulating FilePaths in a cross platform way on both Windows and Unix. Home page: http://www-users.cs.york.ac.uk/~ndm/filepath/ Darcs repo: http://darcs.haskell.org/packages/filepath/ Haddock: http://www.cs.york.ac.uk/fp/haddock/filepath/ This version will be included in GHC 6.6.1 and all future major Haskell compilers. THINGS TO NOTE: * There are no longer Version_0_10 interfaces - the interface is now stable, please use System.FilePath. * The library is now "filepath", not "FilePath" I would upload this libary to Hackage, but Cabal won't work with sdist on my machine, so I can't. If someone else wants to, please feel free. Thanks Neil

1 0