[Haskell-cafe] Haskell Weekly News: Issue 130 - September 12, 2009

Joe Fredette jfredett at gmail.com
Sat Sep 12 13:11:59 EDT 2009

Haskell Weekly News
Issue 130 - September 12, 2009
    Welcome to issue 130 of HWN, a newsletter covering developments in  
    [1]Haskell community.

    Welcome to issue 130 of HWN! In the last week, HWN has gotten a new
    editor, me! I'm Joe Fredette (jfredett on IRC, reddit, and  
    else), and I'll be taking over for Brent (byorgey) from now on. I  
    I speak for the whole community when I thank him for his excellent  
    on the HWN and associated tools. I have a few ideas about how I  
want to
    change HWN for the better, and hopefully you'll like them too! So,
    without further ado, The Haskell Weekly News!


    Looking for a new HWN editor. Brent Yorgey [2]went looking for a new
    editor for the HWN, and that's how you got me! See the editorial for
    more details.

    CfPart: FMICS 2009, 2-3 November 2009. Christophe Joubert  
    FMICS 2009 - FIRST CALL FOR PARTICIPATION, 14th International  
    on Formal Methods for Industrial Critical Systems. November 2-3,  

    Call for Posters: APLAS 2009. Kiminori Matsuzaki [4]announced a CALL
    FOR POSTER PRESENTATIONS The Seventh ASIAN Symposium on Programming
    Languages and Systems (APLAS 2009) December 14 - 16, 2009 Seoul
    National University, Seoul, Korea.

    hecc-0.1. Marcel Fourné [5]announced the first release of hecc,  
    Elliptic Curve Cryptography Library for Haskell. Implemented are
    affine, projective, jacobian and modified jacobian point formats  
    the basic operations. Included as an Example is a basic ECDH as  
well as
    a basic speed test.

    HLint 1.6.8. Neil Mitchell [6]announced HLint 1.6.8. HLint is a tool
    for suggesting improvements to your source code. It suggests the  
use of
    library functions you may have been unaware of, finds patterns of
    recursion that are really folds/maps, hints about extensions you  
    using and much more. HLint is now one of the top 20 applications on
    Hackage, and is used by the darcs project to improve and statically
    check their code base.

    A Levenberg-Marquardt implementation. Bas van Dijk [7]announced the
    release of a Haskell binding to Manolis Lourakis's C levmar library.
    This library implements the Levenberg-Marquardt algorithm which is  
    iterative technique that finds a local minimum of a function that is
    expressed as the sum of squares of nonlinear functions. It has  
become a
    standard technique for nonlinear least-squares problems and can be
    thought of as a combination of steepest descent and the Gauss-Newton

    CCA-0.1. Paul L [8]announced that a library for Causal Commutative
    Arrows (CCA) has been uploaded to Hackage DB. It implements CCA
    normalization using Template Haskell and a modified arrow pre- 
    (based on arrowp) to generate outout that Template Haskell can  
    It's highly experimental since we are still fiddling with several
    design choices, and by no means we imply Template Haskell is the  
    choice to implement CCA. Any suggestion or comment is welcome!

    graphviz-2999.5.0.0. Ivan Lazar Miljenovic [9]announced version
    2999.5.0.0 of the graphviz package for Haskell. This is what I  
like to
    think of as the 'Hey, this is almost getting to be a decent  
    version. The graphviz package provides bindings to the GraphViz  
    of programs by providing the ability to generate and parse  
    Dot language as well as wrappers around the tools themselves.

    uvector-algorithms 0.2. Dan Doel [10]announced version 0.2 of the
    uvector-algorithms package. The package so far has implementations  
    several sorting and selection algorithms for use on the mutable  
    from the uvector library, as well as combinators for applying them  
    immutable arrays.

    dbmigrations 0.1. Jonathan Daugherty [11]announced dbmigrations, A
    library and program for the creation, management, and installation  
    schema updates (called migrations) for a relational database. In
    particular, this package lets the migration author express explicit
    dependencies between migrations and the management tool  
    installs or reverts migrations accordingly, using transactions for
    safety. This package is written to support any HDBC-supported  
    although at present only PostgreSQL is fully supported.

    Palindromes 0.1. Johan Jeuring [12]announced Palindromes, a  
