Haskell Weekly News: November 29, 2009

Submitted by jfredett on Sun, 11/29/2009 - 6:54pm.
Haskell Weekly News: November 29, 2009

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

Firstly, sorry for the late HWN, a turkey coma is equal parts gift and curse. This week, we have some very exciting news, a new Haskell standard -- Haskell 2010 -- was announced, including several small changes. Also, we have lots of new packages, a possible Boston-area Hackathon coming up soon, and some great discussion. I won't hold you back from skipping all that and just reading the funny quotes! Haskellers, your (belated) Haskell Weekly News!


Haskell 2010. Simon Marlow announced the new revision of Haskell, Haskell 2010. Part of the new, less monolithic Haskell Prime process, Haskell 2010 includes several changes to the Haskell Language, including support for nonstandard if-then-else syntax (particularly wrt `do` notation and indentation), pattern guards, and several other changes. See the post for details.

Clutterhs 0.1. Matt Arsenault announced Clutterhs, version 0.1. A set of bindings for Clutter, a GObject based library for creating 2.5D interfaces using OpenGL.

Interesting experiences of test automation in Haskell? Automation of Software Test 2010. John Hughes announced a 'heads up' for the Automation af Software Test 2010 workshop

NoSlow - Microbenchmarks for array libraries. Roman Leshchinskiy announced his benchmark suite for various array and list libraries.

CMCS 2010: First call for papers. Alexandra Silva announced a first call for papers for the Tenth International Workshop on Coalgebraic Methods in Computer Science, taking place 26-28 March 2010, in Paphos, Cyprus.

GPCE'10 First Call for Papers. Bruno Oliveira announced a first call for papers for the Ninth International Conference on Generative Programming and Component Engineering. GPCE 2010 October 10-13, in Eindhoven, The Netherlands.

Call for Participation: TLDI'10. Andrew Kennedy announced a call for participation in the 2010 ACM SIGPLAN Workshop on Types in Language Design and Implementation

Deadline Extension: JSC Special Issue on Automated Specification and Verification of Web Systems. demis announced an extension to the paper deadline for the JSC Special Issue on Automated Specification and Verification of Web Systems.

VSTTE 2010: Verified Software -- Second Call for Papers. Gudmund Grov announced the second call for papers for the Third International Conference on Verified Software: Theories, Tools, and Experiments

GPipe-1.1.0 with greatly improved performance. Tobias Bexelius announced a new version of the GPipe package, now with greatly improved performance.

wumpus-core. Stephen T announced a new version of the wumpus-core package, a library for drawing 2D vector pictures, supporting output to SVG and postscript.

package-vt-, Haskell Package Versioning Tool. Krzysztof Skrzetnicki announced the first release of his automatic version tracking tool, package-vt.

Elerea 1.1. Patai Gergely announced a new version of Elerea, a simple pull-based FRP library. Elerea (and FRP in general) allow for stream oriented programming, typically done in a applicative style.

mecha-0.0.4. Tom Hawkins announced a new version of Mecha, a little constructive solid modeling language intended for doing 3D CAD.

atom-0.1.2. Tom Hawkins announced a new release of Atom, a DSL for designing hard realtime embedded software with Haskell. This release adds guarded division operations, a new scheduling constraint, and a new rule scheduling algorithm.

Managing Cabal Dependencies using Nix and Hack-nix. Marc Weber announced a package for dealing with Cabal dependencies on the Nix OS platform.


haskell in online contests. vishnu asked about using Haskell in online contests, and particularly dealing with the SPOJ tool for judging programs.

Namespaces for values, types, and classes. Sebastian Fischer suggested allowing a namespace separation between class-names and other language elements.

I miss OO. Michael Mossey lamented his desire for Object-oriented features in Haskell, this led to a interesting discussion about name punning and typeclasses.

Haskell Hackathon in Boston January 29th-31st? Ravi Nanavati proposed a potential Hackathon in this editor's favorite city, to be held the 29th to the 31st.

Blog noise

Haskell news from the blogosphere. Blog posts from people new to the Haskell community are marked with >>>, be sure to welcome them!

Quotes of the Week

  • command: lambdabot will say 'it is forever etched into my memory' and then forget the quote by tomorrow.
  • copumpkin: orbitz makes [##C++] especially brutal to make people appreciate #haskell more
  • mtnviewmark: [on the State monad] "If I had a sta-ate, I'd compute it in the morning.... I'd compute it in the evening.... All over this la-and!"
  • monochrom: dynamic type is poor man's dependent type, they are so poor they can't buy a theorem prover.
  • Veinor: just remember: you can't spell fundeps without fun.
  • Botje: i think it's too early to be sticking things into other things ..
  • Berengal: Haskell is made of sugar and spice and everything nice, plus the mysterious compound X
  • sproingie: sproingie enables IncoherentInstances and ends up with Sarah Palin in his living room

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 .