September 2009 - Haskell

Haskell Weekly News: Issue 131 - Semptember 25, 2009
by Joe Fredette 26 Sep '09

26 Sep '09

This week is an experiment, I'm eliminating the mail client from the sendout, and simply using sendmail directly. If this doesn't fix the line ending problem, then I'm pretty sure it's a software issue, and not a client issue. If you notice problems, please email me at this address, put [HWN] in the subject line so my filters will catch it. Please _don't_ email me if there are no problems. Thanks, /Joe --------------------------------------------------------------------------- Haskell Weekly News http://sequence.complete.org/hwn/20090926 Issue 133 - September 26, 2009 --------------------------------------------------------------------------- Welcome to issue 133 of HWN, a newsletter covering developments in the [1]Haskell community. This week, we have a few new 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 [2]announced the release of epoll bindings 0.2 available [3]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 [4]announced version 0.2.1 of the diagrams library, available now on [5]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 [6]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 [7]announced version 2999.5.1.1 of the [8]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 [9]announced [10]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 [11]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 [12]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 [13]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 [14]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 [15]wrote a tutorial about monads in some other niche language... Beginning of a meta-Haskell. Oleg -- [16]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 [17]here. An issue with EDSLs in the ``finally tagless'' tradition. Brad Larsen [18]talked about his run in with [19]the expression problem while experimenting with EDSLs. Blog noise [20]Haskell news from the [21]blogosphere. Blog posts from people new to the Haskell community are marked with >>>, be sure to welcome them! * Bryan O'Sullivan: [22]Riddle me this. * David Amos: [23]Finite geometries, part 3: Points in PG(n,Fq). David's continuing series on Finite Geometries. * Neil Brown: [24]Concurrent Pearl: The Expanding Prime Pipeline. * Mikael Vejdemo Johansson (Syzygy-): [25][MATH198] Lecture 1 now online. Mikael's first Category Theory Lecture is up online. * Brent Yorgey: [26]diagrams 0.2.1, and future plans. * Alex McLean: [27]hackpact week 4. Part of the continuing series on Alex's hackpact progress. * Manuel M T Chakravarty: [28]Heads Up: GHC devs on Macs - GHC's testsuite crashes spotlight indexer on SL. * Clint Moore: [29]8 Cores of Awesome. * Bryan O'Sullivan: [30]Video of my CUFP keynote. * Chris Smith: [31]Thoughts on Hackage and the Haskell Platform. * Manuel M T Chakravarty: [32]Haskell Bindings to C -> c2hs. * Neil Brown: [33]Functions into processes, using arrows. * Brent Yorgey: [34]Functional MetaPost. * Malcolm Wallace: [35]Haskell Symposium 2009 - videos now online. * DEFUN 2009: [36]DEFUN and CUFP 2009 registration are now open!. * Chris Smith: [37]Type Classes With An Easier Example. * Darcs: [38]darcs weekly news #41. * Greg Bacon: [39]Haskell craps. * Bryan O'Sullivan: [40]A new pseudo-random number generator for Haskell. * Thomas M. DuBuisson: [41]HacPDX is Coming. * Dan Piponi (sigfpe): [42]More Parsing With Best First Search. * Osfameron: [43]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 [44]the Haskell mailing list as well as to [45]the Haskell Sequence and [46]Planet Haskell. [47]RSS is also available, and headlines appear on [48]haskell.org. To help create new editions of this newsletter, please see the information on [49]how to contribute. Send stories to jfredett . at . gmail . dot . com. The darcs repository is available at darcs get [50]http://patch-tag.com/r/HWN2/home . References 1. http://haskell.org/ 2. http://article.gmane.org/gmane.comp.lang.haskell.cafe/63815 3. http://hackage.haskell.org/package/epoll 4. http://article.gmane.org/gmane.comp.lang.haskell.cafe/63791 5. http://hackage.haskell.org/package/diagrams 6. http://article.gmane.org/gmane.comp.lang.haskell.cafe/63786 7. http://article.gmane.org/gmane.comp.lang.haskell.cafe/63770 8. http://hackage.haskell.org/package/graphviz-2999.5.1.1 9. http://article.gmane.org/gmane.comp.lang.haskell.cafe/63640 10. http://hackage.haskell.org/package/histogram-fill 11. http://article.gmane.org/gmane.comp.lang.haskell.general/17511 12. http://article.gmane.org/gmane.comp.lang.haskell.general/17508 13. http://article.gmane.org/gmane.comp.lang.haskell.general/17507 14. http://article.gmane.org/gmane.comp.lang.haskell.general/17506 15. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/63800 16. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/63761 17. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/63751 18. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/63751 19. http://www.daimi.au.dk/~madst/tool/papers/expression.txt 20. http://planet.haskell.org/ 21. http://haskell.org/haskellwiki/Blog_articles 22. http://www.serpentine.com/blog/2009/09/25/riddle-me-this/ 23. http://haskellformaths.blogspot.com/2009/09/finite-geometries-part-3-points… 24. http://chplib.wordpress.com/2009/09/24/the-expanding-prime-pipeline/ 25. http://blog.mikael.johanssons.org/archive/2009/09/math198-lecture-1-now-onl… 26. http://byorgey.wordpress.com/2009/09/24/diagrams-0-2-1-and-future-plans/ 27. http://yaxu.org/hackpact-week-3-2/ 28. http://justtesting.org/post/195668539 29. http://www.l2mlogistics.com/2009/09/8-cores-of-awesome.html 30. http://www.serpentine.com/blog/2009/09/23/video-of-my-cufp-keynote/ 31. http://cdsmith.wordpress.com/2009/09/23/thoughts-on-hackage-and-the-haskell… 32. http://justtesting.org/post/194790750 33. http://chplib.wordpress.com/2009/09/22/functions-into-processes-using-arrow… 34. http://byorgey.wordpress.com/2009/09/21/functional-metapost/ 35. http://feedproxy.google.com/~r/malcolm/~3/wxsdwfUArJ8/haskell-symposium-200… 36. http://www.defun2009.info/blog/2009/06/defun-2009-registration-is-now-open/ 37. http://cdsmith.wordpress.com/2009/09/20/side-computations-via-type-classes/ 38. http://blog.darcs.net/2009/09/darcs-weekly-news-41.html 39. http://feedproxy.google.com/~r/gbacon/~3/QILx5EtQN4o/haskell-craps.html 40. http://www.serpentine.com/blog/2009/09/19/a-new-pseudo-random-number-genera… 41. http://tommd.wordpress.com/2009/09/19/hacpdx-is-coming/ 42. http://blog.sigfpe.com/2009/09/language-nomonomorphismrestrictiongener.html 43. http://greenokapi.net/blog/2009/09/19/coin-tricks/ 44. http://www.haskell.org/mailman/listinfo/haskell 45. http://sequence.complete.org/ 46. http://planet.haskell.org/ 47. http://sequence.complete.org/node/feed 48. http://haskell.org/ 49. http://haskell.org/haskellwiki/HWN 50. http://patch-tag.com/r/HWN2/home

