Haskell Weekly News

Haskell Weekly News: Issue 152 - March 8, 2010

Submitted by jfredett on Mon, 03/08/2010 - 3:27pm.
Haskell Weekly News: March 08, 2010

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

Hello Haskellers, this week brings updates to some standards (like Parsec), as well as some new tunes to the Haskell songbook. WAI and Yesod were released, giving some new options for Haskell-based web applications, Don Stewart made some improvements to his Genetic Optimizer system to include options from GHC's new LLVM backend, and I made some serious progress on the new HWN software.

Speaking of the new software, there have been numerous reports of warts and other unfortunate things with the current editions of the HWN. Fear not, these warts are well known and being worked on intently. Unfortunately, it's somewhat difficult to fix them given the current publication software, however, in the new-and-improved version that (hopefully) should be entering use soon, these warts will be removed.

So, without further interuption about the stylistic content, Haskellers, your Haskell Weekly News!

Announcements

Bluetile 0.3.1. Jan Vornberger announced Bluetile, an adaptation of xmonad for the masses. Bluetile aims to make tiling window managers accessible by drawing on standard window manager conventions and idioms. ED: This is not technically an announcement, but it's very cool and everyone should check it out!

yesod 0.0.0 (web framework). Michael Snoyman announced the release of yesod, a web framework based on WAI.

wai-0.0.0 (Web Application Interface). Michael Snoyman announced the first release of wai, a library implementing the WAI protocol.

iteratee-parsec 0.0.2. Maciej Piechotka announced iteratee-parsec, a library which allows for parsec parsers in the IterateeG monad.

Parsec 3.1.0. Derek Elkins announced a new release of Parsec, containing many improvments due (primarily) to Antoine Latter.

Progression-0.3 (supporting benchmarking in Haskell). Neil Brown announced a new release of Progression. Progression is a utility built on top of Criterion for recording benchmarks for several version of your code.

Ghent Functional Programming Group: First Meeting on April 1, 2010. Jeroen Janssen announced the first meeting of the Ghent Functional Programming group, see the post for location and time details.

PhD position in Functional Programming at Chalmers (deadline 2010-04-07). Patrik Jansson announced an opening for a PhD student at Chalmers, working in Functional Programming and DSELs.

VSTTE 2010: Verified Software -- Third Call for Papers. Gudmund Grov announced a third CFP for VSTTE 2010, the Third International Conference on Verified Software: Theories, Tools, and Experiments.

barchart-0.1.1. Sebastian Fischer announced barchart, a command line program with an associated library for generating bar charts.

Call for Participation: CHR Summer School. Jon Sneyers announced a call for participation in the CHR Summer School on Programming and Reasoning with Rules and Constraints.

Discussion

Free theorem - what do we need it for. Maciej Piechotka asked about Free Theorems and what they were good for.

Has anybody translated Douglas Hofstadter's Scientific American articles introducting Scheme to a general audience into Haskell? Benjamin L. Russell asked if anyone had considered translating Douglas Hofstadter's SciAm articles introducting Scheme to Haskell.

Evolving Faster Haskell Programs (now with LLVM!). Don Stewart our resident speed demon is at it again, harnessing the new LLVM backend of GHC and the power of Natural Selection to make his programs go even faster.

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

  • edwardk: heh, i'm amused the ParsecT that Antoine Latter put together is in the form of a right kan extension ;)
  • Philippa: <TR1N1TY> I'm selling botz and backdoors
    <Philippa> I'm selling bans
  • samlee (via reddit): haha those ghc options are longer than actual program

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: Issue 151 - February 28, 2010

Submitted by jfredett on Sun, 02/28/2010 - 8:45pm.
Haskell Weekly News: February 28, 2010

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

A light HWN this week, some interesting discussion about view patterns and free monads. Also announced this week was TryHaskell a work-in-progress online interactive haskell interpreter and tutorial. The author (based on his reddit post) has asked us not to post this to proggit yet, but I don't think he'll mind a plug here. So after you're done reading, give it a try! Until next week, haskellers, your Haskell Weekly News.

Announcements

wxHaskell for ghc-6.12.1. Daniel Fischer announced a new release of wxHaskell.

