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

Editor's Note: The email version of this week's HWN went out with the wrong issue number, it has been edited in this version.

First of all, apologies for the late edition, I've only one set of finals left, and then everything should return to a normal schedule (at least, that's the plan). This week brings lots of development on the various usb utilities, an edition of the Haskell Web News (which covers, in summary, the events of the previous month in the Haskell online community), and some really great discussion about why Haskell is Pure. Until next week, Haskeller's, your Haskell Weekly News!

Announcements

Next meeting: December 17th at MIT (32-G882). Ravi Nanavati announced the next meeting of the Boston Area Haskell User Group. Ryan Newton will be talking about Intel Concurrent Collections for Haskell.

PCLT-0.1 and PCLT-DB-0.1. Andrey Sisoyev announced his first two packages he's developed in Haskell. Both of his new packages relate to localization of packages.

Announcing a summer internship for a NASA-sponsored project. Lee Pike announced a new summer internship sponsored by NASA and Galois, Inc.

unicode-symbols-0.1.1. Roel van Dijk announced the release of his package 'unicode-symbols'. This packages offers alternative symbols for a number of common function and operators from the base and container packages.

ls-usb-0.1.0.2. Roel van Dijk announced a minor update of ls-usb, his package for listing USB devices connected to your system.

usb-safe-0.1. Bas van Dijk announced the release of his package usb-safe, which provides an abstract interface to the bindings-libusb library.

usb-0.3. Bas van Dijk announced a new release of his 'usb' library for high-level communication with usb devices from Haskell.

bindings-libusb-1.4.2. Bas van Dijk announced a new version of bindings-libusb, a DSL based, low level binding to libusb

The Haskell Web News: December 2009 Edition. Don Stewart announced the Haskell Web News for December.

new installment of failure framework. Michael Snoyman announced the next installment of the Failure Framework.

PortAudio Windows Tutorial and Binaries. M Xyz announced a tutorial for setting up PortAudio on Windows

readline-statevar-1.0.1.0. Krzysztof Skrzetnicki announced a small wrapper for readline.

hakyll-0.1. Jasper van der Jeugt announced Hakyll, a simple static site generator written in Haskell.

Discussion

Why? John D. Earle asked about what benefits of purity in Haskell.

Type system speculation. Andrew Coppin asked about why we Haskeller's (including himself) are so obsessed with the type system.

To Hackage or not to Hackage. John Van Enk asked about whether it was worth putting a package on Hackage.

Hayoo and Hoogle (beginner question). drostin77 asked our 'Hopefully Helpful Haskell Community' about the differences between Hoogle and Hayoo.

Blog noise

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

• Manuel M T Chakravarty: Using DTrace to track scheduler events of GHC's runtime.

• Darcs: darcs weekly news #47.

• Brent Yorgey: Mgu’s and universal properties.

• Philip Wadler: Computer Science Education Week.

• Bryan O'Sullivan: The performance of Data.Text.

• Neil Brown: Solving the Santa Claus Problem with Conjunction.

• Douglas M. Auclair (geophf): Don't know; don't care: Whatever.

• Ivan Lazar Miljenovic: Command Input/Output and blocking.

• Galois, Inc: Tech Talk: John Launchbury presents Conal Elliott’s “Beautiful Differentiation”.

• Well-Typed.Com: Talk at the Functional Programming eXchange.

• Neil Brown: The Problem with Parallel Participants Professing Priority.

• Sean Leather: Draft: "Pull-Ups, Push-Downs, and Passing It Around: Exercises in Functional Incrementalization".

• Mikael Vejdemo Johansson (Syzygy-): Coordinatization with hom complexes.

• Haskell Web News: What’s new in Haskell? December 2009.

• Dan Piponi (sigfpe): Where do monads come from?.

• Michael Snoyman: Two language extensions.

Quotes of the Week

