General News

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!

Announcements

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-0.1.3.3, 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.

Discussion

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 .

Haskell Weekly News: November 21, 2009

Submitted by jfredett on Sat, 11/21/2009 - 2:16pm.
Haskell Weekly News: November 22, 2009

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

Apologies for the somewhat late edition, I got back late from the NES/MAA conference yesterday in Springfield, MA, and was generally too exhausted from all the math competing and giving of talks that HWN could not compete with the appeal of sleeping... This week there was a new edition of the HCAR, plenty of good discussion about Iteratee's and the Type Directed Name Resolution proposal, altogether a busy week. So here it is, your Haskell Weekly News!

Announcements

[BostonHaskell] Next meeting: November 24th at MIT (32-G882). Ravi Nanavati announced the next meeting of BAHUG.

Haskell Communities and Activities Report (17th ed., November 2009). Janis Voigtlaender announced the new edition of the Haskell Communities and Activities Report.

Call for Participation - PEPM'10 (co-located with POPL'10). Janis Voigtlaender announced a call for participation for PEPM 2010.

LambdaCube engine and Bullet physics binding. Csaba Hruska announced a binding to the LambdaCube and Bullet engines.

ICFP '10: Second call for workshop proposals. Wouter Swierstra announced a second call for workshop proposals for ICFP 2010.

deepseq-1.0.0.0. Simon Marlow announced version 1.0.0.0 of `deepseq`

wcwidth-0.0.1. Jason Dusek announced a small package which provides binding to wchar.h, which assigns a column width to unicode characters.

gnome-keyring 0.1 (bindings to libgnome-keyring). John Millikin announced a set of bindings to the GNOME keyring libraries.

attempt. Michael Snoyman announced a new release of the `attempt` package.

control-monad-failure and safe-failure. Michael Snoyman also announced a new version of `control-monad-failure` and `safe-failure`.

Announcing the GHC Bug Sweep. Simon Marlow announced the GHC bug sweep, to help weed out the GHC Trac of old bugs, and also to get warm fuzzy feelings from helping everyone's favorite compiler devs.

New Industrial Haskell Group membership options. Duncan Coutts announced some new membership options for the the Industrial Haskell Group (IHG)

bindings-SDL 1.0.2, the domain specific language for FFI description. Mauricio Antunes announced a new version of the bindings-SDL package.

wxHaskell 0.12.1.2. Jeremy O'Donoghue announced a release of the wxHaskell package, including new improved support for installation via cabal on any system, with only a minor caveat on Windows.

TFP 2010 - Call for Papers. TFP 2010 announced a call for papers for TFP 2010, the 11th symposium on Trends in Functional Programming.

Reminder: Fun in the afternoon, MSR Cambridge, 26 Nov. Simon Marlow announced a final reminder for the `Fun in the Afternoon` meeting, which will be at MSR Cambridge on the 26th of November (ED: Thanksgiving for us Americans, if only there were some way to combine turkey-oriented gluttony with Functional programming...).

Job at the University of Technology in Cottbus. Wolfgang Jeltsch announced a job opening at the University of Technology in Cottbus.

Scottish Category Theory Seminar. Conor McBride announced the first meeting of Scottish Category Theory Seminar, a forum for discussion of all aspects of Category Theory, be they pure or applied. (ED: I am fighting very hard to not make some sort of Braveheart Joke...)

Discussion

Iteratee question. Valery V. Vorotyntsev asked about using iteratee's in his binary data parser code.

Haskell as an alternative to Java. Philippos Apolinarius wondered whether Haskell would make for a good Java alternative.

Status of TypeDirectedNameResolution proposal? Levi Greenspan asked about the status of the TDNR proposal.

Typef*ck: Brainf*ck in the type system. Johnny Morrice showed us his implementation of everyone's favorite profane programming language... in the type system.

Could someone teach me why we use Data.Monoid? Magicloud Magiclouds requested some insight to why we use monoids so much in Haskell, leading to a fantastic discussion of all the myriad places Monoids pop up in both Haskell and in Math in general.

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

  • Apocalisp: You can't have your baby and eat it too
  • tensorpudding: so you boil lisp for an hour to sift out the parentheses and impurities, make a whitespace sauce with liberal syntactic sugar, and you have haskell a la mode
  • ddarius: I'm not aware of anything (including C++) that can seamlessly talk to C++ code.
  • ksf: is Data.Data.Data some kind of reference to swedish chefs?
  • IceDane: [on escaping an imperative mindset]: <kmc> i recommend heavy drinking <IceDane> I've tried that. I just have fun and wake up and feel like shit the day after. but still think in loops.
  • jpet: Ok, after studying the generated core a bit, I can conclude that generated core is somewhat hard to follow.
  • Adamant: [on the update complexity of Data.Map] I read that as 'Oleg(n)'
  • skorpan: I did not have impure relations with that language

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 .