package for
    finding palindromes in files. Visit the [13]homepage The primary
    features of Palindromes include: A linear-time algorithm for finding
    exact palindromes, A linear-time algorithm for finding text
    palindromes, ignoring spaces, case of characters, and punctuation


    Averting QuickCheck Madness. Christopher Lane Hinson Christopher  
    [14]asked about best practices with regards to QuickCheck, and it's
    inclusion/exclusion as a dependency for end-user programs.

    How to customize dyre recompile? Andy Stewart Andy Stewart [15]asked
    about how to customize Dyre's settings to do a whole-program

    Externally derive instance of Data? Dimitry Golubovsky Dimitry
    Golubovsky [16]asked about stand-alone deriving for third-party

    Parallel parsing & multicore. Anakim Border Anakim Border [17]talked
    about parallel parsing, specifically about a parser he had put
    together, which led to a discussion of Edward Kmett's recent talks  

    Ph.D position, Utrecht University, the Netherlands. S.Doaitse
    [18]announced Vacancy PhD student on Realizing Optimal Sharing in  
    Functional Language Implementations Utrecht University, The

Blog noise

    [19]Haskell news from the [20]blogosphere. Blog posts from people  
    to the Haskell community are marked with >>>, be sure to welcome  
      * Eric Kow (kowey): [21]Cabal-Installing graphical apps on MacOS  
      * Don Stewart (dons): [22]Improving Data Structures with  
      * Manuel M T Chakravarty: [23]Haskell Arrays, Accelerated..
      * Galois, Inc: [24]Tech Talk: Building Systems That Enforce
        Measurable Security Goals.
      * Kevin Reid (kpreid): [25]GSoC conclusion..
      * Neil Brown: [26]Boids Simulation: Part 1.
      * Paul Potts: [27]MacPorts, Snow Leopard, and GHC == Sadness.
      * Andrew Calleja: [28]Haskell IDEs on Windows.
      * Sean Leather: [29]"Upwards and downwards accumulations on trees"
        translated into Haskell.
      * Xmonad: [30]The Design and Implementation of XMonad.
      * Galois, Inc: [31]Tech Talk: Constructing a Universal Domain for
        Reasoning About Haskell Datatypes.
      * Well-Typed.Com: [32]Slides from the IHG talk at CUFP.
      * Alex McLean: [33]Hackpact Documentation. This links to part  
one of
        a two part series.
      * Bas van Gijze: [34]Cannibals, Missionaries and the State Monad  
      * Magnus Therning: [35]Wrapping IO. This links to part one of a  
        part series.
      * Don Stewart (dons): [36]Stream Fusion for Haskell Arrays.
      * Tom Schrijvers: [37]EffectiveAdvice: AOP, mixin inheritance,
        monads, parametricity, non-interference, ....
      * Johan Jeuring: [38]Finding palindromes.
      * Neil Brown: [39]Concurrent vs Parallel vs Sequential.
      * Don Stewart (dons): [40]DEFUN 2009: Multicore Programming in
        Haskell Now!.
      * Don Stewart (dons): [41]The Haskell Platform: Status Report:
        Haskell Symposium 2009.

Quotes of the Week

      * lispy: All haskell lists have less than 400 elements
      * Jafet: The C preprocessor is purely dysfunctional
      * edwardk: so the -> is matched on the outside, but the -> and ,  
        to match on the inside, unification fails, dogs and cats start
        living together in harmony, general chaos.
      * yaxu: [about lambdabot] an irc bot that no-one understands the
        workings of has to be a fine precursor to artificial  
      * Gracenotes: all in all, you're just another brick in the -Wall

About the Haskell Weekly News

    New editions are posted to [42]the Haskell mailing list as well as  
    [43]the Haskell Sequence and [44]Planet Haskell. [45]RSS is also
    available, and headlines appear on [46]haskell.org.

    To help create new editions of this newsletter, please see the
    information on [47]how to contribute. Send stories to jfredett .  