• sproingie: | {-# LANGUAGE NoTypeChecking #-}
• kmc: the usual structure for a Haskell program is a crunchy IO shell with a gooey chocolate pure function center
• sproingie: if it makes Cale's brane asplode, i think there's no hope for me understanding it
• Wikipedia: In topology, the long line (or Alexandroff line) is a topological space analogous to the real line, but much longer.
• ray: a monad tutorial is like a sausage factory
• TomTobin: ::facepalm:: I wrote "Foobar" as a placeholder as I was typing [for the author's name], and never replaced it [in my email].
• ski: > (let id :: (forall id. id -> id) -> id -> id; id id = id id in id) id 5
• dmwit: analogies are endofunctors in the category of bad explanations
• knobo: I really like this :) I can see that haskell is really cool now. This i a "matrix moment" for me :)

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 142 of HWN, a newsletter covering developments in the Haskell community.

Occasionally, I have something silly or clever to say here. Usually I give a summary of the weeks news and end it with a bit of a cliche tagline, however, this is finals week, and as such, there is absolutely no brain cells left working to come up with any cleverness for here. I'll see you next week with (hopefully) more ability for humor. Until next week, the Haskell Weekly News!

Announcements

error-message. Gregory Crosswhite announced a package for handling errors in haskell. To quote his message directly, 'If there is one thing that we really don't have enough of in Haskell, it is *ways to handle errors*!'

atom-0.1.3. Tom Hawkins announced a new version of the Atom DSL for designing hard realtime embedded software.

Blueprint 0.1 -- PREVIEW. Gregory Crosswhite announced a preview version of his 'Blueprint' configuration package.

haskell-mode 2.7.0. Svein Ove Aas announced another release of Haskell-mode for Emacs

graphviz-2999.7.0.0. Ivan Lazar Miljenovic announced a new version of his set of bindings to the graphviz tools for visualizing graphs.

Haskell Job Openings (Pune, IN). Tom Hawkins announced some job openings in Eaton's engineering center in Pune, India.

SaC Tutorial at PPoPP 2010. Clemens Grelck announced a tutorial to be held at PPoPP on SAC and it's auto-parallelizing compiler SAC2C.

Call for papers: PAPP 2010, 7th International Workshop on Practical Aspects of High-level Parallel Programming. Clemens Grelck announced a call for papers for the Seventh International Workshop on Practical Aspects of High-level Parallel Programming.

PhD Studentships in Nottingham. Graham Hutton announced some PhD openings at the University of Nottingham.

Second Call for Copy: Monad.Reader Issue 15. Brent Yorgey announced a second call for copy for the Monad.Reader.

3 full professor positions at DIKU. Fritz Henglein announced three open professor positions at the the Department of Computer Science at the University of Copenhagen (DIKU).

Hubris 0.0.2, the Ruby-Haskell bridge. Mark Wotton announced a new version of the Hubris package is now available on hackage.

Discussion

You are in a twisty maze of concurrency libraries, all different ... Patrick Caldon asked about the 'right' concurrency package to use for his project.

Greetings! 2D Graphics? M Xyz asked (enthusiatically) about different ways to do 2-dimensional graphics in Haskell.

Wikipedia article. Simon Marlow rallied us all into fixing the (or at least starting to fix) wikipedia page for Haskell.

Great Programs to Read? Michael Lesniak asked about what programs were worth reading.

Blog noise

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

• Michael Snoyman: String-like.

• Claude Heiland-Allen: Heist: dataflow algebra.

• Adam Jones: Lambda Calculus Compiler: Part III: First-Order Functions.

• Holumbus: Hayoo! Update … Again.

• Mikael Vejdemo Johansson (Syzygy-): [MATH198] Lecture 10 (last lecture) posted.

• Neil Brown: Automated Wiring of Message-Passing Processes.

• Computer Systems Design Laboratory at the University of Kansas: ChalkBoard Release.

• Bryan O'Sullivan: Dense? Dense, you say?.

• Ivan Lazar Miljenovic: Waddaya know, testing WORKS!.

• Ivan Lazar Miljenovic: If wishes were tests, code would be perfect.

• Ivan Lazar Miljenovic: The Problems with Graphviz.

Quotes of the Week