concurrent-extra-0.2. Roel van Dijk announced a new release of concurrent-extra

jhc-0.7.3. John Meacham announced a new version of jhc, including many bug fixes.

Try Haskell! An interactive tutorial in your browser. Benjamin L. Russell told us about the TryHaskell Project, available at TryHaskell.org. TryHaskell is an interactive, online Haskell interpreter and tutorial.

MSFP: Call for Papers. Venanzio Capretta announced a call for papers for the Third Workshop on Mathematically Structured Functional Programming.

HLedger 0.8. Simon Michael announced a new version of hledger last week, but it slipped through my radar. This release includes bug fixes, some refactoring, and High-Res Graphical Chart generation capability.

Discussion

View patterns. Andrew Coppin asked about making view patterns polymorphic.

What are 'free' Monads? Guenther Schmidt asked what exactly it meant to be a 'free monad'

Multiple Interpretations for a monad? Guenther Schmidt asked about monads which can have multiple levels of meaning and interpretation.

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

  • roconnor: sounds like you need a zygohistomorphic prepromorphism
  • copumpkin: These are not the monads you are looking for.
  • noggle: this language is like having programming super powers

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: Issue 150 - February 22, 2010

Submitted by jfredett on Mon, 02/22/2010 - 11:39am.
Haskell Weekly News: February 22, 2010

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

From the very pits of Harddrive failure I return... The Haskell Weekly News Reborn! Last week, on friday, my HWN machine suffered what can only be appropriately named a unbelievably poorly timed hard drive failure, hence the lack of an HWN. I trumphently return this week with a megaedition. Tons and tons of awesome stuff happened in the last two weeks. So I won't make you wait any longer, haskellers, your Haskell Weekly News!

Announcements

vty-ui 0.3. Jonathan Daugherty announced a new version of vty-ui, featuring a richer rendering engine, generalized text transformations, and a more functional style.

darcs 2.4 release candidate 2. Reinier Lamers announced a new release candidate for darcs 2.4.

iteratee-parsec 0.0.1. Maciej Piechotka announced the release of iteratee-parsec, a library whih provides support for parsec parsers in an Iteratee monad.

concurrent-extra-0.1. Roel van Dijk announced the release of concurrent-extra, which provides a few new synchronization primitives.

wyvern, a Dragon Go Server 'client'. wagnerdm announced wyvern, a Dragon Go Server 'client', which plays moves for you on the Dragon Go Server.

atom-1.0.0. Tom Hawkins announced a new major release of the atom library.

Call for Copy: Monad.Reader Issue 16. Brent Yorgey announced the call for copy for Monad.Reader issue 16.

hmatrix 0.8.3. Alberto Ruiz announced a new version of hmatrix.

First Atlanta Function Programming Users Group Meeting. David Vollbracht announced the first Atlanta FP Group meetup.

TFP 2010 - Call for Papers and Participation. Simon Marlow announced a call for papers and particpation in TFP 2010, the 11th Symposium on Trends in Functional Programming.

CMCS 2010: Call for Short Submissions & Call for Participation. Alexandra Silva announced a call for short submissions and participation in the 10th International Workshop on Coalgebraic Methods in Computer Science.

WGP 2010 Call for Papers. Bruno Oliveira announced a call for papers for Workshop on Generic Programming.

ICE 2010: First call for papers. Alexandra Silva announced the first call for papers for ICE2010, the 3rd Interation and Concurrency Experience workshop.

Call for Papers: Haskell Symposium 2010. Jeremy.Gibbons announced a call for papers for the 2010 Haskell Symposium.

Dungeons of Wor - a largish FRP example and a fun game, all in one! Patai Gergely announced Dungeons of Wor, a Game written in Haskell using the Elerea library and Functional Reactive Techniques.

Discussion

The Related monad and constant values in type classes. Jonas Almstroem Duregard talked about a common pattern which occurs when associating data with a type (as opposed to a value).

