January 2008 - Haskell

Call for papers TASE2008
by tase08 08 Jan '08

08 Jan '08

(Apologies if you have already received this message.) TASE 2008 2nd IEEE Symposium on Theoretical Aspects of Software Engineering Nanjing, China June 17-19, 2008 http://cs.nju.edu.cn/tase08/index.html Large scale software systems and Internet are of growing concern to academia and industry. This poses new challenges to the various aspects of software engineering, for instance, the reliability of software development, web-oriented software architecture and aspect & object-orientation techniques. As a result, new concepts and methodologies are required to enhance the development of software engineering from theoretical aspects. TASE 2008 is a forum for researchers from academia, industry and government to present ideas, results, and ongoing research on theoretical advances in software engineering. TASE 2008 is the second in a series of conference, sponsored by IEEE CS and IFIP. The first TASE conference was held in Shanghai, China, in June 2007. Topics of Interest: Authors are invited to submit high quality technical papers describing original and unpublished work in all theoretical aspects of software engineering. Topics of interest include, but are not limited to: * Requirements Engineering * Specification and Validation * Software Testing * Component-based Development * Model Checking for Software * Software Processes and Workflows * Software Frameworks and Middleware * Software Architectures and Design * Software safety and reliability * Reverse Engineering and Software Maintenance * Aspect and Objected �Corientation Techniques * Embedded and Real-time Software * Service-oriented Computing and Web Services * Model-driven Development * Coordination and Feature Interaction * Parallel and Distributed Computing * Logics of Programs * Program Analysis * Semantics and Design of Programming Languages * Type Theory Submission Guidelines: Authors should submit and register their paper through our web-interface at: http://www.easychair.org/conferences/?conf=TASE2008 by January 28, 2008. Submissions must not have been published or be concurrently considered for publication elsewhere. All submissions will be reviewed by at least three members of the program committee. They will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. The proceedings of the conference will be published by the IEEE Computer Society Press. Papers must be written in English and not exceed 8 pages in IEEE format. Instructions for authors are available at http://computer.org/cspress/instruct.htm. Latex document classes can be downloaded from the website at ftp://pubftp.computer.org/Press/Outgoing/proceedings/. Important Dates: * January 21, 2008: Title and abstract submission deadline * January 28, 2008: Paper submission deadline * March 10, 2008: Acceptance/rejection notification * March 23, 2008: Camera-ready version due * June 17-19, 2008: TASE 2008 Organization: General Co-Chairs: Jifeng He, East China Normal University, China Jian Lu, Nanjing University, China Program Co-chairs: Jim Davies, Oxford University, UK �� Xuandong Li, Nanjing University, China Local Organization Chair: Linzhang Wang, Nanjing University, China Program Committee: Bernhard Aichernig (Graz University of Technology, Austria) Keijiro Araki (Kyzushu University, Japan) Farhad Arbab (CWI and Leiden University, The Netherlands) Jonathan Bowen (King's College London, UK) Michael Butler (University of Southampton, UK) Ana Cavalcanti (University of York, UK) Jim Davies (Oxford University, UK) Geoff Dromey (Griffith University, Australia) Jin Song Dong (National University of Singapore, Singapore) Zhenhua Duan (Xi��dian University, China) Colin Fidge (Queensland University of Technology, Australia) Dieter Gollmann (Hamburg University of Technology, Germany) Kung-Kiu Lau (Manchester University, UK) Jing Liu (East China Normal University, China) Shaoying Liu (Hosei University, Japan) Zhiming Liu (UNU/IIST, Macau, China) Annabelle Mclver (Macquarie University, Australia) Hong Mei (Peking University, China) Huaikou Miao (Shanghai University, China) Masoud Mohammadian(University of Canberra, Australia) Shankar Natarajan (SRI International, USA) Nimal Nissanke (London South Bank University, UK) Geguang Pu(East China Normal University, China) Shengchao Qin (Durham University, UK) Zongyan Qiu (Peking University, China) Zhong Shao (Yale University, USA) Joseph Sifakis (Verimag, France) Zhengdong Su (University of California at Davis, USA) Margus Veanes (Microsoft, USA) Sergiy Vilkomir (University of Limerick, Ireland) Farn Wang (National Taiwan University, Taiwan) Ji Wang (Changsha Institute of Technology, China) Linzhang Wang(Nanjing University, China) Heike Wehrheim (University of Paderborn, Germany) Jim Woodcock (University of York, UK) Dianxiang Xu(North Dakota State University, USA) Wang Yi (Uppsala University, Sweden) Gianluigi Zavattaro (University of Bologna, Italy) Jian Zhang (Institute of Software, China) Jianhua Zhao (Nanjing University, China) Huibiao Zhu (East China Normal University, China) Steering Program Committee Michael Hinchey(Chair), USA Keijiro Araki, Japan Jifeng He, China Zhiming Liu, Macau Mike Reed, Macau Huibiao Zhu, China Keynote Speakers Edmund M. Clarke (Carnegie Mellon University) Joost-Pieter Katoen (RWTH Aachen University)

1 0

Question concerning the "Data Parallel Haskell: a status report" paper
by Stephan Friedrichs 08 Jan '08

08 Jan '08

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Hi Haskellers, the paper "Data Parallel Haskell: a status report" (Chakravarty, Leshchinskiy, Peyton Jones, Keller and Marlow) is an important source of my seminar handout about skeletons and parallelisation. It contains code samples concerning the ArrElem type family: class ArrElem e where data [:e:] (!:) :: [:e:] -> Int -> e and various instance declarations, e.g.: class ArrElem Int where -- sic! -- ... My question is: Is "class ArrElem Int" a typo and should be "instance ArrElem Int" or did I get something wrong? Thanks in advance and a happy new year - Stephan - -- Früher hieß es ja: Ich denke, also bin ich. Heute weiß man: Es geht auch so. - Dieter Nuhr -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.8 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iEYEARECAAYFAkd/zecACgkQyui/cGVQfkizigCdHZ7DrL+v+OcyHZDF8hWk9jO7 fQEAnR5niACeaSASPLzMqfclirzjHPRU =Yvj6 -----END PGP SIGNATURE-----

3 2

CMCS 2008: Final call for papers
by Clemens Kupke 07 Jan '08

