[Haskell-cafe] Haskell Weekly News: Issue 130 - September 12, 2009
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
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
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 went looking for a new
editor for the HWN, and that's how you got me! See the editorial for
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 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√© 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
a basic speed test.
HLint 1.6.8. Neil Mitchell announced HLint 1.6.8. HLint is a tool
for suggesting improvements to your source code. It suggests the
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 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
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 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-2918.104.22.168. Ivan Lazar Miljenovic announced version
2922.214.171.124 of the graphviz package for Haskell. This is what I
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 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
dbmigrations 0.1. Jonathan Daugherty 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 announced Palindromes, a
finding palindromes in files. Visit the 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
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 asked
about how to customize Dyre's settings to do a whole-program
Externally derive instance of Data? Dimitry Golubovsky Dimitry
Golubovsky asked about stand-alone deriving for third-party
Parallel parsing & multicore. Anakim Border Anakim Border 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
announced Vacancy PhD student on Realizing Optimal Sharing in
Functional Language Implementations Utrecht University, The
Haskell news from the blogosphere. Blog posts from people
to the Haskell community are marked with >>>, be sure to welcome
* Eric Kow (kowey): Cabal-Installing graphical apps on MacOS
* Don Stewart (dons): Improving Data Structures with
* Manuel M T Chakravarty: Haskell Arrays, Accelerated..
* Galois, Inc: Tech Talk: Building Systems That Enforce
Measurable Security Goals.
* Kevin Reid (kpreid): GSoC conclusion..
* Neil Brown: Boids Simulation: Part 1.
* Paul Potts: MacPorts, Snow Leopard, and GHC == Sadness.
* Andrew Calleja: Haskell IDEs on Windows.
* Sean Leather: "Upwards and downwards accumulations on trees"
translated into Haskell.
* Xmonad: The Design and Implementation of XMonad.
* Galois, Inc: Tech Talk: Constructing a Universal Domain for
Reasoning About Haskell Datatypes.
* Well-Typed.Com: Slides from the IHG talk at CUFP.
* Alex McLean: Hackpact Documentation. This links to part
a two part series.
* Bas van Gijze: Cannibals, Missionaries and the State Monad
* Magnus Therning: Wrapping IO. This links to part one of a
* Don Stewart (dons): Stream Fusion for Haskell Arrays.
* Tom Schrijvers: EffectiveAdvice: AOP, mixin inheritance,
monads, parametricity, non-interference, ....
* Johan Jeuring: Finding palindromes.
* Neil Brown: Concurrent vs Parallel vs Sequential.
* Don Stewart (dons): DEFUN 2009: Multicore Programming in
* Don Stewart (dons): 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 the Haskell mailing list as well as
the Haskell Sequence and Planet Haskell. RSS is also
available, and headlines appear on haskell.org.
To help create new editions of this newsletter, please see the
information on how to contribute. Send stories to jfredett .
gmail . dot . com. The darcs repository is available at darcs get
More information about the Haskell-Cafe