--------------------------------------------------------------------------- Haskell Weekly News http://haskell.org/haskellwiki/HWN Issue 50 - November 22, 2006 --------------------------------------------------------------------------- Welcome to issue 50 of HWN, a weekly newsletter covering developments in the Haskell community. This week a new release of the Haskell XML Toolbox, and details for the inaugural Haskell Hackathon are announced. And the HWN half century of issues is on the board! Announcements * Haskell XML Toolbox 7.0. Uwe Schmidt [1]released a new version of the [2]Haskell XML Toolbox. New in 7.0 is a module for XSLT transformation. The XSLT module implements most of the XSLT standard. The development of the XSLT module is done by Tim Walkenhost in his master thesis, describing the design of the transformer (and the limitations) is included in the distribution. HXT 7.0 works with ghc-6.4 and ghc-6.6. [3]A tutorial is available in the Haskell wiki. 1. http://article.gmane.org/gmane.comp.lang.haskell.general/14487 2. http://www.fh-wedel.de/~si/HXmlToolbox/index.html 3. http://www.haskell.org/haskellwiki/HXT * Hac: Haskell Hackathon 2007. The Hac organisers [4]announced that the inaugural Haskell Hackathon, [5]Hac 2007, will be held at Oxford University Computing Laboratory, January 10-12, 2007. The plan is to hack on Haskell infrastructure, tools, libraries and compilers. To attend please register, and get ready to hack those lambdas! 4. http://article.gmane.org/gmane.comp.lang.haskell.general/14489 5. http://haskell.org/haskellwiki/Hac_2007 * System.FilePath 0.11. Neil Mitchell [6]announced the release of [7]System.FilePath 0.11, a library for manipulating FilePath's correctly on both Posix and Windows. 6. http://article.gmane.org/gmane.comp.lang.haskell.general/14485 7. http://www-users.cs.york.ac.uk/~ndm/projects/libraries.php#filepath * Darcs release candidate. Tommy Pettersson [8]announced it's time for a new darcs release candidate, 1.0.9rc2. There will probably be yet another release candidate (rc3) before final 1.0.9. Get testing! 8. http://article.gmane.org/gmane.comp.version-control.darcs.devel/5010 * Safe library 0.1. Neil Mitchell [9]announced the release of [10]Safe library, 0.1. People often have a problem with pattern match errors, and the only helpful message they get is: 'pattern match error'. The Safe library hopes to eliminate some of the frustration this causes by providing versions of these partial functions with more helpful error messages. 9. http://article.gmane.org/gmane.comp.lang.haskell.general/14475 10. http://www-users.cs.york.ac.uk/~ndm/projects/libraries.php#safe * LocH, located errors 0.1. Don Stewart [11]announced the release of LocH, a small Haskell module providing source location-specific error messages and debugging strings for Haskell code. It uses the compiler-expanded 'assert' token, rather than cpp or m4, to provide a lightweight approach to generating source locations. No preprocessor is required. More information is available at [12]the LocH site, including [13]API documentation. 11. http://article.gmane.org/gmane.comp.lang.haskell.general/14475 12. http://www.cse.unsw.edu.au/~dons/loch.html 13. http://www.cse.unsw.edu.au/~dons/loch/Debug-Trace-Location.html * Starting your own Haskell project. Jason Dagit and Don Stewart [14]expanded on the document describing how best to [15]set up a new Haskell project, leading to the creation of [16]mkcabal,a new tool for setting up cabalised Haskell projects. 14. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/16689/focus=16689 15. http://haskell.org/haskellwiki/How_to_write_a_Haskell_program 16. http://article.gmane.org/gmane.comp.lang.haskell.cabal.devel/269 Haskell' This section covers the [17]Haskell' standardisation process. * [18]Defaults * [19]Pattern guards and where clauses 17. http://hackage.haskell.org/trac/haskell-prime 18. http://thread.gmane.org/gmane.comp.lang.haskell.prime/1907/focus=1907 19. http://thread.gmane.org/gmane.comp.lang.haskell.prime/1904/focus=1904 Libraries This week's proposals and extensions to the [20]standard libraries. * [21]Add parsing (and some other changes) to the time package 20. http://haskell.org/haskellwiki/Library_submissions 21. http://article.gmane.org/gmane.comp.lang.haskell.libraries/5706 Discussion * New Arrows tutorial. Tim Newsham [22]wrote a small arrows tutorial, and is looking for feedback. 22. http://www.thenewsh.com/~newsham/x/arrow.txt * Yhc.Core backends for Haskell/Javascript/C. Neil Mitchell [23]asked about the direction the Yhc Core backends should take. 23. http://article.gmane.org/gmane.comp.lang.haskell.yhc/460 * The Burrows Wheeler Transformation. Jon Fairbairn [24]proposed a game to find the most elegant implementation of the Burrows Wheeler transformation and its inverse. 24. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/16650/focus=16650 * More fusion. Claus Reinke [25]described a method for avoiding the O(n) overhead of cons in strict ByteStrings. Some alternative strategies were also suggested. 25. http://thread.gmane.org/gmane.comp.lang.haskell.glasgow.user/11267/focus=112... * Extending TypeEq: topEq for types. Nicolas Frisby [26]described a solution to an interesting type problem using TypeEq, Oleg followed up with an alternate solution 26. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/16638/focus=16638 * Debugging by the rules. Don Stewart [27]described an idea to use rewrite rules to change mysterious failing functions to more useful variants. More details on using rewrite rules for various ticks have been [28]collected on the wiki. 27. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/16577/focus=16577 28. http://www.haskell.org/haskellwiki/Playing_by_the_rules * Generalising zip. Jason Dagit [29]wondered about a generalisation of zip to encode functions like isPrefixOf 29. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/16626/focus=16626 * Heterogeneous collections. Valentin Gjorgjioski [30]asked about techniques for heterogeneous data in Haskell. Several solutions were suggested, and a [31]new wiki page collects the details. 30. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/16653/focus=16653 31. http://haskell.org/haskellwiki/Heterogenous_collections Blog noise [32]Haskell news from the blogosphere. * [33]The Maybe type in Java * [34]Erlang User Conference * [35]The Missing LINQ * [36]APLAS 06 * [37]The New Lambda Expressions Feature in C# 3.0 * [38]Edit Graphs * [39]A search engine (core) written in Haskell * [40]Vim indentation mode for Haskell * [41]Haskell Transactional Cache * [42]Haskell support added to Google Code Search * [43]The type system of ECMA Eiffel (modelled in Haskell) * [44]Diff in Haskell * [45]Computers were invented to keep track of boring things * [46]Lazy lists as iterators * [47]Library use in the Common Lisp community * [48]Local and global side effects with monad transformers * [49]Eratosthenes sieve * [50]Lazy streams for Lua * [51]Language design * [52]Overlap function in Haskell for rectangles 32. http://planet.haskell.org/ 33. http://blog.tmorris.net/maybe-in-java 34. http://www.process-one.net/index.php/en/comments/erlang_user_conference_2006... 35. http://eamon.nerbonne.org/2006/11/gwc-missing-linq.html 36. http://blog.tmorris.net/aplas-06/ 37. http://www.developer.com/net/csharp/article.php/3598381 38. http://alangloria.blogspot.com/2006/11/edit-graphs-im-currently-hacking.html 39. http://haskell-web.blogspot.com/2006/11/search-engine-written-in-haskell.htm... 40. http://koweycode.blogspot.com/2006/11/haskell-vim-indentation.html 41. http://haskell-web.blogspot.com/2006/11/transactional-cache-for-haskell.html 42. http://groups.google.com/group/Google-Code-Search/browse_thread/thread/a1f83... 43. http://teameiffel.blogspot.com/2006/11/type-system-of-ecma-eiffel.html 44. http://alangloria.blogspot.com/2006/11/okay.html 45. http://dynamic.ropine.com/yesh/article/computers-were-invented-to-keep-track... 46. http://community.livejournal.com/evan_tech/206250.html 47. http://sigkill.dk/blog/archives/240-Library-use-in-the-Common-Lisp-community... 48. http://sigfpe.blogspot.com/2006/09/local-and-global-side-effects-with.html 49. http://kenta.blogspot.com/2006/11/eratosthenes-sieve.html 50. http://salimma.livejournal.com/72850.html 51. http://jlouisramblings.blogspot.com/2006/11/on-language-design.html 52. http://sancho-ex.livejournal.com/7056.html Quotes of the Week * Larry Wall: People who succeed in brushing up on Haskell do so by brushing up lazily. * xerox: [dons] then again, bots themselves are simple. [xerox] '...they are just a morphism in the category of IRC channels together with an endomapping ...' * Dave Love: Presumably people with the taste to program in Haskell will use Emacs anyway. * Baughn: I know I always have trouble explaining what the weather is like without involving foldr somehow. * Korollary: Darcs is free of chemical toxins of big pharma. It's made using all natural herbs and other woo. It's good for you. Cheers. * Pseudonym: A 'newbie', in Haskell, is someone who hasn't yet implemented a compiler. They've only written a monad tutorial. * astrolabe: I guess missile launching would have to be in IO * dons: Java's type system is unsuitable for young children, the elderly or infirm of constitution * earthy: The Haskell standard Prelude is ... a treasure trove. But it does require breaking your mind and reassembling the pieces to unlock the trove. * emu: Hijack the stack and take this compiler to Fun-land! * norpan: The comonad of the No monad is the Yes monad? * robreim: I'm in your base hacking all your lambdas * shapr: I was chatting with someone who writes Haskell and at some point they said they're not an academic, and I said that too. And then there was what I perceived to be a small disbelieving silence... * simonpj: Maybe if I had an Oleg implant I could express all this in the type system * skew: [On the subject of strictness] There is a sequet incantation. * ski: Please talk to your son or daughter about parametric polymorphism * wadler: The way we can tell it's C# instead of Haskell is because it's nine lines instead of two. Code Watch * Wed Nov 8 09:14:52 PST 2006. Alexey Rodriguez. [53]Addition of PAPI to the RTS. [54]PAPI is a library that supports use of the performance counters built into most CPUs for measuring things like cache misses and branch mispredictions. Alexey Rodriguez has added support for PAPI to the RTS, so we can take measurements of any of the CPU performance counters during the run of a Haskell program, and we even separate out results for the GC from results for the mutator. 53. http://article.gmane.org/gmane.comp.lang.haskell.cvs.ghc/17864 54. http://icl.cs.utk.edu/papi/ About the Haskell Weekly News Each week, new editions are posted to [55]the Haskell mailing list as well as to [56]the Haskell Sequence and [57]Planet Haskell. [58]RSS is also available, and headlines appear on [59]haskell.org. Headlines are available as PDF. The Haskell Weekly News is also [60]available in Spanish translation. To help create new editions of this newsletter, please see the [61]contributing information. Send stories to dons at cse.unsw.edu.au. The darcs repository is available at darcs get http://www.cse.unsw.edu.au/~dons/code/hwn 55. http://www.haskell.org/mailman/listinfo/haskell 56. http://sequence.complete.org/ 57. http://planet.haskell.org/ 58. http://sequence.complete.org/node/feed 59. http://haskell.org/ 60. http://haskell.org/haskellwiki/HWN/es 61. http://haskell.org/haskellwiki/HWN