Haskell Weekly News: November 14, 2009

Submitted by jfredett on Sat, 11/14/2009 - 12:38am.
Haskell Weekly News: November 14, 2009

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

Lots of good discussion this week about everything from Monoids to Memory Leaks, Parsers (for Token Streams) and pushing Haskell onto Medical devices! I could go on some long rant rife with really righteous alliteration or a touch of timely consonance, but instead I'll leave you all, my fellow Haskellers, to read your Haskell Weekly News!

Announcements

Two Open PhD positions at the Technical University Munich. Axel Simon announced two PhD positions are open in Low-level and High-level analysis, see the post for details. (ED: Apologies for being so late in this announcment, it slipped under my radar! )

Final CFP: WFLP 2010. Deadlines extended: Abstract due Nov 18; Full paper due Nov 25 (LNCS). Pablo Nogueira announced a deadline extension for the WLFP 2010 conference, abstracts are now due November 18, and full papers by the 25th.

hesql. Christoph Bauer announced hesql, a preprocessor for writing SQL statements in pure haskell.

dbus-core 0.6 and dbus-client 0.2. John Millikin announced the second release of his dbus libraries. Changes include performance improvments, better support for byte arrays, and TCP/IP transport (though this remains untested).

simple-observer-0.0.1, a simple implementation of the observer design pattern. Andy Gimblett announced an implementation of the Observer pattern in Haskell

ICFP 2010: Call for papers. Wouter Swierstra announced a call for papers for ICFP 2010.

Calling all Haskellers in Huntsville, Alabama, or surrounding areas! Jake McArthur announced the formation of a new Haskell User Group in Alabama. (ED: Apparently, Shae is the Johnny Appleseed for the Haskell Community, #haskell, BAHUG, now AHUG... when will it end? )

acme-dont. Gracjan Polak announced the acme-dont package, providing a vital missed feature to our language -- a don't monad. See the post for all the revolutionary details.

Discussion

Could someone teach me why we use Data.Monoid? Magicloud Magiclouds 1fa7 gmane.comp.lang.haskell.cafe/66223 asked why we use monoids so much in Haskell.

Least common supertype. Sean Leather posed an interesting question about 'antiunification' -- finding a common supertype of two types which is 'most-constrained'.

Long running Haskell program. David Leimbach asked about managing memory leaks in long running programs.

Parsec - separating Parsing from Lexing. Fernando Henrique Sanches asked about using Parsec to parse a Token Stream.

Help Haskell driving Medical Instruments. Philippos Apolinarius talked about using Haskell to drive medical instruments.

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

  • c2.com: If you can program anything in HappS you actually already learned Haskell
  • Cale: Chew new Lasty ST Gum! It lasts until _|_!
  • danderson: [using unsafeFreeze for an ST action] that sounds like a way to shoot myself in the foot with high efficiency, given my knowledge of haskell.
  • BONUS: C++ is saner than something? imo C++ is like the guy that goes around shouting "I am napoleon!!!"
  • kmc:: (): worst monoid ever
  • DanWeston: Bottom has only one value, not two. Otherwise bottom would have been called buttocks.

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 .

Haskell Weekly News: October 31, 2009

Submitted by jfredett on Fri, 10/30/2009 - 10:43pm.
Haskell Weekly News: October 31, 2009

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

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

  • 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 .

Haskell Weekly News: October 24, 2009

Submitted by jfredett on Fri, 10/23/2009 - 11:51pm.
Haskell Weekly News: October 24, 2009

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

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

  • 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 .

Haskell Weekly News: October 17, 2009

Submitted by jfredett on Fri, 10/16/2009 - 11:00pm.
Haskell Weekly News: October 17, 2009

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

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

  • 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 .

Haskell Weekly News: October 10, 2009

Submitted by jfredett on Sat, 10/10/2009 - 10:50am.
Haskell Weekly News: October 10, 2009

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

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

  • 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 .

Haskell Weekly News: October 3, 2009

Submitted by byorgey on Sat, 10/03/2009 - 10:50am.
Haskell Weekly News: October 03, 2009

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

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

  • 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 .

Haskell Weekly News: September 26, 2009

Submitted by byorgey on Sat, 09/26/2009 - 2:58pm.
Haskell Weekly News: September 26, 2009

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

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

  • 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 .

Haskell Weekly News: September 19, 2009

Submitted by byorgey on Sat, 09/19/2009 - 11:35am.
Haskell Weekly News: September 18, 2009

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

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

  • 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 .