Haskell Weekly News: July 16, 2008
Welcome to issue 77 of HWN, a newsletter covering developments in the Haskell community.
Launching Haskell Group in Vancouver, Canada. Jon Strait announced that a Haskell Programmers Group has been created in Vancouver; the first meeting is scheduled for next Monday, July 21st. Feel free to join the Google Groups list to be notified of future events, or just show up to a meeting to bounce ideas and questions off of other Haskell programmers.
vector 0.1 (efficient arrays with lots of fusion). Roman Leshchinskiy announced an initial release of the vector library, which will eventually provide fast, Int-indexed arrays with a powerful fusion framework.
Galois Tech Talks: Stream Fusion for Haskell Arrays. Don Stewart announced that he was giving this week's Galois Tech Talk, on stream fusion for Haskell arrays. The talk was yesterday, July 15, but hopefully some sort of recording or slides will be made available.
GHC IRC meeting. Simon Marlow announced the (first weekly?) IRC meeting to discuss GHC, a scheduled time when the developers turn up on #ghc, discuss current topics around GHC, and users can chime in with questions, points for discussion, complaints and so on. The first meeting took place on July 16 at 1600 BST (UTC +1)/0800 PDT (UTC-7)/1100 EDT (UTC-4), in the #ghc channel on chat.freenode.net; hopefully this will become a weekly event.
Google Summer of Code
Progress updates from participants in the 2008 Google Summer of Code.
GHC API. Thomas Schilling (nominolo) is working on improvements to the GHC API. He recently asked for comments on a proposed refactoring to the GHC API, creating a new Ghc monad to capture error handling and single-threaded use of Sessions.
GHC plugins. Max Bolingbroke is working on dynamically loaded plugins for GHC. This week, he wrote a ton of Haddock documentation for GHC internals. He also added the ability for compiler plugins to generate their own source annotations, to allow plugins to use intermediate results from previous plugins. He's currently working on an exciting, secret feature: tune in next week to find out what it is!
Generic tries. Jamie Brandon is working on a library for efficient maps using generalized tries. Jamie is currently working on, tweaking the api, writing tests and writing reference implementations on sorted and unsorted association lists.
Language.C. Benedikt Huber (visq) is working on Language.C, a standalone parser/pretty printer library for C99.
Cabal dependency framework. Andrea Vezzosi (Saizan) is working on a make-like dependency analysis framework for Cabal.
LibrariesProposals and extensions to the standard libraries.
adding split to Data.List. Gwern Branwen proposed adding some split-like functions to Data.List. Will they actually get added this time? Will people be able to agree on one of the seventeen possible sets of semantics? Tune in next time...
GHC API: monad and error handling. Thomas Schilling asked for comments on a proposed refactoring to the GHC API, creating a new Ghc monad to capture error handling and single-threaded use of Sessions.
Research positions on Modeling and Analyzing Software Adaptation, University of Koblenz. Ralf Lammel announced two research positions for a postdoc and a PhD student, available initially for 2 years. The successful applicants will work on the research theme of "ADAPT: Modeling and Analyzing Software Adaptation". The objective of ADAPT is to relate, advance, combine, and challenge adaptation methods and associated methods of modeling and analyzing that are used by the communities of software engineering, programming languages, logic-based modeling, multi-agent systems, formal methods, SOA, web systems, and mobile, autonomous systems.
Blog noiseHaskell news from the blogosphere.
Real-World Haskell: Real World Haskellers at OSCON next week. John Goerzen and Bryan O'Sullivan will be in Portland, Oregon next week for OSCON (along with Don Stewart, who lives in Portland).
Russell O'Connor: ICFP 2008 Post-Mortem.
Brent Yorgey: Call for an ICFP Mars Server. Will someone make a Mars Server where we can all submit our rovers and new maps, watch them compete, improve them, and generally have fun getting some feedback without bugging the organizing committee? Pretty please?
Jamie Brandon: Week 5 progress. An update on Jamie's Google Summer of Code project.
Brent Yorgey: ICFP programming contest reflections.
>>> Chris Bogart: Help with study of functional programmers. Chris is doing a study as part of a research internship at Microsoft, and is seeking people currently working on a real project in a functional language whom he can observe as part of his study.
>>> eigenclass: Quicksort erratum. A time and space analysis of a classic quicksort implementation in Haskell.
Max Bolingbroke: Compiler Plugins For GHC: Week Five. An update on Max's Google Summer of Code project.
Luke Plant: Haskell Blog Rewrite - Session 7. Luke documents setting up CentOS in VirtualBox VM in order to compile Haskell code for a server to which he does not have ssh access. Not for the faint of heart.
>>> Duane Johnson: Haskell is Popular on IRC. The large amount of community participation and academic brainshare gives Duane a lot of confidence in Haskell.
>>> Mike Harris: ICFP Programming Contest '08. Mike participated in the ICFP programming contest, and might try porting his solution to Haskell.
Luke Palmer: The Curry-Howard isomorphism and the duality of x and ->.
Magnus Therning: Playing with prefixes. Magnus explores different ways to encode units of storage (bytes, kilobytes, kibibytes...) in Haskell.
Dan Piponi (sigfpe): MSFP 2008.
Shin-Cheng Mu: Tail-Recursive, Linear-Time Fibonacci.
Neil Mitchell: GSoC Hoogle: Week 7.
FP Lunch: CCC-ness of the category of containers.
JP Moresmau: instance Data Map where -- half done!. JP writes an Data.Generics.Data instance for Data.Map.
>>> Rick Carback: AutoKey in Haskell. Rick is learning Haskell and has implemented a simple AutoKey cipher.
>>> Jeremy Frens: PE Problem #2 in All Languages (Part II).
Luke Palmer: Required Optimization. Annotations for specifying expected compiler optimizations?
London Haskell Users Group: AngloHaskell 2008.
>>> Justus: random programming. Solving a simple programming challenge in Haskell.
Quotes of the Week
- Japsu: segfault cat is watching you unsafeCoerce
- z0MB13: who can say hello to me as a md5 or decipher what kind of technique can be used to remove the password
- denq: [upon experiencing a moment of enlightenment] oh! something bing in my brain :)
- Pseudonym: Pseudonym needs codependent types - useful when you're doing dysfunctional programming.
About the Haskell Weekly News
To help create new editions of this newsletter, please
see the information on how
to contribute. Send stories to
byorgey at seas dot upenn dot edu.
The darcs repository is available at
darcs get http://code.haskell.org/~byorgey/code/hwn/.