- Haskell - Haskell.org

Parallel Symbolic Computing Research Post
by Trinder, Philip W 12 Aug '09

12 Aug '09

The next generation of HPC platform will provide teraflop performance from 10^5 or more cores. A major challenge is to develop the programming models and software infrastructures to effectively exploit these architectures. In the HPC-GAP project (High Performance Computational Algebra and Discrete Mathematics EPSRC EP/G055181) we aim to address this challenge for the GAP Group Algebra package. You will join a team of four researchers in an ambitious programme to adapt the GAP computational algebra system to take advantage of modern high performance computers. You will collaborate with other HPC-GAP members at Aberdeen and St Andrews and Edinburgh Universities. You will take part in and publish research using the software you develop. You will have excellent parallel system engineering expertise, a degree in computer science, an appropriate PhD or equivalent, and good teamwork skills. Desirable criteria include functional language experience, a track record of academic publications, experience preparing research grant applications, and experience with a range of software technologies. You will start on 1 September 2009 and continue until the end of the grant in August 2013. Full details at www.jobs.ac.uk/jobs/SP072/Research_Associate_-_Parallel_Symbolic_Computi ng/ -------------------------------------------- Phil Trinder School of Mathematical and Computer Sciences Heriot-Watt University Edinburgh, EH14 4AS E: P.W.Trinder(a)hw.ac.uk T: +44 (0)131 451 3435 F: +44 (0)131 451 3327 I: www.macs.hw.ac.uk/~trinder -- Heriot-Watt University is a Scottish charity registered under charity number SC000278.

1 0

Re: [Haskell-cafe] ANNOUNCE: HacPDX, A Hackathon in Portland
by Clint Moore 11 Aug '09

11 Aug '09

On Tue, Aug 11, 2009 at 3:46 PM, Thomas DuBuisson<thomas.dubuisson(a)gmail.com> wrote: > HacPDX is an opportunity for Portland Haskell hackers to join together > in building and improving libraries and tools. If you've never been, > hackathons are typically not only a good opportunity for experienced > devs to work together but also a great way for newcomers to get > involved in the community. If anyone in the Seattle area is interested in going and doesn't have a ride, the Bonney Lake Nerd Wagon will be heading down for the event if you want to catch a ride. Get in touch with me for more info.

1 0

Galois is Hiring
by Don Stewart 11 Aug '09

11 Aug '09

Galois is continuing to hire. We will also be at ICFP and related events, so come and see Lee Pike or me. We have multiple positions for talented functional programmers (with both junior and senior positions). A strong functional programming ability is an advantage (you will be programming in Haskell), and a good computer science background is required. Experience with compilers, operating systems, networking, security, and formal methods is of particular interest. Galois is based in Portland, Oregon. Our engineers work with functional languages, designing and developing advanced technologies for safety and security-critical systems, networks, and applications. Galois technical staff members play a pivotal role in developing advanced software technology. Enginners work in small team settings, and must successfully interact with clients, partners, and other employees in a highly cooperative, collaborative, and intellectually challenging environment. Technical staff may be called upon to write proposals, gather requirements, and work in all stages of the software development process, from requirements gathering to testing and validation. Additional duties may include project management, technology research and development, and technical infrastructure development. We’re looking for people who can invent, learn, think, and inspire. We reward creativity and thrive on collaboration. We offer great benefits and perks, including a 401K plan, stock options, paid vacation, family health plan, flexible work schedule, a casual work environment, snacks, espresso and foosball. A Masters or Ph.D. degree in Computer Science is desirable. Additionally, a strong programming background and experience with Haskell or other functional programming languages is preferred. You must work well with customers, including building rapport, identifying needs, and communicating with strong written, verbal and presentation skills. Must be highly motivated and able to self-manage to deadlines and quality goals. To learn more about us, visit http://www.galois.com and http://www.galois.com/company/careers The types of technology we use are covered in our blog: http://www.galois.com/blog/ We’d like to hear from you! Send your cover letter and resume to us at jobs2009 at galois.com.

1 0