Heterogeneous Data Structures - Nested Pairs and functional references. Guenther Schmidt asked about different ways to implement heterogeonous datastructures.

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

  • fasta: And by cool, I mean 'that is not supposed to happen'.
  • uncyclopedia: Calculations which are undefined are denoted by the _|_ symbol, pronounced Bottom, which the documentation explains as the compiler giving you the finger.
  • Draconx|Laptop: mathematics is the art of finding different ways to write "therefore".
  • medfly: Cale, #haskell wants to know all your personal preferences so we can all copy you
  • Cale: Gentoo is a massive waste of electricity.
  • hobophobe: So, I can only conclude that Haskell is a memetic virus, and monads are the eggs it lays out in innocent programming forums to entice others to become infected.
  • benmachine: unsafeCoerce is just a generalisation of id
  • jmcarthur: what good is a state monad if your state is basically 'i have no idea what the hell my state is'?

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: Issue 149 - February , 2010

Submitted by jfredett on Mon, 02/08/2010 - 11:43am.
Haskell Weekly News: February 08, 2010

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

Hello Haskellers, this week's HWN was delayed a bit in the hopes of making it a bit more substantial. I hate putting up thin HWNs, but of course this must occasionally happen. We have several new CFPs for workshops this week, a new benchmarking package, and some fun quotes. Till next week, Haskellers, your Haskell Weekly News!

Announcements

Call for Papers: Haskell Symposium 2010. Jeremy.Gibbons announced a call for papers for the 2010 ACM SIGPLAN Haskell Symposium 2010 in Baltimore, Maryland; on 30th September.

2nd CfP: LOPSTR 2010. Temur Kutsia announced a second call for papers for the 20th International Symposium on Logic-Based Program Synthesis and Transformation, being held in Hagenberg, Austria, July 23-25, 2010 (co-located with PPDP 2010).

PAR 2010: First CFP. Koen Claessen announced a first call for papers for PAR'10, the Workshop on Partiality and Recursion in Interactive Theorem Provers.

data-ordlist-0.2. Leon Smith announced a new release of ordlist, including a change to the module name and bug fixes.

progression-0.1. Neil Brown announced Progression, a metalibrary which consolidates various existing tools for Haskell optimization (notably Criterion).

HList darcs repo. Oleg He who inhabits all types, but is not _|_, has announced a new darcs repo for HList (and OOHaskell) on community.haskell.org.

Discussion

a beginner question: decorate-op-undecorate. Aran Donohue asked about how to write a function which can 'inspect' inside a datatype.

Translation of Haskell type classes. Enrique Martin talked about some experiments he's done with type classes, and asked some questions regarding optimization related to them.

Category Theory woes. Mark Spezzano asked about resources for learning about category theory.

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

  • lispy|web: This curses binding appears to be terminally broken
  • lispy: I did, 'cabal install mage' and it complains about curses
  • lament: Just use fix to find the least funny joke
  • copumpkin: A monad is just a lax functor from a terminal bicategory, duh. fuck that monoid in category of endofunctors shit

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: Issue 148 - January 31 , 2010

Submitted by jfredett on Sun, 01/31/2010 - 2:17pm.
Haskell Weekly News: January 31, 2010

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

Hello Haskellers, this week begins with a correction. Last week, I noted a blogpost from one 'Bartek Paczesiowa', I was rapidly informed of the complete wrongness of this citation. In fact, Bartek's last name is, and I hope the Unicode makes it through here, 'Ćwikłowski' and Paczesiowa is his nickname. Apologies to Bartek, as penance I've reread your excellent post on your blog. That said, this week's HWN if packed full of awesome potential naming errors, so I'll let you get to it. Thus, Haskellers, Your Haskell Weekly News!

Announcements

haskell-src-exts-1.8.0. Niklas Broberg announced a new release of haskell-src-exts.

Elerea 1.2.3 with some enhancements. Patai Gergely announced his addition of some new features to the experimental branch of his FRP library, Elerea.

hakyll-1.3. Jasper Van der Jeugt announced the release of hakyll 1.3, including several new improvments and changes.

ThreadScope 0.1. Satnam Singh announced the release of Threadscope 0.1, the premier graphical thread profiler.

The Monad.Reader Issue 15. Brent Yorgey announced the most recent issue of the Monad.Reader, a monthly publication of Haskell Related expostition and discusson articles.

