- Haskell - Haskell.org

[Last CFP] FLOPS 2008
by Jacques Garrigue 02 Oct '07

02 Oct '07

[We apologize for the multiple postings of this announce] LAST CALL FOR PAPERS Ninth International Symposium on Functional and Logic Programming (FLOPS 2008) April 14-16, 2008 Ise, Japan Submission deadline: October 10, 2007 Keynotes: Peter Dybjer, Naoki Kobayashi, and Torsten Schaub http://www.math.nagoya-u.ac.jp/~garrigue/FLOPS2008/ FLOPS is a forum for research on all issues concerning declarative programming, including functional programming and logic programming, and aims to promote cross-fertilization and integration between the two paradigms. Previous FLOPS meetings were held in Fuji Susono (1995), Shonan Village (1996), Kyoto (1998), Tsukuba (1999), Tokyo (2001), Aizu (2002), Nara (2004), and Fuji Susono (2006). TOPICS FLOPS solicits original papers in all areas of functional and logic programming, including (but not limited to): Declarative Pearls: new and excellent declarative programs with illustrative applications; Language issues: language design and constructs, programming methodology, integration of paradigms, interfacing with other languages, type systems, constraints, concurrency and distributed computing; Foundations: logic and semantics, rewrite systems and narrowing, type theory, proof systems; Implementation issues: compilation techniques, memory management, program analysis and transformation, partial evaluation, parallelism; Applications: case studies, real-world applications, graphical user interfaces, Internet applications, XML, databases, formal methods and model checking. The proceedings are expected to be published as an LNCS volume. The proceedings of the previous meeting (FLOPS2006) were published as LNCS 3945. INVITED SPEAKERS Peter Dybjer (Chalmers, Sweden) Naoki Kobayashi (Tohoku, Japan) Torsten Schaub (Potsdam, Germany) PC CO-CHAIRS Jacques Garrigue (Nagoya, Japan) Manuel Hermenegildo (Madrid, Spain and New Mexico, USA) PC MEMBERS Maria Alpuente (Valencia, Spain) Sergio Antoy (Portland, OR, USA) Matthias Blume (TTI, Chicago, USA) Tyng-Ruey Chuang (Academia Sinica, Taiwan) Zhenjiang Hu (Tokyo, Japan) Oleg Kiselyov (FNMOC, Monterey, USA) Herbert Kuchen (Muenster, Germany) Dale Miller (INRIA, Palaiseau, France) Atsushi Ohori (Tohoku, Japan) Enrico Pontelli (New Mexico, USA) Kristoffer Rose (IBM Watson, USA) Kazunori Ueda (Waseda, Japan) Peter Van Roy (Louvain-la-Neuve, Belgium) Benjamin Werner (INRIA, Palaiseau, France) LOCAL CHAIR Shoji Yuen (Nagoya, Japan) SUBMISSION Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. Submissions should fall into one of the following categories: Regular research papers: they should describe new results and will be judged on originality, correctness, and significance. System descriptions: they should contain a link to a working system and will be judged on originality, usefulness, and design. All submissions must be written in English and can be up to 15 proceedings pages long. Authors are strongly encouraged to use LaTeX2e and the Springer llncs class file, available at http://www.springer.de/comp/lncs/authors.html Regular research papers should be supported by proofs and/or experimental results. In case of lack of space, this supporting information should be made accessible otherwise (e.g., a link to a web page, or an appendix). Submission is Web-based. Please visit the conference site. IMPORTANT DATES Submission deadline: October 10, 2007 Author notification: December 21, 2007 Camera-ready copy: January 21, 2008 Conference: April 14-16, 2008 PLACE Ise, Japan Previous FLOPS: FLOPS 2006, Fuji Susono: http://hagi.is.s.u-tokyo.ac.jp/FLOPS2006/ FLOPS 2004, Nara: http://logic.cs.tsukuba.ac.jp/FLOPS2004/ FLOPS 2002, Aizu: http://www.ipl.t.u-tokyo.ac.jp/FLOPS2002/ FLOPS 2001, Tokyo: http://www.ueda.info.waseda.ac.jp/flops2001/ SPONSOR Japan Society for Software Science and Technology (JSSST) SIG-PPL IN COOPERATION with Asian Association for Foundation of Software (AAFS) Association for Logic Programming (ALP) ACM SIGPLAN (pending) INQUIRIES to <flops2008 at math.nagoya-u.ac.jp>

1 0

Announce: AutoForms release 0.3
by Mads Lindstrøm 01 Oct '07

01 Oct '07

Hi all I am happy to release version 0.3 of AutoForms. AutoForms is a library to ease the creation of Graphical User Interfaces. It does this by using generic programming to construct GUI components. The AutoForms user creates an ordinary algebraic data type (ADT), which should reflect the data model of an application. From this ADT AutoForms automatically constructs a GUI component, by using the structure and identifiers of the ADT. To facilitate this construction, AutoForms uses the "Scrap your boilerplate" approach to generic programming. What happened since release 0.2? * Moved website to http://www.haskell.org/haskellwiki/AutoForms * Closer integration with WxHaskell * Bug-fixes * Cabalized AutoForms * Handles sum-types. E.g. data Foo = Foo Int | Bar Int [Char] * Added a custom monadic interface to AutoForms * More examples * Layout managers * Plus many other changes See http://www.haskell.org/haskellwiki/AutoForms for more information. Greetings, Mads Lindstrøm