• Badger: one does not simply >>= into mordor
• Apocalisp: data CanHaz a = Haz a | ButIEatedIt
• Apocalisp: You can't have your baby and eat it too
• Dave_Benjamin: please talk to your son or daughter about parametric polymorphism
• Cale: Beginners are confusing to beginners. I move that we remove them from the language altogether.
• monochrom: I am 17-ary, going on 18-ary, I can take curry of you
• jmillikin: [the real world is] an implementation detail of IO, pay it no mind
• monochrom,ezyang: The Principle Of Idiot Savant: any sufficiently misguided opinion is indistinguishable from deep insight
• Cale: I swear that most of higher-dimensional category theory must have been arrived at by some guys sitting around in a room with a blackboard and saying "What if a drew a diagram like *THIS*!?" and drawing some insane scribble up on the blackboard, and then everyone tries to figure out how to turn it into meaningful mathematics.
• jbe: Here I am, happy my code compiles, and the runtime is thumbing its nose at Turing.
• Ferdirand: I was TA for a C++ programming course aimed at 1st year physics once. Some girl asked for help "i wrote pseudo-code but I cannot translate it to C++". Her pseudo-code was valid haskell. I cried.
• mmorrow: [regarding excessive use of categorical recursion schemes] a morphasm?
• copumpkin: I'm on a rollomorphism
• dons: but rumours are remarkably common when it comes to haskell
• monochrom: If you read a haskell book or an FP book, by chapter 5 it's already doing data structures. It's chapter 10 in imperative books.

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 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!

• Dan Piponi (sigfpe): Programming with impossible functions, or how to get along without monads..

• Neil Brown: Graph Layout with Software Transactional Memory and Barriers (plus video!).

• Ivan Lazar Miljenovic: If wishes were tests, code would be perfect.

• Adam Jones: Lambda Calculus compiler, Part II: Wading in with arithmetic.

• FP Lunch: Implementing a Correct Type-Checker for the Simply Typed Lambda Calculus.

• Manuel M T Chakravarty: Haskell 2010.

• Holumbus: hayoo.info.

• Paul Chiusano: Perfect strictness analysis (Part 2).

• Paul Chiusano: Perfect strictness analysis (Part 1).

• Paul Chiusano: Optional laziness doesn't quite cut it.

• Neil Brown: Force-Directed Graph Layout with Barriers and Shared Channels.

• Neil Mitchell: Reviewing View Patterns.

• JP Moresmau: EclipseFP 1.109.0 is out!.

• CS Design Lab, University of Kansas: Special LAMBDA meeting.

• Joachim Breitner: arbtt now in Debian.

• Neil Mitchell: Haskell DLL's on Windows.

• Conal Elliott: Thoughts on semantics for 3D graphics.

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 .

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!

• Neil Brown: The Operators and Monoids of CHP.

• Philip Wadler: A list is an odd creature, take 2.

• Darcs: darcs hacking sprint 3 report.

• Mikael Vejdemo Johansson (Syzygy-): [MATH198] Lecture 9 posted and lectured.

• Gergely Patai: LambdaCube and Bullet on Hackage at last.

• David Amos: Three new modules in HaskellForMaths.

• Darcs: darcs weekly news #46.

• Christophe Poucet (vincenz): Setting up iptables to throttle incoming ssh.

• Ivan Lazar Miljenovic: Waddaya know, testing WORKS!.

• Neil Mitchell: Reviewing View Patterns.

• Neil Brown: An Introduction to Communicating Sequential Processes.

• Joachim Breitner: Darcs Hacking Sprint: Mission Complete.

• Ivan Lazar Miljenovic: Past, Present and PEPM.

• Erik de Castro Lopo: Hacking DDC..

• Dan Piponi (sigfpe): Haskell Monoids and their Uses.

• Joachim Breitner: Arrived at the Darcs hacking sprint.

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 .

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!

• Neil Brown: The Observer Pattern using a Broadcast Channel.

• Martijn van Steenbergen: GADTs in Haskell 98.

• Mikael Vejdemo Johansson (Syzygy-): [MATH198] Multiple lectures posted.

• Andy Gill: LAMBDA this week – ChalkBoard.

• London Haskell Users Group: Functional Programming Exchange.

• Neil Brown: The Observer Pattern using a Message-Passing Process.

• Luke Plant: Is static type checking a redundant testing mechanism?.

• Twan van Laarhoven: Four ways to fold an array.

• Martin Sulzmann: Tag-free Combinators for Binding-Time Polymorphic Program Generation.

• Luke Palmer: Collision Detection with Enneatrees.

• Dan Piponi (sigfpe): Memoizing Polymorphic Functions with High School Algebra and Quantifiers.

• Luke Plant: Haskell blog software.

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 .