afv-0.1.0. Tom Hawkins announced a afv-0.1.0, an infinite state model checker for verifying assertions about embedded C programs.

adaptive-tuple 0.1.0. John Lato announced the initial release of adaptive-tuple, his library for combining the space-efficient properties of tuples with the utility of lists.

Job opportunities at Citrix Systems (Cambridge, UK). Matthias Goergens announced a opportunity available at Citrix Systems in Cambridge, UK.

Discussion

OT: Literature on translation of lambda calculus to combinators. Dusan Kolar asked about texts regarding translating the untyped lambda calculus to a combinator calculus such as SKI or BCKW.

Linguistic hair-splitting. Andrew Coppin asked an interesting offtopic linguistic question about what we call a number, a field, an element, and a monad.

Adopting hpodder? John Goerzen asked if there were any interested adoptive maintainers for his hpodder project. This is an excellent opportunity for a Haskell Neophyte to help the community and learn about project management hopefully we can find hpodder a new maintainer!

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

  • Berengal: I'm going to write a module Hmm with a (.) operator in it, so I can go 'Hmm..' in my code
  • clarkb,: in CS they dont teach you to program...You learn Data Structures, Algorithms, Logic, Discrete Math, Language theory, etc and happen to pick up programming on the way
  • dons: hey i love core. i dream about unboxes
  • cale: Differential geometry is the study of manifolds under change of notation.
  • kmc: the irony being, the abstraction that gets the most complaining and general noise [from imperative programmers] is the one that captures imperative programming
  • kmc: i am Jack's monad operator
  • arw: ...and a basic law of haskell is, 50% of all documentation has to be monad tutorials :)
  • Cale: Here [#haskell], we feed trolls until they explode.
  • bartek: It took me 2 years of studying teachings of Oleg Kiselyov (who was raised among types, where he learned to speak their language), but finally, I have the solution.
  • kmc: I think 250 milliolegs is enough to kill an elephant
    olsner: ... to kill an elephant - in the type system!
  • syntaxglitch: every time I have a cool idea about something that might work in Haskell, I go check Oleg's stuff and find that
    1) he already did it
    2) thought it out better
    3) did it incidentally while working on something way more interesting
  • DRMacIver:: I dread to think what category theory would look like after the software engineering world had got their grubby paws on it. Enterprise variant functors. Commutative UML diagrams.

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: Issue 147 - January 24 , 2010

Submitted by jfredett on Sun, 01/24/2010 - 2:26pm.
Haskell Weekly News: January 24, 2010

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

This week on the HWN, we have a new blogger in town, Bartek, over at 'The Power of Types Compels You', wrote an excellent article which is highlighted in the blogs section. Many new packages this week as well, and some interesting discussions about performance and existential types. So, Haskellers, till next week, your Haskell Weekly News!

Announcements

ForSyDe DSL v3.1. Seyed Hosein Attarzadeh Niaki announced a new version of the ForSyDe DSL. This version provides more freedom in the declaration of process functions, as well as compatibility with base 4.

parameterized-data library v0.1.4. Seyed Hosein Attarzadeh Niaki announced a new version of the parameterized-data library. The parameterized-data library provides fixed-sized vectors, this update is provide minor compatibility fixes.

Updates and a new member of the Monadic Regions family. Bas van Dijk announced several new updates and a new member of the Monadic Regions family.

bindings-DSL 1.0.4 (Category: FFI). Mauricio CA announced a new version of his package bindings-DSL.

Haskell XML Toolbox Version 8.5.0. Uwe Schmidt announced a new version of the Haskell XML Toolbox (HXT). The main change in this version is the separation of the XPath and XSLT modules.

Cardinality-0.1. Andrey Sisoyev announced the release of his package Cardinality, a package for transforming between container types safely.

afv-0.0.3. Tom Hawkins announced a new release of AFV, an infinite state model checker for simple, iterative C programs.

CfP: PPDP 2010. Temur Kutsia announced a call for papers for the PPDP 2010 conference in July

Mini-announce: A few package updates. Andrew Coppin announced several new releases and updates to AC-EasyRaster-GTK, AC-Vector, and other packages.

