Haskell Weekly News

Welcome to issue 137 of HWN, a newsletter covering developments in the Haskell community.

This week brings a new release of xmonad, some cool bindings to allow interaction with GNOME, KDE, and XFCE desktops and a new version of haskell-mode for the lesser of two editors... Some progress has also been made on the new HWN software, though this was mitigated by the fact that I started playing with the Isabelle theorem prover (after reading about Haskabelle) and so now I find myself convinced I should formally prove all of my software, and also that I'm pretty much incapable of getting things done when cool tools present themselves. In fact, I don't think I'll even be able to finish this editori* Exception: The Haskell Weekly News!

Announcements

xmonad 0.9 is now available! Don Stewart announced a new version of everyone's favorite Tiling Window Manager, xmonad! The changes and improvments are too numerous to mention, see the post for details!

WFLP2010 2nd CFP: LNCS + invited speaker + abstract due Nov 9. Pablo Nogueira announced a second call for papers for the Workshop on Functional and Constraint Logic Programming.

dbus-core 0.5 and dbus-client 0.1. John Millikin announced pure-Haskell client libraries for using the D-Bus protocol. D-Bus is heavily used for inter-application IPC on Free and open-source desktop platforms, such as Linux, OpenSolaris, and FreeBSD. These libraries allow applications written in Haskell to inter-operate with other components of recent GNOME, KDE, and XFCE desktops.

Singapore Functional Programmer Group First Meetup. Kenny Lu announced (with apologies for the late notice) an informal meeting for the Functional Programmer Group in Singapore on 2 Nov 2009. The theme for the first meeting will be 'meet and greet'.

GeBoP 1.7. Henk-Jan van Tuyl updated and cabalized GeBoP (the General Boardgames Player) and uploaded it to hackage.

GPS package on Hackage. Thomas DuBuisson announced that he fixed up the GPS package to add correct distance calculation and a separate module for exporting KML.

GPipe-TextureLoad 1.0.0 and GPipe 1.0.3. Tobias Bexelius announced a new version of GPipe as well as a utility package for loading textures.

HoleyMonoid-0.1. Martijn van Steenbergen announced announce the first release of HoleyMonoid, a datatype that helps you build monoids with holes in them. The holes are filled in later using normal function application.

GlomeVec, IcoGrid. Jim Snow announced a couple of packages, GlomeVec is a vector library used in Jim's ray-tracer, and IcoGrid is a library for dealing with grids of hexagons and pentagons wrapped on a sphere.

attempt-0.0.0. Michael Snoyman announced a new package for exceptions

haskell-mode 2.5. Svein Ove Aas announced a new version of haskell-mode for that other 'editor'...

Discussion

Applicative but not Monad. Yusaku Hashimoto asked about an example of a datatype that was an instance of Applicative, but not an instance of Monad.

AND/OR Perceptron. Hector Guilarte asked about how to understand a particular portion of JP Moresmau's Perceptron in Haskell

What is the current state of affairs with supercompilation? Eugene Kirpichov asked about supercompilation in Haskell.

Blog noise

• Magnus Therning: Playing with sockets in Haskell.

• Holumbus: Switched to Git.

• Manuel M T Chakravarty: Finally found the ghci bug on Snow Leopard.

• Galois, Inc: Tech Talk: Testing First-Order-Logic Axioms in AutoCert.

• Brent Yorgey: Collecting Attributes.

• Darcs: darcs weekly news #44.

• FP Lunch: Parser Combinators are as expressive as possible.

• David Amos: Simple groups, the atoms of symmetry.

• Xmonad: xmonad 0.9 available now!.

• Michael Snoyman: Introduction to attempt error reporting library.

• FP-Syd: Sydney FP Group: FP-Syd #20..

Quotes of the Week

• hexpuem: [on learning haskell] the best way is to shove a SD card up your nose with learn yourself a haskell good on it
• copumpkin:

  copumpkin: 'YOU ARE SUCH A PULLBACK'
  copumpkin: 'YOU KNOW WHAT? I FUNCTORED YOUR MOTHER LAST NIGHT'

• saml and mauke:

  saml: 'How can I convert python file to haskell?'
  mauke: 'By piping it through a programmer'