07 Jan '08

CMCS 2008 Final Announcement Please excuse multiple copies 9th International Workshop on Coalgebraic Methods in Computer Science http://www.cwi.nl/projects/cmcs08/ Budapest, Hungary April 4-6, 2008 Key Note Speaker: Dexter Kozen (to be confirmed) Invited Speakers: Stefan Milius and Dirk Pattinson The workshop will be held in conjunction with the 11th European Joint Conferences on Theory and Practice of Software ETAPS 2008 March 29 - April 6, 2008 Programme Committee Jiri Adamek (chair, Braunschweig), Corina Cirstea (Southampton), Neil Ghani (Nottingham), H. Peter Gumm (Marburg), Bart Jacobs (Nijmegen), Clemens Kupke (co-chair, Amsterdam), Alexander Kurz (Leicester), Ugo Montanari (Pisa), Larry Moss (Indiana), John Power (Bath), Jan Rutten (Amsterdam), Lutz Schröder (Bremen), Tarmo Uustalu (Tallinn), Yde Venema (Amsterdam), Hiroshi Watanabe (Osaka). Submissions Two sorts of submissions will be possible this year: Papers to be evaluated by the programme committee for inclusion in the ENTCS proceedings: These papers must be written using ENTCS style files and be of length no greater than 20 pages. They must contain original contributions, be clearly written, and include appropriate reference to and comparison with related work. If a submission describes software, software tools, or their use, it should include all source code that is needed to reproduce the results but is not publicly available. If the additional material exceeds 5 MB, URL's of publicly available sites should be provided in the paper. Short contributions: These will not be published but will be compiled into a technical report of the Technical University of Braunschweig. They should be no more than two pages and may describe work in progress, summarise work submitted to a conference or workshop elsewhere, or in some other way appeal to the CMCS audience. Both sorts of submission should be submitted in postscript or pdf form as attachments to an email to cmcs08(a)cwi.nl. The email should include the title, corresponding author, and, for the first kind of submission, a text-only one-page abstract. After the workshop, we expect to produce a journal proceedings of extended versions of selected papers to appear in Theoretical Computer Science. Important Dates Deadline for submission of regular papers: January 13, 2008. Notification of acceptance of regular papers: February 11, 2008. Final version for the preliminary proceedings: February 18, 2008. Deadline for submission of short contributions: March 10, 2008. Notification of acceptance of short contributions: March 17, 2008. For more information, please write to cmcs08(a)cwi.nl

1 0

Haskell Weekly News: Issue 68 - January 05, 2008
by Don Stewart 06 Jan '08

06 Jan '08