at .
    gmail . dot . com. The darcs repository is available at darcs get
    [48]http://code.haskell.org/~byorgey/code/hwn/ .


    1. http://haskell.org/
    2. http://article.gmane.org/gmane.comp.lang.haskell.cafe/63133
    3. http://article.gmane.org/gmane.comp.lang.haskell.general/17476
    4. http://article.gmane.org/gmane.comp.lang.haskell.general/17483
    5. http://article.gmane.org/gmane.comp.lang.haskell.general/17482
    6. http://article.gmane.org/gmane.comp.lang.haskell.general/17481
    7. http://article.gmane.org/gmane.comp.lang.haskell.cafe/63283
    8. http://article.gmane.org/gmane.comp.lang.haskell.cafe/63233
    9. http://article.gmane.org/gmane.comp.lang.haskell.cafe/63219
   10. http://article.gmane.org/gmane.comp.lang.haskell.cafe/63205
   11. http://article.gmane.org/gmane.comp.lang.haskell.cafe/63187
   12. http://article.gmane.org/gmane.comp.lang.haskell.cafe/63157
   13. http://www.jeuring.net/Palindromes/
   14. http://article.gmane.org/gmane.comp.lang.haskell.cafe/63146
   15. http://article.gmane.org/gmane.comp.lang.haskell.cafe/63143
   16. http://article.gmane.org/gmane.comp.lang.haskell.cafe/63314
   17. http://article.gmane.org/gmane.comp.lang.haskell.cafe/63223
   18. http://article.gmane.org/gmane.comp.lang.haskell.general/17478
   19. http://planet.haskell.org/
   20. http://haskell.org/haskellwiki/Blog_articles
   21. http://koweycode.blogspot.com/2009/09/cabal-installing-graphical-apps-on.html
   22. http://donsbot.wordpress.com/2009/09/11/improving-data-structures-with-associated-types/
   23. http://justtesting.org/post/185173082
   24. http://www.galois.com/blog/2009/09/10/jaegermeasurablesecurit/
   25. http://kpreid.livejournal.com/16930.html
   26. http://chplib.wordpress.com/2009/09/08/boids-simulation-part-1/
   27. http://praisecurseandrecurse.blogspot.com/2009/09/macports-snow-leopard-and-ghc-sadness.html
   28. http://lambdacolyte.wordpress.com/2009/09/08/haskell-ides-on-windows/
   29. http://feedproxy.google.com/~r/splonderzoek/~3/4E8TZPDZ-aM/ 
   30. http://xmonad.wordpress.com/2009/09/09/the-design-and-implementation-of-xmonad/
   31. http://www.galois.com/blog/2009/09/08/huffman_universaldomain/
   32. http://blog.well-typed.com/2009/09/slides-from-the-ihg-talk-at-cufp/
   33. http://yaxu.org/hackpact-documentation/
   34. http://adoseoflogic.blogspot.com/2009/07/cannibals-missionaries-and-state-monad.html
   35. http://therning.org/magnus/archives/738
   36. http://donsbot.wordpress.com/2009/09/07/stream-fusion-for-haskell-arrays/
   37. http://tomschrijvers.blogspot.com/2009/09/effectiveadvice-aop-mixin-inheritance.html
   38. http://johanjeuring.blogspot.com/2007/08/finding-palindromes.html
   39. http://chplib.wordpress.com/2009/09/06/concurrent-vs-parallel-vs-sequential/
   40. http://donsbot.wordpress.com/2009/09/05/defun-2009-multicore-programming-in-haskell-now/
   41. http://donsbot.wordpress.com/2009/09/05/the-haskell-platform-status-report-haskell-symposium-2009/
   42. http://www.haskell.org/mailman/listinfo/haskell
   43. http://sequence.complete.org/
   44. http://planet.haskell.org/
   45. http://sequence.complete.org/node/feed
   46. http://haskell.org/
   47. http://haskell.org/haskellwiki/HWN
   48. http://code.haskell.org/~byorgey/code/hwn/

More information about the Haskell-Cafe mailing list