GHC

General
Development
Edit

News

[81 total ]
Haskell Weekly News: November 21, 2009

Posted 1 day ago by jfredett

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 ... [More] 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 .

[Less]

Haskell Weekly News: November 14, 2009

Posted 9 days ago by jfredett

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 ... [More] 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 .

[Less]

Haskell Weekly News: November 7, 2009

Posted 16 days ago by jfredett

Haskell Weekly News: November 07, 2009
Welcome to issue 138 of HWN, a newsletter covering
developments in the Haskell community.

Lots of discussion about ... [More] Clean
this week. As well there was a new DSL, feldspar, announced. It deals
with digital signal processing applications.

Announcements
MonadRandom-0.1.4. Brent Yorgey
announced

a new version of MonadRandom which adds applicative instances for Rand
and RantT, so you can write your code in applicative style.

Criterion 0.2, an improved Haskell benchmarking library. Bryan
O'Sullivan
announced
a new version of Criterion, all the details
of this release are available on his blog

feldspar-language. Emil Axelsson
announced
feldspar, a DSL for digital signal processing.

feldspar-compiler. Emil Axelsson
announced
the C code backend for the `feldspar` language.

fdo-notify 0.1, a client for the Desktop Notifications
protocol. Max Rabkin
announced
a library for FreeDesktop.org's Desktop Notifications Protocol.

language-python version 0.2 now available. Bernie Pope
announced

a new version of the language-python package, which provides an AST and
parser for Python 2.x-3.x (previously, only 3.x was supported).

timeplot. Eugene Kirpichov
announced
timeplot, which is useful visualizing log files.

Singapore FP Users Group First Meeting. Max Cantor
announced
the first meeting of the Singapore FP Users Group, it will be Monday,
November 2nd at 6pm.

Advgame 0.1.1. Tim Wawrzynczak
announced
his port of Conrad Barski's 'Casting SPELs in Lisp' to Haskell.

BlogLiterately-0.2. Robert Greayer
announced
version 0.2 of BlogLiterately, a simple tool for uploading posts written
in markdown and Literate Haskell to blogs.

haskell-mode 2.6. Svein Ove Aas
announced

a bugfix release of the Emac's Haskell mode.

Discussion A Problem Defining a Monad instance. Petr
Pudlak
asked
about how to defined an instance of the Monad class for a monad whose
argument is restricted by another typeclass.

Point Free Case Expressions. Sebastiaan Visser
suggested
that a new syntax be added for 'point-free' case expressions.

Master's thesis topic sought. Matus Tejiscak
asked
for suggestions for possible Master's Thesis topics.

What's the deal with Clean? Deniz Dogan
asked
about the recent discussion on the -cafe list about Clean, another Pure,
Lazy, Strictly Typed language.

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: Text.Printf
and monad transformers.

Bryan O'Sullivan: Criterion
0.2, an improved Haskell benchmarking
library.

Galois, Inc: Tech
Talk: Hoare-Logic – fiddly details and
small print.

Gtk2HS: Writing
concurrent programs..

Tom Schrijvers: Postdoc/PhD
Positions on the Monadic Constraint Programming
project.

Darcs: darcs
weekly news #45.

Tom Schrijvers: Haskell
Type Constraints unleashed.

Luke Plant:
Building
GHC is fun....

Manuel M T Chakravarty:
Status
Update of the Glasgow Haskell Compiler,
October 2009.

Chris Smith: Monads
from Two Perspectives.

Neil Brown: Concurrent
Testing and Tracing: Useful Output for Test
Failures.

Dan Piponi (sigfpe): Buffon's
Needle, the Easy Way. Buffon's needle is a popular probability
problem. Rule lines on the floor a distance d apart and toss a needle
of length l
lispy: Great, I leave the channel for a few hours and
suddenly Haskell has a new found work ethic. roconnor:
ivanm: I will keep the fail in the code lament: just
remember to ask, 'What are your questions', as opposed to 'Do you have
any questions' mauke: @unpl const (flip const)

lambdabot: (\ _ c d -> d)

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 .

[Less]

Haskell Weekly News: October 24, 2009

Posted 30 days ago by jfredett

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 ... [More] 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! 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 .

[Less]

Haskell Weekly News: October 17, 2009

Posted about 1 month ago by jfredett

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 ... [More] 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! 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 .

[Less]

Haskell Weekly News: October 10, 2009

Posted about 1 month ago by jfredett

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 ... [More] 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! 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 .

[Less]

Haskell Weekly News: October 3, 2009

Posted about 1 month ago by byorgey

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 ... [More] 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! 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 .

[Less]

Haskell Weekly News: September 26, 2009

Posted about 1 month ago by byorgey

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 ... [More] 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! 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
.

[Less]

Haskell Weekly News: September 19, 2009

Posted 2 months ago by byorgey

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 ... [More] 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! 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
.

[Less]

Haskell Weekly News: September 12, 2009

Posted 2 months ago by byorgey

Haskell Weekly News: September 12, 2009
Welcome to issue 130 of HWN, a newsletter covering
developments in the Haskell community.

Welcome to issue 130 of HWN! In the ... [More] 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 Haskell news from
the blogosphere.
Blog posts from people new to the Haskell community are marked
with >>>, be sure to welcome them! 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/
.

[Less]