--------------------------------------------------------------------------- Haskell Weekly News Issue 68 - January 05, 2008 --------------------------------------------------------------------------- Welcome to issue 68 of HWN, a newsletter covering developments in the [1]Haskell community. This HWN features new releases of the GHC and nhc98 Haskell compilers, a pre-release of darcs 2.0, several new user groups formed, and of course, more than 100 updated and new libraries 1. http://haskell.org/ Announcements GHC 6.8.2. The GHC Team [2]announced the release of GHC 6.8.2, featuring optimisation improvements, improvements to ghci and fixes to standalone deriving. 2. http://www.haskell.org/ghc/download_ghc_682.html nhc98 1.2 released. Malcolm Wallace [3]announced the release of nhc98 1.2. 1.20 is a refreshed release with many of the current core library packages included, and a variety of small bugfixes since the last release. It successfully compiles and runs more programs from the nobench suite than jhc, hbc, Hugs, or yhc. It generates an interpreted bytecode that, on the whole runs faster than that generated by Hugs or yhc, and in many cases is also faster than ghci. Although nhc98 is written in Haskell, you don't need an existing Haskell compiler on your platform to build nhc98 - a C compiler will do. Hence, it is portable to almost any unix-like machine with a 32-bit compatibility mode. Many useful build tools come included: hmake (the inspiration for ghc --make), hi (interactive read-eval-print, like Hugs or ghci), cpphs (Haskell-aware replacement for cpp) and hsc2hs (preprocessor for FFI code) 3. http://article.gmane.org/gmane.comp.lang.haskell.general/15770 darcs 2.0.0pre2. David Roundy [4]announced the availability of the second prerelease of [5]darcs two, darcs 2.0.0pre2. This release fixes several severe performance bugs that were present in the first prerelease. These issues were identified and fixed thanks to the helpful testing of Simon Marlow and Peter Rockai. We also added support for compilation under ghc 6.4, so even more users should be able to test this release. 4. http://article.gmane.org/gmane.comp.lang.haskell.cafe/33483 5. http://darcs.net/ The Monad.Reader Issue 9: SoC special. Wouter Swierstra [6]announced a new issue of The Monad.Reader, a 'Summer of Code Special' - it consists of three articles from student participants of Google's Summer of Code, describing the projects they worked on. 6. http://article.gmane.org/gmane.comp.lang.haskell.cafe/31848 What's happening with Haskell? The 13th HCAR. Andres Loeh [7]announced the 13th edition of the Haskell Communities and Activities Report 7. http://www.haskell.org/communities/ Teach yourself gtk2hs in 21 hours. Hans van Thiel [8]announced a Gtk2Hs basics tutorial, based on the Tony Gale and Ian Main GTK+2.0 tutorial, is now available for review and comment. 8. http://article.gmane.org/gmane.comp.lang.haskell.cafe/32671 Minimalistic Haskell blog framework. Paul Brown [9]announced a lightweight, experimental blog publishing application, [10]perpubplat 9. http://article.gmane.org/gmane.comp.lang.haskell.cafe/34503 10. http://datapr0n.com/repos/perpubplat atom. Tom Hawkins [11]announced the release of atom 2007.12; atom is a domain-specific language embedded in Haskell for describing real-time control applications 11. http://www.haskell.org/pipermail/haskell-cafe/2007-December/035742.html Hackage New and updated libraries in [12]the Hackage library database. 12. http://hackage.haskell.org/ * bytestring 0.9.0.4. Uploaded by DonaldStewart. [13]bytestring: Fast, packed, strict and lazy byte arrays with a list interface. * uuagc 0.9.5. Uploaded by ArieMiddelkoop. [14]uuagc: Attribute Grammar System of Universiteit Utrecht. * uulib 0.9.5. Uploaded by ArieMiddelkoop. [15]uulib: Haskell Utrecht Tools Library. * llvm 0.0.2. Uploaded by BryanOSullivan. [16]llvm: Bindings to the LLVM compiler toolkit. * HDBC-sqlite3 1.1.3.1. Uploaded by JohnGoerzen. [17]HDBC-sqlite3: Sqlite v3 driver for HDBC. * HDBC-odbc 1.1.3.1. Uploaded by JohnGoerzen. [18]HDBC-odbc: ODBC driver for HDBC. * dimensional 0.7.2. Uploaded by BjornBuckwalter. [19]dimensional: Statically checked physical dimensions.. * uulib 0.9.5. Uploaded by ArieMiddelkoop. [20]uulib: Haskell Utrecht Tools Library. * hsc3 0.1. Uploaded by RohanDrape. [21]hsc3: Haskell SuperCollider. * hosc 0.1. Uploaded by RohanDrape. [22]hosc: Haskell Open Sound Control. 13. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/bytestring-0.9.0… 14. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/uuagc-0.9.5 15. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/uulib-0.9.5 16. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/llvm-0.0.2 17. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HDBC-sqlite3-1.1… 18. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HDBC-odbc-1.1.3.1 19. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/dimensional-0.7.2 20. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/uulib-0.9.5 21. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hsc3-0.1 22. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hosc-0.1 * GLFW 0.2. Uploaded by PaulLiu. [23]GLFW: A binding for GLFW, An OpenGL Framework. * control-timeout 0.1. Uploaded by AdamLangley. [24]control-timeout: Timeout handling. * hiccup 0.35. Uploaded by KyleConsalus. [25]hiccup: Relatively efficient Tcl interpreter with support for basic operations. * phooey 2.0. Uploaded by ConalElliott. [26]phooey: Functional user interfaces. * reactive 0.0. Uploaded by ConalElliott. [27]reactive: Simple foundation for functional reactive programming. * phooey 1.4. Uploaded by ConalElliott. [28]phooey: Functional user interfaces. * hburg 1.1.1. Uploaded by IgorBohm. [29]hburg: Haskell Bottom Up Rewrite Generator. * hinotify 0.2. Uploaded by LennartKolmodin. [30]hinotify: Haskell binding to INotify. * cabal-rpm 0.3.3. Uploaded by BryanOSullivan. [31]cabal-rpm: RPM package builder for Haskell Cabal source packages.. * codec-libevent 0.1. Uploaded by AdamLangley. [32]codec-libevent: Cross-platform structure serialisation. 23. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/GLFW-0.2 24. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/control-timeout-… 25. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hiccup-0.35 26. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/phooey-2.0 27. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/reactive-0.0 28. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/phooey-1.4 29. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hburg-1.1.1 30. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hinotify-0.2 31. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/cabal-rpm-0.3.3 32. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/codec-libevent-0… * irc 0.4. Uploaded by TrevorElliott. [33]irc: A small library for parsing IRC messages.. * dlist 0.4. Uploaded by DonaldStewart. [34]dlist: Differences lists. * AutoForms 0.4.0. Uploaded by MadsLindstroem. [35]AutoForms: GUI library based upon generic programming (SYB3). * bktrees 0.2.1. Uploaded by JosefSvenningsson. [36]bktrees: A set data structure with approximate searching. * bktrees 0.2. Uploaded by JosefSvenningsson. [37]bktrees: A set data structure with approximate searching. * binary-strict 0.1. Uploaded by AdamLangley. [38]binary-strict: Binary deserialisation using strict ByteStrings. * haddock 0.9. Uploaded by SimonMarlow. [39]haddock: Haddock is a documentation-generation tool for Haskell libraries. * bytestring-mmap 0.2.0. Uploaded by DonaldStewart. [40]bytestring-mmap: mmap support for strict ByteStrings. * bytestring 0.9.0.3. Uploaded by DonaldStewart. [41]bytestring: Fast, packed, strict and lazy byte arrays with a list interface. * hiccup 0.3. Uploaded by KyleConsalus. [42]hiccup: Added by KyleConsalus, Wed Dec 19 17:00:42 PST 2007.. 33. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/irc-0.4 34. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/dlist-0.4 35. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/AutoForms-0.4.0 36. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/bktrees-0.2.1 37. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/bktrees-0.2 38. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/binary-strict-0.1 39. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/haddock-0.9 40. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/bytestring-mmap-… 41. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/bytestring-0.9.0… 42. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hiccup-0.3 * cedict 0.1.1. Uploaded by JasonDusek. [43]cedict: Convenient Chinese character lookup.. * TypeCompose 0.3. Uploaded by ConalElliott. [44]TypeCompose: Type composition classes & instances. * bytestring-mmap 0.1.2. Uploaded by DonaldStewart. [45]bytestring-mmap: mmap support for strict ByteStrings. * bytestring 0.9.0.2. Uploaded by DonaldStewart. [46]bytestring: Fast, packed, strict and lazy byte arrays with a list interface. * bytestring-mmap 0.1.1. Uploaded by DonaldStewart. [47]bytestring-mmap: mmap support for strict ByteStrings. * mkcabal 0.3. Uploaded by DonaldStewart. [48]mkcabal: Generate cabal files for a Haskell project. * terminfo 0.1. Uploaded by Judah Jacobson. [49]terminfo: Haskell bindings to the terminfo library.. * Cabal 1.2.3.0. Uploaded by Duncan Coutts. [50]Cabal: A framework for packaging Haskell software. * hxt 7.4. Uploaded by UweSchmidt. [51]hxt: A collection of tools for processing XML with Haskell.. * X11 1.4.1. Uploaded by Spencer Janssen. [52]X11: A binding to the X11 graphics library. 43. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/cedict-0.1.1 44. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/TypeCompose-0.3 45. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/bytestring-mmap-… 46. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/bytestring-0.9.0… 47. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/bytestring-mmap-… 48. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/mkcabal-0.3 49. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/terminfo-0.1 50. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Cabal-1.2.3.0 51. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hxt-7.4 52. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/X11-1.4.1 * dataenc 0.10.1. Uploaded by Magnus Therning. [53]dataenc: Data encoding library currently providing Uuencode, Base64, Base64Url, Base32, Base32Hex, and Base16.. * bytestringreadp 0.1. Uploaded by Gracjan Polak. [54]bytestringreadp: A ReadP style parser library for ByteString. * encoding 0.3. Uploaded by HenningGuenther. [55]encoding: A library for various character encodings. * hslua 0.2. Uploaded by Gracjan Polak. [56]hslua: A Lua language interpreter embedding in Haskell. * xmonad-contrib 0.5. Uploaded by Spencer Janssen. [57]xmonad-contrib: Third party extensions for xmonad. * xmonad 0.5. Uploaded by SpencerJanssen. [58]xmonad: A tiling window manager. * pandoc 0.45. Uploaded by John MacFarlane. [59]pandoc: Conversion between markup formats. * markov-chain 0.0.1. Uploaded by Henning Thielemann. [60]markov-chain: Markov Chains for generating random sequences with a user definable behaviour.. * parsedate 3000.0.0. Uploaded by Bjorn Bringert. [61]parsedate: Data and time parsing for CalendarTime. * hackage2hwn 0.1. Uploaded by Don Stewart. [62]hackage2hwn: Convert hackage = Hackage RSS feeds to Haskell Weekly News format. 53. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/dataenc-0.10.1 54. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/bytestringreadp-… 55. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/encoding-0.3 56. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hslua-0.2 57. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/xmonad-contrib-0… 58. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/xmonad-0.5 59. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/pandoc-0.45 60. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/markov-chain-0.0… 61. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/parsedate-3000.0… 62. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hackage2hwn-0.1 * hask-home 2007.12.6. Uploaded by BjornBringert. [63]hask-home: Generate homepages for cabal packages. * hmarkup 3000.0.1. Uploaded by BjornBringert. [64]hmarkup: Simple wikitext-like markup format implementation.. * hspread 0.2. Uploaded by AndreaVezzosi. [65]hspread: A client library for the spread toolkit. * pcap 0.4.2. Uploaded by BryanOSullivan. [66]pcap: A system-independent interface for user-level packet capture. * hogg 0.3.0. Uploaded by ConradParker. [67]hogg: Library and tools to manipulate the Ogg container format. * Finance-Quote-Yahoo 0.4.1. Uploaded by BradClawsie. [68]Finance-Quote-Yahoo: Obtain quote data from finance.yahoo.com. * Monadius 0.9.20071204. Uploaded by GwernBranwen. [69]Monadius: 2-D arcade scroller. * Shu-thing 1.0.20071203. Uploaded by GwernBranwen. [70]Shu-thing: A vector shooter game. * hmatrix 0.1.1.0. Uploaded by AlbertoRuiz. [71]hmatrix: Linear algebra and numerical computations. * HTTP 3001.0.3. Uploaded by BjornBringert. [72]HTTP: Added by BjornBringert, Fri Nov 30 14:50:55 PST 2007.. 63. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hask-home-2007.1… 64. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hmarkup-3000.0.1 65. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hspread-0.2 66. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/pcap-0.4.2 67. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hogg-0.3.0 68. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Finance-Quote-Ya… 69. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Monadius-0.9.200… 70. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Shu-thing-1.0.20… 71. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hmatrix-0.1.1.0 72. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HTTP-3001.0.3 * rss 3000.0.1. Uploaded by BjornBringert. [73]rss: A library for generating RSS 2.0 feeds.. * haxr 3000.0.1. Uploaded by BjornBringert. [74]haxr: XML-RPC client and server library.. * fitsio 0.1. Uploaded by EricSessoms. [75]fitsio: A library for reading and writing data files in the FITS data format.. * YamlReference 0.6. Uploaded by Oren Ben Kiki. [76]YamlReference, YAML reference implementation * LambdaShell 0.9.1. Uploaded by Robert Dockins. [77]LambdaShell, simple shell for evaluating lambda expressions * Shellac 0.9.1. Uploaded by Robert Dockins. [78]Shellac, a framework for creating shell envinronments * EdisonCore 1.2.1.1. Uploaded by Robert Dockins. [79]EdisonCore, a library of efficent, purely-functional data structures (Core Implementations) * hmatrix 0.1.0.0. Uploaded by Alberto Ruiz. [80]hmatrix, linear algebra and numerical computations * strict-concurrency 0.1. Uploaded by Don Stewart. [81]strict-concurrency, strict concurrency abstractions * X11 1.4.0. Uploaded by Don Stewart. [82]X11, binding to the X11 graphics library 73. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/rss-3000.0.1 74. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/haxr-3000.0.1 75. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/fitsio-0.1 76. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/YamlReference-0.6 77. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/LambdaShell-0.9.1 78. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Shellac-0.9.1 79. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/EdisonCore-1.2.1… 80. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hmatrix-0.1.0.0 81. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/strict-concurren… 82. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/X11-1.4.0 * safecopy 0.3. Uploaded by David Himmelstrup. [83]safecopy, binary serialization with version control * HaXml 1.13.3. Uploaded by Malcolm Wallace. [84]HaXml, utilities for manipulating XML documents * c2hs 0.15.1. Uploaded by Duncan Coutts. [85]c2hs, C->Haskell Interface Generator * calc 0.1. Uploaded by Austin Seipp. [86]calc, small compiler for arithmetic expressions. * miniplex 0.2.1. Uploaded by Lukas Mai. [87]miniplex, simple 1-to-N interprocess communication * sat 1.1.1. Uploaded by Andrii Zvorygin. [88]sat, CNF SATisfier * dimensional 0.7.1. Uploaded by Bjorn Buckwalter. [89]dimensional, statically checked physical dimensions * hxt 7.4. Uploaded by Uwe Schmidt. [90]hxt, collection of tools for processing XML with Haskell. * dlist 0.3.2. Uploaded by Don Stewart. [91]dlist, difference lists. A list type supporting fast append. * mkcabal 0.2. Uploaded by Don Stewart. [92]mkcabal, generate cabal files for a Haskell project 83. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/safecopy-0.3 84. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HaXml-1.13.3 85. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/c2hs-0.15.1 86. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/calc-0.1 87. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/miniplex-0.2.1 88. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/sat-1.1.1 89. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/dimensional-0.7.1 90. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hxt-7.4 91. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/dlist-0.3.2 92. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/mkcabal-0.2 * Chart 0.5. Uploaded by Tim Docker. [93]Chart, a library for generating 2D Charts and Plots * MaybeT 0.1.1. Uploaded by Don Stewart. [94]MaybeT, MaybeT monad transformer * regex-pcre 0.93. Uploaded by Chris Kuklewicz. [95]regex-pcre, replaces Text.Regex * fixpoint 0.1. Uploaded by Roman Leshchinskiy. [96]fixpoint, data types as fixpoints * ChasingBottoms 1.2.2. Uploaded by Nils Anders Danielsson. [97]ChasingBottoms, support for testing partial and infinite values * GrowlNotify 0.3. Uploaded by Nicholas Burlett. [98]GrowlNotify, notification utility for Growl * pcap 0.4.1. Uploaded by Bryan OSullivan. [99]pcap, a system-independent interface for user-level packet capture * bencode 0.3. Uploaded by David Himmelstrup. [100]bencode, parser and printer for bencoded data. * stream-fusion 0.1.1. Uploaded by Don Stewart. [101]stream-fusion, provides the standard Haskell list library reimplemented to allow stream fusion. This should in general provide faster list operations, and faster code for list-heavy programs. * HTTP 3001.0.2. Uploaded by Bjorn Bringert. [102]HTTP, library for client-side HTTP 93. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Chart-0.5 94. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/MaybeT-0.1.1 95. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/regex-pcre-0.93 96. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/fixpoint-0.1 97. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/ChasingBottoms-1… 98. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/GrowlNotify-0.3 99. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/pcap-0.4.1 100. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/bencode-0.3 101. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/stream-fusion-0.… 102. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HTTP-3001.0.2 * X11-xft 0.2. Uploaded by Clemens Fruhwirth. [103]X11-xft, bindings to the Xft, X Free Type interface library, and some Xrender parts * GrowlNotify 0.1. Uploaded by Nicholas Burlett. [104]GrowlNotify, notification utility for Growl. * HsHaruPDF 0.0.0. Uploaded by Audrey Tang. [105]HsHaruPDF, Haskell binding to libharu * unicode-normalization 0.1. Uploaded by Reinier Lamers. [106]unicode-normalization, Unicode normalization using the ICU library * uniplate 1.0.1. Uploaded by Neil Mitchell. [107]uniplate, uniform type generic traversals * lax-0.0.0. Uploaded by Wolfgang Jeltsch. [108]lax, Lax arrows are variants of other arrows which are ?less strict? than the original arrows. They can be used, for example, to produce I/O fixpoints in situations where fixIO would fail. * fastcgi 3001.0.1. Uploaded by Bjorn Bringert. [109]fastcgi, a Haskell library for writing FastCGI programs 103. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/X11-xft-0.2 104. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/GrowlNotify-0.1 105. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HsHaruPDF-0.0.0 106. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/unicode-normaliz… 107. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/uniplate-1.0.1 108. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/lax-0.0.0 109. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/fastcgi-3001.0.1 Conference roundup New user groups * [110]Portland Functional Programmers Group * [111]FPSIG @ Southampton * [112]SingHaskell 110. http://groups.google.com/group/pdxfunc 111. http://article.gmane.org/gmane.comp.lang.haskell.cafe/32753 112. http://article.gmane.org/gmane.comp.lang.haskell.cafe/32268 Jobs Prototyping. Peter Verswyvelen [113]announced a job using Haskell for prototyping computer animation and games 113. http://article.gmane.org/gmane.comp.lang.haskell.cafe/33377 Blog noise [114]Haskell news from the [115]blogosphere. 114. http://planet.haskell.org/ 115. http://haskell.org/haskellwiki/Blog_articles * [116]Small shots of lambda calculus * [117]Pattern Matching in Ruby * [118]Haskell 'words' and Perl 'split' * [119]Word numbers, Part 4: Sort the words, sum the numbers * [120]Improve Your C#! Borrow from F#... * [121]Sun battling Microsoft (over F#?) * [122]zip in F# and Haskell * [123]Random numbers in Haskell * [124]A survey of Haskell unicode support * [125]Using Haskell for scripting tasks 116. http://fmota.tk/2007/11/small-shots-of-lambda-calculus-part-iii.html 117. http://blog.pretheory.com/arch/2007/11/pattern_matching_in_ruby_1.php 118. http://osfameron.vox.com/library/post/haskell-words-and-perl-split.html 119. http://conway.rutgers.edu/~ccshan/wiki/blog/posts/WordNumbers4/ 120. http://diditwith.net/2007/11/14/ImproveYourCBorrowFromF.aspx 121. http://vanirsystems.com/danielsblog/?p=227 122. http://jyliao.blogspot.com/2007/11/learning-wpf-with-f-dock-and-grid.html 123. http://monadicheadaches.blogspot.com/2007/11/random-numbers-where-it-all-st… 124. http://blog.kfish.org/2007/10/survey-haskell-unicode-support.html 125. http://pinderkent.blogsavy.com/archives/142 * [126]Princeton lost the DARPA Grand Challenge because of a C# memory leak * [127]Laziness in C#/LINQ * [128]Getting functional programming: currying * [129]The magic foldr * [130]Nested Parallel List Comprehensions * [131]FFI in Haskell * [132]Broadening ones horizons * [133]Monad Wars - 1: the Prompt * [134]Monad Wars - 2: the command line * [135]Holy Shmoly, GHC Haskell 6.8 smokes Python and Ruby away! 126. http://www.codeproject.com/showcase/IfOnlyWedUsedANTSProfiler.asp 127. http://gavinbierman.blogspot.com/2007/11/laziness-in-clinq.html 128. http://overwatering.blogspot.com/2007/11/currying.html 129. http://caos.di.uminho.pt/~ulisses/blog/2007/11/20/foldr-the-magic-function/ 130. http://tomschrijvers.blogspot.com/2007/11/nested-parallel-list-comprehensio… 131. http://notes-on-haskell.blogspot.com/2007/02/ffi-in-haskell.html 132. http://ms-os.com/showthread.php?t=116050 133. http://osfameron.vox.com/library/post/monad-wars---1-the-prompt.html 134. http://osfameron.vox.com/library/post/monad-wars---2-the-command-line.html 135. http://www.cse.unsw.edu.au/~dons/blog/2007/11/29#smoking * [136]Use those extra cores and beat C today! (Parallel Haskell redux) * [137]Parallelizing Haskell * [138]Python, Haskell, Ruby Smackdown * [139]Legitimate uses of micro-benchmarks: parameter passing and function call costs * [140]Holy Shmoly, GHC does some magic all by itself! * [141]PARE - PARallel Execution in Erlang - a response to Haskell * [142]Haskell design patterns are (probably) needed * [143]Deriving a Virtual Machine * [144]Games, cores, and functional languages * [145]Structure of a functional Java, er, method 136. http://www.cse.unsw.edu.au/~dons/blog/2007/11/29#smoking-4core 137. http://cmssphere.blogspot.com/2007/11/parallelizing-haskell.html 138. http://feedingthesnake.wordpress.com/2007/11/30/python-haskell-ruby-smackdo… 139. http://eigenclass.org/hiki/legitimate-microbenchmarks 140. http://geekrant.wordpress.com/2007/11/29/holy-shmoly-ghc-does-some-magic-al… 141. http://chlorophil.blogspot.com/2007/11/pare-parallel-execution-in-erlang.ht… 142. http://jpmoresmau.blogspot.com/2007/11/haskell-design-patterns-are-probably… 143. http://www.iis.sinica.edu.tw/~scm/?p=42 144. http://www.antipode.ca/2007/games-cores-and-functional-languages/ 145. http://jpmoresmau.blogspot.com/2007/11/structure-of-functional-java-er-meth… * [146]Current Fixation: Haskell * [147]Multicores, F# and SPJ: leading people to Haskell * [148]The IO Monad for People who Simply Don't Care * [149]Why I chose to learn Haskell * [150]Some Playing with Derivatives * [151]Solve Ball Clock Puzzle in Python and Haskell * [152]Back to functional languages... at least for a while? * [153]Overloading Semicolon, or, monads from 10,000 Feet * [154]Getting started with Haskell * [155]Arrows first encounter 146. http://onerousmachinations.blogspot.com/2007/11/current-fixation-haskell.ht… 147. http://nxtgenug.spaces.live.com/Blog/cns!59F714755D6E2A69!221.entry 148. http://sigfpe.blogspot.com/2007/11/io-monad-for-people-who-simply-dont.html 149. http://offthelip.org/?p=91 150. http://cdsmith.wordpress.com/2007/11/29/some-playing-with-derivatives/ 151. http://the-little-haskeller.blogspot.com/2007/11/solve-ball-clock-puzzle-in… 152. http://afurtado1980.spaces.live.com/Blog/cns!63514833CE40C143!518.entry 153. http://osteele.com/archives/2007/12/overloading-semicolon 154. http://talkingcode.co.uk/2007/12/03/getting-started-with-haskell/ 155. http://monadicheadaches.blogspot.com/2007/12/arrows-first-encounter.html * [156]Arithmetic for lists * [157]Functional Programming on .NET - Part 1 * [158]N-Queens in Haskell * [159]N-Queens in the writer monad * [160]Unit testing in Haskell * [161]Calculating the reflect-rotate-translate normal form for an isometry of the plane in Haskell, and verifying it with QuickCheck * [162]Visualizing 2D convex hull using Gtk and OpenGL in Haskell * [163]Hugs for the Nintendo DS * [164]Comparative terseness of Perl and Haskell * [165]Note on point-free programming style 156. http://wadler.blogspot.com/2007/12/arithmetic-for-lists.html 157. http://zerogradient.wordpress.com/2007/12/05/functional-programming-on-net-… 158. http://therning.org/magnus/archives/330 159. http://cdsmith.wordpress.com/2007/12/09/some-basic-stuff-the-writer-monad/ 160. http://hitesh-jasani.blogspot.com/2007/12/unit-testing-with-hunit-in-haskel… 161. http://www.kennknowles.com/blog/2007/12/03/calculating-the-reflect-rotate-t… 162. http://www.kennknowles.com/blog/2007/11/20/visualizing-2d-convex-hull-using… 163. http://closuretohome.blogspot.com/2007/12/hugs-for-nintendo-ds.html 164. http://blog.plover.com/2007/11/30/#pow-sqrt 165. http://blog.plover.com/prog/haskell/pointfree.html * [166]Haskell Fibonacci Revisited * [167]PXSL Tools 1.0: Your ticket out of XML Hell * [168]Haskell is kind of cool * [169]Learning Haskell with ProjectEuler * [170]Infinite lazy Knuth-Bendix completion for monoids in Haskell * [171]Hugs for the Nintendo DS * [172]My Type of Language... * [173]Catching pods with hpodder * [174]Hamming's problem * [175]Sharper function operators 166. http://chasethedevil.blogspot.com/2007/12/haskell-fibonacci-revisited.html 167. http://blog.moertel.com/articles/2007/12/17/pxsl-tools-1-0-your-ticket-out-… 168. http://www.goesping.org/archives/2007/12/18/haskell-is-kind-of-cool/ 169. http://www.robdickerson.net/?p=12 170. http://www.kennknowles.com/blog/2007/12/20/infinite-lazy-knuth-bendix-compl… 171. http://blog.closuretohome.com/2007/12/hugs-for-nintendo-ds.html 172. http://lambdalounge.blogspot.com/2007/12/my-type-of-language.html 173. http://lorenzod8n.wordpress.com/2007/12/22/catching-pods-with-hpodder/ 174. http://conway.rutgers.edu/~ccshan/wiki/blog/posts/Hamming/ 175. http://blog.closuretohome.com/2008/01/sharper-function-operators.html * [176]Xiangqiboard: play Xiangqi against a computer opponent * [177]Haskell is kind of cool * [178]FParsec - A Parser Combinator Library for F# * [179]RSA-Haskell * [180]LLVM bindings for Haskell * [181]perpubplat 0.9 - You're Looking at It: blog framework for Haskell * [182]The point of pointfree * [183]qtHaskell * [184]Web Objects and the underappreciated recursive do * [185]Equality operators in PHP and Haskell 176. http://xiangqiboard.blogspot.com/2007/12/gnuxiangqi-angekndigt.html 177. http://www.goesping.org/archives/2007/12/18/haskell-is-kind-of-cool/ 178. http://www.quanttec.com/fparsec/ 179. http://netsuperbrain.com/rsa-haskell.html 180. http://www.serpentine.com/blog/2008/01/03/llvm-bindings-for-haskell/ 181. http://mult.ifario.us/p/perpubplat-0-9-you-re-looking-at-it 182. http://www.vex.net/~trebla/weblog/pointfree.html 183. http://qthaskell.sourceforge.net/ 184. http://www.alpheccar.org/en/posts/show/89 185. http://www.syntaxpolice.org/index.php/?q=node%2F419 * [186]Pushing Haskell's type system to the limits: A reflective JSON serializer * [187]A Wake Up Call for the Logic Programming Community * [188]Design your functions for partial application * [189]Taxicab Numbers * [190]Composing Contracts * [191]HTTP content-type comparison at the type level * [192]Haskell-Join-Rules * [193]Exploring JPEG * [194]What's interesting to me about SquirrelMail attack * [195]Haskell and F#: Language Design 186. http://lingnerd.blogspot.com/2007/12/pushing-haskells-type-system-to-limits… 187. http://www.cs.kuleuven.ac.be/~dtai/projects/ALP/newsletter/dec07/content/Ar… 188. http://www.serpentine.com/blog/2007/12/26/design-your-functions-for-partial… 189. http://notes-on-haskell.blogspot.com/2007/12/taxicab-numbers.html 190. http://contracts.scheming.org/ 191. http://www.alpheccar.org/en/posts/show/88 192. http://taichi.ddns.comp.nus.edu.sg/taichiwiki/HaskellJoinRules 193. http://www.imperialviolet.org/binary/jpeg/ 194. http://www.syntaxpolice.org/index.php/?q=node%2F418 195. http://corsis.blogspot.com/2008/01/haskell-and-f-language-design.html * [196]An example of Haskell's beauty * [197]My resolve to learn Haskell has become stronger after having watched 'A Taste of Haskell' * [198]Emacs love w/ Haskell * [199]Finding my way * [200]Why not Scala? * [201]A Different Kind of Obscurity * [202]Languages that save you some typing 196. http://blog.whoop.as/?p=1668 197. http://rmathew.blogspot.com/2008/01/taste-of-haskell.html 198. http://blog.whoop.as/?p=1665 199. http://nointernalmonologue.blogspot.com/2008/01/finding-my-way.html 200. http://unenterprise.blogspot.com/2008/01/why-not-scala.html 201. http://ddvlad.wordpress.com/2007/12/14/a-different-kind-of-obscurity/ 202. http://daltonic.blogspot.com/2008/01/language-that-saves-you-some-typing.ht… Quotes of the Week * Conal: For me, the heart of functional programming is exactly this separation between model and presentation. The former is naturally functional and compositional, while the latter is often imperative/sequential and not-so-compositional. IO belongs with the latter. * ddarius: has programmed too much in Haskell. He now produces code that -compiles- and works the first time * disspy: If all you know is C, everything begins to look like a segmentation fault. * markedtrees: (On the city of Haskell) Ah yes, Haskell. Where all the types are strong, all the men carry arrows, and all the children are above average. * ola-bini: Haskell's type system is really nice, for example, but OCaml's really feels like half of it exists just to cover up holes in the other half, I'm half way into Erlang, but for several reasons the language feels very primitive. * so1i.warazd: I'm more and more comfortable spending time with Haskell these days. Haskell may not be the next thing, but whatever the next big thing is, it's probably going to have Haskelly fingerprints all over it?.. * sylvan: think that the perceived difficulty in using purely functional programming is probably a bit exaggerated these days, as all it means is 'we're explicit about where side effects occur' * falvo: I really wish that someone would come up with a type-safe replacement for the likes of Python. Oh, wait, it's called Haskell! Unfortunately, I'm forbidden from using Haskell at work. Sigh * Tyler Spaulding: eventually even 'simple' programs will nned multiple threads. Does that mean developers will suddenly flock to Haskell? Again, no. Language designers are well aware of the situation. Sun and Microsoft are constantly working on improving the Java and .NET frameworks. And by the time the average programmer needs it, both will have plenty of support for easy threading * ricky clarkson: Haskell is full of Aha and Hah moments for me * five9a2: Concurrency aside, I find it common to write Haskell code that is as fast as C. It is true that for most things, the C can be tweaked to go a bit faster, but that tweaking needs to be done on a case-by-case basis. In Haskell, it is easier to compose optimized components. Better algorithms beat an optimized compiler any day and using the best algorithms everywhere in C code tends to be painful, error-prone, and usually disparaged as premature optimization. * Jeff Moser: It's been this fear of skills rot that has pushed me to look into Lisp, Haskell, F#, Erlang, and other languages to avoid The Blub Paradox. * NFJS 2008 predictions: If you've never programmed in Haskell, now's a good time to learn, because those concepts and syntax are fast making their way towards you... * The honey monster: With the advent of multi-core CPUs and the promise of many core processors in the near future it occurrs to me that my interest in functional programming languages could not of happened at a more opportune time. It is not that imperative programming languages are not as capable, merely that functional programming languages seem to be more natural fit About the Haskell Weekly News New editions are posted to [203]the Haskell mailing list as well as to [204]the Haskell Sequence and [205]Planet Haskell. [206]RSS is also available, and headlines appear on [207]haskell.org. Headlines are available as [208]PDF. To help create new editions of this newsletter, please see the [209]contributing information. Send stories to dons at galois.com. The darcs repository is available at darcs get [210]http://code.haskell.org/~dons/code/hwn/ 203. http://www.haskell.org/mailman/listinfo/haskell 205. http://planet.haskell.org/ 207. http://haskell.org/ 208. http://code.haskell.org/~dons/code/hwn/archives/20080105.pdf 209. http://haskell.org/haskellwiki/HWN 210. http://code.haskell.org/~dons/code/hwn/