amqp-0.1. Holger Reinhardt announced the release of his AMQP library. It currently only works with RabbitMQ and supports most of the 0-8 spec. An introduction to AMQP can be found here.

nntp 0.0.3. Maciej Piechotka 1f4e gmane.comp.lang.haskell.cafe/69228 announced a bugfix release to nntp.

haskell-src-exts 1.7.0. Niklas Broberg announced a new version of haskell-src-exts, featuring many new changes to the API.

Discussion

Existential Types (I guess). Ozgur Akgun asked about a problem he encountered when trying to use Existential types.

Is Haskell capable of matching C in string processing performance? John Millikin asked a question about Haskell Performance... Quick! Someone get Don Stewart!

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

  • tensorpudding: the Plot monad allow you to keep the story pure by containing all the glaring time travel silliness
  • sproingie: quickcheck myLanguage.hs --> "Web browser created after 285,731 tests"
  • RossPaterson: I'm afraid you voided the warranty when you used UndecidableInstances.
  • aavogt: strong static typing is not a substitute for sleep
  • tensorpudding: fixity goes up to 11
  • temoto: Backwards written in as Forth?
  • Paczesiowa: oh. can't argue with Cale :)
  • Axman6: and smilies make code run faster

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: Issue 146 - January 17 , 2010

Submitted by jfredett on Sun, 01/17/2010 - 5:15am.
Haskell Weekly News: January 17, 2010

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

This has been a pretty light week in terms of discussion and announcments, but even in this comparative news lull we have the release of several new versions of packages. Inlcluding the start of a new IDE, some new job and graduate program openings, and some really excellent blog noise. Until next week, Haskellers, your Haskell Weekly News.

Announcements

haskell-src-exts 1.7.0. Niklas Broberg announced a new release of haskell-src-exts

Lite Haskell IDE. Mambo Banda announced a new Haskell IDE, as part of his effort to learn Haskell.

Functional Programming Bibliography. James Russell announced the Functional Programming Bibliography, a new resource for the FP community. It, though in it's early stages, contains oer 1500 references (most of which are Haskell-related) to resources within the Functional Programming World.

hakyll-1.0. Jasper Van der Jeugt announced the release of version 1.0 of his static site generation tool, hakyll. From all (one) of us at the HWN, contragulations on the big 1.0!

afv-0.0.0. Tom Hawkins announced the initial release of 'Atom's Formal Verifier', a tool for verifying C code generated by Atom

chp-2.0.0, chp-plus-1.0.0. Neil Brown announced released new versions of his Comminicating Haskell Processes (CHP) packages. CHP is a message-passing concurrency library for Haskell. The major change in this version is a split of CHP into two packages, one containing core functionality, and one containing additional capabilities.

Update for type-level library (0.2.4). Seyed Hosein Attarzadeh Niaki announced a new version of his type-level library for type-level programming. This is a minor update to fix compatibility issues with dependencies.

Two PhD positions in theoretical computer science. Alexandra Silva announced vacancies for PhD positions in theoretical computer science at Leiden University.

HaXml-1.20.1. Malcolm Wallace announced a new, stable release of HaXml

AST 2010 reminder--call for papers and presentations. John Hughes reminded us of the AST 2010 call for papers and presentations. The submission deadline is only one week away.

Job at Mylife. Julien Verlaguet announced an availabiity for an OCaml developer at MyLife.

Open Position (PhD student or Postdoc), U Tubingen, Germany. Torsten Grust announced an open PhD/Postdoc position at the University of Tubingen in Germany. (ED: Apologies for the improper 'u' -- it should have an umlaut, but the compilation software is not cooperating)

Palindromes 0.2. Johan Jeuring announced a new release of the Palindromes package, including many new features and upgrades.

Discussion

From records to a type class. Taru Karttunen asked about turning records into type classes, in an effort to make his bindings for Fuse more elegant.