Jane Street is Hiring (as if you didn't already know)
by Yaron Minsky 11 Aug '09

11 Aug '09

This is my periodic reminder to the FP world that Jane Street is looking to hire functional programmers. I've started getting the occasional inquiry coming in from people who are clearly unsure if our previous hiring announcements still apply, and I wanted to make it clear that they do. Also, I wanted to mention that I will be at parts of ICFP, CUFP and DEFUN this year, so if you're interested, come and talk to me there. Without further ado, and at the risk of boring longtime residents of the list to tears: Despite the problems besetting much of the financial industry, we have grown strongly in the last few years in our people, our technology, the scope of our business and its profitability. We now have over 30 OCaml developers, and we are actively looking to hire more in Tokyo, London and New York. For someone who cares about functional programming, Jane Street is an interesting place to consider. Jane Street has invested deeply in OCaml, to the point where we now have the largest team of OCaml programmers in any industrial setting, and probably the world's largest OCaml codebase--over a million lines. We really believe in functional programming, and use OCaml for everything from research to systems adminstration to trading systems. The atmosphere is informal and intellectual, with a focus on learning. The work itself is deeply challenging, and you get to see the practical impact of your efforts in quick and dramatic terms. Jane Street is also a small enough place that people have the freedom to get involved in many different areas of the business. Unlike many financial firms, software and technology are considered a core part of what we do, not some segmented-off cost center that the people who run the business don't think about. Jane Street is a place where people really care about the quality of the software, to the point that several of the most senior members of the firm, who do not have technology backgrounds, nonetheless review critical portions of the codebase before they can go into production. If you'd like to learn more, here are some links. First, there are a couple of papers we've written about our experiences here. http://www.janestreet.com/technology/articles.php We also have a technically-oriented blog: http://ocaml.janestreet.com For a (recruiting-oriented) overview of Jane Street, here's the firm website: http://janestreet.com If you're interested, send me a resume and cover letter. y

1 0

Data.Generics.gzip3 anyone?
by David Fox 08 Aug '09

08 Aug '09

Is there a Scrap Your Boilerplate guru out there who could whip up a three argument version of gzip for me?

4 11

Haskell Weekly News: Issue 127 - August 8, 2009
by Brent Yorgey 08 Aug '09

08 Aug '09

--------------------------------------------------------------------------- Haskell Weekly News http://sequence.complete.org/hwn/20090808 Issue 127 - August 08, 2009 --------------------------------------------------------------------------- Welcome to issue 127 of HWN, a newsletter covering developments in the [1]Haskell community. Apologies for the long hiatus, mostly due to organizing Hac phi (which was a [2]great success!). And I'm now going on vacation for a couple weeks and may have limited Internet access, so don't hold your breath for an issue of the HWN next week either... anyway, a ton of interesting stuff has happened over the past three weeks (of course), including a bunch of [3]discussion on the Haskell-prime mailing list, a number of package releases, Haskell Platform discussion, and more. Announcements bindings-posix 0.0.2. Mauricio [4]announced [5]bindings-posix, a low level binding to Posix. It makes use of facilities and design from the [6]bindings-common package to map the [7]standard Posix library. bindings-common 0.2.1. Mauricio [8]announced a new release of [9]bindings-common, which offers basic code that provides a common design standard and common utilities for writing modules providing low-level foreign library bindings. The major new feature of this release is the availability of hsc2hs custom macros, and a corresponding reduction in code size. Dyre - Dynamic Program Recompilation (Xmonad-style configuration). Will Donnelly [10]announced the release of [11]dyre, a library for xmonad-style program recompilation. It is based in spirit after the HConf library written by the Yi project, but with a focus on simple integration, state persistence as an optional feature, and Windows support. nntp 0.0.2. Maciej Piechotka [12]announced the release of [13]nntp, a library to connect to nntp (i.e. mainly USENET) servers. This version represents a complete rewrite from version 0.0.1, including a new NntpT monad and basic support for XHDR. GLUT 2.2.0.0. Sven Panne [14]announced a new version of the [15]GLUT package, which depends on the new OpenGL, StateVar and Tensor packages, but is otherwise unchanged except for a new demo. OpenGL 2.3.0.0. Sven Panne [16]announced a new version of the [17]OpenGL package, which is now only a convenience layer upon the [18]OpenGLRaw and [19]GLURaw packages, written in in pure Haskell without the FFI. The latter two packages load the native libraries dynamically and do not rely on any C headers, making it possible to build all OpenGL-related packages even on machines without any installed native OpenGL support. yices 0.0.0.1. Ki Yung Ahn [20]announced [21]yices, a Haskell interface to the [22]Yices SMT solver. ALUT 2.2.0.0. Sven Panne [23]announced a new version of the ALUT package, which now depends on the highly portable [24]StateVar package instead of [25]OpenGL. OpenAL 1.4.0.0. Sven Panne [26]announced a new version of the [27]OpenAL package, which now depends on the highly portable [28]StateVar, [29]ObjectName and [30]Tensor packages, instead of [31]OpenGL. Tensor 1.0.0.1. Sven Panne [32]announced the [33]Tensor package, yet another spin-off of the OpenGL package, containing a few tensor data types and their instances for some basic type classes. darcs 2.3.0. Petr Rockai [34]announced a new stable release of [35]darcs, version 2.3.0. This version includes a number of improvements and bugfixes over the previous stable release, 2.2. Moreover, work has been done to improve performance of "darcs whatsnew" for large repositories. uacpid-0.0.4. Dino Morelli [36]announced the release of [37]uacpid, a daemon designed to be run in userspace that will monitor the local system's acpid socket for hardware events. These events can then be acted upon by handlers with access to the user's environment. Korean translation of "Programming in Haskell". Ki Yung Ahn [38]announced a new [39]non-English book on Haskell, published on July 24. TABI 0.1: a typeful tagged cross-language calling convention. Bulat Ziganshin [40]announced a preliminary release of [41]TABI, a library providing a typeful, tagged cross-language calling convention. Typeful/Text/HTMLs (for AngloHaskell/for scrap?). Jon Fairbairn [42]announced an [43]HTML library which guarantees standards compliance via types, even down to the nesting restrictions. yst 0.2.1. John MacFarlane [44]announced the release of [45]yst, which generates static websites from YAML or CSV data files and StringTemplates. This approach combines the speed, security, and ease of deployment of a static website with the flexibility and maintainability of a dynamic site that separates presentation and data. The Haskell Platform 2009.2.0.2. Don Stewart [46]announced the third release (2009.2.0.2) of the [47]Haskell Platform, a single, standard Haskell distribution for everyone. atom 0.1.0. Tom Hawkins [48]announced the 0.1.0 release of [49]Atom, a Haskell DSL for hard realtime applications. This release includes support for assertions and functional coverage to aid simulation and testing. tkhs-0.1.* Presentation Utility. Yusaku Hashimoto [50]announced the release of [51]tkhs-0.1.*, a simple presentation utility. If you are thinking PowerPoint is overkill for your presentation, Tkhs may fit the purpose. RFC: Unicode support in Alex. Jean-Philippe Bernardy [52]requested feedback on his modifications to the [53]Alex lexer generator to support Unicode. The prototype is [54]available on github. The Monad.Reader - Issue 14. Wouter Swierstra [55]announced Issue 14 of [56]The Monad.Reader. This issue contains three articles "Fun with Morse Code" by Heinrich Apfelmus, "Hieroglyph 2: Purely Functional Information Graphics Revisited" by Jefferson Heard, and "Lloyd Allison's Corecursive Queues: Why Continuations Matter" by Leon P Smith. TBC: Testing By Convention. Peter Gammie [57]announced the release of [58]TBC, a test harness which has features complementary to existing harnesses: it attempts to compile and run all tests, even if some do not compile or run; and tests following conventions require a lot less boilerplate. Elerea version 1.x.x. Patai Gergely [59]announced an update of his FRP library, [60]Elerea, along with some updates to the accompanying [61]example programs. The interface was changed into a monadic-applicative hybrid that distinguishes stateful and stateless combinators for safety reasons: most importantly, the latcher was removed due to various practical issues, and it is replaced by much better behaved stateless higher-order constructs. The library is now capable of handling arbitrary higher-order signals. haskell-src-exts-1.1.0. Niklas Broberg [62]announced the release of [63]haskell-src-exts-1.1.0, bringing you tuple sections, comments, and a few bug fixes. graphviz-2999.1.0.2. Ivan Lazar Miljenovic [64]announced a bug fix release of the [65]graphviz package, which fixes a bug spotted by Srihari Ramanathan where the Dot representation of Color values were double-quoted when they shouldn't have been. Leksah 0.6. Hamish Mackenzie [66]announced the 0.6 release of [67]Leksah, a Haskell IDE. New features include integrated GHCi based debugging, multi-window support, improved layout control, regular expression find and replace, ability to grep files in the current package, and improved Mac OS X integration. Semantic Web. Vasili I. Galchin [68]announced the [69]cabalisation of [70]Swish-0.2.1 (Semantic Web Inference uSing Haskell), a semantic web toolkit designed and implemented by Graham Klyne. The package now builds on GHC 6.8.2, with more improvements planned. graphviz-2999.1.0.1. Ivan Lazar Miljenovic [71]announced a bug-fix release to fix the problems with Either-based Attributes in the previous release (2999.0.0.0), spotted mainly by Zsolt Dollenstein. cautious-file 0.1.1: Ways to write a file cautiously, to avoid data loss. Robin Green [72]announced the first public release of [73]cautious-file, which provides a writeFile function that has several advantages over Prelude.writeFile: it uses the recommended way of writing a file on POSIX, so as not to expose the user to the risk of data loss after a crash or power failure; and it uses a temporary, randomly-named file for writing and only overwrites an existing file once the write is complete. Google Summer of Code Progress updates from participants in the 2008 [74]Google Summer of Code. Haddock improvements! Isaac Dupree has [75]cleaned up most of the loose edges on cross-package documentation, and has [76]begun moving comment parsing from GHC to Haddock. EclipseFP. Thomas Ten Cate is [77]finally happy with his refactorings of the Scion client, and has done [78]quite a bit of cleanup of compilation warnings and unit tests. Improving the Haskell space profiling experience. Gergely Patai posted about [79]segfaults with gtk2hs, and using Cairo instead of OpenGL for rendering, and has some [80]nice screenshots of the profiling client. haskell-src-exts -> haskell-src. Niklas Broberg has [81]started working on comment support. Fast darcs. Petr Rockai has made [82]much [83]progress, released [84]darcs 2.3.0, and posted a [85]discussion on patch formats. Discussion Adding binary to the Haskell Platform. Don Stewart began a [86]discussion thread on the possibility of adding the [87]binary package to the [88]Haskell Platform. Thinking about what's missing in our library coverage. Don Stewart [89]asked how to identify packages that ought to be added to the [90]Haskell Platform, and areas of functionality that are missing. Proposal: TypeDirectedNameResolution. Johannes Waldmann began a [91]discussion on a proposed language extension, [92]type-directed name resolution. Implicit concatenation in list comprehensions. Max Bolingbroke started a [93]discussion on a proposed syntax extension to allow multiple expressions on the left-hand side of a list comprehension, resulting in implicit concatenation. Jobs Postdoc and Ph.D. position on 3gERP-project at DIKU. Fritz Henglein [94]announced the availability of a postdoc position and a Ph.D. scholarship at the Department of Computer Science, University of Copenhagen (DIKU) within 3d generation enterprise resource planning systems (3gERP), a collaborative strategic research project with partners at DIKU (computer science), Copenhagen Business School (CBS, information systems) and Microsoft Development Center Copenhagen (MDCC, enterprise systems). Blog noise [95]Haskell news from the [96]blogosphere. Blog posts from people new to the Haskell community are marked with >>>, be sure to welcome them! * >>> Joel Ray King: [97]Starting out with Haskell. * JP Moresmau: [98]Yoohoo: mazes of monad is kind of popular!. * Don Stewart (dons): [99]Haskell Package Popularity Rankings : August 2009. * David Amos: [100]Where we've been, and where we're going. * >>> Michael Feathers: [101]Functional Refactoring and "You Can't Get There From Here". * Magnus Therning: [102]Updating GHC on Arch. * Tom Schrijvers: [103]Monadic Constraint Programming with Gecode. * Luke Plant: [104]Haskell string support. * Don Stewart (dons): [105]The Haskell Platform 2009.2.0.2. * Gergely Patai: [106]More profiling goodies. * Don Stewart (dons): [107]Heuristics for Blessing Software Packages. * David Amos: [108]How to count the number of positions of Rubik's cube. * Edward Kmett: [109]Slides from Hac Phi: "All About Monoids". * Brent Yorgey: [110]Primitive species and species operations, part II. * Magnus Therning: [111]Making a choice from a list in Haskell, Vty (part 4). * Brent Yorgey: [112]Primitive species and species operations. * Thomas ten Cate: [113]The Green Bar. * Petr Rockai: [114]soc progress 10. * Brent Yorgey: [115]Hac phi roundup. * Brent Yorgey: [116]More from Hac phi. * Roman Cheplyaka: [117]CCC #5: Trial. * Eric Kow: [118]some ideas for practical QuickCheck. * Nathan Sanders: [119]Profiling in Haskell, part 2. * >>> Björn Winckler: [120]Inverse functions in Haskell. * >>> Alex Handy: [121]Everyone's talking about Haskell. * Niklas Broberg: [122]Starting on the comment support . * Gergely Patai: [123]Pango font rendering on an OpenGL canvas . * Brent Yorgey: [124]Hac phi day 2. * Petr Rockai: [125]Patch Formats. * Brent Yorgey: [126]Introducing Math.Combinatorics.Species!. * Magnus Therning: [127]Making a choice from a list in Haskell, Vty (part 3). * Michael Snoyman: [128]Embedding files in a binary. * Darcs: [129]darcs 2.3.0 is released!. * Petr Rockai: [130]Darcs 2.3.0. * >>> Ionuţ: [131]Haskell's prefix and infix notations. * >>> Ionuţ: [132]The minus operator in Haskell. * >>> Ken Jenkins: [133]Learning Haskell (Part 2). * James Iry: [134]Void vs Unit. * Justin Grant: [135]Generating pi in Haskell. * Petr Rockai: [136]soc progress 9. * >>> Ken Jenkins: [137]Learning Haskell (Part 1). * Isaac Dupree: [138]Next Project, Move doc-parsing to from GHC to Haddock. * Roman Cheplyaka: [139]SchrÃ¶dinger's cat. * Magnus Therning: [140]Ping server in Haskell (not that kind of ping, and rather silly). * >>> hydo: [141]Haskell and Hack fanboyism.. * Chris Smith: [142]Calculating Multiplicative Inverses in Modular Arithmetic. * David Amos: [143]Faster graph symmetries using distance partitions. * Isaac Dupree: [144]more cross-package docs details. * Nick Cameron: [145]ECOOP Day 3 - Day 1 of the main conference . * Ryan Lothian: [146]Haskell Graph Plotter - Part 1. * >>> Matias Giovannini: [147]Monadic Golf. * >>> Stephan Mann: [148]Cool Haskell Function. * >>> n0ne: [149]How do you use Haskell at work?. * Adam Blinkinsop: [150]Mastermind Solver in Haskell. * Ivan Uemlianin: [151]decorate-sort-undecorate in Haskell -- Advanced!. * Don Stewart: [152]Interview for SDTimes: "Everyone's talking about Haskell". * Don Stewart: [153]Haskell Platform Progress Report. * David Amos: [154]Strong generating sets for graph symmetries. * Chris Smith: [155]The Magic of Type Classes. * Twan van Laarhoven: [156]CPS based functional references . * Thomas ten Cate: [157]More robust Scion client code. * Paul Butler: [158]N-Queens in a Tweet. Quotes of the Week * dons: i heard there were webservers written in languages other than haskell * yrlnry2: #haskell is the most functional channel I've ever seen. * JonFairbairn: And one of the tests failed because Bolivia is now the Plurinational State of Bolivia, so I've add a patch for that. I've seen politics get in the way of programming, but I've never had a bug caused by /international/ politics before. * Adamant: ah, monads. the pons asinorum of Haskell. * QP: i drink i'm two thunk for this... i'm seeing (Double, Double) * benmachine: wait why am I giving advice I don't know anything * jfredett: <shapr> @yow ! <jfredett> YOW! I seem to SEE a SHAPR asking for FUNNY ZIPPY QUOTES, TOO bad I left them in my OTHER PANTS * Berengal: Anyone doubting the immutable value philosophy needs to try vacuum * badsheepy: [in response to a spammer] my word, i feel immediately compelled to medicate myself. * monochrom: Haskell has solved programming. All that can be said programming is already said in tutorials and the haskell wiki. That is why we drift to meta topics. * kalven: <yottis> i thought there were like 10 haskell jobs in the world, all in the "let's replace excel sheets with something else" industry <kalven> there are at least 20. * BMeph: okmij.net, conal.net, comonad.reader, and sigfpe.blogspot.com; the four horsemen of the Haskell Apocalypse. * jaredj: [on parsec] i thought i got it but i need to 'try' again * gwern: *ponders Haskell nerdcore: 'I'm all about exact math, yo; I eat CReal for breakfast'* * Baughn: remember that comments take up space in compiled Haskell programs, and furthermore they take up processing time if execution passes through them. For these reasons, keep comments to a minimum, and never put comments inside of optimized Haskell code. Ideally all of your comments will lie outside of the path of execution. * gbacon: okay, I just tried to type Monday, but it came out Monady. Assimilation complete. * BenLippmeier: Are Haskell and OCaml destined to be The Velvet Underground of programming languages, where hardly anyone has heard them, but everyone who does forms a band? About the Haskell Weekly News New editions are posted to [159]the Haskell mailing list as well as to [160]the Haskell Sequence and [161]Planet Haskell. [162]RSS is also available, and headlines appear on [163]haskell.org. To help create new editions of this newsletter, please see the information on [164]how to contribute. Send stories to byorgey at cis dot upenn dot edu. The darcs repository is available at darcs get [165]http://code.haskell.org/~byorgey/code/hwn/ . References 1. http://haskell.org/ 2. http://byorgey.wordpress.com/2009/07/29/hac-phi-roundup/ 3. http://news.gmane.org/gmane.comp.lang.haskell.prime 4. http://article.gmane.org/gmane.comp.lang.haskell.libraries/11611 5. http://hackage.haskell.org/package/bindings-posix 6. http://hackage.haskell.org/package/bindings%2Dcommon 7. http://hackage.haskell.org/package/bindings%2Dcommon 8. http://article.gmane.org/gmane.comp.lang.haskell.libraries/11610 9. http://hackage.haskell.org/package/bindings%2Dcommon 10. http://article.gmane.org/gmane.comp.lang.haskell.general/17425 11. http://hackage.haskell.org/package/dyre 12. http://article.gmane.org/gmane.comp.lang.haskell.general/17407 13. http://hackage.haskell.org/package/nntp 14. http://article.gmane.org/gmane.comp.lang.haskell.general/17406 15. http://hackage.haskell.org/package/GLUT 16. http://article.gmane.org/gmane.comp.lang.haskell.general/17405 17. http://hackage.haskell.org/package/OpenGL 18. http://hackage.haskell.org/package/OpenGLRaw 19. http://hackage.haskell.org/package/GLURaw 20. http://article.gmane.org/gmane.comp.lang.haskell.general/17397 21. http://hackage.haskell.org/package/yices 22. http://yices.csl.sri.com/ 23. http://article.gmane.org/gmane.comp.lang.haskell.general/17395 24. http://hackage.haskell.org/package/StateVar 25. http://hackage.haskell.org/package/OpenGL 26. http://article.gmane.org/gmane.comp.lang.haskell.general/17394 27. http://hackage.haskell.org/package/OpenAL 28. http://hackage.haskell.org/package/StateVar 29. http://hackage.haskell.org/package/ObjectName 30. http://hackage.haskell.org/package/Tensor 31. http://hackage.haskell.org/package/OpenGL 32. http://article.gmane.org/gmane.comp.lang.haskell.general/17393 33. http://hackage.haskell.org/package/Tensor 34. http://article.gmane.org/gmane.comp.lang.haskell.general/17391 35. http://darcs.net/ 36. http://article.gmane.org/gmane.comp.lang.haskell.general/17388 37. http://hackage.haskell.org/package/uacpid 38. http://article.gmane.org/gmane.comp.lang.haskell.general/17386 39. http://hackage.haskell.org/package/uacpid 40. http://article.gmane.org/gmane.comp.lang.haskell.general/17384 41. http://tabi.googlecode.com/ 42. http://article.gmane.org/gmane.comp.lang.haskell.cafe/61980 43. http://homepage.ntlworld.com/jon.fairbairn/Typeful/Text/HTMLs/ 44. http://article.gmane.org/gmane.comp.lang.haskell.cafe/61915 45. http://hackage.haskell.org/package/yst 46. http://article.gmane.org/gmane.comp.lang.haskell.cafe/61874 47. http://hackage.haskell.org/platform/ 48. http://article.gmane.org/gmane.comp.lang.haskell.cafe/61849 49. http://hackage.haskell.org/package/atom 50. http://article.gmane.org/gmane.comp.lang.haskell.cafe/61845 51. http://hackage.haskell.org/package/tkhs 52. http://article.gmane.org/gmane.comp.lang.haskell.cafe/61809 53. http://hackage.haskell.org/package/alex 54. git://github.com/jyp/Alex.git 55. http://article.gmane.org/gmane.comp.lang.haskell.cafe/61800 56. http://themonadreader.wordpress.com/ 57. http://article.gmane.org/gmane.comp.lang.haskell.cafe/61707 58. http://hackage.haskell.org/package/TBC 59. http://article.gmane.org/gmane.comp.lang.haskell.cafe/61706 60. http://hackage.haskell.org/package/elerea 61. http://hackage.haskell.org/package/elerea-examples 62. http://article.gmane.org/gmane.comp.lang.haskell.cafe/61703 63. http://hackage.haskell.org/package/haskell%2Dsrc%2Dexts 64. http://article.gmane.org/gmane.comp.lang.haskell.cafe/61690 65. http://hackage.haskell.org/package/graphviz 66. http://article.gmane.org/gmane.comp.lang.haskell.cafe/61663 67. http://leksah.org/ 68. http://article.gmane.org/gmane.comp.lang.haskell.cafe/61613 69. http://hackage.haskell.org/package/swish 70. http://www.ninebynine.org/Software/swish-0.2.1.html 71. http://article.gmane.org/gmane.comp.lang.haskell.cafe/61545 72. http://article.gmane.org/gmane.comp.lang.haskell.cafe/61523 73. http://hackage.haskell.org/package/cautious-file 74. http://hackage.haskell.org/trac/summer-of-code/wiki/SoC2008 75. http://haddock2009.wordpress.com/2009/07/20/more-cross-package-docs-details/ 76. http://haddock2009.wordpress.com/2009/07/21/next-project-move-doc-parsing-t… 77. http://eclipsefp.wordpress.com/2009/07/19/more-robust-scion-client-code/ 78. http://eclipsefp.wordpress.com/2009/07/30/the-green-bar/ 79. http://just-bottom.blogspot.com/2009/07/using-pango-fonts-on-opengl-canvas.… 80. http://just-bottom.blogspot.com/2009/08/more-profiling-goodies.html 81. http://nibrofun.blogspot.com/2009/07/starting-on-comment-support.html 82. http://web.mornfall.net/blog/soc_progress_9.html 83. http://web.mornfall.net/blog/soc_progress_10.html 84. http://web.mornfall.net/blog/darcs_2.3.0.html 85. http://web.mornfall.net/blog/patch_formats.html 86. http://thread.gmane.org/gmane.comp.lang.haskell.libraries/11658 87. http://hackage.haskell.org/package/binary 88. http://www.haskell.org/haskellwiki/Haskell_Platform 89. http://thread.gmane.org/gmane.comp.lang.haskell.libraries/11625 90. http://www.haskell.org/haskellwiki/Haskell_Platform 91. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/61723 92. http://hackage.haskell.org/trac/haskell-prime/wiki/TypeDirectedNameResoluti… 93. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/61514 94. http://article.gmane.org/gmane.comp.lang.haskell.general/17431 95. http://planet.haskell.org/ 96. http://haskell.org/haskellwiki/Blog_articles 97. http://joelrayking.wordpress.com/2009/08/08/starting-out-with-haskell/ 98. http://jpmoresmau.blogspot.com/2009/08/yoohoo-mazes-of-monad-is-kind-of.html 99. http://donsbot.wordpress.com/2009/08/06/haskell-package-popularity-rankings… 100. http://haskellformaths.blogspot.com/2009/08/where-weve-been-and-where-were-… 101. http://blog.objectmentor.com/articles/2009/08/05/functional-refactoring-and… 102. http://therning.org/magnus/archives/713 103. http://tomschrijvers.blogspot.com/2009/08/monadic-constraint-programming-wi… 104. http://lukeplant.me.uk/blog.php?id=1107301701 105. http://donsbot.wordpress.com/2009/08/03/the-haskell-platform-2009-2-0-2/ 106. http://just-bottom.blogspot.com/2009/08/more-profiling-goodies.html 107. http://donsbot.wordpress.com/2009/08/01/heuristics-for-blessing-software-pa… 108. http://haskellformaths.blogspot.com/2009/08/how-to-count-number-of-position… 109. http://comonad.com/reader/2009/hac-phi-slides/ 110. http://byorgey.wordpress.com/2009/07/31/primitive-species-and-species-opera… 111. http://therning.org/magnus/archives/710 112. http://byorgey.wordpress.com/2009/07/30/primitive-species-and-species-opera… 113. http://eclipsefp.wordpress.com/2009/07/30/the-green-bar/ 114. http://web.mornfall.net/blog/soc_progress_10.html 115. http://byorgey.wordpress.com/2009/07/29/hac-phi-roundup/ 116. http://byorgey.wordpress.com/2009/07/25/more-from-hac-%cf%86/ 117. http://ro-che.blogspot.com/2009/07/ccc-5.html 118. http://koweycode.blogspot.com/2009/07/some-ideas-for-practical-quickcheck.h… 119. http://sandersn.com/blog/index.php?title=profiling_in_haskell_part_2 120. http://b4winckler.wordpress.com/2009/07/28/inverse-functions-in-haskell/ 121. http://www.sdtimes.com/blog/post/2009/07/27/Everyonee28099s-talking-about-H… 122. http://nibrofun.blogspot.com/2009/07/starting-on-comment-support.html 123. http://just-bottom.blogspot.com/2009/07/using-pango-fonts-on-opengl-canvas.… 124. http://byorgey.wordpress.com/2009/07/25/hac-%cf%86-day-2/ 125. http://web.mornfall.net/blog/patch_formats.html 126. http://byorgey.wordpress.com/2009/07/24/introducing-math-combinatorics-spec… 127. http://therning.org/magnus/archives/702 128. http://blog.snoyman.com/2009/07/23/embedding-files-in-a-binary/ 129. http://blog.darcs.net/2009/07/darcs-230-is-released.html 130. http://web.mornfall.net/blog/darcs_2.3.0.html 131. http://learninghaskell.wordpress.com/2009/07/23/haskell-prefix-and-infix-no… 132. http://learninghaskell.wordpress.com/2009/07/23/the-minus-operator-in-haske… 133. http://webscript.princeton.edu/~kjenkins/wordpress/2009/07/learning-haskell… 134. http://james-iry.blogspot.com/2009/07/void-vs-unit.html 135. http://jng.imagine27.com/articles/2009-07-23-094212_generating_pi_in_haskel… 136. http://web.mornfall.net/blog/soc_progress_9.html 137. http://webscript.princeton.edu/~kjenkins/wordpress/2009/07/learning-haskell/ 138. http://haddock2009.wordpress.com/2009/07/21/next-project-move-doc-parsing-t… 139. http://ro-che.blogspot.com/2009/07/schrodingers-cat.html 140. http://therning.org/magnus/archives/698 141. http://www.l2mlogistics.com/2009/07/haskell-and-hack-fanboyism.html 142. http://cdsmith.wordpress.com/2009/07/20/calculating-multiplicative-inverses… 143. http://haskellformaths.blogspot.com/2009/07/faster-graph-symmetries-using-d… 144. http://haddock2009.wordpress.com/2009/07/20/more-cross-package-docs-details/ 145. http://featherweightmusings.blogspot.com/2009/07/ecoop-day-3-day-1-of-main-… 146. http://www.ryanlothian.com/articles/haskell-graphplotter 147. http://alaska-kamtchatka.blogspot.com/2009/07/monadic-golf.html 148. http://stephenmann.net/2009/07/17/cool-haskell-function/ 149. http://actuarialprog.wordpress.com/2009/07/13/how-do-you-use-haskell-at-wor… 150. http://adam.blinkinblogs.net/mastermind-solver-in-haskell 151. http://llaisdy.wordpress.com/2009/07/11/decorate-sort-undecorate-in-haskell… 152. http://donsbot.wordpress.com/2009/07/27/interview-for-sdtimes-everyone%e2%8… 153. http://donsbot.wordpress.com/2009/07/26/haskell-platform-progress-report/ 154. http://haskellformaths.blogspot.com/2009/07/strong-generating-sets-for-grap… 155. http://cdsmith.wordpress.com/2009/07/23/the-magic-of-type-classes/ 156. http://twan.home.fmf.nl/blog/haskell/cps-functional-references.details 157. http://eclipsefp.wordpress.com/2009/07/19/more-robust-scion-client-code/ 158. http://paulbutler.org/archives/n-queens-in-a-tweet/ 159. http://www.haskell.org/mailman/listinfo/haskell 160. http://sequence.complete.org/ 161. http://planet.haskell.org/ 162. http://sequence.complete.org/node/feed 163. http://haskell.org/ 164. http://haskell.org/haskellwiki/HWN 165. http://code.haskell.org/~byorgey/code/hwn/

1 0

memory management
by Nathan Ricci 06 Aug '09

06 Aug '09

Hello, I'm interested in research relating to memory management in Haskell. I'm at the point where I don't know enough to have very specific questions, but I'm especially interested in garbage collection in Haskell, and any available statistics (such as, how long does a thunk typically live before its evaluated, after its evaluated?), or tools that would let me get that sort of information more easily. If any one could be so kind as to point me to relevant research papers or other documentation, it would be very much appreciated. --Nathan Ricci

12 15

Postdoc and Ph.D. position on 3gERP-project at DIKU
by Fritz Henglein 06 Aug '09

06 Aug '09

A postdoc position and a Ph.D. scholarship are available at the Department of Computer Science, University of Copenhagen (DIKU) within 3d generation enterprise resource planning systems (3gERP), a collaborative strategic research project with partners at DIKU (computer science), Copenhagen Business School (CBS, information systems) and Microsoft Development Center Copenhagen (MDCC, enterprise systems). The 3gERP Project Enterprise software accounts for more than $200 billion in annual global revenue (about 5 times the total revenue of the computer games industry) and costs 10-20 times more than the hardware it runs on. The goal of the 3gERP project is to contribute to developing theories, technologies and tools aimed at making enterprise ("ERP") systems more customizable, evolvable and affordable, specifically for small and medium-sized enterprises (SMEs). Starting the second project phase this summer the focus is on executable declarative domain-specific languages for bridging the gap from requirements to running code, specifically: • process specification languages and tools for capturing, managing, and analyzing processes such as contracts, work flows and production schedules; • reporting languages and incrementalization technology for automatic transformation of business analysis functions to operate in real time in a transactional environment; • logic-based modeling of legal rules and reasoning in the business domain; • presentation frameworks/languages for automatically generating role-tailored user interfaces from process, role and data rendering specifications; • design and implementation of a prototype ERP system based on the Process-Oriented Event-driven Transaction Systems (POETS) software architecture, which encompasses the above components. Ph.D. position We are looking for a Ph.D. student to work on • reporting languages and incrementalization technology for automatic transformation of business analysis functions to operate in real time in a transactional environment. This will include mathematical and computer science studies of incrementalization (transforming batch programs into programs that work online, updating their result continuously as new data arrive), programming of software tools, integration into a prototype enterprise system based on POETS, and real-life evaluation in SMEs in collaboration with project partners at CBS and MDCC. Postdoc position We are looking for a postdoc to work on • design and implementation of a prototype ERP system based on the Process-Oriented Event-driven Transaction Systems (POETS) software architecture, including process, reporting and rules components in collabortion with the other team members at DIKU, and • generating role-tailored user interfaces from process, role and data rendering specifications. The candidates should have solid theoretical foundations (such as in strongly typed functional programming; programming language semantics, program analysis, model checking, type systems, logic, process calculi program transformations/model-driven programming) and should preferably feel excited rather than concerned by the prospect of using and developing those foundations for constructing software with a demonstrated potential for practical utility in an application domain that constitutes an large sector of the economy. For more information please see the full position announcement at: http://www.diku.dk/~henglein/3gERP-positions.pdf Fritz Henglein henglein(a)diku.dk

1 0

bug in language definition (strictness)
by Malcolm Wallace 06 Aug '09

06 Aug '09

It has been brought to my attention (as errata editor of the revised H'98 report) that there is a bug in the language definition, concerning strictness annotations on datatypes. In section 4.2.1, the translation of strict components of a data constructor is defined as > (\ x1 ... xn -> ( ((K op1 x1) op2 x2) ... ) opn xn) > > where opi is the non-strict apply function $ if si is of the form > ti, and opi is the strict apply function $! (see Section 6.2) if si > is of the form ! ti. Pattern matching on K is not affected by > strictness flags. > yet, because of the definition of $!, this applies the constructor to its arguments right-to-left instead of the intuitive left-to-right. All extant compilers in fact evaluate the strict fields left-to-right in violation of the Report. The same non-intuitive behaviour can be seen more clearly in the simple expression: (f $! x) $! y in which you might expect x to be evaluated before y, but in fact it is the other way round. (And here, the compilers do follow the Report.) The fix I propose for H'98 (and equally for Haskell Prime) is to change the definition of $! as follows Replace f $! x = x `seq` f x with f $! x = f `seq` x `seq` f x in section 6.2 Regards, Malcolm

1 0

ANNOUNCE: Dyre - Dynamic Program Recompilation (Xmonad-style configuration)
by Will Donnelly 06 Aug '09

06 Aug '09

Dyre is a library for Xmonad-style program recompilation. It is based in spirit after the HConf library written by the Yi project, but with a number of key differences: 1. Focus on simple integration into existing programs. 2. A single program entry point, rather than two. 3. Emphasis on relaunching / state persistence as an *optional* feature. 4. Windows support A reasonably complete explanation, along with a full usage example, is available in the Haddock documentation for the 'Config.Dyre' module, which I unfortunately cannot link to because HackageDB has not yet processed the documentation. The library itself may be found at < http://hackage.haskell.org/package/dyre>. I eagerly await any feedback people have to offer. Thank you for your attention - Will Donnelly

1 0