1 0

Seemingly impossible Haskell programs
by Graham Hutton 29 Sep '07

29 Sep '07

Readers of this list may enjoy the following note by Martin Escardo, which shows how to write a number of "seemingly impossible Haskell programs" that perform exhaustive searches over spaces of infinite size, by exploiting some ideas from topology: http://math.andrej.com/2007/09/28/seemingly-impossible-functional-programs/… Have fun! Graham +-----------------------------------------------------------------+ | Dr Graham Hutton Email : gmh(a)cs.nott.ac.uk | | School of Computer Science | | University of Nottingham Web : www.cs.nott.ac.uk/~gmh | | Jubilee Campus, Wollaton Road | | Nottingham NG8 1BB, UK Phone : +44 (0)115 951 4220 | +-----------------------------------------------------------------+ This message has been checked for viruses but the contents of an attachment may still contain software viruses, which could damage your computer system: you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation.

1 0

ANNOUNCE: mpd-0.1 library
by Ben Sinclair 28 Sep '07

28 Sep '07

Hello, I am pleased to announce the first release of mpd, a client protocol implementation for MPD*. Hackage page: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/mpd-0.1 API ref: http://turing.une.edu.au/~bsinclai/code/libmpd-haskell/dist/doc/html/mpd/ -Ben * http://www.musicpd.org/

1 0

Job programming in F#
by Simon Peyton-Jones 27 Sep '07

27 Sep '07

Want to be paid to write functional programs? My colleagues here at Cambridge are looking for you. See below. Simon A position has arisen within our Applied Games Team in Cambridge for a Software Development Engineer (SDE). The role of the SDE will be to design, implement and maintain solutions based on new technology in the very competitive web search and advertising arena. In this position you will be working closely with researchers to analyze very large data sets, and with product teams to have the research applied. Please see job description attached for full details. Any machine learning or functional programming experience (particularly F#) is highly desirable, however not essential as training will be provided for the right candidate. Background: We are establishing a virtual team for applied research between adCenter's Research & Mining group and Microsoft Research Cambridge's Applied Games group. The mission of the team is to conduct applied research into problems relevant for Microsoft's online advertisement business and to transfer resulting technology to adCenter. 1. Design, implement and maintain solutions. 2. Assist researchers to analyze data and provide rapid prototypes for new technology. 3. Transferring technology to product teams. Knowledge, Skills and Experience 1) Essential Experience * Three years SQL Server Programming experience. * Three years .Net Programming experience. 2) Technical / Functional Skills * Knowledge of SQL programming. * Knowledge of C# and .Net programming. * Experience with Agile methods 3) Personal Attributes / Interpersonal Skills * Good communication skills ideally with some client facing experience. * Self-motivated. * Willingness to travel. * Interest in cutting edge research Special Requirements/Additional Information Must be willing to live and work in the UK; but also be prepared to travel frequently to the US. Any machine learning or functional programming experience particularly F# is highly desirable but not essential as training will be provided for the right candidate. To apply please send your current curriculum vitae (CV) to our Human Resources Department by email: cambhr(a)microsoft.com

1 0

Re: [Haskell-cafe] PROPOSAL: Rename haskell@ to haskell-announce@
by Claus Reinke 25 Sep '07

25 Sep '07

[cc-ed to haskell@, as this discussion is about haskell@] > There are four things sent to the haskell list@ > > 1) Calls for papers > 2) Annoucements > 3) Oleg's stuff (which are really announcements of a library or technique) > 4) Off topic stuff > > I'm initially only proposing to mop up category 4, which I am pretty > sure the haskell@ people don't want to see. i still keep all haskell[-cafe] email in one folder, and tend to reply on the list a post comes from;-) but iirc, those who proposed the split were not looking for a pure announcement list: (*) the idea was to have a low-traffic window into all haskell developments of wider interests, while also establishing a free-form forum for general discussion/newbie questions. so everything that would be of interest to all haskellers, including those too busy to follow haskell-cafe, would go to haskell, everything else would go to haskell-cafe. but even those topics starting out on haskell are meant to migrate to haskell-cafe after a few posts at most. in other words, people were meant to subscribe either to haskell or to haskell+haskell-cafe, and posting to haskell was meant to be a flag able to raise a topic briefly over the general din in haskell-cafe. see also the welcome messages: http://www.haskell.org/mailman/listinfo/haskell http://www.haskell.org/mailman/listinfo/haskell-cafe (note that the second is slightly misleading: *everything* is off-topic on haskell@ after a few exchanges, i think; note also that crossposting was explicitly ruled out) > I did wonder whether this discussion should take place > on the haskell@ list or the haskell-cafe@ one - the great > ambiguity of the lists. this discussion should have started out on haskell@. and since it is entirely about changing haskell@, it probably should have stayed there as well. it is not very helpful to discuss changes to a specific list on another list!-) however, it has become a problem, and i don't know whether everyone on haskell-cafe is really subscribed to haskell as well anymore. so posting announcements only to haskell might miss the majority of haskeller on cafe, the crossposting some have started to resort to is expressly discourage in the haskell-cafe 'charta', newcomers don't know where to post or where to subscribe, threads sometimes linger on haskell@ instead of migrating to haskell-cafe, etc. as i indicated, i wasn't a fan of the split, but it had its merits: the free discussion on haskell-cafe is nice, and the intention of haskell@ as a highlights channel for busy haskellers was understandable, even if it doesn't seem to work any more. if my interpretation of the split intentions (*) is accurate, my proposal to alleviate the current confusion would be: - do not assume everyone is on haskell@ as well - do not prohibit cross-postings anymore, but give clear instructions about when to use them - for most haskellers, haskell-cafe has become the main channel, so do not post only to haskell@ - for most specific discussions, there are specific lists, so there seems little need for haskell@ as a general discussion forum => all posts meant for either haskell or haskell-cafe go to haskell-cafe => threads that are likely to be of interest to everyone on both lists may be highlighted on haskell@, either by crossposting the first (and only the first) email in the thread, or by posting a brief discussion announcement/summary to haskell@ that way, there'd be no confusion about where to post (always haskell-cafe), or whether to crosspost (permitted, but only for thread starters) and no limitation to formal announcements and cfps only (whenever something of wider interest starts on -cafe, interesting techniques or discussions, or events, or announcements, also send a brief invitation to haskell@). and busy haskellers can see on haskell@ whenever there is a thread on haskell-cafe that they might want to read/join. does this sound workable? claus

