[Haskell-cafe] Haskell Weekly News: September 23, 2007

Don Stewart dons at galois.com
Sun Sep 23 23:18:53 EDT 2007


---------------------------------------------------------------------------
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-Yahoo-0.3

     * 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-theory/
  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.html
  99. http://www.oreillynet.com/onlamp/blog/2007/08/i_wasnt_joking_about_oneargume.html
 100. http://chneukirchen.org/blog/archive/2007/08/mapping-programming-language-irc-channels.html

     * [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-be-laissez.html
 105. http://byorgey.wordpress.com/2007/08/13/rationals/
 106. http://www.falvotech.com/blog/index.php?/archives/68-Grass-Roots-Functional-Languages.html
 107. http://augustss.blogspot.com/2007/08/programming-in-c-ummm-haskell-heres.html
 108. http://augustss.blogspot.com/2007/08/what-about-arrays-after-doing-my-little.html
 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.html
 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-modern-type-systems
 115. http://www.embedded.com/design/multicore/201500267
 116. http://weblogs.asp.net/ralfw/archive/2007/07/03/software-transactional-memory-making-multithreading-easier.aspx
 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-using-c-3-0.aspx
 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-errors.html
 132. http://grahamis.com/blog/2007/08/21/polyglot-programming-is-it-all-greek-to-you/
 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-his-daughter/
 136. http://balasubramanians.com/blog/?p=312
 137. http://www.oreillynet.com/onlamp/blog/2007/08/a_beautiful_regex_matcher_in_h.html
 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-constructors-in.html
 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-function-for-the-toolbox
 148. http://byorgey.wordpress.com/2007/09/01/squarefree-numbers-in-haskell/
 149. http://twan.home.fmf.nl/blog/haskell/overloading-functional-references.details
 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-computation-expressions-aka-monadic-or-workflow-syntax.aspx
 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%20Haskell
 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.html
 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


More information about the Haskell-Cafe mailing list