AlternativePrelude extension. Sjur Gjostein Karevoll suggested a language pragma for alternative preludes. (ED: Again, apologies for the look-alike, but improper character).

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

  • Jafet: <gwern> closures are a poor man's object <ddarius> objects are a poor man's closure <Berengal> objects are a rich man's structs <Jafet> Poor programmers should start unions
  • monochrom: Time flies like an Arrow. Space leaks like a Monad.
  • monochrom: Haskell already has natural language support. Just switch your natural language to simple-typed lambda calculus.
  • edwardk: @remember Baugn @remember lambdabot fasta says: I think the @remember command is way overused.
  • Berengal: data Neither a b = Left | Right
  • Cale: Removing monad comprehensions was actually the snowball which caused the avalanche of fail in Haskell 98

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 7, 2009

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

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

Lots of discussion about 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!

Quotes of the Week

  • blackdog: [About Hubris] I tell the Ruby guys that Haskell will help them speed up their Ruby code and keep their apps going, and I tell Haskell guys that it'll Trojan Horse those poor unsuspecting rubyists...
  • 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 .

Haskell Weekly News: Issue 145 - January 10 , 2010

Submitted by jfredett on Sun, 01/10/2010 - 10:58am.
Haskell Weekly News: January 10, 2010

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

Welcome back Haskellers to the HWN! After a short hiatus we return with a megaedition covering the last three weeks of Haskell news and discussion. Needless to say, lots of new package and event announcements, as well as some really great discussions (the discussion about 'lawless' uninstances of Functors was particularly interesting) over the holiday break. Hopefully everyone had a safe and happy holiday season, and is back now steadily working off the winter-weight (in accordance with resolutions or no) by tapping steadily at the keyboard, producing wonderful new packages for me to place in this, your Haskell Weekly News!

Announcements

Last CfP for TGC 2010: EXTENDED deadline Jan. 20 2010. Emilio Tuosto announced an extension to the TGC'10 call for papers.

SourceGraph-0.6.0.0 and Graphalyze-0.9.0.0. Ivan Lazar Miljenovic announced new releases of the SourceGraph and Graphalyze packages.

Streaming Component Combinators 0.4. Mario Blazevic announced version 0.4 of Streaming Component Combinators (SCC).

safer-file-handles-0.1. Bas van Dijk announced a new member of the 'monadic regions' family -- safer-file-handles. This package provides safety features on top of System.IO for handling file handles and operations.

HOR 2010 1st CALL FOR ABSTRACTS. Frederic Blanqui 1f4e gmane.comp.lang.haskell.general/17710 announced the first call for abstracts for the Fifth International Workshop on Higher-Order Rewriting.

vty-4.2.1.0. Corey O'Connor announced a new version of the vty package.

stm-io-hooks-0.6.0. Peter Robinson announced a new version of stm-io-hooks. This version includes major interface changes, including the elimation of the 'onRetry' combinator.

hecc-0.2. Marcel Fourne announced the second release of his elliptic curve cryptography package, hecc. This release includes a license change to the BSD3 license, speed improvements, and new algorithms for point multiplication, as well as other changes.

ghc-6.12.1 binary package for OpenSolaris. Michael Lee announced a binary package availability of ghc-6.12 for OpenSolaris.

Final Call for Participation: TLDI'10. Andrew Kennedy announced the final call for participation in TLDI'10, the Workshop on Types in Language Design and Implementation.

Haskell Web News: Looking back on 2009. Don Stewart announced The Haskell Web News, a monthly summary of the hottest news about the Haskell programming language.

hakyll-0.4. Jasper Van der Jeugt announced the release of hakyll, a static site generator library.

system-uuid-1.2.0. Jason Dusek announced a new release of system-uuid.

New versions of ALL the monadic regions packages. Bas van Dijk announced a new version of all of the monadic regions packages, explanation of what this means is best left to the original post, linked previously.

tuntap-0.0.1. John Van Enk announced a new package, extracted from his in-progress VPN project. This package provides access to the TUN/TAP device in Linux.

CPython / libpython bindings. John Millikin announced a package providing bindings to the C API for CPython/libpython.

Discussion

Typed Configuration Files. Sebastian Fischer asked about whether there was an analogue to CmdArgs for config files.

Review request for my permutations implementation. CK Kashyap asked for a review of his implementation of a function for finding permutations -- in addition to a review he asked for earlier for code involving monads. The result is a nice pair of threads with introductory material about idiomatic, efficient Haskell code.