8 8

downtime for monk ({darcs, hackage, cvs}.haskell.org) Monday from 3pm UTC
by Ian Lynagh 24 Sep '07

24 Sep '07

Hi all, The machine called monk, which serves as darcs.haskell.org hackage.haskell.org cvs.haskell.org haskell.galois.com will be down from 3pm UTC on Monday 24th for an OS and RAM upgrade. If you know of any important services run on the machine other than darcs, CVS, trac, hackage and darcsweb then please let us know. Thanks Ian

2 2

ANN: Haskell S3 Library 0.1
by Greg Heartsfield 24 Sep '07

24 Sep '07

Hello, This is the first release of hS3, a Haskell interface to Amazon's Simple Storage Service. One week from conception to this release, it is still rough around the edges, but the basic functionality does work. Get it from Hackage: <http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hS3-0.1> A brief writeup with links to documentation and the darcs repo is on my blog: <http://scsibug.com/2007/09/23/haskell-s3-library/> Thanks, Greg Heartsfield

3 2

Math behind Haskell
by Tomas Caithaml 24 Sep '07

24 Sep '07

Hi all. When I was playing with Haskell and reading stuff about it, I noticed that there is a lot of information in a form of research papers and a lot of mathematics involved. I must confess that I quite like this academic approach. Well, I thought that while I am still at university I could take some math classes to help me better understand these things and broaden my horizon. Any suggestion what could be relevant? I came up with: * Lambda calculus - the basis of functional languages * Category theory - where all these mysterious things like monads, arrows, and functors come from. * Topology (?) - don't know; I thought it is important rather in mathematical analysis (which I don't like much) but I have seen somewhere some references to it in context of CS. Any other suggestions? Thanks, Tom.

10 9

Haskell Weekly News: September 23, 2007
by Don Stewart 24 Sep '07

24 Sep '07