1 0

Data.Tree.drawTree more spacefilling?
by Johannes Waldmann 03 Jan '08

03 Jan '08

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Dear all, I'm looking for a Data.Tree.drawTree that is a bit more "spacefilling" (put some subtrees side by side). Thanks - Johannes Waldmann, Leipzig. -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.4-svn0 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD8DBQFHfTr53ZnXZuOVyMIRAhqkAKCkXFRyqtR+6KaTnFf2msAGd1hf1QCeOFpB /WMg+//boG/vAos+yO0iHZo= =P13d -----END PGP SIGNATURE-----

1 0

garbage collection of Concurrent Haskell threads?
by Conal Elliott 03 Jan '08

03 Jan '08

The classic paper "The Incremental Garbage Collection of Processes" ( http://citeseer.ist.psu.edu/baker77incremental.html) describes "futures" and how particularly garbage collecting them when their pending result is no longer referenced. I've been playing with an implementation of futures in Concurrent Haskell (http://haskell.org/haskellwiki/Reactive) using MVars, and I'm stumped about how to GC non-winning threads in a race between futures ("parallel or"). I'm having winner kill loser, which seems to work fine, though is potentially dangerous w.r.t locked resources. Still, the elegance of a GC-based solution appeals to me. Has anyone explored process GC ideas for Concurrent Haskell (or STM)? Futures are implemented using Concurrent Haskell's MVars. I first tried using STM and TVars, simply using orElse to implement mappend for futures. However, I didn't see how to avoid nesting "atomically", which yielded a run-time error. If anyone has ideas about using STM & TVars for futures, I'd love to hear. Thanks, - Conal

3 4

Empty instance declaration
by Hugo Macedo 03 Jan '08

03 Jan '08

Dear all A student from a beginners course on Functional Programming came to me with a problem, he declared a type like: data WeekDay = Mon | Tue | Fri -- ... He had forgot to complete a Show instance definition. instance Show WeekDay where (empty) Then he complained about getting *** Exception: stack overflow when he tried to invoke some function on that type. After checking the Haskell98 grammar I found out that this is allowed syntactically and probably semantically too. Is there any reason to do that? Now I'm wondering: Shouldn't a class be an warranty of a well defined interface? Thus forcing the user to define the show function or showPrec? Am I missing any point? My best regards, Hugo

13 17

announcing qtHaskell-1.1.1, the first preview release of qtHaskell
by David Harley 03 Jan '08

03 Jan '08

For all interested in Haskell GUIs, there is now a first preview release of qtHaskell - a set of Haskell bindings for Trolltech's Qt available at http://qthaskell.sourceforge.net Any feedback, comments etc welcome Merry Christmas David Harley P.S. if anyone can get the system to build and work on a non-linux or Windows environment - in particular MacOs - could the let me know the precise install steps required.

3 2

SAS 2008 Third Call for Papers
by German Vidal 02 Jan '08

02 Jan '08

PLEASE POST --> SAS 2008 at the Technical University of Valencia We are happy to announce that SAS 2008, the Static Analysis Symposium, will take place at the Technical University of Valencia: Submission of abstract: January 12, 2008 Submission of full paper: January 19, 2008 Notification: March 7, 2008 Camera-ready version: April 5, 2008 Conference: July 16-18, 2008 Please see: http://www.dsic.upv.es/~sas2008/ ** The submission site is now open ** Maria Alpuente, German Vidal (PC co-chairs) --------------------------------------------------------------------------- Call for papers Static Analysis Symposium - SAS 2008 16-18 July 2008, Valencia, Spain (co-located with LOPSTR 2008) url http://www.dsic.upv.es/~sas2008 email sas2008(a)dsic.upv.es Static Analysis is increasingly recognized as a fundamental tool for high performance implementations and verification of programming languages and systems. The series of Static Analysis Symposia has served as the primary venue for presentation of theoretical, practical, and application advances in the area. The technical programme for SAS 2008 will consist of invited lectures and presentations of refereed papers. Contributions are welcome on all aspects of static analysis, including, but not limited to: abstract domains abstract interpretation abstract testing compiler optimizations control flow analysis data flow analysis model checking program specialization security analysis theoretical analysis frameworks type based analysis verification systems Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic, and object-oriented programming. 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 or a conference with refereed proceedings. Submitted papers should be at most 15 pages formatted in LNCS style (excluding bibliography and well-marked appendices not intended for publication). PC members are not required to read the appendices, and thus papers should be intelligible without them. The conference proceedings is planned to be published by Springer-Verlag in the Lecture Notes in Computer Science series. Invited Speakers Roberto Giacobazzi (Universita' degli Studi di Verona, Italy) Ben Liblit (University of Wisconsin-Madison, USA) PC co-chairs Maria Alpuente (Technical University of Valencia, Spain) German Vidal (Technical University of Valencia, Spain) PC members Elvira Albert (Complutense University of Madrid, Spain) Roberto Bagnara (University of Parma, Italy) Maurice Bruynooghe (Katholieke Universiteit Leuven, Belgium) Radhia Cousot (CNRS & Ecole Polytechnique, France) Javier Esparza (Technical University of Munchen, Germany) Sandro Etalle (University of Twente, The Netherlands) Moreno Falaschi (University of Siena, Italy) Stephen Fink (IBM T.J. Watson Research Center, USA) John Gallagher (Roskilde University, Denmark) Maria del Mar Gallardo (University of Malaga, Spain) Chris Hankin (Imperial College, UK) Manuel Hermenegildo (Technical University of Madrid, Spain) Julia Lawall (University of Copenhagen, Denmark) Alexey Loginov (IBM T.J. Watson Research Center, USA) Hanne Riis Nielson (Technical University of Denmark, Denmark) David Schmidt (Kansas State University, USA) Harald Sondergaard (University of Melbourne, Australia) Tachio Terauchi (Tohoku University, Japan) Ji Wang (National Laboratory for Parallel and Distributed Processing, China) Organizing committee chair Alicia Villanueva (Technical University of Valencia, Spain) Important dates Submission of abstract: January 12, 2008 Submission of full paper: January 19, 2008 Notification: March 7, 2008 Camera-ready version: April 5, 2008 Conference: July 16-18, 2008 ---------------------------------------------------------------------------

1 0