1 0

Haskell Weekly News: Issue 131 - Semptember 25, 2009
by Joe Fredette 26 Sep '09

26 Sep '09

This week is an experiment, I'm eliminating the mail client from the sendout, and simply using sendmail directly. If this doesn't fix the line ending problem, then I'm pretty sure it's a software issue, and not a client issue. If you notice problems, please email me at this address, put [HWN] in the subject line so my filters will catch it. Please _don't_ email me if there are no problems. Thanks, /Joe --------------------------------------------------------------------------- Haskell Weekly News http://sequence.complete.org/hwn/20090926 Issue 133 - September 26, 2009 --------------------------------------------------------------------------- Welcome to issue 133 of HWN, a newsletter covering developments in the [1]Haskell community. This week, we have a few new 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 [2]announced the release of epoll bindings 0.2 available [3]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 [4]announced version 0.2.1 of the diagrams library, available now on [5]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 [6]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 [7]announced version 2999.5.1.1 of the [8]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 [9]announced [10]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 [11]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 [12]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 [13]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 [14]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 [15]wrote a tutorial about monads in some other niche language... Beginning of a meta-Haskell. Oleg -- [16]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 [17]here. An issue with EDSLs in the ``finally tagless'' tradition. Brad Larsen [18]talked about his run in with [19]the expression problem while experimenting with EDSLs. Blog noise [20]Haskell news from the [21]blogosphere. Blog posts from people new to the Haskell community are marked with >>>, be sure to welcome them! * Bryan O'Sullivan: [22]Riddle me this. * David Amos: [23]Finite geometries, part 3: Points in PG(n,Fq). David's continuing series on Finite Geometries. * Neil Brown: [24]Concurrent Pearl: The Expanding Prime Pipeline. * Mikael Vejdemo Johansson (Syzygy-): [25][MATH198] Lecture 1 now online. Mikael's first Category Theory Lecture is up online. * Brent Yorgey: [26]diagrams 0.2.1, and future plans. * Alex McLean: [27]hackpact week 4. Part of the continuing series on Alex's hackpact progress. * Manuel M T Chakravarty: [28]Heads Up: GHC devs on Macs - GHC's testsuite crashes spotlight indexer on SL. * Clint Moore: [29]8 Cores of Awesome. * Bryan O'Sullivan: [30]Video of my CUFP keynote. * Chris Smith: [31]Thoughts on Hackage and the Haskell Platform. * Manuel M T Chakravarty: [32]Haskell Bindings to C -> c2hs. * Neil Brown: [33]Functions into processes, using arrows. * Brent Yorgey: [34]Functional MetaPost. * Malcolm Wallace: [35]Haskell Symposium 2009 - videos now online. * DEFUN 2009: [36]DEFUN and CUFP 2009 registration are now open!. * Chris Smith: [37]Type Classes With An Easier Example. * Darcs: [38]darcs weekly news #41. * Greg Bacon: [39]Haskell craps. * Bryan O'Sullivan: [40]A new pseudo-random number generator for Haskell. * Thomas M. DuBuisson: [41]HacPDX is Coming. * Dan Piponi (sigfpe): [42]More Parsing With Best First Search. * Osfameron: [43]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 [44]the Haskell mailing list as well as to [45]the Haskell Sequence and [46]Planet Haskell. [47]RSS is also available, and headlines appear on [48]haskell.org. To help create new editions of this newsletter, please see the information on [49]how to contribute. Send stories to jfredett . at . gmail . dot . com. The darcs repository is available at darcs get [50]http://patch-tag.com/r/HWN2/home . References 1. http://haskell.org/ 2. http://article.gmane.org/gmane.comp.lang.haskell.cafe/63815 3. http://hackage.haskell.org/package/epoll 4. http://article.gmane.org/gmane.comp.lang.haskell.cafe/63791 5. http://hackage.haskell.org/package/diagrams 6. http://article.gmane.org/gmane.comp.lang.haskell.cafe/63786 7. http://article.gmane.org/gmane.comp.lang.haskell.cafe/63770 8. http://hackage.haskell.org/package/graphviz-2999.5.1.1 9. http://article.gmane.org/gmane.comp.lang.haskell.cafe/63640 10. http://hackage.haskell.org/package/histogram-fill 11. http://article.gmane.org/gmane.comp.lang.haskell.general/17511 12. http://article.gmane.org/gmane.comp.lang.haskell.general/17508 13. http://article.gmane.org/gmane.comp.lang.haskell.general/17507 14. http://article.gmane.org/gmane.comp.lang.haskell.general/17506 15. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/63800 16. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/63761 17. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/63751 18. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/63751 19. http://www.daimi.au.dk/~madst/tool/papers/expression.txt 20. http://planet.haskell.org/ 21. http://haskell.org/haskellwiki/Blog_articles 22. http://www.serpentine.com/blog/2009/09/25/riddle-me-this/ 23. http://haskellformaths.blogspot.com/2009/09/finite-geometries-part-3-points… 24. http://chplib.wordpress.com/2009/09/24/the-expanding-prime-pipeline/ 25. http://blog.mikael.johanssons.org/archive/2009/09/math198-lecture-1-now-onl… 26. http://byorgey.wordpress.com/2009/09/24/diagrams-0-2-1-and-future-plans/ 27. http://yaxu.org/hackpact-week-3-2/ 28. http://justtesting.org/post/195668539 29. http://www.l2mlogistics.com/2009/09/8-cores-of-awesome.html 30. http://www.serpentine.com/blog/2009/09/23/video-of-my-cufp-keynote/ 31. http://cdsmith.wordpress.com/2009/09/23/thoughts-on-hackage-and-the-haskell… 32. http://justtesting.org/post/194790750 33. http://chplib.wordpress.com/2009/09/22/functions-into-processes-using-arrow… 34. http://byorgey.wordpress.com/2009/09/21/functional-metapost/ 35. http://feedproxy.google.com/~r/malcolm/~3/wxsdwfUArJ8/haskell-symposium-200… 36. http://www.defun2009.info/blog/2009/06/defun-2009-registration-is-now-open/ 37. http://cdsmith.wordpress.com/2009/09/20/side-computations-via-type-classes/ 38. http://blog.darcs.net/2009/09/darcs-weekly-news-41.html 39. http://feedproxy.google.com/~r/gbacon/~3/QILx5EtQN4o/haskell-craps.html 40. http://www.serpentine.com/blog/2009/09/19/a-new-pseudo-random-number-genera… 41. http://tommd.wordpress.com/2009/09/19/hacpdx-is-coming/ 42. http://blog.sigfpe.com/2009/09/language-nomonomorphismrestrictiongener.html 43. http://greenokapi.net/blog/2009/09/19/coin-tricks/ 44. http://www.haskell.org/mailman/listinfo/haskell 45. http://sequence.complete.org/ 46. http://planet.haskell.org/ 47. http://sequence.complete.org/node/feed 48. http://haskell.org/ 49. http://haskell.org/haskellwiki/HWN 50. http://patch-tag.com/r/HWN2/home