--------------------------------------------------------------------------- Haskell Weekly News http://sequence.complete.org/hwn/20070923 Issue 65 - September 23, 2007 --------------------------------------------------------------------------- Welcome to issue 65 of HWN, a newsletter covering developments in the [1]Haskell community. This episode comes to you live from Portland, Oregon, where the HWN automaton now lives, running on a virtual host at Galois, Inc. 1. http://haskell.org/ Announcements Cabal 1.2.0 released. Thomas Schilling [2]announced that [3]Cabal version 1.2.0 is available. The major new feature in this release is support for Cabal configurations. This allows package authors to more easily adopt their package descriptions to different system parameters such as operating system, architecture, or compiler. In addition, some optional features may be enabled or disabled explicitly by the package user. 2. http://article.gmane.org/gmane.comp.lang.haskell.libraries/7491 3. http://www.haskell.org/cabal SparseCheck. Matthew Naylor [4]announced SparseCheck, a library for typed, depth-bounded logic programming in Haskell allowing convenient expression of test-data generators for properties with sparse domains. More information on the [5]home page. 4. http://article.gmane.org/gmane.comp.lang.haskell.general/15593 5. http://www.cs.york.ac.uk/~mfn/sparsecheck/ monadLib 3.3.0. Iavor Diatchki [6]announced a new version of monadLib, adding the identiy transformer, and a family of deriving functions. 6. http://article.gmane.org/gmane.comp.lang.haskell.general/15586 ListLlke. John Goerzen [7]announced ListLike, a generic interface to the various list-like structures in Haskell. 7. http://article.gmane.org/gmane.comp.lang.haskell.general/15582 HaL2: Meeting Haskell in Leipzig 2: videos. Klaus Meier [8]announced that the videos and presentations of the talks given at HaL2 are [9]now online. 8. http://article.gmane.org/gmane.comp.lang.haskell.general/15565 9. http://iba-cg.de/haskell.html The Monad.Reader: Issue 8. Wouter Swierstra [10]announced that the latest issue of The Monad.Reader is [11]now available. Issue 8 consists of the following two articles: Brent Yorgey on 'Generating Multiset Partitions' and Conrad Parker's 'Type-Level Instant Insanity' 10. http://article.gmane.org/gmane.comp.lang.haskell.general/15554 11. http://www.haskell.org/haskellwiki/The_Monad.Reader Haskell mode plugins for Vim. Claus Reinke [12]announced improved [13]haskell mode plugins for vim. 12. http://article.gmane.org/gmane.comp.lang.haskell.general/15553 13. http://article.gmane.org/gmane.comp.lang.haskell.general/15553 hstats-0.1. Marshall Beddoe [14]announced a statistical computing module for Haskell. 14. http://article.gmane.org/gmane.comp.lang.haskell.cafe/28973 HIntegerByInt. Isaac Dupree [15]announced a [16]reimplementation, in Haskell, of the Integer type that Haskell provides in its Prelude. It is designed in mind of being actually usable as the implementation of that type, for compilers. It is also a module that exports a working Integer type. It is in terms of only basic Prelude functions, lists, and Int. It is NOT a purely inductive definition, because Int is much faster than a purely inductive definition would allow, and nevertheless often easier to come by (more portable, license-wise, size-wise, nuisance-wise...) than GMP or other C bignum libraries. 15. http://thread.gmane.org/gmane.comp.lang.haskell.libraries/7285 16. http://isaac.cedarswampstudios.org/2007/HIntegerByInt OzHaskell: Australian Haskell Programmers Group. Manuel Chakravarty [17]started organising OzHaskell, and Australian Haskell user's group. 17. http://article.gmane.org/gmane.comp.lang.haskell.cafe/28883 Israeli Haskell Programmers Group. B K [18]also seeks to form an Israeli Haskell user's group 18. http://article.gmane.org/gmane.comp.lang.haskell.cafe/28877 xmonad 0.3. Don Stewart [19]announced the 0.3 release of [20]xmonad. xmonad is a tiling window manager for X. Windows are arranged automatically to tile the screen without gaps or overlap, maximising screen use. 19. http://article.gmane.org/gmane.comp.lang.haskell.cafe/28425 20. http://xmonad.org/ HPDF 1.0. alpheccar [21]announced version 1.0 of the [22]HPDF library. 21. http://article.gmane.org/gmane.comp.lang.haskell.cafe/28371 22. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HPDF-1.0 pcap: user-level network packet capture. Bryan O'Sullivan [23]announced the release of pcap 0.3.1 23. http://article.gmane.org/gmane.comp.lang.haskell.cafe/28139 Gtk2Hs Tutorial. Hans van Thiel [24]announced a port of the GTK2 [25]tutorial by Tony Gail and Ian Main to Haskell's gtk2hs. 24. http://article.gmane.org/gmane.comp.lang.haskell.cafe/27954 25. http://tinyurl.com/yrbtsu An efficient lazy suffix tree library. Bryan O'Sullivan [26]posted a [27]suffix tree library to hackage. It implements Giegerich and Kurtz's lazy construction algorithm, with a few tweaks for better performance and resource usage. 26. http://article.gmane.org/gmane.comp.lang.haskell.cafe/27891 27. http://www.serpentine.com/software/suffixtree/ Bay Area Functional Programmers. Keith Fahlgren [28]announced the formation of the [29]Bay Area Functional Programmers group. This group is for anyone using or interested in functional programming and functional programming languages, particularly strongly typed languages such as Haskell, OCaml and SML. 28. http://article.gmane.org/gmane.comp.lang.haskell.cafe/27860 29. http://bayfp.org/ Haskell irc channel reaches 400 users. Don Stewart [30]noticed that, five and a half years after its inception, under the guiding hand of Shae Erisson (aka shapr), the [31]Haskell IRC channel on freenode has reached 400 users! 30. http://article.gmane.org/gmane.comp.lang.haskell.cafe/27826 31. http://www.haskell.org/haskellwiki/IRC_channel Guihaskell and PropLang 0.1. Asumu Takikawa [32]announced the results of his Google Summer of Code project: Guihaskell, a graphical REPL using PropLang and work on PropLang, a GUI library built on Gtk2hs that allows for high level design. 32. http://article.gmane.org/gmane.comp.lang.haskell.cafe/27598 HAppS-Data 0.9: XML, Pairs, HList, deriveAll. Alex Jacobson [33]announced that the components of [34]HAppS are being released as individual useful packages. HAppS-Data is the first in a series, and provides useful operations on XML data. 33. http://article.gmane.org/gmane.comp.lang.haskell.cafe/27597 34. http://happs.org/ Introduction to proving Haskell code. Tim Newsham [35]put together [36]a small intro lesson on proving Haskell code using quickcheck, equational reasoning and Isabelle/HOL. 35. http://article.gmane.org/gmane.comp.lang.haskell.cafe/27523 36. http://www.thenewsh.com/%7Enewsham/formal/reverse/ Very Fast Searching of ByteStrings. Chris Kuklewicz [37]announced a Boyer-Moore algorithm implemented for strict and lazy bytestrings (and combinations thereof). It finds all the overlapping instances of the pattern inside the target. 37. http://article.gmane.org/gmane.comp.lang.haskell.libraries/7363 Infinity 0.1. Austin Seipp [38]announced Infinity v0.1. an IRC bot in the essence of lambdabot; that is, it should be extendable through plugins and plugins should be easy to write, modify and contribute. 38. http://article.gmane.org/gmane.comp.lang.haskell.cafe/27445 Haskell' This section covers the [39]Haskell' standardisation process. * [40]Instances of Read on bounded integral types should detect overflow 39. http://hackage.haskell.org/trac/haskell-prime 40. http://article.gmane.org/gmane.comp.lang.haskell.prime/2302 Libraries This week's proposals and extensions to the [41]standard libraries. * [42]Add &&& and *** to Data.Tuple * [43]Add System.Info.isWindows * [44]Make arrays safer * [45]GenT monad transformer variant of Gen * [46]Test.HUnit documentation * [47]Data.List.groupBy with non-transitive equality predicate * [48]Add dropped STM invariants functions * [49]Add Data.Eq.equating to match Data.Ord.comparing * [50]Fix abstract unix sockets 41. http://haskell.org/haskellwiki/Library_submissions 42. http://thread.gmane.org/gmane.comp.lang.haskell.libraries/7550 43. http://thread.gmane.org/gmane.comp.lang.haskell.libraries/7261 44. http://thread.gmane.org/gmane.comp.lang.haskell.libraries/7283 45. http://article.gmane.org/gmane.comp.lang.haskell.libraries/7294 46. http://article.gmane.org/gmane.comp.lang.haskell.libraries/7394 47. http://article.gmane.org/gmane.comp.lang.haskell.libraries/7400 48. http://article.gmane.org/gmane.comp.lang.haskell.libraries/7598 49. http://article.gmane.org/gmane.comp.lang.haskell.libraries/7594 50. http://article.gmane.org/gmane.comp.lang.haskell.libraries/7544 Hackage This week's new libraries in [51]the Hackage library database. 51. http://hackage.haskell.org/ * numbers-2007.9.23. Lennart Augustsson. [52]numbers: instances of the numerical classes for a variety of different numbers. 52. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/numbers-2007.9.23 * hmp3 1.3. Don Stewart. [53]hmp3: An mp3 player with a curses frontend. 53. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hmp3-1.3 * utf-string 0.2. Eric Mertens. [54]utf8-string: A UTF8 layer for IO and Strings. 54. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/utf8-string-0.2 * hstats 0.1. Marshall Beddoe. [55]hstats: A library of commonly used statistical functions. 55. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hstats-0.1 * sparsecheck 0.2. Matthew Naylor. [56]SparseCheck: a library for logic programming in Haskell that allows convenient description of test-data generators. 56. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/sparsecheck-0.1 * monadLib 3.3.0. Iavor Diatchki. [57]monadLib: A collection of monad transformers. 57. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/monadLib-3.3.0 * ListLike 1.0.0. John Goerzen. [58]ListLike: Generic support for list-like structures in Haskell. 58. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/ListLike-1.0.0 * cabal-test 0.1. David Himmelstrup. [59]cabal-test: Cabal-test is a tool for testing cabal projects. 59. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/cabal-test-0.1 * HPDF 1.1. alpheccar. [60]HPDF: a PDF library. 60. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HPDF-1.1 * hxt 7.3. Uwe Schmidt. [61]hxt: The Haskell XML Toolbox. 61. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hxt-7.3 * irc 0.1. Trevor Elliott. [62]irc: A small library for parsing IRC messages 62. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/irc-0.1 * hsdns 1.0. Peter Simons. [63]hsdns: an asynchronous DNS resolver based on GNU ADNS. 63. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hsdns-1.0 * streamproc 1.0. Peter Simons. [64]streamproc: Stream Processer Arrow 64. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/streamproc-1.0 * hsemail 1.0. Peter Simons. [65]hsemail: Parsers for the syntax defined in RFC2821 and 2822 65. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hsemail-1.0 * funcmp 1.0. Peter Simons. [66]funcmp: Functional MetaPost is a Haskell frontend to the MetaPost language 66. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/funcmp-1.0 * cabal-rpm 0.3.1. Bryan OSullivan. [67]cabal-rpm: This package turns Haskell Cabal source packages into source and binary RPM packages. 67. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/cabal-rpm-0.3.1 * Finance-Quote-Yahoo 0.3. Brad Clawsie. [68]Finance-Quote-Yahoo: Obtain quote data from finance.yahoo.com 68. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Finance-Quote-Ya… * xmonad 0.3. Spencer Janssen. [69]xmonad: a minimalist tiling window manager for X 69. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/xmonad-0.3 * hint 0.1. Daniel Gorin. [70]hint: an interpreter monad for Haskell expressions based on ghc-api 70. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hint-0.1 * ipprint 0.2. Gleb Alexeyev. [71]ipprint: Tiny helper for pretty-printing values in ghci console 71. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/ipprint-0.2 * pandoc 0.44. John MacFarlane. [72]pandoc: Conversion between markup formats 72. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/pandoc-0.44 * X11-extras 0.3. Spencer Janssen. [73]X11-extras: Missing bindings to the X11 graphics library 73. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/X11-extras-0.3 * dsp 0.2. Matthew Donadio. [74]dsp: Digital Signal Processing, Fourier Transform, Filter design, Frequency estimation, Interpolation, Linear Algebra, Polynomials 74. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/dsp-0.2 * c2hs 0.15.0. Manuel Chakravarty. [75]c2hs: C->Haskell assists in the development of Haskell bindings to C libraries. 75. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/c2hs-0.15.0 * regex-base 0.92. Chris Kuklewicz. [76]regex-base: Interface API for regex-posix,pcre,parsec,tdfa,dfa 76. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/regex-base-0.92 * soegtk 0.9.12.2. Duncan Coutts. [77]soegtk: SOE api for gtk2hs 77. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/soegtk-0.9.12.2 * hsns 0.5.3. Austin Seipp. [78]hsns: a miniature network sniffer 78. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hsns-0.5.3 * anydbm 1.0.4. John Goerzen. [79]anydbm: Interface for DBM-like database systems 79. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/anydbm-1.0.4 * suffixtree 0.2.1. Bryan O'Sullivan [80]suffixtree: An efficient, lazy suffix tree implementation. 80. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/suffixtree-0.2.1 Discussion A regressive view of support for imperative programming in Haskell. Paul Hudak [81]sparked an interesting thread about the effect on the language of rich support for imperative programming. 81. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/27214 Conference roundup * [82]Sydney Area Programming Language INterest Group: Call for Abstracts 82. http://article.gmane.org/gmane.comp.lang.haskell.cafe/29046 Jobs A top tier Investment bank is looking for a Haskell developer. Kyle McBeath [83]announced that there is a available a permanent position in London, joining a cross asset team. You will be able to use Haskell commercially everyday, be generously compensated and be on the forefront of technology in banking. This is a great opportunity for PhD students or above with proven experience of Haskell programming. 83. http://article.gmane.org/gmane.comp.lang.haskell.general/15552 Postdoctoral Fellowship in Functional Programming. Graham Hutton [84]announced that applications are invited for a 3-year postdoctoral research fellowship in functional programming, to work on the EPSRC-funded project 'Reasoning About Exceptions and Interrupts'. 84. http://article.gmane.org/gmane.comp.lang.haskell.general/15600 Blog noise [85]Haskell news from the [86]blogosphere. * [87]Peano induction for binary numbers * [88]Simple proof of stack correctness for a tiny language (in Agda) * [89]Peano, episode 3 * [90]Proving Haskell programs correct with QuickCheck and Isabelle/HOL * [91]Coq and simple group theory * [92]Coq and The Monad Laws: Introduction * [93]Coq and The Monad Laws: The First and Second * [94]Coq and The Monad Laws: The Third * [95]Revisiting board-building in chess * [96]Monads * [97]A Monad Tutorial for Ocaml * [98]Learning about (Computational) Monads * [99]I Wasn't Joking about One-Argument Haskell Functions * [100]Mapping Programming Language IRC Channels 85. http://planet.haskell.org/ 86. http://haskell.org/haskellwiki/Blog_articles 87. http://sneezy.cs.nott.ac.uk/fplunch/weblog/?p=70 88. http://sneezy.cs.nott.ac.uk/fplunch/weblog/?p=71 89. http://sneezy.cs.nott.ac.uk/fplunch/weblog/?p=72 90. http://www.thenewsh.com/%7Enewsham/formal/reverse/ 91. http://blog.mikael.johanssons.org/archive/2007/08/coq-and-simple-group-theo… 92. http://sequence.complete.org/node/358 93. http://sequence.complete.org/node/359 94. http://sequence.complete.org/node/360 95. http://sequence.complete.org/node/361 96. http://www.bofh.org.uk/articles/2007/08/07/monads 97. http://enfranchisedmind.com/blog/archive/2007/08/06/307 98. http://dailykibitz.blogspot.com/2007/08/learning-about-computational-monads… 99. http://www.oreillynet.com/onlamp/blog/2007/08/i_wasnt_joking_about_oneargum… 100. http://chneukirchen.org/blog/archive/2007/08/mapping-programming-language-i… * [101]ASCII Rave in Haskell * [102]Today is similar to the programming languages situation of twenty years ago * [103]Haskell - the videos * [104]QuickCheck : Why Testing code should be Laissez-faire * [105]Rationals! * [106]Grass-Roots Functional Languages? * [107]Programming in C, ummm, Haskell * [108]And what about C arrays? * [109]Real Quicksort in Haskell * [110]Pointer tagging * [111]n00b Thoughts on Haskell * [112]'The way forward involves functional programming' * [113]Does Syntax Matter? * [114]A bright future: security and modern type systems * [115]Making the transition from sequential to implicit parallel programming: How sequential languages obscure parallelism * [116]Software Transactional Memory - Making multithreading easier * [117]Roman Numerals in Haskell * [118]A history of monad tutorials * [119]Java Becoming Solution for Safety-Critical Applications * [120]Dunno (about STM) 101. http://doc.gold.ac.uk/~ma503am/alex/asciirave 102. http://pinderkent.blogsavy.com/archives/97 103. http://www.elbeno.com/blog/?p=353 104. http://disparatemathematician.blogspot.com/2007/08/why-testing-code-should-… 105. http://byorgey.wordpress.com/2007/08/13/rationals/ 106. http://www.falvotech.com/blog/index.php?/archives/68-Grass-Roots-Functional… 107. http://augustss.blogspot.com/2007/08/programming-in-c-ummm-haskell-heres.ht… 108. http://augustss.blogspot.com/2007/08/what-about-arrays-after-doing-my-littl… 109. http://augustss.blogspot.com/2007/08/quicksort-in-haskell-quicksort-is.html 110. http://community.livejournal.com/evan_tech/229988.html 111. http://dumpendebat.net/2007/08/14/n00b-thoughts-on-haskell/ 112. http://notes-on-haskell.blogspot.com/2007/08/haskell-more-than-just-hype.ht… 113. http://notes-on-haskell.blogspot.com/2007/08/does-syntax-matter.html 114. http://blog.moertel.com/articles/2007/08/15/a-bright-future-security-and-mo… 115. http://www.embedded.com/design/multicore/201500267 116. http://weblogs.asp.net/ralfw/archive/2007/07/03/software-transactional-memo… 117. http://fawcett.blogspot.com/2007/08/roman-numerals-in-haskell.html 118. http://koweycode.blogspot.com/2007/08/history-of-monad-tutorials.html 119. http://www.sdtimes.com/article/latestnews-20070815-04.html 120. http://patricklogan.blogspot.com/2007/08/dunno.html * [121]A thesis about language niches * [122]Thoughts on Scheme from a Haskeller * [123]Arrow Transformers for sample rate conversion * [124]Playing with Propositional Logic in Haskell * [125]Programmer productivity, feature set implementation, and runtime performance * [126]Anatomy of a new monad * [127]Welcome to Haskell for Maths Blog * [128]Monadic Parser Combinators using C# 3.0 * [129]Blog Rewrite - I'm giving up * [130]Implementing The Kelly Criterion * [131]Universal Floating Point Errors * [132]Polyglot Programming - is it all Greek to you? * [133]Factor with a dash of curry * [134]How to learn to program * [135]I dated Haskell Curry's daughter * [136]Importance and Prominence and the wave: FP * [137]A Beautiful Regex Matcher... In Haskell * [138]San Francisco Bay Area FP Group * [139]AngloHaskell: The Aftermath * [140]Leibniz Equality, Decomposition, and Definability 121. http://utcc.utoronto.ca/~cks/space/blog/programming/LanguageNiches 122. http://overwatering.blogspot.com/2007/08/thoughts-on-scheme.html 123. http://www.blurty.com/users/claudiusmaximus/day/2007/08/18 124. http://www.present-tense.org/2007/08/18/playing-with-propositional-logic/ 125. http://pinderkent.blogsavy.com/archives/107 126. http://paulspontifications.blogspot.com/2007/08/anatomy-of-new-monad.html 127. http://polyomino.blogspot.com/2007/08/welcome.html 128. http://blogs.msdn.com/lukeh/archive/2007/08/19/monadic-parser-combinators-u… 129. http://lukeplant.me.uk/blog.php?id=1107301674 130. http://r6.ca/blog/20070820T175938Z.html 131. http://notes-on-haskell.blogspot.com/2007/08/universal-floating-point-error… 132. http://grahamis.com/blog/2007/08/21/polyglot-programming-is-it-all-greek-to… 133. http://useless-factor.blogspot.com/2007/08/factors-curry.html 134. http://madhadron.auditblogs.com/2007/08/21/how-to-learn-to-program/ 135. http://importantshock.wordpress.com/2007/08/21/haskell-curry-yes-i-dated-hi… 136. http://balasubramanians.com/blog/?p=312 137. http://www.oreillynet.com/onlamp/blog/2007/08/a_beautiful_regex_matcher_in_… 138. http://kfahlgren.com/blog/2007/08/21/san-francisco-bay-area-fp-group/ 139. http://neilmitchell.blogspot.com/2007/08/anlgohaskell-aftermath.html 140. http://blog.jbapple.com/2007/08/leibniz-equality-decomposition-and.html * [141]Word ladder in Haskell * [142]Existential Data Constructors in Haskell and Qi * [143]Sun slots transactional memory into Rock * [144]Haskell for pluggable apps, with the GHC API * [145]Yoda Speaks Haskell: A Tutorial * [146]Haskell Syntax Gem * [147]ClusterBy: a handy little function for the toolbox * [148]Squarefree numbers in Haskell * [149]Overloading functional references * [150]Haskell PDF 1.0 * [151]More fun with randoms * [152]Learn Haskell in 5 minutes a day: lesson 1 * [153]Destructive Quicksort in Haskell * [154]Tries and their derivatives * [155]Haskell HMAC * [156]Solving the word numbers problem: part 2 * [157]Solving the word numbers problem: part 3 * [158]Functional Forth * [159]F#'s monadic syntax * [160]The Actors Model and Haskell 141. http://gbacon.blogspot.com/2007/08/word-ladder-in-haskell.html 142. http://programmingkungfuqi.blogspot.com/2007/08/existential-data-constructo… 143. http://www.theregister.com/2007/08/21/sun_transactional_memory_rock/ 144. http://austin.youareinferior.net/?q=node/29 145. http://www.kirit.com/Yoda%20speaks%20Visual%20Haskell 146. http://www.joachim-breitner.de/blog/archives/262-Haskell-Syntax-Gem.html 147. http://blog.moertel.com/articles/2007/09/01/clusterby-a-handy-little-functi… 148. http://byorgey.wordpress.com/2007/09/01/squarefree-numbers-in-haskell/ 149. http://twan.home.fmf.nl/blog/haskell/overloading-functional-references.deta… 150. http://www.alpheccar.org/en/posts/show/80 151. http://osfameron.vox.com/library/post/more-random-fun.html 152. http://learnhaskell.blogspot.com/2007/09/lesson-1-hello-world.html 153. http://jputnam.livejournal.com/42065.html 154. http://sigfpe.blogspot.com/2007/09/tries-and-their-derivatives_08.html 155. http://scsibug.com/2007/09/16/haskell-hmac/ 156. http://conway.rutgers.edu/~ccshan/wiki/blog/posts/WordNumbers2/ 157. http://conway.rutgers.edu/~ccshan/wiki/blog/posts/WordNumbers3/ 158. http://wiki.forthfreak.net/index.cgi?FunForth 159. http://blogs.msdn.com/dsyme/archive/2007/09/22/some-details-on-f-computatio… 160. http://lstephen.wordpress.com/2007/09/08/the-actors-model-and-haskell/ * [161]Haskell and the South African Computing Olympiad * [162]The Power of Folds * [163]Folding Incremental Averages in Haskell * [164]OpenGL tetris in Haskell * [165]Learn Haskell in 5 minutes a day: Lesson 1: Hello, World! * [166]Learn Haskell in 5 minutes a day: Lesson 2: Input and Output, Variable Binding, and more * [167]Learn Haskell in 5 minutes a day: Lesson 3: case * [168]Break a string into groups of characters * [169]A news aggregator * [170]Haskell elevator pitch * [171]Do Notation and Sequence Operator * [172]Part 1: How sequential languages obscure parallelism * [173]Part 2: How to achieve parallel execution * [174]Part 3: Explicit parallel programming with threads and locks * [175]Part 4: Explicit parallelism: message-passing programming * [176]Part 5: Implicit parallel programming: Declarative languages * [177]Part 6: So, why aren't we using functional languages yet? * [178]More articles about multicores and multiprocessors 161. http://squing.blogspot.com/2007/09/haskelling-saco-1.html 162. http://www.sftank.net/?q=node/11 163. http://kraeutler.net/vincent/essays/Folding%20Incremental%20Averages%20in%2… 164. http://myawesomeblag.blogspot.com/2007/03/opengl-tetris-in-haskell.html 165. http://learnhaskell.blogspot.com/2007/09/lesson-1-hello-world.html 166. http://learnhaskell.blogspot.com/2007/09/lesson-2-input-and-output-variable… 167. http://learnhaskell.blogspot.com/2007/09/lesson-3-case-3.html 168. http://www.perlmonks.org/?node_id=632023 169. http://www.b7j0c.org/content/haskell-newspage.html 170. http://nickmudge.info/?post=51 171. http://nickmudge.info/?post=56 172. http://www.embedded.com/design/multicore/201500267 173. http://www.embedded.com/showArticle.jhtml?articleID=201801070 174. http://www.embedded.com/showArticle.jhtml?articleID=201802337 175. http://www.embedded.com/design/multicore/201803783?_requestid=708481 176. http://www.embedded.com/design/multicore/201804960?_requestid=708724 177. http://www.embedded.com/design/multicore/201806715 178. http://www.embedded.com/design/multicore/173400008 Quotes of the Week * nomeata: Haskell is basically Swiss: Small, Efficient, and it is fun to explore the higher parts. * Tom Moertel: In the not-too-distant future, perhaps, we might look back in amazement at the days when important security properties were neither free nor guaranteed but expensive and uncertain, underwritten only by the heroic efforts of individual programmers, struggling against impossible odds to achieve inhuman perfection. * Adam Turoff: In any case, Simon Peyton Jones is right -- the way forward involves functional programming, whether it means choosing a language like Haskell, or integrating ideas from Haskell into your language of choice. * bootslack: Once, around the time of the discovery of fire, there was a large population of people that thought mastering fire would be too difficult so they didn't. The rest of us killed them, cooked them and ate them. Code Watch Notable new features and bug fixes to the Haskell compilers. Thu Sep 6 09:19:48 PDT 2007. Norman Ramsey . [179]massive changes to add a 'zipper' representation of C-- 179. http://article.gmane.org/gmane.comp.lang.haskell.cvs.ghc/23114 Tue Aug 14 03:36:23 PDT 2007. Ben Lippmeier. Add graph coloring register allocator. Refactored linear allocator into separate liveness annotation and allocation stages. Added graph coloring allocator, use -fregs-graph to enable. New dump flags are -ddump-asm-native -- output of cmm -> native transform. -ddump-asm-liveness -- code annotated with register liveness info -ddump-asm-coalesce -- output of register move coalescing (this is a separate pass when using the coloring allocator) (this could change in the future) -ddump-asm-regalloc -- code after register allocation -ddump-asm-regalloc-stages -- blocks after each build/spill stage of coloring allocator -ddump-asm-conflicts -- a global register liveness graph in graphviz format The new register allocator will allocate some registers, but it's not quite ready for prime-time yet. The spill code generator needs some work. About the Haskell Weekly News New editions are posted to [180]the Haskell mailing list as well as to [181]the Haskell Sequence and [182]Planet Haskell. [183]RSS is also available, and headlines appear on [184]haskell.org. Headlines are available as [185]PDF. To help create new editions of this newsletter, please see the [186]contributing information. Send stories to dons at galois.com. The darcs repository is available at darcs get [187]http://www.cse.unsw.edu.au/~dons/code/hwn References 180. http://www.haskell.org/mailman/listinfo/haskell 181. http://sequence.complete.org/ 182. http://planet.haskell.org/ 183. http://sequence.complete.org/node/feed 184. http://haskell.org/ 185. http://www.cse.unsw.edu.au/~dons/code/hwn/archives/20070923.pdf 186. http://haskell.org/haskellwiki/HWN 187. http://www.cse.unsw.edu.au/~dons/code/hwn

1 0