• monochrom: premature generality is the root of OOP
• EvilTerran: {-# LANGUAGE FlexibleMorals #-} -- needed for unsafeLaunchMissiles
• Warrigal: Hey, the module loaded. I didn't expect that.
• lilac:

  class Monad m where
  return and Kleisli compose
  must form a monoid

About the Haskell Weekly News

New editions are posted to the Haskell mailing list as well as to 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 . at . gmail . dot . com. The darcs repository is available at darcs get http://patch-tag.com/r/jfredett/HWN2/pullrepo HWN2 .

Welcome to issue 136 of HWN, a newsletter covering developments in the Haskell community.

Short one this week, I have GREs today, so I've spent more time aggregating GRE knowledge rather than Haskell news. Till next week, Haskellers, The Haskell Weekly News!

Announcements

PastePipe -- a CLI for hpaste instances. Rogan Creswick announced a new version of PastePipe, a library which reads from stdin and posts it to an hpaste instance (defaulting to hpaste.org)

haskell-src-exts-1.2.0. Niklas Broberg announced a major release of haskell-src-exts. Several breaking changes, a few (ideally) backwards compatable changes. See the post for all the details.

mecha-0.0.0. Tom Hawkins announced a very cool new DSL in Haskell for Constructive Solid Modelling.

GPipe 1.02 and Vec-Transform 1.0.1. Tobias Bexelius announced new versions of these packages, only a few API changes

Data.Stream 0.4. Wouter Swierstra announced a very delicate change to Data.Stream involving irrefutable patterns. Specifically added them in functions which produce new streams from old.

strptime bindings. Eugene Kirpichov announced bindings to strptime.

cereal-0.2. Trevor Elliott announced a new version of the cereal library, a variation on the `binary` package which provides strict parsing.

quickcheck-poly. Ki Yung Ahn announced a package for testing polymorphic functions automatically.

2nd CFP: JSC Special Issue on Automated Verification and Specification of Web Systems. demis announced a special issue of the Journal of Symbolic Computation. The issue contains articles relating to Automated Specification and Verification of Web Systems.

qtHaskell-1.1.3. David Harley announced a new version of qtHaskell.

Discussion

Is there in Haskell the eval function? Waldemar Biernacki asked about an `eval` function for Haskell.

What's this pattern called? Martijn van Steenbergen asked about a common pattern for an simple EDSL AST-like type.

Problems with Haskell. Philippos Apolinarius forwarded his response to a Clean programmer who planned a move to Haskell upon fears of Clean being around for the long term. A very nice read.

Statically checked binomail heaps? Maciej Kotowicz talked about his implementation of Statically Checked Binomial Heaps in Haskell

Blog noise

• Mikael Vejdemo Johansson (Syzygy-): [MATH198] Lecture 5 is up.

• JP Moresmau: Releasing my code on the unsuspecting public (EclipseFP).

• Neil Brown: Benchmarking STM with Criterion.

• Galois, Inc: .

• Brent Yorgey: Typeclassopedia in Japanese!.

• Neil Brown: An early look at ThreadScope, a tool for profiling concurrent and parallel Haskell programs.

• FP-Syd: Sydney FP Group: FP-Syd #19..

• Michael Snoyman: Monadic pairs and Kleisli arrows.

• Martijn van Steenbergen: Transforming polymorphic values.

• Manuel M T Chakravarty: Multicore Haskell Now!.

• Don Stewart (dons): Multicore Haskell Now! ACM Reflections | Projections 2009.

• Dan Piponi (sigfpe): What Category do Haskell Types and Functions Live In?.

• Manuel M T Chakravarty: Don Stewart's talk on Domain Specific Languages and Haskell.

Quotes of the Week

• Veinor: I program in austere haskell. I name all my variables a, a', a'', a''', etc
• ddarius: releases network version 127.0.0.1
• Berengal: 'Bobby Boolean felt horrible. What did he ever do to the other values? He was just a simple bit, a simple answer to a simple question! Suddenly he felt his insides churn; he felt an exception coming on! Oh no! What should he do, now that he was outside of IO?'
• Berengal: '"Go away! You're not like us!" the other values yelled. "You're impure! Impure! Impure! Impure!" they started chanting.'
• dpratt71: <dpratt71> so I read somewhere that the unofficial motto of Haskell was "avoid success at all costs"... <Baughn> dpratt71: Yeah. We failed.
• Warrigal: Note to self: don't do maximum [1..].
• mauke: the first and foremost task of a haskell compiler is to break haskell programs
• ksf: ...premature generalisation is the root of all procrastination.
• jimi_hendrix: that took longer than it should have, but it feels so pure
• ddarius: Unfortunately, the logic programming community has this unhealthy death grip on Prolog.

About the Haskell Weekly News

New editions are posted to the Haskell mailing list as well as to 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 . at . gmail . dot . com. The darcs repository is available at darcs get http://patch-tag.com/r/jfredett/HWN2/pullrepo HWN2 .

Welcome to issue 136 of HWN, a newsletter covering developments in the Haskell community.

Over the last week, fpisfun from reddit announced a new subreddit for simple, direct applications of Haskell to common problems which normally might be solved by a perl script or bit of bash. There are a number of examples already there, and the numbers keep growing. It's not just command-line utilities either, there is also this post on calculating the bend needed for a bay window curtainrod. There is plenty of great material if you're new to Haskell and looking for some basic examples of different simple projects, examples of using monads and functors appropriately, or just want to see some 'real' programs in Haskell, it's worth a look!

Also, a small correction, due to some issues with the tools, unicode characters get replaced with their ASCII 'equivalents' so that an 'e' with an umlaut becomes an 'e' character. Thanks to Wolfram Kahl for pointing out that this change is not as innocent as I thought, apologies thusly to Guenther Schmidt (I'm told thats a better approximation of the correct spelling) for the error, I apologize in advance for any other similar errors. I'm working on improving the unicode support in the tools, but it's a nasty bug to catch.

This was a long editorial, so I won't take any more of your time, Haskellers, the Haskell Weekly News!

Announcements

Call for Contributions - Haskell Communities and Activities Report, November 2009 edition. voigt called for contributions to the November 2009 issue of the Haskell Communities and Activities Report. See post for details.

Call for Participation: VSTTE 2009. Jean-Christophe Filliatre announced a call for participation for the VSTTE Workshop.

WFLP 2010 Call for papers. Pablo Nogueira announced a call for papers for the 2010 WFLP.

BAHUG Next meeting: October 21st at MIT (32G-882). Ravi Nanavati announced the next meeting of the Boston Area Haskell User's Group. Which will be in the CSAIL Reading Room at MIT. This editor hopes to actually make it to this one, so maybe I'll see you there!

fp-southwales, the South Wales Functional Programming User Group. Andy Gimblett announced the formation of fp-southwales, a user group for anybody interested in functional programming in the area of south Wales, UK.

The Monad.Reader (14) - Call for copy. Brent Yorgey announced the call for copy for the next issue of `The Monad.Reader`, Issue #14

Extensions to Vec uploaded (useful for GPipe programs). Tobias Bexelius announced two extensions to the Vec package: Vec-Transform and Vec-Boolean. Vec-Transform provides some 4x4 transform matrices such as perspective projection and rotation. Vec-Boolean provides Data.Boolan instances for the Vec data types.

Bindings to FFMpeg library. Vasyl Pasternak announced the next release of the hs-ffmpeg library. Downloadable from Hackage along with the ffmpeg-tutorials, which show capabilities of this library. The installation process is a bit tricky so Vasyl put up a blog post which describes the installation process.

Haskell Hackathon in Zurich, Switzerland. Johan Tibell announced a Hackathon in Zurich, to be held in March in the Google office. No concrete date has been decided, but if your interested, make sure to add your name here.

Reverse Dependencies in Hackage (demo). Roel van Dijk announced his patch to add reverse-dependencies to Hackage, see the linked post for information on where to see an example version of hackage.

Discussion

Relational Algebra. Guenther Schmidt asked about whether or not a EDSL for relational algebra in Haskell.

GHC devs. Andrew Coppin asked about how many GHC Developers there are, and was somewhat surprised with the answer.

Fuzzy Logic / Linguistic Variables. Neal Alexander demonstrated an implementation of fuzzy logic taken from the book: 'Programming Game AI by Example' by Mat Buckland. In the book, the code was in C++, rewriting it in Haskell made for much more succint, readable code.

Graph Library Using Associated Types. Lajos Nagy asked about using Associated types in a Graph library.

Is proof by testing possible? Muad'Dib asked us Haskell Mentat's about whether it was possible to prove a function correct in a finite number of tests. The discussion brought forth not only answers but some /very cool/ results about the application of compactness (in the topological sense) to testing.

Blog noise

• Don Stewart (dons): LACSS 2009: Domain Specific Languages and Haskell.

• FP Lunch: Factorising folds for faster functions.

• Mikael Vejdemo Johansson (Syzygy-): [MATH 198] Lecture 4 and a question for the community. More of Syzygy's lectures on category theory, Syzygy also asks about what it means to 'integrate' a datatype.

• Neil Brown: Emulating Shared Mutable Variables with Message-Passing Processes.

• Galois, Inc: Tech Talk: Writing Linux Kernel Modules with Haskell.

• Galois, Inc: Domain Specific Languages for Domain Specific Problems.

• FP-Syd: Sydney FP Group: FP-Syd #18..

• Neil Brown: The octopus, the boids and GHC 6.12.1rc1.

• Brent Yorgey: Call for submissions: Monad.Reader issue 15.

• Brent Yorgey: diagrams 0.2.1, and future plans.

• Don Stewart (dons): Self-optimizing data structures: using types to make lists faster.

• Martijn van Steenbergen: Context Synonyms.

• Joachim Breitner: arbtt: Now with Documentation.

• Dan Piponi (sigfpe): Vectors, Invariance, and Math APIs.

• Creighton Hogg: How to teach Category Theory?.

Quotes of the Week

• sproingie: How do you beta-reduce a problem like Maria
• Baughn: There's also the language, Quine, whose interpreter is implemented as a symlink to /bin/cat
• benmachine: [on the best editor] opinions vary. from correct opinions i.e. mine to other ones. [editor's comment: Obviously, this question is settled, the best editor is *garbled*]
• pozic: statistics. a wonderful tool to control people.
• FunctorSalad: I think the 'asks', 'gets' etc family of names is sort of cute, like the program is talking about itself in the third person
• mmorrow:: Right, that's just beggin for a State monad.

About the Haskell Weekly News

New editions are posted to the Haskell mailing list as well as to 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 . at . gmail . dot . com. The darcs repository is available at darcs get http://patch-tag.com/r/jfredett/HWN2/pullrepo HWN2 .

Welcome to issue 135 of HWN, a newsletter covering developments in the Haskell community.

What with Don Stewart's call to arms to lead Haskell to conquest over (E)DSL-land, I've once again tried to highlight discussion of EDSL's this week. Fortunately, it was actually more difficult choosing what _not_ to include this week, since there was so much discussion about DSLs and Syntax extensions (a related notion, in my opinion). Also, this week Bryan O'Sullivan put his Criterion Library to good use on the `text` package, leading to code which is more than ten times faster than before! With all this fantastic news, I won't hold you up any longer, Haskellers, the Haskell Weekly News!

Announcements

CfPart: FMICS 2009, 2-3 November 2009, Final Call. FMICS 2009 workshop chair announced the final call for particpaction for FMICS 2009

ICFP videos now available. Wouter Swierstra announced the availablity of videos from the International Conference on Functional Programming (ICFP)

GPipe-1.0.0: A functional graphics API for programmable GPUs. Tobias Bexelius announced the first release of GPie, a functional graphics API for programmable GPUs.

text 0.5, a major revision of the Unicode text library. Bryan O'Sullivan announced a new, major version of the text package. New API features, and huge improvments in speed, as Bryan says, 'Get it while it's fresh on Hackage, folks!'

vty-ui 0.2. Jonathan Daugherty announced a new version of the vty-ui package, with fewer bugs, more widgets, and cleaner code due to new more powerful abstractions.

htzaar-0.0.1. Tom Hawkins announced HTZAAR, a Haskell implementation of TZAAR

Graphalyze-0.8.0.0 and SourceGraph-0.5.5.0. Ivan Lazar Miljenovic announced To keep this editor happy, Ivan released two new packaged in one announcement. This time, he's added Legend support to Graphalyze, but also many new changes to SourceGraph, including a legend so you can see what all the symbols mean, Better color support, and much more.

TxtSushi 0.4.0. Keith Sheppard announced a new version of TxtSushi, a set of command line utilities for processing CSV and TSV files.

Discussion

Applicative do? Philippa Cowderoy asked about a `do` like syntax for Applicative functors.

How to add use custom preprocessor in cabal. Bernd Brassel asked how to add a custom preprocessor to the build chain of a cabal file.

On DSLs - one last time. Gunther Schmidt summarized his impressions on al the recent discussion of DSLs

What is a DSL? Oleg offered some insight into different properties that can be part of a single tagless framework. He also pointed to some slides and other materials such as a website here and slides here about DSL implementations and definitions.

What is a DSL? Gunther Schmidt posed the question, 'What is a DSL', and with some further questions added by yours truly, a lively discussion about the definition of a DSL ensued.

Finally tagless - stuck with implementation of 'lam'. Gunther Schmidt asked another question about Finally Tagless DSLs and resolving an issue with the implementation of 'lam'

Blog noise

• Darcs: darcs weekly news #43.

• JP Moresmau: What client for an Haskell Multi Player Game?.

• Mikael Vejdemo Johansson (Syzygy-): [MATH198] Third lecture is up.

• Bryan O'Sullivan: Announcing a major revision of the Haskell text library.

• Eric Kow (kowey): darcs hashed-storage work merged (woo!).

• David Amos: Symmetries of PG(n,Fq).

• The GHC Team: Parallelism /= Concurrency.

• >>> Nefigah: Fake World Haskell. Nefigah, a recent addition to the community, has been working through RWH, and is providing some excellent examples. Though, This editor prefers the title 'Real Life Haskell' as opposed to his choice.

• Tom Schrijvers: Release 0.6 of Monadic Constraint Programming.

• Neil Brown: Concurrency Can Be Deterministic (But The Type System Doesn’t Know It).

• Clint Moore: Curiously Parallel.

• Galois, Inc: Tech Talk: Constructing A Universal Domain for Reasoning About Haskell Datatypes.

• Neil Brown: Terminal Concurrency: The Printing Process.

• Sean Leather: 'Upwards and downwards accumulations on trees' translated into Haskell.

• Mikael Vejdemo Johansson (Syzygy-): [MATH 198] Second lecture.

• Chris Smith: View Patterns as Pattern Matching for Records.

• Chris Smith: Playing With Records.

• FP Lunch: Left Kan extensions of containers.

Quotes of the Week

• Baughn: Blum Blum Shub, a PRNG derived from poking around R'Lyeh.
• ksf: * lambdabot locks up ksf in a Monad <ksf> mmmmh it's warm and fuzzy in here.
• monochrom: Don't wrap your head around Haskell. Immerse! Wrap Haskell around your head.
• chak: ... In other words, FP is inevitable.
• robreim: I'm in your base hacking all your lambdas
• gwern: RAM is overrated, swap is where it's at ;)
• idnar: [to gwern] swap to a ramdisk! ;P

About the Haskell Weekly News

New editions are posted to the Haskell mailing list as well as to 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 . at . gmail . dot . com. The darcs repository is available at darcs get http://patch-tag.com/r/jfredett/HWN2/pullrepo HWN2 .

Welcome to issue 134 of HWN, a newsletter covering developments in the Haskell community.

I have a nasty sinus infection this week, so we're somewhat light on content. Lots of good discussion about DSL related stuff this week. Bryan O'Sullivan also release 'Criterion' this week, a new benchmarking library that Don Stewart described (on reddit) as 'awesome and game changing.' A new TMR editor -- someone familiar -- was announced. Also, there was some talk about homework policies on the mailinglists and in the irc channels. There is a page on the Haskell wiki about this, but to sum it up in a maxim, remember, 'Help, don't do'. Until next week, the Haskell Weekly News!

Announcements

New TMR editor. Wouter Swierstra announced that he would be stepping down from the editorship of 'The Monad Reader', with former HWN editor Brent Yorgey taking his place. Much thanks for Wouter's hard work and good luck to Brent on his new editor job!

SourceGraph 0.5.{0,1,2}.0. Ivan Lazar Miljenovic announced three new releases of the SourceGraph packages, this links to the latest release.

json-b-0.0.4. Jason Dusek announced a new version of the json-b package, which fixes defective handling of empty objects and arrays.

rss2irc 0.4 released. Simon Michael announced a new release of rss2irc, with many new improvements and features.

vty-ui 0.1. Jonathan Daugherty announced vty-ui, which is an extensible library of user interface widgets for composing and laying out Vty user interfaces.

atom-0.1.1. Tom Hawkins announced Atom, a Haskell DSL for designing hard real-time embedded applications.

Graphalyze-0.7.0.0. Ivan Lazar Miljenovic announced (in an apparent effort to take over hackage by submitting dozens of quality packages at absurdly high speed), Graphalyze, a library for using graph-theoretic techniques to analyse the relationships inherent within discrete data.

Criterion. Bryan O'Sullivan announced (without tacking on an 'ANN' tag, I might add, I almost missed it!) Criterion, a benchmarking library he describes here.

ListTree 0.1. yairchu@gmail.com announced ListTree, a package for combinatorial search and pruning of trees.

usb-0.1. Bas van Dijk announced a library for interacting with usb modules from userspace.

(Deadline extended to October 5th) APLAS 2009 Call for Posters. Kiminori Matsuzaki announced a deadline extension to the call for posters for the APLAS conference.

graphviz-2999.6.0.0. Ivan Lazar Miljenovic announced a new version of the graphviz library, which features various new features and small changes.

Discussion

Testing polymorphic properties with QuickCheck. Jean-Philippe Bernardy gave an excellent overview about how to use QuickCheck to test polymorphic properties.

Designing a DSL? Gunther Schmidt asked about different methods employed for designing a DSL.

DSL and GUI Toolkits. Gunther Schmidt also asked about different DSLs for working with GUIs

error on "--++ bla bla bla". Hong Yang asked about why '--++' wasn't being parsed in the way he thought it was.

Haskell for Physicists. edgar requested name suggestions for the talk he is giving about Physics and Haskell.

Blog noise

• Sean Leather: 'Extensibility and type safety in formatting: the design of xformat' at the Dutch HUG.

• Martijn van Steenbergen: let 5 = 6.

• Lee Pike: Writer's unblock.

• Manuel M T Chakravarty: NVIDIAs next generation GPU architecture has a lot for HPC to love.

• David Amos: Finite geometries, part 4: Lines in PG(n,Fq).

• Bryan O'Sullivan: New criterion release works on Macs.

• Neil Brown: Poison: Concurrent Termination.

• The GHC Team: Heads up: what you need to know about Unicode I/O in GHC 6.12.1.

• Galois, Inc: Tech Talk: Roll Your Own Test Bed for Embedded Real-Time Protocols: A Haskell Experience.

• Bryan O'Sullivan: Criterion, a new benchmarking library for Haskell.

• Tom Schrijvers: Monadic Constraint Programming.

• Neil Brown: Growing Sort Pump.

Quotes of the Week

• dekudekuplex: (Unfortunately (unless intentional)) the preceding (by ksf (in the 'Quotes of the Week' section)) quote had mismatched (one too many opening) parentheses (although it was still funny (even though it could have been edited (to make the parentheses match (even though that is not an important issue)))).
• pozic: I think if you want to contact dons, you have to say that you found a bug in ByteString.
• Veinor: [about dibblego kicking a whole bunch of spammers] crouching dibblego, hidden op
• allbery_b: [on UndecidableInstances] 'this exceeds my easy threshold, turn on wizard mode' (at which point it becomes a lot smarter but may start contemplating its navel without warning)
• byorgey: a bus error? try recompiling with -fsubway, perhaps
• jafet: 'Zygomorphism' sounds like a reproductive disorder

About the Haskell Weekly News

New editions are posted to the Haskell mailing list as well as to 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 . at . gmail . dot . com. The darcs repository is available at darcs get http://patch-tag.com/r/jfredett/HWN2/pullrepo HWN2 .

Welcome to issue 133 of HWN, a newsletter covering developments in the Haskell community.

This week, we have a few new libraries, some interesting discussion about EDSLs, a comment from Oleg, and dons extolling the virtues of SCIENCE! On the new HWN software front, I've decided to jump right into something I had planned for far further down the development chain. Specifically, rather than scraping GMane for messages, I've been working on a way to grab the messages directly from the mailing-lists. I'm not entirely sure how I'm going to create links as they are now for the messages, but one crisis at a time. Till next week, here's the Haskell Weekly News!

Announcements

epoll bindings 0.2. Toralf Wittner announced the release of epoll bindings 0.2 available here. Epoll is an I/O event notification facility for Linux similar to poll but with good scaling characteristics. This release adds a buffer abstraction on top of the existing low-level bindings, so client code can write and read to buffers without having to deal directly with the underlying epoll event handling.

diagrams 0.2.1, and planned major improvements. Brent Yorgey announced version 0.2.1 of the diagrams library, available now on Hackage. This minor release which fixes a few bugs and adds a few new combinators, most notably a grid layout combinator contributed by Ganesh Sittampalam.

Workflow-0.5.5, TCache-0.6.4 RefSerialize-0.2.4. Alberto G. Corona announced Workflow 0.5.5. Workflow provides a monad transformer that encapsulates any monad in a state monad that bring automatic state logging and recovery. A workflow can be viewed as a thread that persist across planeed or unplanned application shutdowns. When recovering the execution is resumed at the last action that was logged. The process continues at the same state as if not interruption took place.

graphviz-2999.5.1.1. Ivan Lazar Miljenovic announced version 2999.5.1.1 of the graphviz library. This is another bug-fix release, fixing the problem spotted by Kathleen Fisher where Dot keywords need to be explicitly quoted if used as labels, etc. There is no change to the API.

histogram-fill, library for creating histograms. Khudyakov Alexey announced histogram-fill. histogram-fill provides a generic and convenient API for making histograms. Features include, multiple simultaneous histogram creation, Immutable histograms, and Serialization to and from human readable text.

Darcs Hacking Sprint - 14-15 November Vienna. Eric Kow announced the third Darcs Hacking Sprint. Which will take place 14-15 November, 2009 at the University of Technology, Vienna, Austria. Anybody who wants to hack on Darcs (or Camp, Focal, SO6, etc) -- Beginners especially -- are welcome!

2nd CFP: TLDI 2010. Andrew Kennedy announced a second call for papers for TLDI2010, the Types in Language Design and Implementation Workshop.

darcs 2.3.1: better docs, fewer bugs. Reinier Lamers announced a new stable version of darcs, with bugfixes from 2.3.0, improved documentation, and removal of the old autoconf build system.

TFM09: Call for Participation (FMWeek, Eindhoven, November 2009). J.N. Oliveira announced a Call for Participation in TFM2009 2nd Int. FME Conference on Teaching Formal Methods Friday, November 6th 2009, co-located with FM2009 : 16th Int. Symposium on Formal Methods Eindhoven, the Netherlands, November 2 - November 6, 2009.

Discussion

Monad Tutorial in C++. Adrian May wrote a tutorial about monads in some other niche language...

Beginning of a meta-Haskell. Oleg -- as if he needs any introduction -- commented on things far above my ability to understand. Evidently, however, it involves extensible, modular interpreters in the ``tagless final'' style. It was a reply to an earlier thread here.

An issue with EDSLs in the ``finally tagless'' tradition. Brad Larsen talked about his run in with the expression problem while experimenting with EDSLs.

Blog noise

• Bryan O'Sullivan: Riddle me this.

• David Amos: Finite geometries, part 3: Points in PG(n,Fq). David's continuing series on Finite Geometries.

• Neil Brown: Concurrent Pearl: The Expanding Prime Pipeline.

• Mikael Vejdemo Johansson (Syzygy-): [MATH198] Lecture 1 now online. Mikael's first Category Theory Lecture is up online.

• Brent Yorgey: diagrams 0.2.1, and future plans.

• Alex McLean: hackpact week 4. Part of the continuing series on Alex's hackpact progress.

• Manuel M T Chakravarty: Heads Up: GHC devs on Macs - GHC's testsuite crashes spotlight indexer on SL.

• Clint Moore: 8 Cores of Awesome.

• Bryan O'Sullivan: Video of my CUFP keynote.

• Chris Smith: Thoughts on Hackage and the Haskell Platform.

• Manuel M T Chakravarty: Haskell Bindings to C -> c2hs.

• Neil Brown: Functions into processes, using arrows.

• Brent Yorgey: Functional MetaPost.

• Malcolm Wallace: Haskell Symposium 2009 - videos now online.

• DEFUN 2009: DEFUN and CUFP 2009 registration are now open!.

• Chris Smith: Type Classes With An Easier Example.

• Darcs: darcs weekly news #41.

• Greg Bacon: Haskell craps.

• Bryan O'Sullivan: A new pseudo-random number generator for Haskell.

• Thomas M. DuBuisson: HacPDX is Coming.

• Dan Piponi (sigfpe): More Parsing With Best First Search.

• Osfameron: Coin Tricks.

Quotes of the Week

• lilac: ponders whether unsafePerformIO would be better as simonSaysPerformIO
• bos: [On the type signature of hPrintf] This makes me a sad Irish panda.
• ksf: (But if (on the other hand)) (I think only a number in general (whether it be five or a hundred)) (this thought is rather the representation of a method (whereby a multiplicity (for instance a thousand) may be represented (in an image in conformity with a certain concept)) than the image itself.
• dons: ah, via the magic of SCIENCE
• dobblego: many of my colleagues used to be [fond of ruby] as well until I was let loose on them
• dons: (on whether a library is wanted) *yes* put it on Hackage!
• BMeph: (about parsec) 'Cause it's light-years ahead of the competition!
• switch: Comeon people! You make the news!
• ray: I think programmers make the worst programmers, also the worst people, and I'm saying this having not looked at programming reddit in a while.
• Orclev: ... a lot of haskell still looks greek to me, and I'm not talking about lambdas.
• Jason Dusek: "Some day, we're going to need a short, catchy name for Cabal packages. Let's call them cabbages." [see http://thread.gmane.org/gmane.comp.lang.haskell.cafe/63649].
• Reinier Lamers: If we keep up the current pace of performance hacking, darcs will be complete before you even hit the enter key in a few years
• Trent Buck: [To Reiner Lamers] With the appropriate (ie unbuffered) terminal, this is already the case for interactive prompts.

About the Haskell Weekly News

New editions are posted to the Haskell mailing list as well as to 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 . at . gmail . dot . com. The darcs repository is available at darcs get http://patch-tag.com/r/HWN2/home .

Welcome to issue 131 of HWN, a newsletter covering developments in the Haskell community.

Last week, I received an email from Mark Wotton about his project Hubris. I totally forgot to put it in the HWN last week, too busy trying to figure out all the tools. So, I thought I'd make it up and give him some special editorial status this week. Hubris is a bridge between Ruby and Haskell, allowing you to call Haskell from Ruby. It's very cool, I highly suggest playing with it. Also, I've been posting a bit about the new HWN tools (dubbed "HWN2") on my blog, there is also a repo up at patch-tag which will have all the code. If there is some interest in helping me, I'll try to come up with a TODO list/Trac.

Announcements

hssqlppp, sql parser and type checker, pre-alpha. Jake Wheat announced his parser/type checker for SQL. It currently parses a subset of PostGreSQL and PL/pgSQL, and can type check some statements.

LambdaINet-0.1.0, Graphical Interaction Net Evaluator for Optimal Evaluation. Paul L announced a LambdaINet 0.1.0, available on Hackage. LambdaINet implements an interaction net based optimal evaluator. With an interactive graphical interface allowing the user to view and directly manipulate the interaction net.

arbtt-0.1. Joachim Breitner announced the Automatic Rule-Based Time Tracking tool on hackage. he has an introduction available here.

A statistics library. Bryan O'Sullivan announced the imaginatively named statistics library. Which supports common discrete and continuous probability distributions, Kernel density estimation, Auto-correlation analysis, Functions over sample data, Quantile estimation, and Re-sampling techniques.

CFP: JSC Special Issue on Automated Verification and Specification of Web Systems. A Special Issue of the Journal of symbolic computation was announced. This issue is related to the topics of the Automated Specification and Verification of Web Systems Workshop (WWV'09). Read the announcement for more details.

Haskeline 0.6.2. Judah Jacobson announced the release of Haskeline 0.6.2, available here. Improvements over the last version include, new emacs and vi bindings, a new preference to remove repeated history entries, recognition of page-up and page-down keys, and more.

PEPM'10 - Last CFP (Submission: 6 Oct 09, Notification: 29 Oct 09). Janis Voigtlaender announced the Last Call for Papers for PEPM'10, see the announcement for more details.

Videos of HIW 2009. Malcolm Wallace announced videos of all the presentations/discussions at the recent Haskell Implementers Workshop 2009, in Edinburgh, are now online. The program of talks is available here.

Unification in a Commutative Monoid (cmu 1.1) and a new release of Abelian group unification and matching (agum 2.2). John D. Ramsdell announced cmu 1.1, which provides unification in a commutative monoid, also know as ACU-unification. The core computation finds the minimal non-zero solutions to homogeneous linear Diophantine equations. The linear equation solver has been place in a separate module so it can be used for other applications. He also announced agum 2.2, which provides unification and matching in an Abelian group, also know as AG-unification and matching.

graphviz-2999.5.1.0. Ivan Lazar Miljenovic announced a bug-fix release of the GraphViz package, no major API changes occurred.

levmar-0.2, bindings-levmar-0.1.1. Bas van Dijk and Roel van Dijk announced new versions of the levmar and bindings-levmar packages. New features include automatic calculation of the Jacobian via Conal Elliot's automatic differentiation from his vector-space library.

CmdArgs - easy command line argument processing. Neil Mitchell announced CmdArgs 0.1. CmdArgs is a library for parsing command-line arguments. It offers several improvements over GetOpts, namely that the Command Line Argument Processors are shorter and CmdArgs can support multiple-mode command lines such as those found in darcs, cabal, hpc, etc.

OpenGL 2.4.0.1. Sven Panne announced a new version of the OpenGL package, this version fixes a bug that didn't make it into the previous release.

OpenGLRaw 1.1.0.0. Sven Panne announced a new version of the OpenGLRaw package has been uploaded to Hackage.

Discussion

Thank you guys. Cristiano Paris took some time to thank us all from -Cafe for helping him learn Haskell. You're welcome, Cristiano!

Unicode lexing in GHC and GHCi. Sean McLaughlin asked about why certain unicode characters parsed in GHCi without error, but not in compiled code.

Help with FFI. Jose Prous asked for some help with the foreign function interface.

Ambiguous type variable with subclass instance. Andy Gimblett asked about a particular ambiguous type error

Haskell -> .NET. Peter Verswyvelen asked about the possibilities for a .NET version of Haskell.

A thought about liberating Haskell's syntax. George Pollard suggested a new way to do templates, so that brace-like syntax could be added without having to seriously hack GHC.

Blog noise

• Neil Brown: Concurrent Pearl: The Sort Pump.

• Roman Cheplyaka: CCC #6: HWN. A comic revealing the _real_ reason Brent left the HWN to me.

• Don Stewart (dons): Data.Binary: performance improvements for Haskell binary parsing.

• Thomas M. DuBuisson: Kernel Modules in Haskell.

• Neil Brown: Boids Simulation: Part 4.

• Edward Kmett: Iteratees, Parsec, and Monoids, Oh My!.

• Edward Kmett: Remodeling Precision.

• Alex McLean: Hackpact documentation (week 3). The continuation of Alex's series on Hackpact

• Luke Palmer: IO-free splittable supply.

• Thomas M. DuBuisson: Kernel Modules in Haskell.

• Bryan O'Sullivan: A video demo of my Haskell benchmarking framework.

• Don Stewart (dons): Haskell for Everyone: Hackage and the Haskell Platform : Haskell Implementers Workshop 2009.

• David Sankel: Applied Functional Programming: Part 1.

• Neil Brown: Boids Simulation: Part 4.

• Darcs: darcs weekly news #40.

• Chris Smith: On Inverses of Haskell Functions.

• David Amos: Finite geometries, part 1: AG(n,Fq). A multipart series from David, part of his Haskell For Maths project.

Quotes of the Week

• quicksilver: no, you mispelt >> as ;
• dons: Cale's my alter-ego. I talk about applications and benchmarking, he talks about theory and math. We've been doing this for years :)
• gwern: #haskell: because none of us are as offtopic as all of us
• some-crazy-hwn-editor: A monster! HAH! It will not be a monster, but a god! ALL SHALL BOW BEFORE MY SPAWN AND DESPAIR! ALL HAIL THE PROGRAMMER CHILD! ALL HAIL THE HYPNOTOAD!
• AlanJPerlis: Purely applicative languages are poorly applicable.

About the Haskell Weekly News

New editions are posted to the Haskell mailing list as well as to 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 . at . gmail . dot . com. The darcs repository is available at darcs get http://patch-tag.com/r/HWN2/home .

Welcome to issue 130 of HWN, a newsletter covering developments in the 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 everywhere else), and I'll be taking over for Brent (byorgey) from now on. I think I speak for the whole community when I thank him for his excellent work 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!

Announcements

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 more details.

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

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, the Elliptic Curve Cryptography Library for Haskell. Implemented are affine, projective, jacobian and modified jacobian point formats with the basic operations. Included as an Example is a basic ECDH as well 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 use of library functions you may have been unaware of, finds patterns of recursion that are really folds/maps, hints about extensions you aren't 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 an 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 method.

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-processor (based on arrowp) to generate outout that Template Haskell can parse. It's highly experimental since we are still fiddling with several design choices, and by no means we imply Template Haskell is the best choice to implement CCA. Any suggestion or comment is welcome!

graphviz-2999.5.0.0. Ivan Lazar Miljenovic 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 library!' version. The graphviz package provides bindings to the GraphViz suite of programs by providing the ability to generate and parse GraphViz's 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 of several sorting and selection algorithms for use on the mutable arrays from the uvector library, as well as combinators for applying them to immutable arrays.

dbmigrations 0.1. Jonathan Daugherty announced dbmigrations, A library and program for the creation, management, and installation of 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 automatically installs or reverts migrations accordingly, using transactions for safety. This package is written to support any HDBC-supported database, although at present only PostgreSQL is fully supported.

Palindromes 0.1. Johan Jeuring announced Palindromes, a package for 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 symbols.

Discussion

Averting QuickCheck Madness. Christopher Lane Hinson Christopher Hinson 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 recompilation.

Externally derive instance of Data? Dimitry Golubovsky Dimitry Golubovsky asked about stand-alone deriving for third-party datatypes.

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 at BAHUG.

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

Blog noise

• Eric Kow (kowey): Cabal-Installing graphical apps on MacOS X.

• Don Stewart (dons): Improving Data Structures with Associated Types.

• 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 one of a two part series.

• Bas van Gijze: Cannibals, Missionaries and the State Monad pt. 1.

• Magnus Therning: Wrapping IO. This links to part one of a two part series.

• 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 Haskell Now!.

• 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 , fail 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 intelligence
• 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 to 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 . at . gmail . dot . com. The darcs repository is available at darcs get http://code.haskell.org/~byorgey/code/hwn/ .

Welcome to issue 129 of HWN, a newsletter covering developments in the Haskell community.

The Haskell Symposium was a great success, with many interesting talks and a good discussion on the future of Haskell. Watch this space for links to video from the Symposium as it becomes available!

Announcements

HStringTemplate 0.6.2. Sterling Clover announced some new features in the HStringTemplate library, including simple quasiquotation; proper Unicode support; creation of groups from hierarchies of directories; separators applied within iterated template application; depthwise chained iterated template application; generalized encoding functions; and more.

fclabels-0.4.0 - First class accessor labels. Sebastiaan Visser announced a new release of the fclabels package, straight from ICFP in Edinburgh. The package provides first-class labels which act as fully composable, bidirectional record fields, as well as support for automatically generating them from record types.

vty-4.0.0.1 released. Corey O'Connor announced release 4.0.0.1 of vty, a terminal UI library. This release brings a number of important fixes, features, and performance enhancements, including a completely rewritten output backend; efficient, "scanline rasterization" style output span generator; terminfo based display terminal implementation; improved Unicode support; 256 color support; and more.

haskell-src-exts-1.1.4. Niklas Broberg announced the release of haskell-src-exts-1.1.4, a package for Haskell source code manipulation. The experimental code in Language.Haskell.Annotated{.*} has changed quite a lot, although the stable portion of the package interface has not changed. Significantly, the package now includes an exact-printer which allows round-tripping between parsing and pretty-printing to be the identity.

Next BostonHaskell meeting: September 16th at MIT (32G-882). Ravi Nanavati announced the September meeting of the Boston Area Haskell Users' Group, to be held Wednesday, September 16th from 7pm - 9pm. As usual, it will be held in the MIT CSAIL Reading Room (32-G882, on the 8th floor of the Gates Tower of the MIT's Stata Center at 32 Vassar St in Cambridge, MA). The featured speaker will be Edward Kmett, who will be presenting the second part of his monoids and parsing presentation: "A Parallel Parsing Trifecta: Iteratees, Parsec, and Monoids".

lenses -- Simple Functional Lenses. Job Vranish announced the release of lenses, a simple but powerful implementation of function lenses (aka functional references/accessors). This library provides a convenient way to access and update the elements of a structure. It is very similar to Data.Accessors, but simpler, a bit more generic and has fewer dependencies.

Dutch HUG: meeting next week (September 11th) in Utrecht. Tom Lokhorst invited functional programmers in The Netherlands to the Dutch Haskell User Group, meeting Friday, September 11 at 19:00 in the Booth Hall of the Utrecht University Library. Thomas (noknok) will be talking about his system for doing propositional logic in Haskell. Pedro will give an introductory talk about generic programming, and Sean will talk about xformat, a library for extensible and type-safe formatting with scanf- and printf-like functions. There is also still space for short 5-minute lighting talk about something related to Haskell or functional programming; contact Tom if you're interested.

moe html combinator. Jinjing Wang announced the release of moe, a DSL for generating HTML.

jail-0.0.1 - Jailed IO monad. Sebastiaan Visser announced the first release of the jail package, a jailed IO monad that can restrict filesystem access for your code.

scion 0.1. Thomas Schilling announced the first release of Scion, a Haskell library that aims to implement those parts of a Haskell IDE which are independent of a particular front-end. Scion is based on the GHC API and Cabal. It provides both a Haskell API and a server for non-Haskell clients such as Emacs and Vim.

Blog noise

• Don Stewart (dons): DEFUN 2009: Multicore Programming in Haskell Now!.

• Bryan O'Sullivan: Slides from my CUFP 2009 keynote talk.

• LHC Team: Yet another unfair benchmark..

• Alex McLean: Hackpact documentation.

• >>> Jeff Foster: Exploring Haskell's List Functions.

• Don Stewart (dons): Parallel Programming in Haskell: A Reading List.

• David Amos: Finite fields, part 2.

• >>> Jeff Foster: Debugging in Haskell.

• apfelmus: Fun with Morse Code.

• Ketil Malde: Parsing ints.

• Alex McLean: Hackpact.

• Greg Bacon: Finding duplicates with Perl and Haskell.

• Colin Adams: Selecting software for a replacement for this website.

• Don Stewart (dons): Haskell Popularity Rankings: September 2009.

• Mikael Vejdemo-Johansson: [Stanford] MATH 198: Category Theory and Functional Programming.

• Jeff Heard: HDR imaging library for Haskell based on pfsutils.

• David Amos: Extension fields.

• Magnus Therning: Trying to work out iteratees.

Quotes of the Week

• benmachine: ho hum. I understand both your positions. but i don't understand mine, now :(
• ksf: agda is actually a secret mindwar-weapon of the illuminati, who want to wrack your nerves with excessively big symbol sets requiring a keyboard with 10 modifier keys. just like APL.
• Axman6: does anyone else think that C++ looks like a dead fish? (C++<)
• Cale: The difference between Many Worlds and Copenhagen is a garbage collector ;)
• apfelmus: Lambda Fu, form 72 - three way dragon zip: 'averages3 xs = zipWith3 avg xs (drop 1 xs) (drop 2 xs); where avg a b c = (a+b+c) / 3'

About the Haskell Weekly News

New editions are posted to the Haskell mailing list as well as to 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 byorgey at cis dot upenn dot edu. The darcs repository is available at darcs get http://code.haskell.org/~byorgey/code/hwn/ .