1 0

ANN: Workflow-0.5.5, TCache-0.6.4 RefSerialize-0.2.4
by Alberto G. Corona 24 Sep '09

24 Sep '09

Hi I'm proud to announce Workflow 0.5.5. This is a package intended to define workflows as sequences of actions with he usual do notation. Such actions may include wait for events, queue messages, etc perform processing etc for days weeks or even years without regards for shutdowns and restarts. Technically, Workflow includes a monad transformer that encapsulates any computation 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 excution is resumed at the last action that was logged. The process continues at the same state as if not interruption took place. Any feedback will be appreciated. Besides state logging and recovery, there are a number of communication primitives that are aware of persistence across reinitiations such are persistent queues, persistent timeouts, or wait for events in the STM monad. These primitives permits inter-woikflow communications and communications with external threads. I hope that this package would be useful for very long computations, either the programs that are CPU intensive and produce valuable intermediate data or programs that wait for actions from users and others processes during days or weeks. That is typical in web applications. Such programs can be defined in a single monadic procedure transparently, without regards of saving intermediate results or reinitiations at the correct point. This new version is not restricted to handle a single type. Every intermediate data must be an instance of Read and Show. For complex data types, other persistence mechanisms can be used (see documentation). The package is at: http://hackage.haskell.org/package/Workflow http://hackage.haskell.org/packages/archive/Workflow/0.5.5/Workflow-0.5.5.t… The tar archive has the documentation and some examples. Among them, a simulation of workflow for the creation and approval of documents, with two levels of approval and approval timeouts, It uses most of the features of the package. NOTE: cabal install reports Tar checksum errors when installed, however, such errors do not appear by downloading the tar.gz archive and decompressing it with the unix or windows tools. I do not know why cabal install behaves as such. Here is a simple example: This is a counter that shows a sequence of numbers, one a second: *module Main where import Control.Concurrent(threadDelay) import System.IO (hFlush,stdout) count n= do putStr (show n ++ " " ) >> hFlush stdout >> threadDelay 1000000 count (n+1) main= count 0 * This is the same program, with the added feature of remembering the last count after interruption (sequence.hs): *module Main where import Control.Workflow import Control.Concurrent(threadDelay) import System.IO (hFlush,stdout) mcount n= do step $ putStr (show n ++ " " ) >> hFlush stdout >> threadDelay 1000000 mcount (n+1) main= do registerType :: IO () registerType :: IO Int let start= 0 :: Int startWF "count" start [("count", mcount)] :: IO () * This is the execution log: *Worflow-0.5.5demos>runghc sequence.hs 0 1 2 3 4 5 6 7 sequence.hs: win32ConsoleHandler sequence.hs: sequence.hs: interrupted Worflow-0.5.5demos> Worflow-0.5.5demos>runghc sequence.hs 7 8 9 10 11 .... * This package uses TCache and RefSerialize. I also uploaded new versions of these packages with extensive documentation and examplles included in the tar.gz archives ( cabal install also repor checksum errors, but are OK when downloading and installing by hand): http://hackage.haskell.org/package/TCache <http://hackage.haskell.org/package/TCache> http://hackage.haskell.org/packages/archive/TCache/0.6.4/TCache-0.6.4.tar.gz http://hackage.haskell.org/package/RefSerialize <http://hackage.haskell.org/package/RefSerialize> http://hackage.haskell.org/packages/archive/RefSerialize/0.2.4/RefSerialize…