lawless instances of Functor. Paul Brauner asked about 'lawless' instances (Editor's Note: more so -- 'uninstances', since by definition, it cannot be a functor without satisfying the laws, even if it an instance can be written) of the `Functor` class. This is in an effort to better understand how Functors work in Haskell and in the wider theory.

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

  • fasta: Haskell is like an efficient version of Python and is used for the same things.
  • koeien37: there are the languages that everybody complains about, and the languages that nobody use
  • Pseudonym: Olegs can be warded off by adding a note claiming that it's impossible to implement in the type system.
  • elly: I leave for five minutes and godel numbering of endofunctors is invokved as a potential proof that the universe is simulated. Thanks, #haskell :P
  • kmc: a monad is like an invisible train filled with jello traveling backwards in time
  • conal: "Obviously" is one of those words that is most useful when it is least true
  • Jafet: Javascript is pretty much a DSL for making your web browser take up more CPU
  • copumpkin: limpac: in this channel we're all automata with no feelings, except for the occasional feeling of hate.
  • dmhouse: I'm not sure it's working correctly but it sure is fast...
  • Cale: We need a bunch of "Will it monad?" video clips, with "It monads!" at the end of each.
  • merijn: I run on HST (Hacker Standard Time) which is essentially current time zone -3
  • ray: [about an anti-FP blog post] i came up with some contrived example, announced that it's impossible, and therefore FP sucks
  • hiredman: I used to think "dons" was a title, like people who were recognized as being really good at haskell were called dons

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: December 19, 2009

Submitted by jfredett on Sat, 12/19/2009 - 9:55am.
Haskell Weekly News: December 19, 2009

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

The big news this week is the release of the Glorious Glasgow Haskell compiler version 6.12.1, lots of exciting new improvements, congratulations from the whole community go out to the devs, good work GHC Team! Otherwise, this week has been quiet, with some interesting discussions about associated types and the new GHC, and some excellent new packages announced. Finally, due to the incoming holidays, there won't be an HWN for the next two weeks, I'll see you Haskellers in 2010, until then, your Haskell Weekly News!

Announcements

GHC version 6.12.1. Ian Lynagh announced the (Interactive) Glasgow Haskell Compiler, version 6.12.1. Including improved support for parallel execution, Dynamic linking support on Linux, and many other improvments.

atom-0.1.4. Tom Hawkins announced a bug fix release of the atom package, affecting floating point variable initialization.

text 0.7, fast Unicode text. Bryan O'Sullivan announced a new release of the text package adds support for Unicode I/O

explicit-iomodes-0.1. Bas van Dijk announced explicit-iomodes version 0.1, a wrapper around System.IO that provides a Handle type which is parametrized with the IOMode it is in.

Hemkay, the 100% Haskell MOD player. Patai Gergely announced a Hemkay, an old-school MOD player in pure Haskell.

GT-VMT 2010: deadlines extended. Emilio Tuosto announced a deadline extension to the GT-VMT call for papers.

Discussion

Restrictions on associated types for classes. Stephen Lavelle asked if there was a way to wrap a associated type in a class constraint.

Yay 6.12.1! Evan Laforge talked about some of the changes in the new version of 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

  • yrlnry: <byorgey> yrlnry: just some lady who had a lot of money and decided she wanted poor grad students to have some of it after she died... pretty nice of her, actually <yrlnry> senile dementia, more likely.
  • Philonous: A 'newbie', in Haskell, is someone who hasn't yet implemented a compiler. They've only written a monad tutorial.
  • kmc: Right, for example Either (pun not intended)
  • kmc: One thing I've learned from open-source software is that if you invent enough wheels, one of them will turn out to be round and capable of rolling.
  • PhilipWadler: To see that "in" and "out" are inverses, stare at the following diagram
  • kmc: Data.Map is like a C++ STL map<k,v>, without the suck
  • edwardkmett: Most monad tutorials are written by people who barely understand monads, if at all, but unfortunately nothing can stop someone from writing a monad tutorial. We've tried, there was blood everywhere.
  • Cale: A small category is a monad in the 2-category of spans of sets.

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 .