1 0

ANNOUNCE: graphviz-2999.5.1.1
by Ivan Lazar Miljenovic 24 Sep '09

24 Sep '09

I'm pleased to announce version 2999.5.1.1 [1] of the graphviz library, which provides bindings to the GraphViz [2] suite of tools for drawing graphs. [1] http://hackage.haskell.org/package/graphviz-2999.5.1.1 [2] http://www.graphviz.org/ This is yet another bugfix release, fixing the problem spotted by Kathleen Fisher where Dot keywords need to be explicitly quoted if used as labels, etc. Once again, this is done automagically with no change to the API. -- Ivan Lazar Miljenovic Ivan.Miljenovic(a)gmail.com IvanMiljenovic.wordpress.com

1 0

ANNOUNCE: Darcs Hacking Sprint - 14-15 November Vienna
by Eric Kow 23 Sep '09

23 Sep '09

Dear Haskellers, The Darcs Team will soon be hosting its third hacking sprint. Details ------- When : 14-15 November 2009 Where: University of Technology, Vienna, Austria Who : Anybody who wants to hack on Darcs (or Camp, Focal, SO6, etc) Beginners especially welcome! Why : Darcs aims to have bi-annual hacking sprints so that we can get together on a regular basis, hold design discussions, hack up a storm and have a lot fun. What : We plan to put some finishing touches on Darcs-2.4. Darcs 2.4 is a pretty exciting release because we expect it to offer nice performance enhancements from Petr's Google Summer of Code Project, and also a nice new 'hunk splitting' feature. We also intend to set aside at least one Darcs hacker for mentoring beginners, so if you're new to Haskell or to Darcs hacking, here's a good chance to plunge in and start working on a real world project. How: Add yourself to http://wiki.darcs.net/Sprints/2009-11 or email me to let me know you're interested! Thanks ------ Thanks to our local team David Markvica and Benedikt Huber for generously offering to host this event! Thanks also to donors from the last fundraising drive. We'll be using that money to help Darcs hackers get to Vienna. Supporting Darcs ---------------- Darcs is a very happy member of the Software Freedom Conservancy. Among other things, the Software Freedom Conservancy makes it easy for open source projects to raise funds and hold assets (as part of a legal entity). For more information on supporting Darcs, see http://darcs.net/donations.html See you there! -- Eric Kow <http://www.nltg.brighton.ac.uk/home/Eric.Kow> PGP Key ID: 08AC04F9

1 0

An error using hs-plugins
by carlos gomez 22 Sep '09

22 Sep '09

Hello haskell programmers I was trying to use hs-plugins [looks interesting!!], but when I tried to execute my first example [the first of the documentation or the first of the hs-plugins paper], I got this error: Main: /tmp/MjpXp11632.o: unknown symbol `base_GHCziList_reverse_closure' Main: user error (resolvedObjs failed.) I don't know how can I fix it, can someone help me? This error happened when I tried to execute and nothing happened when i compiled. I also compiled that with the makefile provided by the library and her examples, and I got the same error. I'm using ubuntu 9.04, ghc6.10.4 and hs-plugins1.4.1 Thanks, -- Carlos Gomez

2 1

2nd CFP: TLDI 2010
by Andrew Kennedy 21 Sep '09

21 Sep '09

TLDI 2010 *** Second Call for Papers *** The Fifth ACM SIGPLAN Workshop on Types in Language Design and Implementation Madrid, Spain, January 23, 2010 (Co-located with POPL 2010) http://research.microsoft.com/~akenn/tldi2010/ Submission Deadline: 5 October 2009 The role of types and proofs in all aspects of language design, compiler construction, and software development has expanded greatly in recent years. Type systems, type-based analyses and type-theoretic deductive systems have been central to advances in compilation techniques for modern programming languages, verification of safety and security properties of programs, program transformation and optimization, and many other areas. The ACM SIGPLAN Workshop on Types in Language Design and Implementation brings researchers together to share new ideas and results concerning all aspects of types and programming, and is now an annual event. TLDI 2010 is the fifth workshop in the series and will be co-located with POPL in Madrid, Spain in January 2010. Submissions for TLDI 2010 are invited on all interactions of types with language design, implementation, and programming methodology. This includes both practical applications and theoretical aspects. TLDI 2010 specifically encourages papers from a broad field of programming language and compiler researchers, including those working on object-oriented, dynamically-typed or late-bound languages, systems programming, mobile-code or security, as well as traditional fully-static type systems. Topics of interest include: * Typed intermediate languages and type-directed compilation * Type-based language support for safety and security * Types for interoperability * Type systems for system programming languages * Type-based program analysis, transformation, and optimization * Dependent types and type-based proof assistants * Types for security protocols, concurrency, and distributed computing * Type inference and type reconstruction * Type-based specifications of data structures and program invariants * Type-based memory management * Proof-carrying code and certifying compilation * Types and objects This is not meant to be an exhaustive list; papers on novel utilizations of type information are welcome. Authors concerned about the suitability of a topic are encouraged to inquire via electronic mail to the program chair prior to submission. Submission Guidelines: Authors should submit a full paper of no more than 12 pages (including bibliography and appendices) by Monday 5th October, 2009. The submission deadline and length limitations are firm. Submissions that do not meet these guidelines will not be considered. All submissions should be in standard ACM SIGPLAN conference format: two columns, nine-point font on a ten-point baseline. Detailed formatting guidelines are available on the SIGPLAN Author Information page, along with a LaTeX class file and template. Papers must be submitted electronically via the conference website in Adobe Portable Document Format (PDF) and must be formatted for US Letter size (8.5"x11") paper. Authors for whom this is a hardship should contact the program chair before the deadline. Submitted papers must adhere to the SIGPLAN Republication Policy. Submissions should contain original research not published or submitted for publication elsewhere. Important Dates: - Submission of papers: 5 October 2009 (Monday) - Notification: 6 November 2009 (Friday) - Final versions due: 15 November 2009 (Sunday) - Workshop: 23 January 2010 (Saturday) General Chair: Andrew Kennedy, Microsoft Research, UK Program Chair: Nick Benton, Microsoft Research, UK Program Committee: Gilles Barthe, IMDEA Software, Spain Viviana Bono, University of Torino, Italy Giorgio Ghelli, University of Pisa, Italy Dan Grossman, University of Washington, USA Atsushi Igarashi, Kyoto University, Japan Conor McBride, University of Strathclyde, UK Jeremy Siek, University of Colorado at Boulder, USA Zhong Shao, Yale University, USA Matthieu Sozeau, Harvard University, USA Chris Stone, Harvey Mudd College, USA Kristian Støvring, ITU Copenhagen, Denmark Steering Committee: Amal Ahmed, Indiana University, USA Craig Chambers, University of Washington, USA Robert Harper, Carnegie Mellon University, USA (Chair) Xavier Leroy, INRIA Paris-Rocquencourt, France Greg Morrisett, Harvard University, USA George Necula, Rinera Networks and UC Berkeley, USA Atsushi Ohori, Tohoku University, Japan Francois Pottier, INRIA Paris-Rocquencourt, France Zhong Shao, Yale University, USA

1 0

ANN: darcs 2.3.1: better docs, fewer bugs
by Reinier Lamers 20 Sep '09

20 Sep '09

Dear Darcs users, The darcs team would like to announce the immediate availability of a new stable version of darcs, 2.3.1. This is a bugfix release. The user-visible changes are: * Fix bugs in optimizations in 2.3.0 * Documentation improvements * Remove autoconf build system A more complete list of changes in this and older versions of darcs can be found at http://www.darcs.net/NEWS . Installing ---------- You can obtain the source tarball at the following address: * http://darcs.net/releases/darcs-2.3.1.tar.gz The build instructions are available in the enclosed README file in those tarballs. Moreover, if you have cabal-install available, you can install latest stable release of darcs by issuing the following commands (no tarballs needed): $ cabal update $ cabal install darcs This should give you a darcs binary in `~/.cabal/bin` -- you should probably add this to your PATH. More detailed instructions for installing on Windows are available near the end of this announcement. Installing on Windows --------------------- To install darcs on Windows systems from scratch, please download the Haskell Platform and MSYS: * http://hackage.haskell.org/platform/2009.2.0.1/HaskellPlatform-2009.2.0.1- setup.exe * http://sourceforge.net/projects/mingw/files/MSYS+Base+System/MSYS-1.0.11- rc-1.exe/download After installing both, you should have an "MSYS" icon: run MSYS and in the terminal window type (the `$` character denotes the prompt, do not repeat it): $ cabal update $ cabal install darcs -f-curl This should download, compile and install all required dependencies and also darcs itself. The resulting darcs executable will be placed into the Haskell Platform executables folder, and should be accessible from the MSYS shell (just type "darcs --version" to check). Yours, Reinier.

1 0

TFM09: Call for Participation (FMWeek, Eindhoven, November 2009)
by J.N. Oliveira 20 Sep '09

20 Sep '09

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 CALL FOR PARTICIPATION (URL: http://www.di.uminho.pt/tfm09) 1. About the conference ----------------------- Ten years after the First World Formal Methods Congress (FM'99) in Toulouse, formal methods communities from all over the world will once again have an opportunity to come together. As part of the First Formal Methods Week event surrounding the FM2009 conference in Eindhoven, Formal Methods Europe will be organizing TFM2009, the Second International Conference on Teaching Formal Methods. The conference will serve as a forum to explore the successes and failures of Formal Methods (FM) education, and to promote cooperative projects to further education and training in FMs. TFM2009 will include a panel discussion on the idea of building a 'Guide to the Formal Methods Body of Knowledge' (FMBoK), inspired by similar efforts for software engineering (SWEBoK) and for project management (PMBoK); such a resource would provide guidance to teachers, managers, and developers on what should be expected from a comprehensive, balanced programme of education in FMs. 2. Invited speaker ------------------ Jeff Kramer (Imperial College London, UK) 3. Accepted papers ------------------ * Teaching Concurrency: Theory in Practice (Luca Aceto, Anna Ingolfsdottir, Kim Guldstrand Larsen, Jiri Srba) * Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification (Wolfgang Ahrendt, Richard Bubel, Reiner Haehnle) * What Top-Level Software Engineers Tackle after Learning Formal Methods - Experiences from the Top SE Project (Fuyuki Ishikawa, Kenji Taguchi, Nobukazu Yoshioka, Shinichi Honiden) * Teaching program specification and verification using JML and ESC/Java2 (Erik Poll) * Chief Chefs of Z to Alloy: Using A Kitchen Example to Teach Alloy with Z (Sureyya Tarkan, Vibha Sazawal) * Teaching Formal Methods based on Rewriting Logic and Maude (Peter Olveczky) * Which Mathematics for the Information Society? (Joao Ferreira, Alexandra Mendes, Roland Backhouse, Luis Barbosa) * How to explain mistakes (Stefan Hallerstede, Michael Leuschel) * On Teaching Formal Methods: Behavior Models and Code Analysis (Jan Kofron, Ondrej Sery, Pavel Parizek) * Teaching Formal Methods for the Unconquered Territory (Nestor Catano, Camilo Rueda) 4. Sponsors -------------- * Formal Methods Europe Association (FME) * Software Improvement Group (SIG) , Amsterdam, Netherlands 5. Programme Committee ---------------------- Izzat Alsmadi (North Dakota State University, USA) Dines Bjorner (IIMM Institute, Denmark) Eerke Boiten (University of Kent, UK) Raymond Boute (Universiteit Gent, Belgium) Andrew Butterfield (Trinity College, Dublin) Jim Davies (University of Oxford, UK) David Duce (Oxford Brookes University, UK) John Fitzgerald (University of Newcastle upon Tyne, UK) Jeremy Gibbons (University of Oxford, UK) Randolph Johnson (National Security Agency, USA) Michael Mac an Airchinnigh (Trinity College, Dublin) Dino Mandrioli (Politecnico di Milano, Italy) Jose Oliveira (Universidade do Minho, Portugal) Kees Pronk (Technische Universiteit Delft, NL) Bernhard Schaetz (Tecnical University of Munique, Germany) Wolfgang Schreiner (Johannes Kepler University Linz, Austria) Simao Melo de Sousa (Universidade da Beira Interior, Portugal) Kenji Taguchi (National Institute of Informatics, Japan) Jeannette Wing (Carnegie-Mellon University, USA)

1 0

Haskell Weekly News: Issue 131 - September 19, 2009
by Joe Fredette 19 Sep '09

19 Sep '09

Hopefully the line endings come out okay this week, I did a test before sending it to the list, please let me know if you notice anything awry. Just put a [HWN] in the subject line so my filter's will catch it. </metaeditorial> --------------------------------------------------------------------------- Haskell Weekly News http://sequence.complete.org/hwn/20090918 Issue 131 - September 18, 2009 --------------------------------------------------------------------------- Welcome to issue 131 of HWN, a newsletter covering developments in the [1]Haskell community. Last week, I received an email from Mark Wotton about his project [2]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 [3]blog, there is also a repo up at [4]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 [5]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 [6]announced a LambdaINet 0.1.0, available on [7]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 [8]announced the Automatic Rule-Based Time Tracking tool on hackage. he has an introduction available [9]here. A statistics library. Bryan O'Sullivan [10]announced the imaginatively named [11]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. [12]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 [13]announced the release of Haskeline 0.6.2, available [14]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 [15]announced the Last Call for Papers for PEPM'10, see the announcement for more details. Videos of HIW 2009. Malcolm Wallace [16]announced videos of all the presentations/discussions at the recent Haskell Implementers Workshop 2009, in Edinburgh, are now [17]online. The program of talks is available [18]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 [19]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 [20]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 [21]new [22]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 [23]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 [24]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 [25]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 [26]asked about why certain unicode characters parsed in GHCi without error, but not in compiled code. Help with FFI. Jose Prous [27]asked for some help with the foreign function interface. Ambiguous type variable with subclass instance. Andy Gimblett [28]asked about a particular ambiguous type error Haskell -> .NET. Peter Verswyvelen [29]asked about the possibilities for a .NET version of Haskell. A thought about liberating Haskell's syntax. George Pollard [30]suggested a new way to do templates, so that brace-like syntax could be added without having to seriously hack GHC. Blog noise [31]Haskell news from the [32]blogosphere. Blog posts from people new to the Haskell community are marked with >>>, be sure to welcome them! * Neil Brown: [33]Concurrent Pearl: The Sort Pump. * Roman Cheplyaka: [34]CCC #6: HWN. A comic revealing the _real_ reason Brent left the HWN to me. * Don Stewart (dons): [35]Data.Binary: performance improvements for Haskell binary parsing. * Thomas M. DuBuisson: [36]Kernel Modules in Haskell. * Neil Brown: [37]Boids Simulation: Part 4. * Edward Kmett: [38]Iteratees, Parsec, and Monoids, Oh My!. * Edward Kmett: [39]Remodeling Precision. * Alex McLean: [40]Hackpact documentation (week 3). The continuation of Alex's series on Hackpact * Luke Palmer: [41]IO-free splittable supply. * Thomas M. DuBuisson: [42]Kernel Modules in Haskell. * Bryan O'Sullivan: [43]A video demo of my Haskell benchmarking framework. * Don Stewart (dons): [44]Haskell for Everyone: Hackage and the Haskell Platform : Haskell Implementers Workshop 2009. * David Sankel: [45]Applied Functional Programming: Part 1. * Neil Brown: [46]Boids Simulation: Part 4. * Darcs: [47]darcs weekly news #40. * Chris Smith: [48]On Inverses of Haskell Functions. * David Amos: [49]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 [50]the Haskell mailing list as well as to [51]the Haskell Sequence and [52]Planet Haskell. [53]RSS is also available, and headlines appear on [54]haskell.org. To help create new editions of this newsletter, please see the information on [55]how to contribute. Send stories to jfredett . at . gmail . dot . com. The darcs repository is available at darcs get [56]http://patch-tag.com/r/HWN2/home . References 1. http://haskell.org/ 2. http://github.com/mwotton/Hubris 3. http://lowlymath.net/?p=45 4. http://patch-tag.com/r/HWN2/snapshot/current/content/pretty 5. http://article.gmane.org/gmane.comp.lang.haskell.cafe/63413 6. http://article.gmane.org/gmane.comp.lang.haskell.cafe/63390 7. http://hackage.haskell.org/package/LambdaINet 8. http://article.gmane.org/gmane.comp.lang.haskell.cafe/63369 9. https://www.joachim-breitner.de/blog/archives/336-The-Automatic-Rule-Based-… 10. http://article.gmane.org/gmane.comp.lang.haskell.cafe/63362 11. http://hackage.haskell.org/package/statistics 12. http://article.gmane.org/gmane.comp.lang.haskell.general/17502 13. http://article.gmane.org/gmane.comp.lang.haskell.general/17497 14. http://hackage.haskell.org/package/haskeline 15. http://article.gmane.org/gmane.comp.lang.haskell.general/17496 16. http://article.gmane.org/gmane.comp.lang.haskell.general/17494 17. http://www.vimeo.com/album/126462 18. http://haskell.org/haskellwiki/HaskellImplementorsWorkshop 19. http://article.gmane.org/gmane.comp.lang.haskell.cafe/63572 20. http://article.gmane.org/gmane.comp.lang.haskell.cafe/63542 21. http://article.gmane.org/gmane.comp.lang.haskell.cafe/63499 22. http://article.gmane.org/gmane.comp.lang.haskell.cafe/63498 23. http://article.gmane.org/gmane.comp.lang.haskell.general/17493 24. http://article.gmane.org/gmane.comp.lang.haskell.general/17492 25. http://article.gmane.org/gmane.comp.lang.haskell.general/17490 26. http://article.gmane.org/gmane.comp.lang.haskell.cafe/63580 27. http://article.gmane.org/gmane.comp.lang.haskell.cafe/63574 28. http://article.gmane.org/gmane.comp.lang.haskell.cafe/63545 29. http://article.gmane.org/gmane.comp.lang.haskell.cafe/63512 30. http://article.gmane.org/gmane.comp.lang.haskell.cafe/63492 31. http://planet.haskell.org/ 32. http://haskell.org/haskellwiki/Blog_articles 33. http://chplib.wordpress.com/2009/09/18/the-sort-pump/ 34. http://ro-che.blogspot.com/2009/09/ccc-6-hwn.html 35. http://donsbot.wordpress.com/2009/09/16/data-binary-performance-improvments… 36. http://tommd.wordpress.com/2009/09/13/kernel-modules-in-haskell/ 37. http://chplib.wordpress.com/2009/09/16/boids-simulation-part-4/ 38. http://comonad.com/reader/2009/iteratees-take-2/ 39. http://comonad.com/reader/2009/remodeling-precision/ 40. http://yaxu.org/hackpact-documentation-week-3/ 41. http://lukepalmer.wordpress.com/2009/09/14/io-free-splittable-supply/ 42. http://tommd.wordpress.com/2009/09/13/kernel-modules-in-haskell/ 43. http://www.serpentine.com/blog/2009/09/14/a-video-demo-of-my-haskell-benchm… 44. http://donsbot.wordpress.com/2009/09/14/haskell-for-everyone-hackage-and-th… 45. http://netsuperbrain.com/blog/posts/applied-functional-programming-part-1/ 46. http://chplib.wordpress.com/2009/09/14/boids-simulation-part-4/ 47. http://blog.darcs.net/2009/09/darcs-weekly-news-40.html 48. http://cdsmith.wordpress.com/2009/09/14/on-inverses-of-haskell-functions/ 49. http://haskellformaths.blogspot.com/2009/09/finite-geometries-part-1-agnfq.… 50. http://www.haskell.org/mailman/listinfo/haskell 51. http://sequence.complete.org/ 52. http://planet.haskell.org/ 53. http://sequence.complete.org/node/feed 54. http://haskell.org/ 55. http://haskell.org/haskellwiki/HWN 56. http://patch-tag.com/r/HWN2/home

1 0