From ivan.miljenovic at gmail.com Fri May 1 02:47:07 2009 From: ivan.miljenovic at gmail.com (Ivan Lazar Miljenovic) Date: Fri May 1 02:32:56 2009 Subject: [Haskell] ANNOUNCE: graphviz-2009.5.1 Message-ID: <87vdole2vo.fsf@gmail.com> I'd like to announce version 2009.5.1[1] of the graphviz[2] library, less than a week since Matthew Sackman passed maintainership onto me[3]. The graphviz library provides a Haskell interface to the GraphViz[4] program. [1] http://hackage.haskell.org/packages/archive/graphviz/2009.5.1/graphviz-2009.5.1.tar.gz [2] http://hackage.haskell.org/cgi-bin/hackage-scripts/package/graphviz [3] http://www.mail-archive.com/haskell@haskell.org/msg21994.html [4] http://graphviz.org Major changes with this release are: * Supports polyparse >= 1.1 (the previous version didn't work with 1.3). * Requires base == 4.* (i.e. GHC 6.10.*) due to the new exception handling. * Includes functions from my Graphalyze [5] library for actually running the various GraphViz commands, etc. * Slight API breakages: - dirCommand, undirCommand and commandFor no longer return String, but GraphvizCommand - Data.GraphViz.ParserCombinators is no longer exported by the Cabal file, since I see no need for anyone to require acccess to this. If this is a problem for you, please let me know and I'll re-export it. * A lot more Haddock documentation. * A darcs repository is now available [6]. Patches are welcome! [5] http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Graphalyze [6] http://code.haskell.org/graphviz Plans for the future: * Add support for Data.Graph-style graphs (maybe even making it generic such that custom graph types can be used). * Allow the user to choose whether the graph is directed or undirected. * Include all attributes offered by the Dot language. * Remove (or at least minimise) usage of extensions to increase portability. Oh, and to pre-empt Don, this is already available in the Gentoo-Haskell overlay ;-) -- Ivan Lazar Miljenovic Ivan.Miljenovic@gmail.com IvanMiljenovic.wordpress.com From chris at eidhof.nl Fri May 1 04:44:03 2009 From: chris at eidhof.nl (Chris Eidhof) Date: Fri May 1 04:29:45 2009 Subject: [Haskell] ANN: Dutch Haskell Users' Group (first meeting: May 6th) Message-ID: <53BBC6E2-07F7-4FB1-B405-56EA0AAA43E5@eidhof.nl> Dear Haskellers, During the last Haskell Hackathon a new user group was formed: the Dutch Haskell Users' Group (DHUG) [1]. We're happy to announce our first meeting on May 6th at 19:30 in Utrecht. We'll be talking about Haskell over drinks in The Stairway To Heaven [2], which is at walking distance from the Utrecht Central Station. Everybody's invited, from complete novices to advanced Haskell users. We hope to see you this Wednesday! -chris [1]: http://haskell.org/haskellwiki/Dutch_HUG [2]: http://www.stairway.nl/contact From colin at colina.demon.co.uk Fri May 1 04:52:03 2009 From: colin at colina.demon.co.uk (Colin Paul Adams) Date: Fri May 1 04:37:44 2009 Subject: [Haskell] ANN: Dutch Haskell Users' Group (first meeting: May 6th) In-Reply-To: <53BBC6E2-07F7-4FB1-B405-56EA0AAA43E5@eidhof.nl> (Chris Eidhof's message of "Fri\, 1 May 2009 10\:44\:03 +0200") References: <53BBC6E2-07F7-4FB1-B405-56EA0AAA43E5@eidhof.nl> Message-ID: >>>>> "Chris" == Chris Eidhof writes: Chris> We'll be talking about Haskell Chris> over drinks in The Stairway To Heaven [2] Is the choice of venue programmatically significant? :-) You don't want the whole thing to come crashing down like a led balloon. -- Colin Adams Preston Lancashire From leather at cs.uu.nl Fri May 1 10:12:33 2009 From: leather at cs.uu.nl (Sean Leather) Date: Fri May 1 09:58:31 2009 Subject: [Haskell] ANN: Dutch Haskell Users' Group (first meeting: May 6th) In-Reply-To: References: <53BBC6E2-07F7-4FB1-B405-56EA0AAA43E5@eidhof.nl> Message-ID: <3c6288ab0905010712j630a1a26nec809aeca409e0d0@mail.gmail.com> Colin Paul Adams wrote: > >>>>> "Chris" == Chris Eidhof writes: > > Chris> We'll be talking about Haskell > Chris> over drinks in The Stairway To Heaven [2] > > Is the choice of venue programmatically significant? :-) > Of course! It is one of the Houses of the Holy Haskell (H3+, or protonated molecular hydrogen, is one of the most abundant ions in the universe [1]). You don't want the whole thing to come crashing down like a led balloon. > When the levee (or dike as they call it here) breaks, we're going to California. At that point, we might need to consider renaming the group, since we're no longer going Dutch. Sean [1] http://en.wikipedia.org/wiki/Protonated_molecular_hydrogen -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/haskell/attachments/20090501/ecfa79ad/attachment.htm From alistair at abayley.org Fri May 1 11:16:22 2009 From: alistair at abayley.org (Alistair Bayley) Date: Fri May 1 11:02:08 2009 Subject: [Haskell] ANN: Takusen 0.8.4 Message-ID: <79d7c4980905010816r6bacades2f08804d5ed09761@mail.gmail.com> ANN: Takusen 0.8.4 This is mainly a "get it working with ghc-6.10" release. Changes since 0.8.3: - ODBC support: some bug fixes, and basic support for Out-parameters. There is at least one major outstanding bug with Out-parameters, where marshalling a String output bind-variable doesn't work correctly (if it was modified, you still get the String you passed in back, rather than the new String). - Sqlite: bug fix for resource leak: if a command (like rollback or commit) raised an error, the prepared-statement handle was not closed. - cabal: requires cabal 1.6 (or later). With ghc-6.6 on Windows you will need a later cabal than 1.6.0.1, as there is a bug which prevents building (setup configure fails with "setup: fdGetMode: invalid argument (Invalid argument)"). Eric Mertens patch for ODBC on OS x. Greg Leclerq patch for cabal 1.6. Thanks also to Austin Siepp and Brian Callendar for their patches. - ghc-6.10: will build with ghc's 6.10, 6.8, 6.6. Note that Takusen won't work with ghc-6.10.2 out-of-the-box, because the time package is missing. If you install time manually then it should be OK (but this is untested). We use the new extensible exceptions, but we have done so by including it within our own source tree. This will make it easier to use Takusen with older ghc's, and reduces the number of external package dependencies. We have dropped support for 6.4. That's not to say Takusen isn't usable with 6.4, just that we no longer test that configuration. The release bundle: http://hackage.haskell.org/packages/archive/Takusen/0.8.4/Takusen-0.8.4.tar.gz The latest code: darcs get http://darcs.haskell.org/takusen Docs: http://darcs.haskell.org/takusen/doc/html/index.html If you have cabal-install, then this command should work: cabal install Takusen --flags="sqlite odbc oracle postgres" ... but it doesn't (at least for the version of cabal-install that I have) because the .tar.gz file I uploaded has a bogus checksum. A comprehensive description of API usage can be found in the documentation for module Database.Enumerator (look for the Usage section): http://darcs.haskell.org/takusen/doc/html/Database-Enumerator.html Note that the haddock docs won't build with cabal-1.6.0.2 or earlier. This is because our literate-haskell source files need to be properly preprocessed before being passed to haddock. At the time of writing, you'll need the cabal HEAD to build the docs. Future plans: - Output bind-parameters and multiple-result sets for ODBC - support for Blobs and Clobs - FreeTDS backend (Sybase and MS Sql Server)... maybe For those of you unfamiliar with Takusen, here is our HCAR blurb: Takusen is a DBMS access library. Like HSQL and HDBC, we support arbitrary SQL statements (currently strings, extensible to anything that can be converted to a string). Takusen's 'unique-selling-point' is safety and efficiency. We statically ensure all acquired database resources - such as cursors, connection and statement handles - are released, exactly once, at predictable times. Takusen can avoid loading the whole result set in memory, and so can handle queries returning millions of rows in constant space. Takusen also supports automatic marshalling and unmarshalling of results and query parameters. These benefits come from the design of query result processing around a left-fold enumerator. Currently we fully support ODBC, Oracle, Sqlite, and PostgreSQL. From duncan.coutts at worc.ox.ac.uk Fri May 1 19:14:08 2009 From: duncan.coutts at worc.ox.ac.uk (Duncan Coutts) Date: Fri May 1 19:01:49 2009 Subject: [Haskell] ANN: Takusen 0.8.4 In-Reply-To: <79d7c4980905010816r6bacades2f08804d5ed09761@mail.gmail.com> References: <79d7c4980905010816r6bacades2f08804d5ed09761@mail.gmail.com> Message-ID: <1241219648.13908.1301.camel@localhost> On Fri, 2009-05-01 at 16:16 +0100, Alistair Bayley wrote: > ANN: Takusen 0.8.4 > The release bundle: > http://hackage.haskell.org/packages/archive/Takusen/0.8.4/Takusen-0.8.4.tar.gz > If you have cabal-install, then this command should work: > cabal install Takusen --flags="sqlite odbc oracle postgres" > ... but it doesn't (at least for the version of cabal-install > that I have) because the .tar.gz file I uploaded has a bogus checksum. Note that it is easy (and recommended) to upgrade to the latest released version of cabal-install: $ cabal update $ cabal install Cabal cabal-install You can check using: $ cabal --version cabal-install version 0.6.2 using version 1.6.0.2 of the Cabal library Duncan From Sven.Panne at aedion.de Sat May 2 08:00:18 2009 From: Sven.Panne at aedion.de (Sven Panne) Date: Sat May 2 07:46:11 2009 Subject: [Haskell] ANNOUNCE: ALUT 2.1.0.2 Message-ID: <200905021400.18636.Sven.Panne@aedion.de> A new version of the ALUT package has been uploaded to Hackage. Again, this is a bug fix only release, containing only tiny changes: * Include missing aclocal.m4 and examples in source distribution * Removed unused Makefiles and prologue.txt * Fixed OpenAL URLs Cheers, ? ?S. From Sven.Panne at aedion.de Sat May 2 08:28:47 2009 From: Sven.Panne at aedion.de (Sven Panne) Date: Sat May 2 08:14:49 2009 Subject: [Haskell] ANNOUNCE: OpenAL 1.3.1.3 Message-ID: <200905021428.47502.Sven.Panne@aedion.de> A new version of the OpenAL package has been uploaded to Hackage. Again, this is a bug fix only release: * Include OpenAL header when checking values of constants * Include missing aclocal.m4 and examples in source distribution * Removed unused Makefiles and prologue.txt * Removed empty "demos" subdirectory * Fixed OpenAL URLs Hopefully this release will fix build issues on MacOS X and Windows. Thanks to Balazs Komuves for making me aware of these bugs, and providing a patch. Cheers, S. From Sven.Panne at aedion.de Sat May 2 12:22:09 2009 From: Sven.Panne at aedion.de (Sven Panne) Date: Sat May 2 12:09:28 2009 Subject: [Haskell] ANNOUNCE: GLUT 2.1.2.1 Message-ID: <200905021822.09934.Sven.Panne@aedion.de> A new version of the GLUT package has been uploaded to Hackage. This is a bug fix only release, containing only tiny changes: * Include missing aclocal.m4 and examples in source distribution * Removed unused Makefiles and prologue.txt Cheers, S. From byorgey at seas.upenn.edu Sat May 2 14:33:24 2009 From: byorgey at seas.upenn.edu (Brent Yorgey) Date: Sat May 2 14:19:32 2009 Subject: [Haskell] Haskell Weekly News: Issue 116 - May 2, 2009 Message-ID: <20090502183324.GA24954@seas.upenn.edu> --------------------------------------------------------------------------- Haskell Weekly News http://sequence.complete.org/hwn/20090502 Issue 116 - May 02, 2009 --------------------------------------------------------------------------- Welcome to issue 116 of HWN, a newsletter covering developments in the [1]Haskell community. Announcements GHC 6.10.3 prerelease. Ian Lynagh [2]announced a [3]prerelease [4]version of GHC 6.10.3. There have been [5]very few changes relative to 6.10.2. Unless any major problems are uncovered, the final release is expected to be built in a couple of days. graphviz-2009.5.1. Ivan Lazar Miljenovic [6]announced version 2009.5.1 of the [7]graphviz library, which provides a Haskell interface to the [8]GraphViz program. Major changes include support for polyparse >= 1.1, dependency on GHC 6.10.*, functions from the [9]Graphalyze library, and more. priority-sync-0.1.0.1: Cooperative task prioritization.. Christopher Lane Hinson [10]announced the release of the [11]priority-sync package for cooperative task prioritization. HaL4: Local Haskell meeting, Halle/Saale, Germany, June 12. Henning Thielemann [12]requested proposals for talks for [13]HaL4, a local Haskell meeting in Halle, Germany on June 12. TraverseAccum: an effectful accumulating map.. Florent Balestrieri [14]posted some code implementing an effectful accumulating map. LondonHUG talk: Engineering Large Projects in Haskell. Don Stewart [15]posted [16]slides from last week's [17]London HUG talk, which attempts to document some of the tips and tricks Galois has accumulated using Haskell commercially for the past 10 years. atom-0.0.2. Tom Hawkins [18]announced the release of [19]atom, a Haskell DSL for designed hard realtime embedded programs. Eaton is using it to control hydraulic hybrid refuse trucks and shuttle buses. Bamse-0.9.4, a Windows Installer generator. Sigbjorn Finne [20]announced a new version of [21]Bamse, a package and application for letting you quickly put together Windows Installers for your software projects/products from within the comforts of Haskell. New in this release is the support for generating MSIs from your Cabal projects, having them either be built from source or just have them be installed and registered at install-time. Dutch Haskell Users' Group (first meeting: May 6th). Chris Eidhof [22]announced the first meeting of the newly formed [23]Dutch Haskell Users' Group (DHUG), on May 6th at 19:30 in Utrecht. Haskell Symposium Submission site now open. Stephanie Weirich [24]announced that [25]submission to the Haskell Symposium is now open. The submission deadline is May 8. OpenGL, GLUT, OpenAL, and ALUT updates. Sven Panne [26]announced [27]new [28]bugfix [29]releases for the [30]OpenGL, [31]GLUT, [32]OpenAL, and [33]ALUT packages. control-monad-exception-0.1: Explicitly typed exceptions. Pepe Iborra [34]announced the [35]control-monad-exception package, which provides explicitly typed exceptions for Haskell. The type of a computation in the EM monad carries a list of the exceptions that the computation may throw. A exception is raised with 'throw', which in addition adds it to the type, and captured with 'catch', which correspondingly removes it from the type. Only safe computations (all exceptions handled) can escape from the monad. Haskell File Manager. Michael Dever [36]announced the first release of [37]Haskell File Manager, a program for viewing/managing the files on your computer. It has all the common functionality you would expect from your current file manager, copying, moving, deleting, renaming, opening and searching. uu-parsinglib-2.0.0. S. Doaitse Swierstra [38]announced the release of [39]uu-parsinglib, the first version of the new parsing combinator library package from Utrecht University. Features include online result construction, much simpler internals than the combinators in the uulib package, error correction, parsing ambiguous grammars, a monadic interface, and more. Takusen 0.8.4. Alistair Bayley [40]announced version 0.8.4 of [41]Takusen, a database package; this is mostly a "get it working with ghc-6.10" release. Discussion Google SoC: Space profiling reloaded. Patai Gergely [42]asked for ideas on his Google Summer of Code project to [43]improve the Haskell space profiling experience. Blog noise [44]Haskell news from the [45]blogosphere. * Bryan O'Sullivan: [46]Slides from my Erlang Factory talk this morning. * Thomas Hartman: [47]What to do when cabal install works in one environment, but not another.. * Christopher Lane Hinson: [48]ANN: priority-sync. * Well-Typed.Com: [49]"Hello world" now only 11k using GHC with shared libs. * The GHC Team: [50]The new GHC build system is here!. * Well-Typed.Com: [51]First round of Industrial Haskell Group development work. * London Haskell Users Group: [52]Don's slides. * Galois, Inc: [53]Engineering Large Projects in Haskell: A Decade of FP at Galois. * JP Moresmau: [54]Haskell RPG Game uploaded on Hackage!. * Holumbus: [55]Distributed data structures. * Niklas Broberg: [56]GSoC09 => haskell-src-exts -> haskell-src. * >>> Remco Niemeijer: [57]Forcing evaluation in Haskell. * Chris Eidhof: [58]Building commercial Haskell applications. * >>> Lab49: [59]Differentiating Types in Haskell. Quotes of the Week * MonadState: Do not try to change the state; that's impossible. Instead only try to realize the truth: There is no state. * Baughn: Those who would give up essential laziness for a little ephemeral performance, deserve neither laziness nor performance. * Axman6: what's @flush do? saves stuff to dick? * bos: Crummy languages give static types a bad name. About the Haskell Weekly News New editions are posted to [60]the Haskell mailing list as well as to [61]the Haskell Sequence and [62]Planet Haskell. [63]RSS is also available, and headlines appear on [64]haskell.org. To help create new editions of this newsletter, please see the information on [65]how to contribute. Send stories to byorgey at cis dot upenn dot edu. The darcs repository is available at darcs get [66]http://code.haskell.org/~byorgey/code/hwn/ . References 1. http://haskell.org/ 2. http://article.gmane.org/gmane.comp.lang.haskell.glasgow.user/16852 3. http://www.haskell.org/ghc/dist/stable/dist/ghc-6.10.2.20090430-src.tar.bz2 4. http://www.haskell.org/ghc/dist/stable/dist/ghc-6.10.2.20090430-src-extralibs.tar.bz2 5. http://www.haskell.org/ghc/dist/stable/docs/users_guide/release-6-10-3.html 6. http://article.gmane.org/gmane.comp.lang.haskell.cafe/57826 7. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/graphviz 8. http://graphviz.org/ 9. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Graphalyze 10. http://article.gmane.org/gmane.comp.lang.haskell.cafe/57776 11. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/priority-sync 12. http://article.gmane.org/gmane.comp.lang.haskell.cafe/57764 13. http://www.iba-cg.de/hal4.html 14. http://article.gmane.org/gmane.comp.lang.haskell.cafe/57730 15. http://article.gmane.org/gmane.comp.lang.haskell.cafe/57719 16. http://www.galois.com/blog/2009/04/27/engineering-large-projects-in-haskell-a-decade-of-fp-at-galois/ 17. http://www.londonhug.net/ 18. http://article.gmane.org/gmane.comp.lang.haskell.cafe/57676 19. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/atom 20. http://article.gmane.org/gmane.comp.lang.haskell.cafe/57640 21. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/bamse 22. http://article.gmane.org/gmane.comp.lang.haskell.general/17142 23. http://haskell.org/haskellwiki/Dutch_HUG 24. http://article.gmane.org/gmane.comp.lang.haskell.general/17140 25. http://www.easychair.org/conferences/?conf=haskell09 26. http://article.gmane.org/gmane.comp.lang.haskell.general/17132 27. http://article.gmane.org/gmane.comp.lang.haskell.general/17133 28. http://article.gmane.org/gmane.comp.lang.haskell.general/17134 29. http://article.gmane.org/gmane.comp.lang.haskell.general/17135 30. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/OpenGL 31. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/GLUT 32. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/OpenAL 33. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/ALUT 34. http://article.gmane.org/gmane.comp.lang.haskell.general/17120 35. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/control%2Dmonad%2Dexception 36. http://www.haskell.org//pipermail/haskell/2009-April/021271.html 37. http://code.haskell.org/haskellfm 38. http://www.haskell.org//pipermail/haskell/2009-April/021284.html 39. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/uu%2Dparsinglib 40. http://www.haskell.org//pipermail/haskell/2009-May/021293.html 41. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Takusen 42. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/57810 43. http://socghop.appspot.com/student_project/show/google/gsoc2009/haskell/t124022468245 44. http://planet.haskell.org/ 45. http://haskell.org/haskellwiki/Blog_articles 46. http://www.serpentine.com/blog/2009/05/01/slides-from-my-erlang-factory-talk-this-morning/ 47. http://blog.patch-tag.com/2009/05/01/what-to-do-when-cabal-install-works-in-one-environment-but-not-another/ 48. http://blog.downstairspeople.org/2009/04/29/ann-priority-sync/ 49. http://blog.well-typed.com/2009/04/hello-world-now-only-11k-using-ghc-with-shared-libs/ 50. http://ghcmutterings.wordpress.com/2009/04/28/the-new-ghc-build-system-is-here/ 51. http://blog.well-typed.com/2009/04/first-round-of-ihg-development-work/ 52. http://www.londonhug.net/2009/04/27/dons-slides/ 53. http://www.galois.com/blog/2009/04/27/engineering-large-projects-in-haskell-a-decade-of-fp-at-galois/ 54. http://jpmoresmau.blogspot.com/2009/04/haskell-rpg-game-uploaded-on-hackage.html 55. http://holumbus.fh-wedel.de/blog/?p=22 56. http://nibrofun.blogspot.com/2009/04/gsoc09-haskell-src-exts-haskell-src.html 57. http://bonsaicode.wordpress.com/2009/04/27/forcing-evaluation-in-haskell/ 58. http://blog.tupil.com/building-commercial-haskell-applications/ 59. http://blog.lab49.com/archives/3027 60. http://www.haskell.org/mailman/listinfo/haskell 61. http://sequence.complete.org/ 62. http://planet.haskell.org/ 63. http://sequence.complete.org/node/feed 64. http://haskell.org/ 65. http://haskell.org/haskellwiki/HWN 66. http://code.haskell.org/~byorgey/code/hwn/ From raffalli at univ-savoie.fr Sun May 3 05:37:20 2009 From: raffalli at univ-savoie.fr (Christophe Raffalli) Date: Sun May 3 05:19:12 2009 Subject: [Haskell] job announce Message-ID: <49FD65D0.6090609@univ-savoie.fr> Dear list members, I have a friend desperatly looking for a very good programmer ... I know him and his society and I am sure that a member of this list could have a lot of fun in his companie. Cheers, Christophe -------------------------------------- Attila syst?me (http://www.attila-systeme.fr) innove depuis 2001 avec ses robots pour nettoyer les toitures qui ont obtenu la m?daille d'or du concours L?pine en 2006 (http://www.attila-systeme.fr/historique). Avec maintenant 6 franchises en France et 3 projet d'ouverture d'ici ? fin 2009. Attila fait preuve d'un grand dynamisme. Notre soci?t? recherche maintenant un informaticien capable d'accompagner ses recherches. Les besoins de la soci?t? sont vari?s et doivent permettre ? un informaticien comp?tent et dynamique de s'?panouir. Le profil souhait? est donc celui de quelqu'un capable de comprendre les besoins d'Attila syst?me et de ses partenaires, mais aussi capable d'autonomie et d'innovation afin d'accompagner le d?veloppement de la soci?t?. Dans un premier temps, il s'agira de : - Mettre en place le serveur et les applications clients assurant la liaison entre la maison m?re et ses franchises. - D?velopper l'application servant ? r?diger les devis ? l'aide d'un "syst?me expert". L'objectif ici est d'aider le technicien ? obtenir ? devis pr?cis en temps r?el chez le client ? partir du plan de la toiture en 3D (obtenu ? partir d'un logiciel existant). - Dans un l'avenir, toutes les id?es innovantes sur le plan logiciel seront soutenues et encourag?es. On envisage la g?n?ralisation du logiciel aux autres secteurs du b?timent. Connaissances requises : - Conna?tre la programmation et ?tre capable de d?velopper un logiciel du d?but ? la fin et d'apr?hender rapidement les outils de l'informatique qui ?voluent sans cesse. - Le logiciel existant est d?velopp? avec Windev (UML avec g?n?ration de code JAVA) et des bases de donn?es mySQL sont envisag?es. - Dans un premier temps, il faut aussi s'occuper de l'installation et de la maintenance des ordinateurs des franchises. Plus tard la soci?t? recrutera des techniciens et la personne que l'on cherche pourrait devenir responsable de la recherche et du d?veloppement de nos syst?mes informatiques. - Les perspectives de salaire peuvent ?tre tr?s int?ressantes en fonction des capacit?s du candidats (de 2000 euros brut pendant la p?riode d'essai, puis rapidement jusqu'? 5000 euros voire plus si le candidat apporte un plus significatif ? la soci?t?). - Zone g?ographique : le Loiret ou le Nord. Contact : Benoit LAHAYE t?l: 0664213243 email: attilasysteme@attila-systeme.fr From raffalli at univ-savoie.fr Sun May 3 05:38:34 2009 From: raffalli at univ-savoie.fr (Christophe Raffalli) Date: Sun May 3 05:20:13 2009 Subject: [Haskell] job announce Message-ID: <49FD661A.2050905@univ-savoie.fr> Dear list members, I have a friend desperatly looking for a very good programmer ... I know him and his society and I am sure that a member of this list could have a lot of fun in his companie. Cheers, Christophe -------------------------------------- Attila syst?me (http://www.attila-systeme.fr) innove depuis 2001 avec ses robots pour nettoyer les toitures qui ont obtenu la m?daille d'or du concours L?pine en 2006 (http://www.attila-systeme.fr/historique). Avec maintenant 6 franchises en France et 3 projet d'ouverture d'ici ? fin 2009. Attila fait preuve d'un grand dynamisme. Notre soci?t? recherche maintenant un informaticien capable d'accompagner ses recherches. Les besoins de la soci?t? sont vari?s et doivent permettre ? un informaticien comp?tent et dynamique de s'?panouir. Le profil souhait? est donc celui de quelqu'un capable de comprendre les besoins d'Attila syst?me et de ses partenaires, mais aussi capable d'autonomie et d'innovation afin d'accompagner le d?veloppement de la soci?t?. Dans un premier temps, il s'agira de : - Mettre en place le serveur et les applications clients assurant la liaison entre la maison m?re et ses franchises. - D?velopper l'application servant ? r?diger les devis ? l'aide d'un "syst?me expert". L'objectif ici est d'aider le technicien ? obtenir ? devis pr?cis en temps r?el chez le client ? partir du plan de la toiture en 3D (obtenu ? partir d'un logiciel existant). - Dans un l'avenir, toutes les id?es innovantes sur le plan logiciel seront soutenues et encourag?es. On envisage la g?n?ralisation du logiciel aux autres secteurs du b?timent. Connaissances requises : - Conna?tre la programmation et ?tre capable de d?velopper un logiciel du d?but ? la fin et d'apr?hender rapidement les outils de l'informatique qui ?voluent sans cesse. - Le logiciel existant est d?velopp? avec Windev (UML avec g?n?ration de code JAVA) et des bases de donn?es mySQL sont envisag?es. - Dans un premier temps, il faut aussi s'occuper de l'installation et de la maintenance des ordinateurs des franchises. Plus tard la soci?t? recrutera des techniciens et la personne que l'on cherche pourrait devenir responsable de la recherche et du d?veloppement de nos syst?mes informatiques. - Les perspectives de salaire peuvent ?tre tr?s int?ressantes en fonction des capacit?s du candidats (de 2000 euros brut pendant la p?riode d'essai, puis rapidement jusqu'? 5000 euros voire plus si le candidat apporte un plus significatif ? la soci?t?). - Zone g?ographique : le Loiret ou le Nord. Contact : Benoit LAHAYE t?l: 0664213243 email: attilasysteme@attila-systeme.fr From hz at inf.elte.hu Tue May 5 10:40:36 2009 From: hz at inf.elte.hu (=?iso-8859-2?Q?Horv=E1th_Zolt=E1n?=) Date: Tue May 5 10:26:39 2009 Subject: [Haskell] Last CFP: Trends in Functional Programming Message-ID: <88C55C9C92561741A80422B15F25C4BFE337621BB6@exch02.inf.elte.hu> Last call for papers 10th SYMPOSIUM ON TRENDS IN FUNCTIONAL PROGRAMMING TFP 2009 SELYE JANOS UNIVERSITY, KOMARNO, SLOVAKIA June 2-4, 2009 http://www.inf.elte.hu/tfp_cefp_2009 *** Submission deadline extended until 10th of May! *** The symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming languages, focusing on providing a broad view of current and future trends in Functional Programming. It aspires to be a lively environment for presenting the latest research results. Acceptance for the conference is based on full papers or extended abstracts, and a formal post-symposium refereeing process selects the best articles presented at the symposium for publication in a high-profile volume. TFP 2009 is hosted by the Selye Janos University, Komarno, Slovakia, and it is co-located with the 3rd Central-European Functional Programming School (CEFP 2009), which is held immediately before TFP 2009 (May 25-30). IMPORTANT DATES (ALL 2009) * Paper Submission: May 10 (extended) * Notification of Acceptance: May 12 * Camera Ready Symposium Proceedings Paper: May 14 * TFP Symposium: June 2-4, 2009 * Post Symposium Paper Submission: June 30 * Notification of Acceptance: September 7 * Camera Ready Revised Paper: September 21 SCOPE OF THE SYMPOSIUM As part of the Symposium's focus on trends we therefore identify the following five article categories. High-quality articles are solicited in any of these categories: * Research: leading-edge, previously unpublished research. * Position: on what new trends should or should not be. * Project: descriptions of recently started new projects. * Evaluation: what lessons can be drawn from a finished project. * Overview: summarizing work with respect to a trendy subject. Articles must be original and not submitted for simultaneous publication to any other forum. They may consider any aspect of functional programming: theoretical, implementation-oriented, or more experience- oriented. Applications of functional programming techniques to other languages are also within the scope of the symposium. Contributions on the following subject areas are particularly welcomed: * Dependently Typed Functional Programming * Validation and Verification of Functional Programs * Debugging for Functional Languages * Functional Programming and Security * Functional Programming and Mobility * Functional Programming to Animate/Prototype/Implement Systems from Formal or Semi-Formal Specifications * Functional Languages for Telecommunications Applications * Functional Languages for Embedded Systems * Functional Programming Applied to Global Computing * Functional GRIDs * Functional Programming Ideas in Imperative or Object-Oriented Settings (and the converse) * Interoperability with Imperative Programming Languages * Novel Memory Management Techniques * Parallel/Concurrent Functional Languages * Program Transformation Techniques * Empirical Performance Studies * Abstract/Virtual Machines and Compilers for Functional Languages * New Implementation Strategies * Any new emerging trend in the functional programming area If you are in doubt on whether your article is within the scope of TFP, please contact the TFP 2009 program chairs, Zoltan Horvath and Viktoria Zsok at tfp2009@inf.elte.hu SUBMISSION AND DRAFT PROCEEDINGS Acceptance of articles for presentation at the symposium is based on the screening process of full papers (15 pages) and extended abstracts (at least 3 pages). TFP encourages PhD students to submit papers. PhD students may request the program committee to provide extensive feedback on their full papers at the time of submission. Full papers describing work accepted for presentation must be completed before the symposium for publication in the draft proceedings. Further details can be found at the TFP 2009 website. POST-SYMPOSIUM REFEREEING AND PUBLICATION In addition to the draft symposium proceedings, we continue the TFP tradition of publishing a high-quality subset of contributions in the Intellect series on Trends in Functional Programming. PROGRAM COMMITTEE * Peter Achten (symp-chair), Radboud University Nijmegen, NL * John Clements, California Polytechnic State University, USA * Cormac Flanagan, University of California at Santa Cruz, USA * Jurriaan Hage, Utrecht University, NL * Kevin Hammond, University of St. Andrews, UK * Michael Hanus, Christian-Albrechts University zu Kiel, DE * Ralf Hinze, University of Oxford, UK * Zoltan Horvath (PC co-chair), Eotvos Lorand University, HU * Graham Hutton, University of Nottingham, UK * Johan Jeuring, Utrecht University, NL * Pieter Koopman (symp-chair), Radboud University Nijmegen, NL * Hans-Wolfgang Loidl, Ludwig-Maximilians University Munchen, DE * Rita Loogen, Philipps-University Marburg, DE * Greg Michaelson, Heriot-Watt University, UK * Marco T. Morazan, Seton Hall University, USA * Rex L Page, University of Oklahoma, USA * Sven-Bodo Scholz, University of Hertfordshire, UK * Clara Segura, University Complutense de Madrid, ES * Mary Sheeran, Chalmers University of Technology, SE * Phil Trinder, Heriot-Watt University, UK * Marko van Eekelen, Radboud University Nijmegen, NL * Varmo Vene, University of Tartu, EE * Viktoria Zsok (PC co-chair), Eotvos Lorand University, HU LOCATION The Conference Centre of Selye University, Komarno, Slovakia (http://www.selyeuni.sk/) is a new and excellent conference centre with modern equipment, lecture rooms and computer labs. Komarno is on the north bank of river Danube, the northern part of the city Komarom / Komarno. It is a charming old city with about 30 000 inhabitants, 90 km away from Budapest (the capital of Hungary), with good highway and railway connections and 90 km away from Bratislava (the capital of Slovakia), about 100 km from Vienna International Airport. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/haskell/attachments/20090505/8f2465ad/attachment-0001.htm From dons at galois.com Wed May 6 01:52:31 2009 From: dons at galois.com (Don Stewart) Date: Wed May 6 01:39:23 2009 Subject: [Haskell] ANNOUNCE: The Haskell Platform Message-ID: <20090506055231.GC22875@whirlpool.galois.com> We're pleased to announce the first release of the Haskell Platform: a single, standard Haskell distribution for every system. Download the Haskell Platform 2009.2.0 installers and specification: http://hackage.haskell.org/platform/ The Haskell Platform is a blessed library and tool suite for Haskell culled from Hackage, along with installers for a wide variety of systems. It saves developers work picking and choosing the best Haskell libraries and tools to use for a task. What you get: http://hackage.haskell.org/platform/contents.html With regular time-based releases, we expect the platform will grow into a rich, indispensable development environment for all Haskell projects. Distro maintainers that support the Haskell Platform can be confident they're fully supporting Haskell as the developers intend it. Developers targetting the platform can be confident they have a trusted base of code to work with. *Please note that this is a beta release*. We do not expect all the installers to work perfectly, nor every developer need met, and we would appreciate feedback. You can help out by packaging the platform for your distro, or reporting bugs and feature requests, or installing Haskell onto your friends' machines. The process for adding new tools and libraries will be outlined in coming weeks. The Haskell Platform would not have been possible without the hard work of the Cabal development team, the Hackage developers and maintainers, the individual compiler, tool and library authors who contributed to the suite, and the distro maintainers who build and distribute the Haskell Platform. Thanks! -- The Platform Infrastructure Team From abdel-hakim.hannousse at emn.fr Wed May 6 10:40:22 2009 From: abdel-hakim.hannousse at emn.fr (Hannousse) Date: Wed May 6 10:25:46 2009 Subject: [Haskell] Haskell Arrows Application Message-ID: <23402523.post@talk.nabble.com> Hello, I'm interested to the concept of arrows in Haskell, however, I couldn't find a real application or example using this new technology in a real world application. All what I found are just academic examples and other people developing new specific libraries using arrows.Could someone, please, give me a reference to one of the real applications that uses arrows. Thank you for all Hannousse. -- View this message in context: http://www.nabble.com/Haskell-Arrows-Application-tp23402523p23402523.html Sent from the Haskell - Haskell mailing list archive at Nabble.com. From sweirich at cis.upenn.edu Wed May 6 10:47:11 2009 From: sweirich at cis.upenn.edu (Stephanie Weirich) Date: Wed May 6 10:32:34 2009 Subject: [Haskell] Haskell Symposium deadline: May 8, 3PM EDT Message-ID: Reminder: The deadline for the Haskell Symposium is Friday, May 8th at 3PM Eastern Daylight Time. Important: this is 3PM in Philadelphia, not in Apia or wherever you are. There will be NO EXTENSIONS. Find the deadline for your time zone from a link on the Haskell 09 webpage. http://haskell.org/haskell-symposium/2009/ Submission to the Haskell Symposium is now open at: http://www.easychair.org/conferences/?conf=haskell09 You can update your submission(s) anytime up to the deadline, so give it a try now. Cheers, Stephanie --------------------------------------------------------------- Haskell 09 ACM SIGPLAN Haskell Symposium 2009 Edinburgh, Scotland, UK September 3, 2009 CALL FOR PAPERS http://haskell.org/haskell-symposium/2009/ The ACM SIGPLAN Haskell Symposium 2009 will be co-located with the 2009 International Conference on Functional Programming (ICFP). The purpose of the Haskell Symposium is to discuss experiences with Haskell and future developments for the language. The scope of the symposium includes all aspects of the design, semantics, theory, application, implementation, and teaching of Haskell. Topics of interest include, but are not limited to, the following: * Language Design, with a focus on possible extensions and modifications of Haskell as well as critical discussions of the status quo; * Theory, in the form of a formal treatment of the semantics of the present language or future extensions, type systems, and foundations for program analysis and transformation; * Implementations, including program analysis and transformation, static and dynamic compilation for sequential, parallel, and distributed architectures, memory management as well as foreign function and component interfaces; * Tools, in the form of profilers, tracers, debuggers, pre-processors, and so forth; * Applications, Practice, and Experience, with Haskell for scientific and symbolic computing, database, multimedia and Web applications, and so forth as well as general experience with Haskell in education and industry; * Functional Pearls, being elegant, instructive examples of using Haskell. Papers in the latter two categories need not necessarily report original research results; they may instead, for example, report practical experience that will be useful to others, re-usable programming idioms, or elegant new ways of approaching a problem. The key criterion for such a paper is that it makes a contribution from which other Haskellers can benefit. It is not enough simply to describe a program! Before 2008, the Haskell Symposium was known as the Haskell Workshop. The name change reflects both the steady increase of influence of the Haskell Workshop on the wider community as well as the increasing number of high quality submissions. The acceptance process is highly competitive. After eleven Haskell Workshops between 1995 and 2007, the first Haskell Symposium was held in Victoria in 2008. Submission Details * Submission Deadline: Friday, May 8th 2009 (3:00 pm, Eastern US Time) * Author Notification: Monday, June 1st 2009 * Final Papers Due : Monday, June 15th 2009 Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines (http://www.acm.org/sigs/sigplan/authorInformation.htm). The length is restricted to 12 pages, and the font size 9pt. Each submission must adhere to SIGPLAN's republication policy, as explained on the web. Violation risks summary rejection of the offending submission. Accepted papers will be published by the ACM and will appear in the ACM Digital Library. If there is sufficient demand, we will try to organize a time slot for system or tool demonstrations. If you are interested in demonstrating a Haskell related tool or application, please send a brief demo proposal to Stephanie Weirich, sweirich@cis.upenn.edu. Links * http://haskell.org/haskell-symposium, the permanent homepage of the Haskell Symposium. * http://haskell.org/haskell-symposium/2009/, the 2009 Haskell Symposium web page. * http://www.icfpconference.org/icfp2009, the ICFP 2009 web page. Program Committee * Jeremy Gibbons, Oxford University * Bastiaan Heeren, Open Universiteit Nederland * John Hughes, Chalmers/Quviq * Mark Jones, Portland State University * Simon Marlow, Microsoft Research * Ulf Norell, Chalmers * Chris Okasaki, United States Military Academy * Ross Paterson, City University London * Alexey Rodriguez Yakushev, Vector Fabrics * Don Stewart, Galois * Janis Voigtlaender, TU Dresden * Stephanie Weirich, University of Pennsylvania (Chair) _______________________________________________ Haskell-pc mailing list Haskell-pc@lists.seas.upenn.edu http://lists.seas.upenn.edu/mailman/listinfo/haskell-pc -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/haskell/attachments/20090506/e1ba8b6b/attachment.htm From bf3 at telenet.be Wed May 6 11:08:55 2009 From: bf3 at telenet.be (bf3@telenet.be) Date: Wed May 6 10:54:20 2009 Subject: [Haskell] Haskell Arrows Application In-Reply-To: <23402523.post@talk.nabble.com> References: <23402523.post@talk.nabble.com> Message-ID: <039c01c9ce5c$92e2cce0$b8a866a0$@be> http://hackage.haskell.org/cgi-bin/hackage-scripts/package/frag http://hackage.haskell.org/cgi-bin/hackage-scripts/package/YampaSynth Both make use of http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Yampa > -----Original Message----- > From: haskell-bounces@haskell.org [mailto:haskell-bounces@haskell.org] > On Behalf Of Hannousse > Sent: Wednesday, May 06, 2009 4:40 PM > To: haskell@haskell.org > Subject: [Haskell] Haskell Arrows Application > > > Hello, > > I'm interested to the concept of arrows in Haskell, however, I couldn't > find > a real application or example using this new technology in a real world > application. All what I found are just academic examples and other > people > developing new specific libraries using arrows.Could someone, please, > give > me a reference to one of the real applications that uses arrows. > > Thank you for all > > Hannousse. > -- > View this message in context: http://www.nabble.com/Haskell-Arrows- > Application-tp23402523p23402523.html > Sent from the Haskell - Haskell mailing list archive at Nabble.com. > > _______________________________________________ > Haskell mailing list > Haskell@haskell.org > http://www.haskell.org/mailman/listinfo/haskell From si at fh-wedel.de Wed May 6 12:59:40 2009 From: si at fh-wedel.de (Uwe Schmidt) Date: Wed May 6 12:41:08 2009 Subject: [Haskell] Haskell Arrows Application In-Reply-To: <23402523.post@talk.nabble.com> References: <23402523.post@talk.nabble.com> Message-ID: <200905061859.41259.si@fh-wedel.de> Hannousse wrote: > I'm interested to the concept of arrows in Haskell, however, I couldn't > find a real application or example using this new technology in a real > world application. All what I found are just academic examples and other The XML processing in HXT (http://www.fh-wedel.de/~si/HXmlToolbox/index.html) is based on arrows Cheers, Uwe From dons at galois.com Wed May 6 16:01:23 2009 From: dons at galois.com (Don Stewart) Date: Wed May 6 15:48:11 2009 Subject: [Haskell] Re: [Haskell-cafe] Is Haskell a Good Choice for Web Applications? (ANN: Vocabulink) In-Reply-To: References: <87fxfll3ad.fsf@forno.us> Message-ID: <20090506200123.GB26120@whirlpool.galois.com> fft1976: > I've heard it's hard to contain a long-running Haskell application in > a finite amount of memory, but this is probably not a problem if your Hmm. Gossip driven development? > web site sleeps 0.001% of the time (like XMonad), or you can restart > it every once in a while without anyone noticing. Keeping footprints small and stable isn't so hard. After all, we have wonderful heap profiling tools. I recommend the type-based heap profiler, in particular. Run your app for a week, and look at the heap graph. You'll know if things are ok. (Try this in C++ !) -- Don From bulat.ziganshin at gmail.com Wed May 6 16:18:13 2009 From: bulat.ziganshin at gmail.com (Bulat Ziganshin) Date: Wed May 6 16:04:23 2009 Subject: [Haskell] Re[2]: [Haskell-cafe] Is Haskell a Good Choice for Web Applications? (ANN: Vocabulink) In-Reply-To: References: <87fxfll3ad.fsf@forno.us> Message-ID: <204746127.20090507001813@gmail.com> Hello FFT, Wednesday, May 6, 2009, 11:59:53 PM, you wrote: > I've heard it's hard to contain a long-running Haskell application in > a finite amount of memory not exactly. you may alloc fixed pool of memory to application (say, 1gb) if you know that it never need more memory. but as far as you don't do it, memory usage grows with each major GC. ghc just don't provide any way to return memory to OS (there is a ticket on it, you can add yourself to CC list to vote for its resolution) -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com From dons at galois.com Wed May 6 17:28:04 2009 From: dons at galois.com (Don Stewart) Date: Wed May 6 17:14:57 2009 Subject: [Haskell] Re: [Haskell-cafe] Is Haskell a Good Choice for Web Applications? (ANN: Vocabulink) In-Reply-To: References: <87fxfll3ad.fsf@forno.us> <20090506200123.GB26120@whirlpool.galois.com> Message-ID: <20090506212804.GC26120@whirlpool.galois.com> dagit: > In particular, we need expert Haskell programmers, such as Don, to > write more about how they avoid space leaks in long running apps. > Again, profiling is nice, but that's more of a tuning effort. I talk a bit about that in my LondonHUG talk: http://www.galois.com/blog/2009/04/27/engineering-large-projects-in-haskell-a-decade-of-fp-at-galois/ As I said earlier: stress test with heap profiling on (is one way to absolutely ensure you know what's going on). -- Don From anton at appsolutions.com Wed May 6 18:54:13 2009 From: anton at appsolutions.com (Anton van Straaten) Date: Wed May 6 18:39:45 2009 Subject: [Haskell] Re: [Haskell-cafe] Is Haskell a Good Choice for Web Applications? (ANN: Vocabulink) In-Reply-To: References: <87fxfll3ad.fsf@forno.us> <20090506200123.GB26120@whirlpool.galois.com> Message-ID: <4A021515.4090603@appsolutions.com> Jason Dagit wrote: > I know from experience that lambdabot tends to be leaky. Otherwise, > lambdabot wouldn't be running on my server to begin with. And, even > so, Cale monitors lambdabot to make sure it is not using too many > resources (and I complain when/if I notice it). I have heard similar > stories related to hpaste and happs. FWIW, I have an internal HAppS application that's been running continuously since November last year, used daily, with stable memory usage. > I have also experienced it with > writing a forever loop in Haskell that did polling from channels. I > would leave my app running for, say, 4 hours and it would be using > tons of memory. If you posted an example of that, there are probably people who'd be interested in debugging it. > I think it's fair to say that keeping the memory usage low of a long > running Haskell app is hard, but that is a general issue not just a > Haskell issue. It's hard in most languages. I don't agree with this. This should not be hard in language implementations with good garbage collectors, that don't have known limitations (this excludes e.g. conservative GC and reference-counting systems). In my experience, it's not hard to write stable long-running code in good implementations of languages like Haskell, Scheme, Common Lisp, or Java. > I think what we need to > address this is more information about preventative measures. What > programming styles cause the problem and which ones solve it. I would > say that I lack confidence recommending anyone to use Haskell for long > running processes because I don't understand well the problem of > keeping the usage low. If it is a well documented problem with > documented solutions (more than just profiling), then I would regain > my confidence because I know the problem can be worked around > reliably. Does this make sense? Maybe it's already well documented? This doesn't completely make sense to me, in that either a program has a space leak, or it doesn't. If it does, you debug it and resolve it. If a leak really is due to a problem with the language implementation or standard libraries, then that should be identified and reported. There shouldn't be any deep mystery here. At the very least, it should be possible to point to the relevant trac tickets if there really is a problem. Anton From bos at serpentine.com Wed May 6 19:17:21 2009 From: bos at serpentine.com (Bryan O'Sullivan) Date: Wed May 6 19:02:49 2009 Subject: [Haskell] Re: [Haskell-cafe] Is Haskell a Good Choice for Web Applications? (ANN: Vocabulink) In-Reply-To: References: <87fxfll3ad.fsf@forno.us> <20090506200123.GB26120@whirlpool.galois.com> <20090506212804.GC26120@whirlpool.galois.com> Message-ID: On Wed, May 6, 2009 at 4:12 PM, Jason Dagit wrote: > > While I'm thinking out loud, it would be very cool if someone wrote > some articles, say for the monad reader, that follow the formula of > the Effective C++ books. The last couple of times I've wanted a book like that, I wrote the book myself. It's a very effective way to get the book you want, compared to wishing. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/haskell/attachments/20090506/42f81d4f/attachment.htm From anton at appsolutions.com Wed May 6 23:20:01 2009 From: anton at appsolutions.com (Anton van Straaten) Date: Wed May 6 23:05:38 2009 Subject: [Haskell] Re: [Haskell-cafe] Is Haskell a Good Choice for Web Applications? (ANN: Vocabulink) In-Reply-To: References: <87fxfll3ad.fsf@forno.us> <20090506200123.GB26120@whirlpool.galois.com> <4A021515.4090603@appsolutions.com> Message-ID: <4A025361.8080307@appsolutions.com> Jason Dagit wrote: > On Wed, May 6, 2009 at 3:54 PM, Anton van Straaten > wrote: >> FWIW, I have an internal HAppS application that's been running continuously >> since November last year, used daily, with stable memory usage. > > Do you have advice about the way you wrote you app? Things you > knowingly did to avoid space leaks? Maybe a blog about your HAppS > app? The app is written for a client under NDA, so a blog about it would have to be annoyingly vague. But I don't think there's much mystery about why it doesn't leak: The app does simulations. Each simulation uses at least about 10MB of memory, more depending on parameters. Typically a few thousand simulations are run successively, and the results are aggregated and analyzed. The computation itself is purely functional - it takes some input parameters and produces results. The results are written to a file. Since each run of a set of simulations is essentially independent, there's not much risk of space leaks persisting across runs. No doubt the potential for encountering space leaks goes up as one writes less pure code, persist more things in memory, and depend on more libraries. My main point in mentioning my app is that "long-running" isn't really the issue - that's just a way of saying that an app has space leaks that are small enough not to be noticed until it's stressed. >> In my experience, it's not hard to write stable long-running code >> in good implementations of languages like Haskell, Scheme, Common Lisp, or >> Java. > > There are certainly cases where no automatic garbage collector could > know when it is safe to collect certain things. If there are bugs in the user's program, sure - but that still doesn't make it "hard" to write applications that don't leak, given a decent GC. On the contrary, I'd say it's very easy, in the great majority of cases. > A quick google search > for java space leaks turned up this article: > http://www.ibm.com/developerworks/java/library/j-leaks/ > > I think wikipedia uses the term "logical leak" for the type of space > leak I'm thinking of. The garbage collector thinks you care about an > object but in fact, you want it to be freed. Yes, it's because of a > bug, but these are bugs that tend to be subtle and tedious. The example given in the IBM article is quite typical, but isn't subtle at all - it was simply an object being added to a table and never being removed. You can often find such bugs quite easily by searching the source tree, without touching a debugging tool. It's also possible to prevent them quite easily, with good coding practices (e.g. centralize uses of long-lived tables) and some simple code auditing practices. If you're dealing with code that's complex enough to involve the kinds of non-trivial mutually dependent references that you need in order to encounter truly subtle instances of these bugs, the increased difficulty of memory management comes with the territory, i.e. it's harder because the application is harder. > The ambiguity is me thinking of relative cost of finding/fixing these > bugs. To put this back into context, I was objecting to your having extended the space leak worrying to all GC'd languages. I'm saying that it isn't hard, using most decent language implementations, to avoid space leaks. For trivial cases such as the IBM example, it should be no harder in Haskell, either - possibly easier, since use of things like mutable tables is more controlled, and may be rarer. However, Haskell does theoretically introduce a new class of dangers for space leaks, I'm not denying that. Being pure and lazy introduces its own set of space leak risks. But on that front, I was disturbed by the vagueness of the claims about long-running apps. I haven't seen any solid justification for scaring people off about writing long-running apps in Haskell. If there is such a justification, it needs to be more clearly identified. > Testing for correctness is something we tend to automate very > well. How do you automate testing for performance under load? Space usage is a similar kind of dynamic issue, in general. > So then, at some point we must have a bag of tricks for dealing with > these space leaks. I want to talk about those tricks. I'm not > talking about bugs in a specific program, but instead about techniques > and styles that are known to work well in practice. OK. That's a bit different from FFT's original contention, "hard to contain a long-running Haskell application in a finite amount of memory." For my own part, I'm at least as non-strict as Haskell, and that bag of tricks, for me, is a thunk that hasn't yet been forced. Anton From marlowsd at gmail.com Thu May 7 06:04:05 2009 From: marlowsd at gmail.com (Simon Marlow) Date: Thu May 7 05:49:27 2009 Subject: [Haskell] Re[2]: [Haskell-cafe] Is Haskell a Good Choice for Web Applications? (ANN: Vocabulink) In-Reply-To: <204746127.20090507001813@gmail.com> References: <87fxfll3ad.fsf@forno.us> <204746127.20090507001813@gmail.com> Message-ID: <4A02B215.4060902@gmail.com> On 06/05/2009 21:18, Bulat Ziganshin wrote: > Hello FFT, > > Wednesday, May 6, 2009, 11:59:53 PM, you wrote: > >> I've heard it's hard to contain a long-running Haskell application in >> a finite amount of memory > > not exactly. you may alloc fixed pool of memory to application (say, 1gb) > if you know that it never need more memory. but as far as you don't do > it, memory usage grows with each major GC. ghc just don't provide > any way to return memory to OS (there is a ticket on it, you can add > yourself to CC list to vote for its resolution) http://hackage.haskell.org/trac/ghc/ticket/698 But let's be clear: this is not a memory leak, the issue is only that GHC's runtime retains as much memory as was required by the program's high-water-mark memory usage. Fixing this will never reduce the high-water-mark. So I'm not sure what you meant by "memory usage grows with each major GC". Cheers, Simon From dons at galois.com Thu May 7 18:05:46 2009 From: dons at galois.com (Don Stewart) Date: Thu May 7 17:52:36 2009 Subject: [Haskell] Re: [Haskell-cafe] Re: ANNOUNCE: The Haskell Platform In-Reply-To: References: <20090506055231.GC22875@whirlpool.galois.com> Message-ID: <20090507220546.GI31370@whirlpool.galois.com> kyagrd: > Thanks for this great effort! > > Are we going to have a meta-package on hackage as well? > (which makes it able to build it through cabal-install) Yes, this ticket tracks that stuff: http://trac.haskell.org/haskell-platform/ticket/15 From naur at post11.tele.dk Fri May 8 15:11:35 2009 From: naur at post11.tele.dk (Thorkil Naur) Date: Fri May 8 15:00:51 2009 Subject: [Haskell] ANNOUNCE: hpc-strobe-0.1: Hpc-generated strobes for a running Haskell program Message-ID: <200905082111.39742.naur@post11.tele.dk> I am pleased to announce the initial release of hpc-strobe: Hpc-generated strobes for a running Haskell program. hpc-strobe is a rudimentary library that demonstrates the possibility of using Hpc (Haskell Program Coverage) to inspect the state of a running Haskell program. hpc-strobe-0.1 has been uploaded to hackage: http://hackage.haskell.org/packages/archive/hpc-strobe/0.1/hpc-strobe-0.1.tar.gz In ordinary use of Hpc, a single so-called tix file is produced at the end of a run. The tix file records how many times each expression has been used during the run. This can be used to mark up the source code, identifying expressions that have not been used. hpc-strobe uses the basic machinery provided by Hpc to produce multiple tix files, also called strobes, representing the coverage at different times while the program is running. By subtracting such two tix files, again using Hpc machinery, a tix file representing the expressions used between the times of recording the subtracted tix files is produced. This may be used, for example, to get a better idea of what a long-running program is doing. It could also be used as a profiling tool, getting information about how many times individual expressions are used. A program is included whose strobe differences produce a crude rendering of an analog clock when they are used to mark up the source code using Hpc. Please see the attached example (gunzip the file, point you browser to it, scroll down to view the canvas function). Use of the library involves a simple change of the main function and also requires the program to be enabled for hpc. At the time of writing, this means using a fairly recent version of GHC and compiling the Haskell code with the -fhpc option. For additional details, see the README included in the package. Best regards Thorkil -------------- next part -------------- A non-text attachment was scrubbed... Name: Main.hs.html.gz Type: application/x-gzip Size: 3863 bytes Desc: not available Url : http://www.haskell.org/pipermail/haskell/attachments/20090508/2924e044/Main.hs.html-0001.bin From igloo at earth.li Sat May 9 09:59:57 2009 From: igloo at earth.li (Ian Lynagh) Date: Sat May 9 09:45:17 2009 Subject: [Haskell] ANNOUNCE: GHC version 6.10.3 Message-ID: <20090509135957.GA8824@matrix.chaos.earth.li> ============================================================== The (Interactive) Glasgow Haskell Compiler -- version 6.10.3 ============================================================== The GHC Team is pleased to announce a new patchlevel release of GHC. This release contains a handful of bugfixes relative to 6.10.2 and better line editing support in GHCi, so we recommend upgrading. Release notes are here: http://haskell.org/ghc/docs/6.10.3/html/users_guide/release-6-10-3.html How to get it ~~~~~~~~~~~~~ The easy way is to go to the web page, which should be self-explanatory: http://www.haskell.org/ghc/ We supply binary builds in the native package format for many platforms, and the source distribution is available from the same place. Packages will appear as they are built - if the package for your system isn't available yet, please try again later. Background ~~~~~~~~~~ Haskell is a standard lazy functional programming language; the current language version is Haskell 98, agreed in December 1998 and revised December 2002. GHC is a state-of-the-art programming suite for Haskell. Included is an optimising compiler generating good code for a variety of platforms, together with an interactive system for convenient, quick development. The distribution includes space and time profiling facilities, a large collection of libraries, and support for various language extensions, including concurrency, exceptions, and foreign language interfaces (C, whatever). GHC is distributed under a BSD-style open source license. A wide variety of Haskell related resources (tutorials, libraries, specifications, documentation, compilers, interpreters, references, contact information, links to research groups) are available from the Haskell home page (see below). On-line GHC-related resources ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Relevant URLs on the World-Wide Web: GHC home page http://www.haskell.org/ghc/ GHC developers' home page http://hackage.haskell.org/trac/ghc/ Haskell home page http://www.haskell.org/ Supported Platforms ~~~~~~~~~~~~~~~~~~~ The list of platforms we support, and the people responsible for them, is here: http://hackage.haskell.org/trac/ghc/wiki/Contributors Ports to other platforms are possible with varying degrees of difficulty. The Building Guide describes how to go about porting to a new platform: http://hackage.haskell.org/trac/ghc/wiki/Building Developers ~~~~~~~~~~ We welcome new contributors. Instructions on accessing our source code repository, and getting started with hacking on GHC, are available from the GHC's developer's site run by Trac: http://hackage.haskell.org/trac/ghc/ Mailing lists ~~~~~~~~~~~~~ We run mailing lists for GHC users and bug reports; to subscribe, use the web interfaces at http://www.haskell.org/mailman/listinfo/glasgow-haskell-users http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs There are several other haskell and ghc-related mailing lists on www.haskell.org; for the full list, see http://www.haskell.org/mailman/listinfo/ Some GHC developers hang out on #haskell on IRC, too: http://www.haskell.org/haskellwiki/IRC_channel Please report bugs using our bug tracking system. Instructions on reporting bugs can be found here: http://www.haskell.org/ghc/reportabug From cfp at clip.dia.fi.upm.es Mon May 11 07:07:48 2009 From: cfp at clip.dia.fi.upm.es (CFP) Date: Tue May 12 04:14:24 2009 Subject: [Haskell] FOPARA'09 -- First Call for Papers Message-ID: (Our apologies for possible multiple copies) First Call for Papers International workshop on FOUNDATIONAL AND PRACTICAL ASPECTS OF RESOURCE ANALYSIS FOPARA 2009 Eindhoven, The Netherlands November,3 2009 A satellite event of 16th International Symposium on Formal Methods http://www.aha.cs.ru.nl/fopara/ WORKSHOP OBJECTIVES AND SCOPE The workshop serves as a forum for presenting original research results that are relevant to the analysis of resource (time, space) consumption by computer programs. The workshop aims to bring together the researchers that work on foundational issues with the researchers that focus more on practical results. Therefore, both theoretical and practical contributions are encouraged. The following list of topics is non-exhaustive: * resource analysis for embedded systems, * logical and machine-independent characterisations of complexity classes, * logics closely related to complexity classes, * type systems for controlling complexity, * semantic methods to analyse resources, incl. quasi- and sup- interpretations, * practical applications of resource analysis. Up to now a few similar events have taken place. In 2006, 2008 application-oriented resource analysis workshops ( EmBounded Open Workshop in Budapest, 2006, and Resource Analysis Workshop in Hertfordshir, 2008) were held as affiliated events of International Symposium on the Implementation and Application of Functional Languages (IFL). Participated: University of St. Andrew (UK), Heriot-Watt University of Edinburgh (UK), Ludwig-Maximilians University of Munich (Germany), University Complutense of Madrid (Spain), Politechnical University of Madrid (Spain). Another large group of research schools is presented in series of workshops on Implicit Computational Complexity, see, for instance, WICC'08 in Paris . The series gather researchers working in theoretical foundations of resource analysis, mainly from in France (Universities of Paris Diderot and Paris Nord, LORIA Nancy), Italy (Universities of Bologna and Turin), Norway, Germany and Portugal. FOPARA aims to bringing these various directions in resource analysis together and possibly to extend the community by other groups. IMPORTANT DATES (ALL 2009) * Abstract deadline: July 10, * Paper submission deadline: July 15, * Notification of acceptance: September 11, * Workshop version of the papers: October 11, * Final formal paper submission: November 22. INVITED SPEAKER Sumit Gulwani (http://research.microsoft.com/en-us/um/people/sumitg/), Microsoft Research SUBMISSION AND PUBLICATION Acceptance of articles for presentation at the symposium is based on the pre-workshop refereeing of full papers (16 pages). In addition to the draft symposium proceedings, we plan to publish the revised versions of presented at the workshop papers in a volume of Springer's Lecture Notes in Computer Science. The request for a volume is pending. PROGRAM COMMITTEE * Marko van Eekelen (Radboud University and Open University, NL), PC chair * Olha Shkaravska (Radboud University, NL), PC co-chair * Patrick Baillot (ENS-Lyon, France) * Armelle Bonenfant (IRIT, France) * Ugo Dal Lago (University of Bologna, Italy) * Kevin Hammond (Univ. of St. Andrews, UK) * Martin Hofmann (LMU, Munich, Germany) * Thomas Jensen (IRISA, Rennes, France) * Tamas Kozsik (Eotvos Lorand University of Budapest, Hungary) * Hans-Wolfgang Loidl (LMU, Munich, Germany) * Kenneth MacKenzie (University of Edinburgh, UK) * Jean-Yves Marion (Loria, Nancy, France) * Greg Michaelson (Heriot-Watt University, Edinburgh, UK) * Ricardo Pe?a (University Complutense Madrid, Spain) * German Puebla (Politechnical University of Madrid, Spain) * Luca Roversi (University of Turin, Italy) * Phil Trinder (Heriot-Watt University, Edinburgh, UK) LOCATION The workshop is a satellite event of the 16th International Symposium on Formal Methods, FM2009. The venue for FM2009 is the Auditorium of the Technische Universiteit Eindhoven. Everything related to the symposium will take place here, including workshops, lunches, and other activities. Technische Universiteit Eindhoven was founded in the 1950s on a patch of uncultivated land near the centre of town. Due to this fortunate circumstance, the university campus is now right in the middle of the fifth largest city in the Netherlands. This means that the railway station, the conference hotels, and other facilities are all within walking distance of the campus, and that during your stay you will have easy access to everything Eindhoven has to offer. From byorgey at seas.upenn.edu Tue May 12 08:15:02 2009 From: byorgey at seas.upenn.edu (Brent Yorgey) Date: Tue May 12 08:01:18 2009 Subject: [Haskell] Haskell Weekly News: Issue 117 - May 12, 2009 Message-ID: <20090512121502.GA6538@seas.upenn.edu> --------------------------------------------------------------------------- Haskell Weekly News http://sequence.complete.org/hwn/20090512 Issue 117 - May 12, 2009 --------------------------------------------------------------------------- Welcome to issue 117 of HWN, a newsletter covering developments in the [1]Haskell community. The Haskell Platform is here! Announcements The Haskell Platform. Don Stewart [2]announced the first release of the [3]Haskell Platform: a single, standard Haskell distribution for every system. The Haskell Platform is a blessed library and tool suite for Haskell culled from Hackage, along with installers for a wide variety of systems. It saves developers work picking and choosing the best Haskell libraries and tools to use for a task. GHC version 6.10.3. Ian Lynagh [4]announced the release of [5]GHC 6.10.3. This release contains a handful of bugfixes relative to 6.10.2 and better line editing support in GHCi, so updating is recommend. See the [6]release notes for more details. Bindings for libguestfs. Richard W.M. Jones [7]announced some [8]partial bindings for [9]libguestfs. Heads up: Conflicting versions of network-2.2.1. Johan Tibell [10]announced a heads-up that the version of network-2.2.1 that shipped with GHC 6.10 differs from the one on Hackage. If you want the API additions that are present in network-2.2.1 on Hackage, be sure to use network-2.2.1.1 instead. hpc-strobe-0.1: Hpc-generated strobes for a running Haskell program. Thorkil Naur [11]announced the initial release of [12]hpc-strobe, a rudimentary library that demonstrates the possibility of using Hpc (Haskell Program Coverage) to inspect the state of a running Haskell program. hpc-strobe uses the basic machinery provided by Hpc to produce multiple tix files, also called strobes, representing the coverage at different times while the program is running. By subtracting such two tix files, again using Hpc machinery, a tix file representing the expressions used between the times of recording the subtracted tix files is produced. This may be used, for example, to get a better idea of what a long-running program is doing. It could also be used as a profiling tool, getting information about how many times individual expressions are used. BUG FIX release of regex-tdfa-1.1.2. ChrisK [13]announced version 1.1.2 of [14]regex-tdfa, a bug-fix release. Silkworm game. Duane Johnson [15]announced the release of [16]Silkworm, a game written in Haskell using [17]Hipmunk and GLFW. Discussion Platform policy question: API compatibility in minor releases. Duncan Coutts began a [18]discussion on versioning policies for major and minor releases, for packages included in the Haskell Platform. See also the [19]newly started discussion on the purpose of Haskell Platform releases. 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! * Magnus Therning: [22]Vim haskellmode packaged for Arch. * Manuel M T Chakravarty: [23]Instant Generics: Fast and Easy.. * Bjorn Buckwalter: [24]May 2009 HCAR Submissions. * Gtk2HS: [25]Gtk2HS 0.10.1 Released. * Magnus Therning: [26]Arch and Haskell, on little snag. * Mikael Vejdemo Johansson (DrSyzygy): [27]Gr?bner bases for operads - Or "What I did in my vacation". * Mads Lindstr?m: [28]WxGeneric 0.6.0. * Osfameron: [29]Is currying monadic?. * James Iry: [30]A Brief, Incomplete, and Mostly Wrong History of Programming Languages. * Duane Johnson: [31]Visualizing Typed Functions. * Well-Typed.Com: [32]Next steps for the Haskell Platform. * Don Stewart (dons): [33]The Haskell Platform. * Luke Palmer: [34]Lazy Partial Evaluation. * Christopher Lane Hinson: [35]Vec is Good. * LHC Team: [36]Constructor specialization and laziness.. * Lee Pike: [37]An Atomic Fibonacci Server: Exploring the Atom (Haskell) DSL. * John Van Enk: [38]Atom & Arduino :: First Program (pt. 2). * >>> Chris Forno: [39]Is Haskell a Good Choice for Web Applications?. * >>> Sparky: [40]Haskell and Eclipse [Part 2]. * >>> Brit Butler: [41]Playing with Haskell. * Duane Johnson: [42]Silkworm Game written in Haskell. * Matthew Podwysocki: [43]Functional Composition and Partial Application . * >>> Takashi: [44]A Prolog In Haskell. * >>> mokehehe: [45]Using DirectX from Haskell. * >>> mokehehe: [46]AO bench in Haskell. Quotes of the Week * jfredett: My haskell-spider senses were tingling, I just overshot RT and went for the Halting Problem. * NeilBrown: I heard that if you chant "I don't think this can be done in Haskell" three times in front of a text editor, Don Stewart appears and implements it in one line... * bos: The last couple of times I've wanted a book like that, I wrote the book myself. It's a very effective way to get the book you want, compared to wishing. * edwardk: {-# LANGUAGE time to pay the cutting edge typing features tax #-} * SPJ: Haha this is good news, I have slipped functional programming into your brain without you realising it is something very weird. * EvilTerran: writing machine code by hand on tape with a magnetised needle looks good compared to PHP :P * Athas: I like Lisp for its extreme expressivity, but I think it's easier to make Haskell more powerful, than to make Lisp more statically safe. * roconnor: I can't wait for the Density Comonad chapter of "learn you a haskell" About the Haskell Weekly News New editions are posted to [47]the Haskell mailing list as well as to [48]the Haskell Sequence and [49]Planet Haskell. [50]RSS is also available, and headlines appear on [51]haskell.org. To help create new editions of this newsletter, please see the information on [52]how to contribute. Send stories to byorgey at cis dot upenn dot edu. The darcs repository is available at darcs get [53]http://code.haskell.org/~byorgey/code/hwn/ . References 1. http://haskell.org/ 2. http://article.gmane.org/gmane.comp.lang.haskell.cafe/58095 3. http://hackage.haskell.org/platform/ 4. http://article.gmane.org/gmane.comp.lang.haskell.general/17178 5. http://www.haskell.org/ghc/ 6. http://haskell.org/ghc/docs/6.10.3/html/users_guide/release-6-10-3.html 7. http://article.gmane.org/gmane.comp.lang.haskell.cafe/58358 8. http://git.et.redhat.com/?p=libguestfs.git;a=blob;f=haskell/Guestfs.hs;hb=HEAD 9. http://et.redhat.com/~rjones/libguestfs/ 10. http://article.gmane.org/gmane.comp.lang.haskell.cafe/58349 11. http://article.gmane.org/gmane.comp.lang.haskell.cafe/58286 12. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hpc%2Dstrobe 13. http://article.gmane.org/gmane.comp.lang.haskell.cafe/58067 14. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/regex-tdfa 15. http://article.gmane.org/gmane.comp.lang.haskell.cafe/57886 16. http://blog.inquirylabs.com/2009/05/02/silkworm-game-written-in-haskell/ 17. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Hipmunk 18. http://thread.gmane.org/gmane.comp.lang.haskell.libraries/11001 19. http://thread.gmane.org/gmane.comp.lang.haskell.libraries/11035 20. http://planet.haskell.org/ 21. http://haskell.org/haskellwiki/Blog_articles 22. http://therning.org/magnus/archives/617 23. http://justtesting.org/post/106219682 24. http://flygdynamikern.blogspot.com/2009/05/may-2009-hcar-submissions.html 25. http://haskell.org/gtk2hs/archives/2009/05/10/gtk2hs-0101-released/ 26. http://therning.org/magnus/archives/599 27. http://blog.mikael.johanssons.org/archive/2009/05/grobner-bases-for-operads-or-what-i-did-in-my-vacation/ 28. http://lindstroem.wordpress.com/2009/05/08/wxgeneric-0-6-0/ 29. http://greenokapi.net/blog/2009/05/07/is-currying-monadic/ 30. http://james-iry.blogspot.com/2009/05/brief-incomplete-and-mostly-wrong.html 31. http://blog.inquirylabs.com/2009/05/07/visualizing-typed-functions/ 32. http://blog.well-typed.com/2009/05/next-steps-for-the-haskell-platform/ 33. http://donsbot.wordpress.com/2009/05/06/the-haskell-platform/ 34. http://lukepalmer.wordpress.com/2009/05/04/lazy-partial-evaluation/ 35. http://blog.downstairspeople.org/2009/05/05/vec-is-good/ 36. http://lhc-compiler.blogspot.com/2009/05/constructor-specialization-and-laziness.html 37. http://leepike.wordpress.com/2009/05/05/an-atomic-fibonacci-server-exploring-the-atom-haskell-dsl/ 38. http://blog.sw17ch.com/wordpress/?p=111 39. http://jekor.com/article/is-haskell-a-good-choice-for-web-applications 40. http://sdasrath.blogspot.com/2009/05/20090402-haskell-and-eclipse-part-2.html 41. http://redlinernotes.com/blog/?p=937 42. http://blog.inquirylabs.com/2009/05/02/silkworm-game-written-in-haskell/ 43. http://weblogs.asp.net/podwysocki/archive/2009/05/01/functional-composition-and-partial-application.aspx 44. http://propella.blogspot.com/2009/04/prolog-in-haskell.html 45. http://mokehehe.blogspot.com/ 46. http://mokehehe.blogspot.com/2009/04/ao-bench-in-haskell.html 47. http://www.haskell.org/mailman/listinfo/haskell 48. http://sequence.complete.org/ 49. http://planet.haskell.org/ 50. http://sequence.complete.org/node/feed 51. http://haskell.org/ 52. http://haskell.org/haskellwiki/HWN 53. http://code.haskell.org/~byorgey/code/hwn/ From icfp.publicity at googlemail.com Tue May 12 11:23:01 2009 From: icfp.publicity at googlemail.com (Matthew Fluet (ICFP Publicity Chair)) Date: Tue May 12 11:08:12 2009 Subject: [Haskell] International Summer School on Advances in Programming Languages (precedes ICFP'09) Message-ID: <53ff55480905120823w5515493p3aa4fed21afd9ad7@mail.gmail.com> International Summer School on Advances in Programming Languages 25th-28th August, 2009 Heriot-Watt University, Edinburgh, Scotland http://www.macs.hw.ac.uk/~greg/ISS-AiPL Overview ~~~~~~~~ This four-day residential International Summer School on Advances in Programming Languages has a major theme of Concurrency, Distribution, and Multicore. Intended primarily for postgraduate research students, the School offers lectures and practical sessions on an engaging blend of cutting edge theoretical and practical techniques from international experts. The Summer School is supported by the Scottish Informatics and Computer Science Alliance (http://www.sicsa.ac.uk/), a Scottish Funding Council Research Pool. Participants from SICSA member institutions may attend at no cost. Confirmed Topics/Speakers * Static and dynamic languages, Prof Philip Wadler, University of Edinburgh * Compiler technology for data-parallel languages, Dr Sven-Bodo Scholz, University of Hertfordshire * New applications of parametricity, Dr Janis Voigtlander, Technical University of Dresden * Automatic vectorising compilation, Dr Paul Cockshott, University of Glasgow * Foundational aspects of size analysis, Prof Marko van Eekelen / Dr Olha Shakaravska, Radboud University Nijmegen * Context oriented programming, Dr Pascal Costanza, Vrije Universiteit Brussels * Multi-core programming, Dr Phil Trinder, Heriot-Watt University * Multi-core compilation, Dr Alastair Donaldson, Codeplay Software Ltd * Principles and Applications of Refinement Types, Dr Andrew D. Gordon, Microsoft Research, Cambridge * Resource aware programming in Hume, Prof Greg Michaelson, Heriot-Watt University / Prof Kevin Hammond, University of St Andrews * Haskell concurrency & parallelism, Dr Satnam Singh, Microsoft Research, Cambridge Location ~~~~~~~~ The Summer School is at Heriot-Watt University's Riccarton campus, set in pleasant parkland to the west of Edinburgh, with easy access to the airport, city and central Scotland (http://www.hw.ac.uk/welcome/directions.htm). The Summer School immediately precedes the 2009 International Conference on Functional Programming (http://www.cs.nott.ac.uk/~gmh/icfp09.html) and takes place during the Edinburgh International Festival (http://www.eif.co.uk/) , and the associated Edinburgh Festival Fringe (http://www.edfringe.com/) and Edinburgh International Book Festival (http://www.edbookfest.co.uk/) Steering Committee ~~~~~~~~~~~~~~~~~~ Prof Prof Greg Michaelson, Heriot-Watt University (Convenor), Prof Kevin Hammond, University of St Andrews Dr Patricia Johann, University of Strathclyde Prof Philip Wadler, University of Edinburgh Fee ~~~ Full rate: ?400; (free for SICSA students) Includes: four nights single room, en-suite accommodation with breakfast, lunch and dinner, plus coffee breaks and session materials. Day rate: ?200; (free for SICSA students) Includes: lunch, coffee breaks, session materials Registration of Interest ~~~~~~~~~~~~~~~~~~~~~~~~ If you are interested in attending the International Summer School, please complete the form available from (http://www.macs.hw.ac.uk/~greg/ISS-AiPL/ISS-AiPL%20register.doc) or below, and return it to: ********** International Summer School on Advances in Programming Languages 25th-28th August, 2009 Heriot-Watt University, Edinburgh, Scotland Registration of Interest Name: Address: Email: Phone: SICSA Uni: Yes / No Rate: Full / Day Accessibility requirements: Dietary requirements: Return to: ISS-AiPL-register@macs.hw.ac.uk ********** From emax at chalmers.se Wed May 13 03:09:46 2009 From: emax at chalmers.se (Emil Axelsson) Date: Wed May 13 02:54:55 2009 Subject: [Haskell] ANN: Bookshelf Message-ID: <4A0A723A.9000603@chalmers.se> This is the first release of Bookshelf, a simple document organizer with some wiki functionality. Documents in a directory tree are displayed as a set of HTML pages. Documents in Markdown format are converted to HTML automatically using Pandoc. The manual http://www.cs.chalmers.se/~emax/bookshelf/Manual.shelf.html describes the full functionality. Bookshelf is available on Hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Bookshelf or through its Darcs repository: http://www.cs.chalmers.se/~emax/darcs/Bookshelf/ I'm not aware of any bugs. I hope it works on Windows, but I haven't tested. Cheers, / Emil From voigt at tcs.inf.tu-dresden.de Wed May 13 03:21:09 2009 From: voigt at tcs.inf.tu-dresden.de (Janis Voigtlaender) Date: Wed May 13 03:07:06 2009 Subject: [Haskell] 2nd Call For Papers: APLAS 2009 (Korea, Dec 14-16, 2009) Message-ID: <4A0A74E5.8090203@tcs.inf.tu-dresden.de> =============================================================== CALL FOR PAPERS The Seventh Asian Symposium on Programming Languages and Systems (APLAS 2009) Seoul, December 14-16, 2009 http://ropas.snu.ac.kr/aplas09/ =============================================================== APLAS aims at stimulating programming language research by providing a forum for the presentation of recent results and the exchange of ideas and experience in topics concerned with programming languages and systems. APLAS is based in Asia, but is an international forum that serves the worldwide programming languages community. The APLAS series is sponsored by the Asian Association for Foundation of Software (AAFS), which has recently been founded by Asian researchers in cooperation with many researchers from Europe and the USA. The past formal APLAS symposiums were successfully held in Bangalore (2008, India), Singapore (2007), Sydney (2006, Australia), Tsukuba (2005, Japan), Taipei (2004, Taiwan) and Beijing (2003, China) after three informal workshops held in Shanghai (2002, China), Daejeon (2001, Korea) and Singapore (2000). Proceedings of the past symposiums were published in Springer-Verlag's LNCS 2895, 3302, 3780, 4279, and 5356. TOPICS: The symposium is devoted to both foundational and practical issues in programming languages and systems. Papers are solicited on, but not limited, to the following topics: * semantics, logics, foundational theory * type systems, language design * program analysis, optimization, transformation * software security, safety, verification * compiler systems, interpreters, abstract machines * domain-specific languages and systems * programming tools and environments INVITED SPEAKERS: TBA IMPORTANT DATES: Abstract Deadline: June 8 (Monday), 2009 Paper Submission Deadline: 24:00 AM (in Samoan Time), June 15 (Monday), 2009 Author Notification: August 17, 2009 Camera Ready: September 14, 2009 Conference: December 14-16, 2009 SUBMISSIONS INFORMATION: Papers should be submitted electronically online via the conference submission web page at URL . Acceptable formats are PostScript or PDF, viewable by Ghostview or Adobe Reader. Submissions should not exceed 16 pages in LNCS format, including bibliography and figures. Submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. They should clearly identify what has been accomplished and why it is significant. Submitted papers must be unpublished and not submitted for publication elsewhere. The proceedings of the symposium is planned to be published as a volume in Springer-Verlag's Lecture Notes in Computer Science series. Authors of selected papers will be invited after the symposium to submit a full version for publication in a special issue of New Generation Computing. GENERAL CHAIR Kwangkeun Yi (Seoul National University, Korea) PROGRAM CHAIR Zhenjiang Hu (National Institute of Inforamtics, Japan) PROGRAM COMMITTEE Manuel M. T. Chakravarty (University of New South Wales, Australia) Wei-Ngan Chin (National University of Singapore, Singapore) Nate Foster (University of Pennsylvania, USA) Ralf Hinze (Oxford University, United Kingdom) Zhenjiang Hu (National Institute of Informatics, Japan), Chair Ik-Soon Kim (Electronics and Telecommunications Research Institute, Korea) Julia Lawall (DIKU, Denmark) Sebastian Maneth (NICTA and University of New South Wales, Australia) Sungwoo Park (Pohang University of Science and Technology, Korea) G. Ramalingam (Microsoft Research, India) Peter Thiemann (University of Freiburg, Germany) Kazushige Terui (Kyoto University, Japan) Janis Voigtl?nder (Technical University of Dresden, Germany) Chung-chieh Shan (Rutgers University, USA) Kazunori Ueda (Waseda University, Japan) Bow-Yaw Wang (Academia Sinica, Taiwan) Jianjun Zhao (Shanghai Jiaotong University, China) POSTER SESSION CHAIR Kiminori Matsuzaki (University of Tokyo, Japan) From voigt at tcs.inf.tu-dresden.de Wed May 13 04:50:44 2009 From: voigt at tcs.inf.tu-dresden.de (Janis Voigtlaender) Date: Wed May 13 04:36:21 2009 Subject: [Haskell] International Summer School on Advances in Programming Languages (precedes ICFP'09) In-Reply-To: <53ff55480905120823w5515493p3aa4fed21afd9ad7@mail.gmail.com> References: <53ff55480905120823w5515493p3aa4fed21afd9ad7@mail.gmail.com> Message-ID: <4A0A89E4.5050302@tcs.inf.tu-dresden.de> Note that potential participants in the below summer school should pre-register their interest *now*. The organizers need that information to go ahead with the planning. Matthew Fluet (ICFP Publicity Chair) wrote: > International Summer School on Advances in Programming Languages > 25th-28th August, 2009 > Heriot-Watt University, Edinburgh, Scotland > http://www.macs.hw.ac.uk/~greg/ISS-AiPL > > > Overview > ~~~~~~~~ > > This four-day residential International Summer School on Advances in > Programming Languages has a major theme of Concurrency, Distribution, > and Multicore. Intended primarily for postgraduate research students, > the School offers lectures and practical sessions on an engaging blend > of cutting edge theoretical and practical techniques from > international experts. > > The Summer School is supported by the Scottish Informatics and > Computer Science Alliance (http://www.sicsa.ac.uk/), a Scottish > Funding Council Research Pool. Participants from SICSA member > institutions may attend at no cost. > > Confirmed Topics/Speakers > > * Static and dynamic languages, > Prof Philip Wadler, University of Edinburgh > * Compiler technology for data-parallel languages, > Dr Sven-Bodo Scholz, University of Hertfordshire > * New applications of parametricity, > Dr Janis Voigtlander, Technical University of Dresden > * Automatic vectorising compilation, > Dr Paul Cockshott, University of Glasgow > * Foundational aspects of size analysis, > Prof Marko van Eekelen / Dr Olha Shakaravska, Radboud University Nijmegen > * Context oriented programming, > Dr Pascal Costanza, Vrije Universiteit Brussels > * Multi-core programming, > Dr Phil Trinder, Heriot-Watt University > * Multi-core compilation, > Dr Alastair Donaldson, Codeplay Software Ltd > * Principles and Applications of Refinement Types, > Dr Andrew D. Gordon, Microsoft Research, Cambridge > * Resource aware programming in Hume, > Prof Greg Michaelson, Heriot-Watt University / Prof Kevin Hammond, > University of St Andrews > * Haskell concurrency & parallelism, > Dr Satnam Singh, Microsoft Research, Cambridge > > > Location > ~~~~~~~~ > > The Summer School is at Heriot-Watt University's Riccarton campus, set > in pleasant parkland to the west of Edinburgh, with easy access to the > airport, city and central Scotland > (http://www.hw.ac.uk/welcome/directions.htm). > > The Summer School immediately precedes the 2009 International > Conference on Functional Programming > (http://www.cs.nott.ac.uk/~gmh/icfp09.html) and takes place during the > Edinburgh International Festival (http://www.eif.co.uk/) , and the > associated Edinburgh Festival Fringe (http://www.edfringe.com/) and > Edinburgh International Book Festival (http://www.edbookfest.co.uk/) > > > Steering Committee > ~~~~~~~~~~~~~~~~~~ > > Prof Prof Greg Michaelson, Heriot-Watt University (Convenor), > > Prof Kevin Hammond, University of St Andrews > Dr Patricia Johann, University of Strathclyde > Prof Philip Wadler, University of Edinburgh > > > Fee > ~~~ > > Full rate: ?400; (free for SICSA students) > Includes: four nights single room, en-suite accommodation with > breakfast, lunch and dinner, plus coffee breaks and session materials. > > Day rate: ?200; (free for SICSA students) > Includes: lunch, coffee breaks, session materials > > > Registration of Interest > ~~~~~~~~~~~~~~~~~~~~~~~~ > > If you are interested in attending the International Summer School, > please complete the form available from > (http://www.macs.hw.ac.uk/~greg/ISS-AiPL/ISS-AiPL%20register.doc) or > below, and return it to: > > > ********** > International Summer School on Advances in Programming Languages > 25th-28th August, 2009 > Heriot-Watt University, Edinburgh, Scotland > > Registration of Interest > > Name: > Address: > Email: > Phone: > SICSA Uni: Yes / No > Rate: Full / Day > Accessibility requirements: > Dietary requirements: > > Return to: ISS-AiPL-register@macs.hw.ac.uk > ********** > _______________________________________________ > Haskell mailing list > Haskell@haskell.org > http://www.haskell.org/mailman/listinfo/haskell > From blume at tti-c.org Wed May 13 16:46:59 2009 From: blume at tti-c.org (Matthias Blume) Date: Wed May 13 16:33:34 2009 Subject: [Haskell] FLOPS 2010: Preliminary Call for Papers Message-ID: <5D6F1FE4-84C4-473E-9912-048330084290@tti-c.org> ---------------------------------------------------------------------------- PRELIMINARY CALL FOR PAPERS Tenth International Symposium on Functional and Logic Programming (FLOPS 2010) April 19-21, 2010 Sendai, Japan http://www.kb.ecei.tohoku.ac.jp/flops2010 Submission deadline: October 16, 2009 FLOPS is a forum for research on all issues concerning declarative programming, including functional programming and logic programming, and aims to promote cross-fertilization and integration between the two paradigms. Previous FLOPS meetings were held in Fuji Susono (1995), Shonan Village (1996), Kyoto (1998), Tsukuba (1999), Tokyo (2001), Aizu (2002), Nara (2004), Fuji Susono (2006), and Ise (2008). TOPICS FLOPS solicits original papers in all areas of functional and logic programming, including (but not limited to): Declarative Pearls: new and excellent declarative programs with illustrative applications. Language issues: language design and constructs, programming methodology, integration of paradigms, interfacing with other languages, type systems, constraints, concurrency and distributed computing. Foundations: logic and semantics, rewrite systems and narrowing, type theory, proof systems. Implementation issues: compilation techniques, memory management, program analysis and transformation, partial evaluation, parallelism. Applications: case studies, real-world applications, graphical user interfaces, Internet applications, XML, databases, formal methods and model checking. The proceedings are expected to be published as an LNCS volume. The proceedings of the previous meeting (FLOPS 2008) were published as LNCS 4989. INVITED SPEAKERS TBD PC CO-CHAIRS Matthias Blume (TTI, Chicago, USA) German Vidal (Technical University of Valencia, Spain) CONFERENCE CHAIR Naoki Kobayashi (Tohoku University, Sendai, Japan) PC MEMBERS Nick Benton (Microsoft Research, Cambridge, UK) Manuel Chakravarty (University of New South Wales, Australia) Michael Codish (Ben-Gurion University of the Negev, Israel) Bart Demoen (Katholieke Universiteit Leuven, Belgium) Agostino Dovier (University of Udine, Italy) John P. Gallagher (Roskilde University, Denmark) Maria Garcia de la Banda (Monash University, Australia) Michael Hanus (University of Kiel, Germany) Atsushi Igarashi (Kyoto University, Japan) Patricia Johann (Rutgers University, USA) Shin-ya Katsumata (Kyoto University, Japan) Michael Leuschel (University of Dusseldorf, Germany) Francisco Lopez-Fraguas (Complutense University of Madrid, Spain) Paqui Lucio (University of the Basque Country, Spain) Yasuhiko Minamide (University of Tsukuba, Japan) Frank Pfenning (Carnegie Mellon University, USA) Francois Pottier (INRIA, France) Tom Schrijvers (Katholieke Universiteit Leuven, Belgium) Chung-chieh "Ken" Shan (Rutgers University, USA) Zhong Shao (Yale University, USA) Jan-Georg Smaus (University of Freiburg, Germany) Nobuko Yoshida (Imperial College London, UK) LOCAL CHAIR Eijiro Sumii (Tohoku University, Sendai, Japan) SUBMISSION Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. Submissions should fall into one of the following categories: Regular research papers: they should describe new results and will be judged on originality, correctness, and significance. System descriptions: they should contain a link to a working system and will be judged on originality, usefulness, and design. All submissions must be written in English and can be up to 15 proceedings pages long. Authors are strongly encouraged to use LaTeX2e and the Springer llncs class file, available at http://www.springer.de/comp/lncs/authors.html Regular research papers should be supported by proofs and/or experimental results. In case of lack of space, this supporting information should be made accessible otherwise (e.g., a link to a web page, or an appendix). Papers should be submitted electronically at http://www.easychair.org/conferences/?conf=flops2010 IMPORTANT DATES Submission deadlines: - Abstract: October 16, 2009 - Paper: October 23, 2009 Author notification: December 21, 2009 Camera-ready copy: January 24, 2010 Conference: April 19-21, 2010 PLACE Sendai, Japan Some previous FLOPS: FLOPS 2008, Ise: http://www.math.nagoya-u.ac.jp/~garrigue/FLOPS2008/ FLOPS 2006, Fuji Susono: http://hagi.is.s.u-tokyo.ac.jp/FLOPS2006/ FLOPS 2004, Nara FLOPS 2002, Aizu: http://www.ipl.t.u-tokyo.ac.jp/FLOPS2002/ FLOPS 2001, Tokyo: http://www.ueda.info.waseda.ac.jp/flops2001/ SPONSOR TBA IN COOPERATION with TBA ---------------------------------------------------------------------------- -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/haskell/attachments/20090513/968d8a67/attachment-0001.html From simonpj at microsoft.com Thu May 14 06:53:50 2009 From: simonpj at microsoft.com (Simon Peyton-Jones) Date: Thu May 14 06:51:05 2009 Subject: [Haskell] Fun with type functions Message-ID: <638ABD0A29C8884A91BC5FB5C349B1C337FBFCC84E@EA-EXMSG-C334.europe.corp.microsoft.com> Friends Ken, Oleg, and I have been working on a tutorial paper about type families (aka associated data types, or type functions). It's in draft at the moment, and we'd really appreciate feedback that would help us improve it. Here it is: http://haskell.org/haskellwiki/Simonpj/Talk:FunWithTypeFuns Thank you! Simon From DekuDekuplex at Yahoo.com Fri May 15 00:52:47 2009 From: DekuDekuplex at Yahoo.com (Benjamin L.Russell) Date: Fri May 15 00:39:17 2009 Subject: [Haskell] Re: ANNOUNCE: GHC version 6.10.3 References: <20090509135957.GA8824@matrix.chaos.earth.li> Message-ID: What happened to the Windows installation section in the corresponding User's Guide? The User's Guide for GHC version 6.10.2 (see http://www.haskell.org/ghc/docs/6.10.2/html/users_guide/index.html) had section 2.2: Installing on Windows (see http://www.haskell.org/ghc/docs/6.10.2/html/users_guide/install-windows.html#winfaq), but this section seems to be missing in the corresponding document for version 6.10.3 (see http://www.haskell.org/ghc/docs/latest/html/users_guide/index.html). Not only that, but the entire chapter "2: Installing GHC" seems to be missing. -- Benjamin L. Russell On Sat, 9 May 2009 14:59:57 +0100, Ian Lynagh wrote: > > ============================================================== > The (Interactive) Glasgow Haskell Compiler -- version 6.10.3 > ============================================================== > >The GHC Team is pleased to announce a new patchlevel release of GHC. >This release contains a handful of bugfixes relative to 6.10.2 and >better line editing support in GHCi, so we recommend upgrading. > >Release notes are here: > > http://haskell.org/ghc/docs/6.10.3/html/users_guide/release-6-10-3.html > >How to get it >~~~~~~~~~~~~~ > >The easy way is to go to the web page, which should be self-explanatory: > > http://www.haskell.org/ghc/ > >We supply binary builds in the native package format for many >platforms, and the source distribution is available from the same >place. > >Packages will appear as they are built - if the package for your >system isn't available yet, please try again later. > > >Background >~~~~~~~~~~ > >Haskell is a standard lazy functional programming language; the >current language version is Haskell 98, agreed in December 1998 and >revised December 2002. > >GHC is a state-of-the-art programming suite for Haskell. Included is >an optimising compiler generating good code for a variety of >platforms, together with an interactive system for convenient, quick >development. The distribution includes space and time profiling >facilities, a large collection of libraries, and support for various >language extensions, including concurrency, exceptions, and foreign >language interfaces (C, whatever). GHC is distributed under a >BSD-style open source license. > >A wide variety of Haskell related resources (tutorials, libraries, >specifications, documentation, compilers, interpreters, references, >contact information, links to research groups) are available from the >Haskell home page (see below). > > >On-line GHC-related resources >~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ > >Relevant URLs on the World-Wide Web: > >GHC home page http://www.haskell.org/ghc/ >GHC developers' home page http://hackage.haskell.org/trac/ghc/ >Haskell home page http://www.haskell.org/ > > >Supported Platforms >~~~~~~~~~~~~~~~~~~~ > >The list of platforms we support, and the people responsible for them, >is here: > > http://hackage.haskell.org/trac/ghc/wiki/Contributors > >Ports to other platforms are possible with varying degrees of >difficulty. The Building Guide describes how to go about porting to a >new platform: > > http://hackage.haskell.org/trac/ghc/wiki/Building > > >Developers >~~~~~~~~~~ > >We welcome new contributors. Instructions on accessing our source >code repository, and getting started with hacking on GHC, are >available from the GHC's developer's site run by Trac: > > http://hackage.haskell.org/trac/ghc/ > > >Mailing lists >~~~~~~~~~~~~~ > >We run mailing lists for GHC users and bug reports; to subscribe, use >the web interfaces at > > http://www.haskell.org/mailman/listinfo/glasgow-haskell-users > http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs > >There are several other haskell and ghc-related mailing lists on >www.haskell.org; for the full list, see > > http://www.haskell.org/mailman/listinfo/ > >Some GHC developers hang out on #haskell on IRC, too: > > http://www.haskell.org/haskellwiki/IRC_channel > >Please report bugs using our bug tracking system. Instructions on >reporting bugs can be found here: > > http://www.haskell.org/ghc/reportabug -- Benjamin L. Russell / DekuDekuplex at Yahoo dot com http://dekudekuplex.wordpress.com/ Translator/Interpreter / Mobile: +011 81 80-3603-6725 "Furuike ya, kawazu tobikomu mizu no oto." -- Matsuo Basho^ From marlowsd at gmail.com Fri May 15 04:16:13 2009 From: marlowsd at gmail.com (Simon Marlow) Date: Fri May 15 04:04:04 2009 Subject: [Haskell] Re: ANNOUNCE: GHC version 6.10.3 In-Reply-To: References: <20090509135957.GA8824@matrix.chaos.earth.li> Message-ID: <4A0D24CD.30000@gmail.com> On 15/05/2009 05:52, Benjamin L.Russell wrote: > What happened to the Windows installation section in the corresponding > User's Guide? The User's Guide for GHC version 6.10.2 (see > http://www.haskell.org/ghc/docs/6.10.2/html/users_guide/index.html) > had section 2.2: Installing on Windows (see > http://www.haskell.org/ghc/docs/6.10.2/html/users_guide/install-windows.html#winfaq), > but this section seems to be missing in the corresponding document for > version 6.10.3 (see > http://www.haskell.org/ghc/docs/latest/html/users_guide/index.html). > Not only that, but the entire chapter "2: Installing GHC" seems to be > missing. The "Installing GHC" section was mostly out-of-date and wrong, so I removed it. Some of the material, such as the section on the layout of the tree, has been updated and moved to the GHC Building Guide, here http://hackage.haskell.org/trac/ghc/wiki/Building We also have lots of information on the GHC web site about obtaining and installing GHC, so if we need anything else I think that would be the best place to put it. Cheers, Simon From DekuDekuplex at Yahoo.com Fri May 15 07:19:20 2009 From: DekuDekuplex at Yahoo.com (Benjamin L.Russell) Date: Fri May 15 07:05:03 2009 Subject: [Haskell] Re: ANNOUNCE: GHC version 6.10.3 References: <20090509135957.GA8824@matrix.chaos.earth.li> <4A0D24CD.30000@gmail.com> Message-ID: On Fri, 15 May 2009 09:16:13 +0100, Simon Marlow wrote: >On 15/05/2009 05:52, Benjamin L.Russell wrote: >> What happened to the Windows installation section in the corresponding >> User's Guide? The User's Guide for GHC version 6.10.2 (see >> http://www.haskell.org/ghc/docs/6.10.2/html/users_guide/index.html) >> had section 2.2: Installing on Windows (see >> http://www.haskell.org/ghc/docs/6.10.2/html/users_guide/install-windows.html#winfaq), >> but this section seems to be missing in the corresponding document for >> version 6.10.3 (see >> http://www.haskell.org/ghc/docs/latest/html/users_guide/index.html). >> Not only that, but the entire chapter "2: Installing GHC" seems to be >> missing. > >The "Installing GHC" section was mostly out-of-date and wrong, so I >removed it. Some of the material, such as the section on the layout of >the tree, has been updated and moved to the GHC Building Guide, here > >http://hackage.haskell.org/trac/ghc/wiki/Building > >We also have lots of information on the GHC web site about obtaining and >installing GHC, so if we need anything else I think that would be the >best place to put it. Ah, I see. I just checked out that section, but although it includes information about building GHC, it doesn't seem to include information about simply installing GHC using a binary. This could become an issue if a new user unfamiliar with the installation suddenly decides to upgrade; it is unclear without that documentation whether it is necessary to uninstall the previous version first. More specifically, section "2.2.2 Moving GHC Around" indicates that the entire GHC tree can be freely moved around "just by copying the c:/ghc/ghc-version directory" (although it is necessary "to fix up the links in 'Start/All Programs/GHC/ghc-version'" if this is done); however, this information is not evident from the information provided by the Windows installer. This information initially led me to conclude that uninstalling the previous version wasn't necessary to upgrade; without this information, a new user may not be able to determine whether uninstalling a previous version is necessary to upgrade, and could make upgrading more confusing. -- Benjamin L. Russell -- Benjamin L. Russell / DekuDekuplex at Yahoo dot com http://dekudekuplex.wordpress.com/ Translator/Interpreter / Mobile: +011 81 80-3603-6725 "Furuike ya, kawazu tobikomu mizu no oto." -- Matsuo Basho^ From icfp.publicity at googlemail.com Fri May 15 11:29:30 2009 From: icfp.publicity at googlemail.com (Matthew Fluet (ICFP Publicity Chair)) Date: Fri May 15 11:14:31 2009 Subject: [Haskell] ICFP09 Accepted Papers Message-ID: <53ff55480905150829y2de04849w5c74d38caa76e5e4@mail.gmail.com> Accepted Papers ICFP 2009: International Conference on Functional Programming Edinburgh, Scotland, 31 August - 2 September 2009 http://www.cs.nott.ac.uk/~gmh/icfp09.html The ICFP 2009 Program Chair and Committee are pleased to announce that the following papers have been accepted for the conference. Additional information regarding the final program, invited speakers, and registration will be forthcoming. However, the Local Arrangements Co-Chairs would like to remind participants of the following: * ICFP'09 coincides with the final week of the Edinburgh International Festival, one of the premier arts and cultural festivals in the world. The opportunity to attend the Festival is a plus! Due to the popularity of Edinburgh during the festival period, we recommend booking accommodation early. More details regarding accommodation may be obtained from the ICFP 2009 Local Arrangements webpage: http://www.haskell.org/haskellwiki/ICFP_2009_Local_Arrangements Accepted papers ~~~~~~~~~~~~~~~ A CONCURRENT ML LIBRARY IN CONCURRENT HASKELL Avik Chaudhuri A THEORY OF TYPED COERCIONS AND ITS APPLICATIONS Nikhil Swamy, Michael Hicks and Gavin Bierman A UNIVERSE OF BINDING AND COMPUTATION Daniel Licata and Robert Harper ATTRIBUTE GRAMMARS FLY FIRST-CLASS: HOW TO DO ASPECT ORIENTED PROGRAMMING IN HASKELL Marcos Viera, S. Doaitse Swierstra and Wouter S. Swierstra AUTOMATICALLY RESTFUL WEB APPLICATIONS OR, MARKING MODULAR SERIALIZABLE CONTINUATIONS Jay McCarthy BEAUTIFUL DIFFERENTIATION Conal Elliott BIORTHOGONALITY, STEP-INDEXING AND COMPILER CORRECTNESS Nick Benton and Chung-Kil Hur CAUSAL COMMUTATIVE ARROWS AND THEIR OPTIMIZATION Hai Liu, Eric Cheng and Paul Hudak COMPLETE AND DECIDABLE TYPE INFERENCE FOR GADTS Tom Schrijvers, Simon Peyton Jones, Martin Sulzmann and Dimitrios Vytiniotis CONTROL-FLOW ANALYSIS OF FUNCTION CALLS AND RETURNS BY ABSTRACT INTERPRETATION Jan Midtgaard and Thomas P. Jensen EDUCATIONAL PEARL: FUN FOR FRESHMEN KIDS Matthias Felleisen, Robert Bruce Findler, Matthew Flatt and Shriram Krishnamurthi EFFECTIVE INTERACTIVE PROOFS FOR HIGHER-ORDER IMPERATIVE PROGRAMS Adam Chlipala, Gregory Malecha, Greg Morrisett, Avraham Shinnar and Ryan Wisnesky EXPERIENCE REPORT: EMBEDDED, PARALLEL COMPUTER-VISION WITH A FUNCTIONAL DSL Ryan Newton and Teresa Ko EXPERIENCE REPORT: HASKELL IN THE REALWORLD Curt Sampson EXPERIENCE REPORT: OCAML FOR AN INDUSTRIAL-STRENGTH STATIC ANALYSIS FRAMEWORK Pascal Cuoq and Julien Signoles EXPERIENCE REPORT: OCSIGEN, A WEB PROGRAMMING FRAMEWORK Vincent Balat, J?r?me Vouillon and Boris Yakobowski EXPERIENCE REPORT: SEL4 -- FORMALLY VERIFYING A HIGH-PERFORMANCE MICROKERNEL Gerwin Klein, Philip Derrin and Kevin Elphinstone FINDING RACE CONDITIONS IN ERLANG WITH QUICKCHECK AND PULSE Koen Claessen, Michal Palka, Nicholas Smallbone, John Hughes, Hans Svensson, Thomas Arts and Ulf Wiger FREE THEOREMS INVOLVING TYPE CONSTRUCTOR CLASSES Janis Voigtlaender GENERIC PROGRAMMING WITH FIXED POINTS FOR MUTUALLY RECURSIVE DATATYPES Alexey Rodriguez, Stefan Holdermans, Andres L?h and Johan Jeuring IDENTIFYING QUERY INCOMPATIBILITIES WITH EVOLVING XML SCHEMAS Pierre Geneves, Nabil Layaida and Vincent Quint IMPLEMENTING FIRST-CLASS POLYMORPHIC DELIMITED CONTINUATIONS BY A TYPE-DIRECTED SELECTIVE CPS-TRANSFORM Tiark Rompf, Ingo Maier and Martin Odersky LA TOUR D'HANO? Ralf Hinze NON-PARAMETRIC PARAMETRICITY Georg Neis, Derek Dreyer and Andreas Rossberg OXENSTORED: AN EFFICIENT HIERARCHICAL AND TRANSACTIONAL DATABASE USING FUNCTIONAL PROGRAMMING WITH REFERENCE CELL COMPARISONS Thomas Gazagnaire and Vincent Hanquez PARALLEL CONCURRENT ML John Reppy, Claudio Russo and Yingqi Xiao PARTIAL MEMOIZATION OF CONCURRENCY AND COMMUNICATION Suresh Jagannathan, KC Sivaramakrishnan and Lukasz Ziarek PURELY FUNCTIONAL LAZY NON-DETERMINISTIC PROGRAMMING Sebastian Fischer, Oleg Kiselyov and Chung-chieh Shan RUNTIME SUPPORT FOR MULTICORE HASKELL Simon Marlow, Simon Peyton Jones and Satnam Singh SAFE FUNCTIONAL REACTIVE PROGRAMMING THROUGH DEPENDENT TYPES Neil Sculthorpe and Henrik Nilsson SCRIBBLE: CLOSING THE BOOK ON AD HOC DOCUMENTATION TOOLS Matthew Flatt, Eli Barzilay and Robert Bruce Findler USING OBJECTIVE CAML TO DEVELOP SAFETY-CRITICAL EMBEDDED TOOL IN A CERTIFICATION FRAMEWORK Bruno Pagano, Olivier Andrieu, Thomas Moniot, Benjamin Canou, Emmanuel Chailloux, Philippe Wang, Pascal Manoury and Jean-Louis Colaco From jno at di.uminho.pt Fri May 15 12:13:36 2009 From: jno at di.uminho.pt (J.N. Oliveira) Date: Fri May 15 11:58:35 2009 Subject: [Haskell] TFM09: Last CFP (Formal Methods Week, Eindhoven, November 6th 2009) In-Reply-To: <4F764709-722D-4A3D-8EBE-6E075468A59F@di.uminho.pt> References: <6C84A9A8-448D-4BB0-8ECC-733F94618113@di.uminho.pt> <149AF668-5B86-483E-AE4A-31FCB41FAEA3@di.uminho.pt> <751CA11B-C480-4AFD-95EE-341977956B22@di.uminho.pt> <783CB463-70DA-42BB-AA3E-6FEF6D060992@di.uminho.pt> <439928F0-2402-47CA-B9D5-5DBC115FD385@di.uminho.pt> <835D2796-8A7B-4175-AD45-699D28FFC48D@di.uminho.pt> <03D358AB-5CB3-4A1F-B544-D36339BCCAE3@di.uminho.pt> <7AE5C171-EEE6-4ADB-B4F2-24A9F3F95D41@di.uminho.pt> <68F7244E-664C-4B9D-9E53-F57958930A11@di.uminho.pt> <7E9C7D41-AB35-4180-A392-8D650B71A6DA@di.uminho.pt> <295278A7-C8E3-4E98-8D3D-77C436712748@di.uminho.pt> <1ED014F0-F9EF-409A-B36B-11CAD163DA3D@di.uminho.pt> <120310DA-2030-4FA4-9F61-FD4EE51A9C06@di.uminho.pt> <3E535BF5-5F17-4892-8A5D-F8CFB25815A5@di.uminho.pt> <0C688277-C9C2-4420-9002-ADC0DE3DA8A0@di.uminho.pt> <0A1D2802-85F4-4E08-BD46-F84159CAA7CE@di.uminho.pt> <67668AEE-3079-4FEF-8F81-53D0B1866D15@di.uminho.pt> <15B086F0-E97B-43E1-8983-FB2DBAB96CC6@di.uminho.pt> <3C50371D-C0D2-4949-8FEE-00BECC5EBB02@di.uminho.pt> <21A48681-B072-482B-8AAF-54E6C6A5010F@di.uminho.pt> <2342BF13-0034-4F4A-AA4C-EC1CA055CDF1@di.uminho.pt> <663BCC4D-1B19-4E84-8614-AE316270B3C3@di.uminho.pt> <64A8B902-7DA5-4284-A4A8-18D6874CA069@di.uminho.pt> <6AC8F250-5C37-4593-BCBD-144AB137C75D@di.uminho.pt> <1FB8BC34-C683-4850-8FA6-DA12D9743D5E@di.uminho.pt> <8093D19D-B78D-4D7C-A2FF-FAE182EC67AE@di.uminho.pt> <61E3A078-D722-47E9-AC4F-A2610969CE13@di.uminho.pt> <485E9D1C-AF99-4B8E-B8DA-F45997FD26F0@di.uminho.pt> <10B841BC-C0B9-4186-A8B4-D3CFFFCB8116@di.uminho.pt> <5023897F-1EAE-4E3A-95FF-BAB39FAD9445@di.uminho.pt> <342EB496-47B1-42EA-B133-2DBB1BB074F5@di.uminho.pt> <45FDA14E-EB10-44BD-980D-2FED948F4C9B@di.uminho.pt> <47D23ACA-946B-451C-88D5-D5D2970B32AF@di.uminho.pt> <6E227144-4B6B-4824-999C-CD77F1DD7FBE@di.uminho.pt> <0C08ACFB-8E18-44D0-9AA4-D4D4AA45A89B@di.uminho.pt> <569643E0-59FF-485D-B4B8-AD4D7C559424@di.uminho.pt> <4F764709-722D-4A3D-8EBE-6E075468A59F@di.uminho.pt> Message-ID: <7EE29FC8-9919-4E51-9B50-78730C0135F0@di.uminho.pt> TFM2009 2nd Int. FME Conference on Teaching Formal Methods "Widening Access to Formal Methods" Friday, November 6th 2009, co-located with FM2009 : 16th International Symposium on Formal Methods Eindhoven, the Netherlands, November 2 - November 6, 2009 CALL FOR PAPERS (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. We would like to provide a forum for lecturers, teachers, and industrial partners to discuss their experience, present their pedagogical methodologies, and explore best practices. TFM2009 follows in a series of recent events on teaching formal methods, including: two BCS-FACS TFM workshops (Oxford in 2003, and London in 2006), the TFM 2004 conference in Ghent (with proceedings published as Springer LNCS Volume 3294), the FM-Ed 2006 workshop (Hamilton, co-located with FM'06), FORMED (Budapest, at ETAPS 2008), FMET 2008 (Kitakyushu 2008, co-located with ICFEM), etc. 2. Topics of interest --------------------- Formal methods (FM) have an important role to play in the development of complex computing systems - a role acknowledged in industrial standards such as IEC 61508 and ISO/IEC 15408, and in the increasing use of precise modeling notations, semantic markup languages, and model-driven techniques. There is a growing need for software engineers who can work effectively with simple, mathematical abstractions, and with practical notions of inference and proof. However, there is little clear guidance ? for educators, for managers, or for the engineers themselves ? as to what might comprise a basic education in FM. Neither the present IEEE/ACM Software Engineering Body of Knowledge (SWEBOK) nor the forthcoming Graduate Software Engineering Reference Curriculum (GSWERC) provide the kind of specific information that teachers and practitioners need to establish an adequate, balanced programme of learning in FM. Original contributions are solicited that provide insight, opinions, and suggestions for courses of action regarding the teaching FMs, including but not limited to the following aspects: * experiences of teaching FMs, both successful and unsuccessful; * educational resources including the use of books, case studies and the internet; * the education of weak and mathphobic students; * the integration, or otherwise, of FMs into the curriculum, including contributions to the definition of a Formal Methods Body of Knowledge (FMBOK); * the advantages of FM-trained graduates in the workplace; * changing attitudes towards FMs in students, academic staff and practitioners; * the necessary mathematical background. The conference proceedings will be published by Springer-Verlag in the LNCS series. Submissions may be up to 20 pages long using Springer's LNCS format. 3. Important dates ------------------ Please put the following dates in your diary: Submission deadline May 25, 2009 Notification of acceptance July 6, 2009 Final version August 3, 2009 4. How to submit ---------------- Papers for TFM2009 will be processed through the EasyChair conference management system.To submit your paper, please visit: http://www.easychair.org/conferences/?conf=tfm2009 5. Invited speakers ------------------- To be announced 6. 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) 7. Sponsorship ---------------------- TFM2009 is supported by FME, the Formal Methods Europe Association -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/haskell/attachments/20090515/8bfc96f3/attachment-0001.html From sergio.urinovsky at gmail.com Fri May 15 16:14:42 2009 From: sergio.urinovsky at gmail.com (Sergio Urinovsky) Date: Fri May 15 15:59:46 2009 Subject: [Haskell] ANN: RESTng 0.1 + RedHandlers 0.1 (request handlers) + YuiGrids 0.1 (yahoo grids) Message-ID: <628d7e880905151314w39aaf8a4k34491b19df525a33@mail.gmail.com> I'd like to announce the release of 3 new packages in hackage developed for a RESTful web framework called RESTng. They are experimental, the framework is incomplete and we are currently not actively developing it. There are several interesting features so we have decided to release them to share the ideas. *RESTng:* A framework for writing RESTful applications. Features that may be of interest are: * Resource presentation with annotations (implemented with Grids): Resources are annotated with related data and all ends in boxes using grids. i.e., an annotation for a book resource could be its author (the author resource), and also their comments, so the book, the author and their comments are shown in boxes. Annotations can have arbitrary data, but there are some generic ones already available. * Hierarchical URLs are automatically handled. i.e.: Can easily define that a book resource "has many" chapters, then these actions are defined: GET http://site/book/3/chapter/1 (get the chapter 1 of book with id 3) GET http://site/book/3/chapter/new (get a form for filling data for the new chapter for book with id 3) POST http://site/book/3/chapter/new (create a new chapter for the book with id 3) and so on for updates, list and delete actions * ORM generates tables from haskell records (currently only PostgreSQL is supported in the ORM). * Associations "has many" defined for models. Making available functions to query for the parent and children so you don't have to make the SQL query. * Associations can be polymorphic so a comment can be associated to different resources types. A record for a comment on a book, another for a comment on a post. * Tags, Ratings, Comments, Users and login and CMS-like form fields validations supported. *YuiGrids:* * Containers and boxes with layout hints are specified. i.e: - Box A: in left side bar, near the bottom, with this content .... - Container B: in the main part of the page, near the top, with 3 columns and these let's say 14 boxes inside ... (including Box C) - Box C: in the left column of three, with this other content ... * Tries to satisfy the layout hints. Not allways possible, i.e: if every box has layout hint to go near the bottom, some of them will go at the top. * Boxes can have CSS specifications. * All is rendered into Yahoo grids (http://developer.yahoo.com/yui/grids). Currently, the YuiGrids uses own contextual html combinators are also implemented in this package (called CxML here) instead of Text.XHtml for keeping track of html parts like inline CSSs to be rendered at the head. This can be improved to use the standard Text.XHtml library. *RedHandlers:* It is another HTTP request handlers library to build standalone web apps. * They deal with request data as usual. * There are also combinators for mapping part of the URL to public folders in the file system. * And one for sending files efficiently in the response (a fork of the HTTP library was necessary for this, included here). -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/haskell/attachments/20090515/4e062cc9/attachment.html From gmh at Cs.Nott.AC.UK Sat May 16 09:22:12 2009 From: gmh at Cs.Nott.AC.UK (Graham Hutton) Date: Sat May 16 09:16:35 2009 Subject: [Haskell] Programming in Haskell -- solutions to exercises Message-ID: <16599.1242480132@cs.nott.ac.uk> Dear all, For info, solutions to the exercises from "Programming in Haskell" are now available online, from: http://www.cs.nott.ac.uk/~gmh/book.html Best wishes, Graham +-----------------------------------------------------------------+ | Dr Graham Hutton Email : gmh@cs.nott.ac.uk | | Functional Programming Lab | | School of Computer Science Web : www.cs.nott.ac.uk/~gmh | | University of Nottingham | | Jubilee Campus, Wollaton Road Phone : +44 (0)115 951 4220 | | Nottingham NG8 1BB, UK | +-----------------------------------------------------------------+ This message has been checked for viruses but the contents of an attachment may still contain software viruses, which could damage your computer system: you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation. From Sven.Panne at aedion.de Sat May 16 11:08:50 2009 From: Sven.Panne at aedion.de (Sven Panne) Date: Sat May 16 10:53:48 2009 Subject: [Haskell] ANNOUNCE: OpenGL 2.2.3.0 Message-ID: <200905161708.50846.Sven.Panne@aedion.de> A new version of the OpenGL package has bee uploaded to Hackage. This is a feature release, containing the following changes and additions: * Added support for GL_ARB_copy_buffer, GL_ARB_depth_buffer_float, GL_ARB_half_float_pixel, GL_ARB_texture_rectangle, GL_EXT_packed_float and GL_EXT_texture_shared_exponent extensions. * Added missing parts of GL_ARB_vertex_shader extension. * Announce that we support MESA_ycbcr_texture and APPLE_ycbcr_422 extensions. * Improved generic vertex attribute array API. * Added support for unsigned integral uniforms. * Added more GLSL type tokens. * Added missing query for texture size limits. * Include missing aclocal.m4 and README in source distribution and removed unused Makefiles and prologue.txt. * Added 2 hacks to determine the Haskell equivalents of GLchar/GLintptr/GLsizeiptr with ancient GL headers. * Added Vector1, Vector4 and Vertex1 data types for orthogonality. * Added Functor, Applicative, Foldable , Traversable, Typeable and Typeable1 instances for all vertex attributes plus all possible derivable instances. Cheers, ? ?S. From byorgey at seas.upenn.edu Sat May 16 21:32:23 2009 From: byorgey at seas.upenn.edu (Brent Yorgey) Date: Sat May 16 21:17:21 2009 Subject: [Haskell] Haskell Weekly News: Issue 118 - May 16, 2009 Message-ID: <20090517013223.GA7220@seas.upenn.edu> --------------------------------------------------------------------------- Haskell Weekly News http://sequence.complete.org/hwn/20090516 Issue 118 - May 16, 2009 --------------------------------------------------------------------------- Welcome to issue 118 of HWN, a newsletter covering developments in the [1]Haskell community. Welcome to the Google Summer of Code special edition! I asked each of the five students with accepted GSoC projects to describe what they plan to work on. You'll find their descriptions below, with links to their blogs. And keep watching this space: as I did last summer, I plan to provide readers of the HWN with weekly updates on the progress of the GSoC projects. Google Summer of Code Haddock improvements! Isaac Dupree is [2]working on improvements to [3]Haddock. "Besides the various inevitable small fixes/improvements, my specific projects are to make cross-package documentation work, and to refactor the comment-parsing out of GHC and into the Haddock code-base." EclipseFP. Thomas Ten Cate will be [4]working on EclipseFP: "Compared to more mainstream languages, Haskell has surprisingly poor IDE support, even though its static typing system allows for much more help from the IDE than in the case of dynamic languages. For the Java language, a very mature and powerful IDE exists in the form of Eclipse. A plugin for Haskell support in Eclipse, called EclipseFP, is in the works, but its development has been standing still for some time. I will bring EclipseFP to a more usable state. For this, I will use the Scion IDE library, which interfaces with the GHC API, so that more advanced features like type inference become possible. I will also add support for Cabal. Hopefully, this type of IDE support will lead to greater acceptance and use of Haskell, and be useful for development as well as education." Improving the Haskell space profiling experience. Gergely Patai's [5]project will be focused on space profiling: "At the present moment, heap profiling Haskell programs means analysing logs off-line, using conversion tools to visualise data. However, instead of generating graphs with hp2ps, it should be possible to present the data in a graphical application in real time, which is useful while developing interactive applications, and it should also be made easier to export profiler output in different formats. The aim of the project is to create a set of tools that make heap profiling of Haskell programs easier in various ways. In particular, the following components are planned: a library to process profiler output in an efficient way and make it easily accessible for other tools in the future; a real-time visualiser (most likely using OpenGL); some kind of history manager to keep track of profiling data and make it possible to perform a comparative analysis of performance between different versions of your program; a maintainable and extensible replacement for hp2ps; and converters to provide input for other profiling tools." haskell-src-exts -> haskell-src. Niklas Broberg: "My [6]project, dubbed 'haskell-src-exts -> haskell-src' is really two projects in one wrapping. The first milestone is to bring my haskell-src-exts library to the point where it can supersede the old haskell-src library as the de facto package for haskell source manipulation. The main problem that I need to solve is to implement a scheme that lets the user decide what extensions to recognize when parsing a source document. Currently, haskell-src-exts assumes all extensions are always on, which means that some valid H98 programs will be incorrectly parsed due to stolen syntax by e.g. Template Haskell. The second milestone is to extend the focus from source code to full source documents, and implement a scheme for handling comments as well. The ultimate goal here is to have (pretty . parse) == id, to allow haskell-src-exts to be run on source documents without changing them. This would open up for some really interesting applications, in particular refactoring tools that could automatically apply transformations to a source document while still preserving comments." darcs. Last but not least, Petr Rockai will be [7]working on improvements to [8]darcs: "My project revolves around the idea of fast darcs for medium and large repositories. Three are quite a few haskellers who use darcs in their day to day (haskell) work. A fair number of hackage packages is maintained in darcs. Even though many of these repositories are of a relatively modest size, there is a number of relatively large real-world darcs repositories out there. The primary target of the project is to improve scalability of darcs for large working trees. This should help those users with existing large darcs repositories, as well as encourage people to use darcs for larger projects, whenever the development model fits. I intend to make the darcs working tree handling comparably fast to git. And then, git is written in C, hand-tuned for a specific operating system. And unlike mercurial, I do not plan to introduce a C library for low level routines. So let's prove that Haskell is up to the challenge." Announcements 2009.2.1: version freeze for Haskell Platform approaching on Monday. Don Stewart [9]announced that the last chance to propose bug fix version bumps to be included in the first minor release (2009.2.1) of the [10]Haskell Platform is Monday. Please ensure that, as maintainer for one of the 2009.2.x series of packages, any bug fixes are in place by Monday, or they'll be bumped to the next platform release. OpenGL 2.2.3.0. Sven Panne [11]announced the release of a new version of the [12]OpenGL package. This is a feature release, containing a number of changes and additions. Programming in Haskell -- solutions to exercises. Graham Hutton [13]announced that solutions to the exercises from "Programming in Haskell" are now [14]available online. Bookshelf. Emil Axelsson [15]announced the first release of [16]Bookshelf, a simple document organizer with some wiki functionality. Documents in a directory tree are displayed as a set of HTML pages. Documents in Markdown format are converted to HTML automatically using Pandoc. Request for feedback: HaskellDB + HList. Brian Bloniarz [17]requested feedback on a branch of [18]HaskellDB which replaces the home-grown Record code with HList records. RESTng 0.1 + RedHandlers 0.1 (request handlers) + YuiGrids 0.1 (yahoo grids). Sergio Urinovsky [19]announced the release of three new packages developed for a RESTful web framework called RESTng: [20]RESTng, [21]redHandlers, and [22]yuiGrid. #haskell.pt IRC channel. Marco T?lio Gontijo e Silva [23]announced the formation of the #haskell.pt channel on irc.freenode.net for Portuguese-speaking Haskellers. Fun with type functions. Simon Peyton-Jones [24]requested feedback on a [25]draft tutorial paper about type families (aka associated data types, or type functions). Discussion conflicting variable definitions in pattern. Martin Hofmann [26]asked about the possibility of repeated variables in patterns, resulting in an interesting discussion. Removing mtl from the Haskell Platform. Russell O'Connor began a [27]discussion around the possibility of removing the mtl package from the Haskell Platform, and replacing it with something more modern. Jobs PhD position in Nottingham. vxc [28]announced the availability of a new PhD position in the Functional Programming Laboratory at the University of Nottingham. The topic of research for the project is "Programming and Reasoning with Infinite Structures": it consists in the theoretical study and development of software tools for coinductive types and structured corecursion. Blog noise [29]Haskell news from the [30]blogosphere. Blog posts from people new to the Haskell community are marked with >>>, be sure to welcome them! * Leif Frenzel: [31]EclipseFP is going to be reloaded. * Tom Schrijvers: [32]Dictionaries: Eager or Lazy Type Class Witnesses?. Can type class dictionaries be optimized by treating them strictly? * Real-World Haskell: [33]RWH Now In The Kindle Store. * JP Moresmau: [34]Adding a Writer Monad transformer. * Ketil Malde: [35]Using a phantom type to label different kinds of sequences. * Ivan Lazar Miljenovic: [36]Functions All The Way Down. Ivan's talk on lambda calculus. * Thomas M. DuBuisson: [37]Fun with Distributed Hash Tables. Distributed hash tables in Haskell. * Darcs: [38]darcs joins the Software Freedom Conservancy. * Mark Wassell: [39]Just Grapefruit. Mark's first impressions of the Grapefruit library. * Roman Cheplyaka: [40]LambdaCube accepted to JSSP. Jane Street is funding development of the LambdaCube 3D rendering engine. * >>> Joel Neely: [41]BuilderBuilder: The Model in Haskell. * Brandon Simmons: [42]directory-tree module released. * >>> Sadek Drobi: [43]Paul Hudak on Haskell. An interview with Paul Hudak. * >>> dayvan cowboy: [44]Blast from the past: a stochastic monad in Haskell. * Matthew Podwysocki: [45]Type Classes Are The Secret Sauce . * Remco Niemeijer: [46]Programming Praxis - Priority Queues. A priority queue implementation using a leftist heap. * >>> Y. Liang: [47]A Lambda Calculus Interpreter in Haskell. Quotes of the Week * seydar: what's the nick of the drug addict who wrote learn you a haskell? and i mean that in the best possible way. * roconnor: String is kinda a poor data type for strings. * kyevan: I had a haskell-related dream last night. Sorta. I was beaten up by some kids because I tried to go somewhere my type didn't match, apparently. * edwardk: Haskell 98 is the Windows 98 of standards ;) * PhilipWadler: I'm delighted to learn that "a monad is a monoid in the category of endofunctors"---anyone know where I can find a good tutorial? * David Leimbach: Don't play with your monads... eventually you'll go bind. About the Haskell Weekly News New editions are posted to [48]the Haskell mailing list as well as to [49]the Haskell Sequence and [50]Planet Haskell. [51]RSS is also available, and headlines appear on [52]haskell.org. To help create new editions of this newsletter, please see the information on [53]how to contribute. Send stories to byorgey at cis dot upenn dot edu. The darcs repository is available at darcs get [54]http://code.haskell.org/~byorgey/code/hwn/ . References 1. http://haskell.org/ 2. http://haddock2009.wordpress.com/ 3. http://www.haskell.org/haddock/ 4. http://eclipsefp.wordpress.com/ 5. http://just-bottom.blogspot.com/ 6. http://nibrofun.blogspot.com/ 7. http://web.mornfall.net/tag/darcs.html 8. http://darcs.net/ 9. http://article.gmane.org/gmane.comp.lang.haskell.libraries/11120 10. http://trac.haskell.org/haskell-platform/ 11. http://article.gmane.org/gmane.comp.lang.haskell.general/17194 12. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/OpenGL 13. http://article.gmane.org/gmane.comp.lang.haskell.general/17193 14. http://www.cs.nott.ac.uk/~gmh/book.html 15. http://article.gmane.org/gmane.comp.lang.haskell.general/17182 16. http://www.cs.chalmers.se/~emax/bookshelf/Manual.shelf.html 17. http://article.gmane.org/gmane.comp.lang.haskell.cafe/58615 18. http://haskelldb.sourceforge.net/ 19. http://article.gmane.org/gmane.comp.lang.haskell.cafe/58589 20. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/RESTng 21. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/redHandlers 22. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/yuiGrid 23. http://article.gmane.org/gmane.comp.lang.haskell.cafe/58581 24. http://article.gmane.org/gmane.comp.lang.haskell.cafe/58522 25. http://haskell.org/haskellwiki/Simonpj/Talk:FunWithTypeFuns 26. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/58560 27. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/58430 28. http://article.gmane.org/gmane.comp.lang.haskell.cafe/58526 29. http://planet.haskell.org/ 30. http://haskell.org/haskellwiki/Blog_articles 31. http://cohatoe.blogspot.com/2009/05/eclipsefp-is-going-to-be-reloaded.html 32. http://tomschrijvers.blogspot.com/2009/05/dictionaries-eager-or-lazy-type-class.html 33. http://www.realworldhaskell.org/blog/2009/05/15/rwh-now-in-the-kindle-store/ 34. http://jpmoresmau.blogspot.com/2009/05/adding-writer-monad-transformer.html 35. http://blog.malde.org/index.php/2009/05/14/using-a-phantom-type-to-label-different-kinds-of-sequences/ 36. http://ivanmiljenovic.wordpress.com/2009/05/14/functions-all-the-way-down/ 37. http://tommd.wordpress.com/2009/05/13/fun-with-distributed-hash-tables/ 38. http://blog.darcs.net/2009/05/darcs-joins-software-freedom.html 39. http://www.poundstone.org/blog/?p=165 40. http://physics-dph.blogspot.com/2009/05/lambdacube-accepted-to-jssp.html 41. http://joelneely.wordpress.com/2009/05/09/builderbuilder-the-model-in-haskell/ 42. http://coder.bsimmons.name/blog/2009/05/directory-tree-module-released/ 43. http://www.infoq.com/interviews/paul-hudak-haskell-Qcon-SF-08 44. http://dayvancowboy.org/2009/05/08/blast-from-the-past-a-stochastic-monad-in-haskell/ 45. http://codebetter.com/blogs/matthew.podwysocki/archive/2009/05/08/type-classes-are-the-secret-sauce.aspx 46. http://bonsaicode.wordpress.com/2009/05/05/programming-praxis-priority-queues/ 47. http://yiopposite.blogspot.com/2009/05/lambda-calculus-interpreter-in-haskell.html 48. http://www.haskell.org/mailman/listinfo/haskell 49. http://sequence.complete.org/ 50. http://planet.haskell.org/ 51. http://sequence.complete.org/node/feed 52. http://haskell.org/ 53. http://haskell.org/haskellwiki/HWN 54. http://code.haskell.org/~byorgey/code/hwn/ From jason.dusek at gmail.com Sun May 17 09:45:25 2009 From: jason.dusek at gmail.com (Jason Dusek) Date: Sun May 17 09:30:18 2009 Subject: [Haskell] [ANN] Safe Lazy IO in Haskell In-Reply-To: <1237574414-sup-7006@ausone.local> References: <1237574414-sup-7006@ausone.local> Message-ID: <42784f260905170645n6316a654me1ecf21a60b3de2@mail.gmail.com> From the documentation: " LI could be a strict monad and a strict applicative functor. However it is not a lazy monad nor a lazy applicative functor as required Haskell. Hopefully it is a lazy (pointed) functor at least. I'd like to understand this better -- how is LI incompatible with being a lazy monad, exactly? -- Jason Dusek From tracy.wadleigh at gmail.com Sun May 17 20:48:49 2009 From: tracy.wadleigh at gmail.com (Tracy Wadleigh) Date: Sun May 17 20:33:37 2009 Subject: [Haskell] ANNOUNCE: mathlink-2.0.0.3 Message-ID: All: mathlink is a library for writing Mathematica packages in Haskell. One simply writes some functions of type: (MLGet a, MLPut b) => a -> IO b and provides a package specification in a simple DSL that mimics that of Mathematica's mprep utility. The result is a program that exposes functions that can be called from Mathematica. This is a complete rewrite of my original implementation and more closely captures the functionality I originally intended. I've only tested it on my own platform (64-bit Linux), but I've taken pains to make sure the code should run on any platform. (The only real issue in the code is picking the right functions to call when marshaling Ints.) Please report any tweaks required to get it to work on your platform. (That is, of course, only if, in fact, there are any other users out there. Right now, as far as I know, I'm it.) I'd also just like to hear from any Haskellers out there that also use Mathematica on a regular basis. Ping me if you're one. --Tracy -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/haskell/attachments/20090517/ca1fbcfb/attachment.html From marlowsd at gmail.com Mon May 18 07:34:53 2009 From: marlowsd at gmail.com (Simon Marlow) Date: Mon May 18 07:19:45 2009 Subject: [Haskell] Re: CFT: Haskell Implementers' Workshop 2009 (co-located with ICFP) In-Reply-To: <49EDE8F3.4070403@gmail.com> References: <49EDE8F3.4070403@gmail.com> Message-ID: <4A1147DD.4090403@gmail.com> On 21/04/2009 16:40, Simon Marlow wrote: > Call for Talks > ACM SIGPLAN Haskell Implementers' Workshop > > http://haskell.org/haskellwiki/HaskellImplementorsWorkshop > Edinburgh, Scotland, September 3, 2009 Correction: the date of the workshop is September 5, not September 3. Sorry for any confusion! Cheers, Simon From nicolas.pouillard at gmail.com Mon May 18 13:30:08 2009 From: nicolas.pouillard at gmail.com (Nicolas Pouillard) Date: Mon May 18 13:16:30 2009 Subject: [Haskell] [ANN] Safe Lazy IO in Haskell In-Reply-To: <42784f260905170645n6316a654me1ecf21a60b3de2@mail.gmail.com> References: <1237574414-sup-7006@ausone.local> <42784f260905170645n6316a654me1ecf21a60b3de2@mail.gmail.com> Message-ID: <1242667496-sup-9738@ausone.local> Excerpts from Jason Dusek's message of Sun May 17 15:45:25 +0200 2009: > From the documentation: > > " LI could be a strict monad and a strict applicative functor. > However it is not a lazy monad nor a lazy applicative > functor as required Haskell. Hopefully it is a lazy > (pointed) functor at least. The type I would need for bind is this one: (>>=) :: NFData sa => LI sa -> (sa -> LI b) -> LI b And because of the NFData constraint this type bind is less general than the required one. BTW this operator is exported as (!>>=) by System.IO.Lazy.Input.Extra. By using the rmonad we could add this NFData constraint, but that's not like having a Monad instance directly. Best regards, -- Nicolas Pouillard From johan.nordlander at ltu.se Tue May 19 12:11:09 2009 From: johan.nordlander at ltu.se (Johan Nordlander) Date: Tue May 19 12:01:20 2009 Subject: [Haskell] ANNOUNCE: The Timber compiler 1.0.3 Message-ID: ----------------------------------- ANNOUNCE: The Timber compiler 1.0.3 ----------------------------------- We're pleased to announce the availability of version 1.0.3 of the Timber compiler. Timber is a modern language for building event-driven systems, based around the notion of reactive objects. It is also a purely functional language derived from Haskell, although with a strict evaluation semantics. The Timber compiler currently runs on Linux and MacOS X platforms, but uses gcc as its back-end so it should be easily portable to most POSIX-like environments. This is a bug fix release that is intended to pave the way for a more substantial version currently under development. Version 1.0.3 can be summarized as "improved overall stability, with very minor added features". For more info, detailed release notes, language documentation, source code access and binary installers, see http://timber-lang.org/ Or simply grab the timberc package at http://hackage.haskell.org/. *** A dedicated Timber mailing list hosted at haskell.org is now also available. *** See link at http://timber-lang.org/ for subscription info. The Timber Team through Johan Nordlander From lemming at henning-thielemann.de Wed May 20 09:12:14 2009 From: lemming at henning-thielemann.de (Henning Thielemann) Date: Wed May 20 08:57:21 2009 Subject: [Haskell] HaL4: Haskell-Treffen in Halle/Saale, 12. Juni 2009 - Programm und Anmeldung Message-ID: Kindly excuse the German noise, please ... Liebe Haskell-Freunde! Das Programm fuer unser Haskell-Treffen steht jetzt so gut wie fest und man kann sich online anmelden. --------------------------------------------- HaL4 : Haskell - Tutorial + Workshop + Party am Freitag, dem 12. Juni 2009, in Halle/Saale --------------------------------------------- Das traditionsreiche HaL-Treffen bietet eine gute Mischung von Haskell-bezogenen Themen aus Forschung, Anwendung und Lehre mit vielen M?glichkeiten zu Diskussion und Unterhaltung bei der anschlie?enden Party. Der Workshop wird in diesem Jahr erg?nzt durch Tutorien f?r Haskell-Ein- und Umsteiger. Diesmal findet das Treffen in Halle/Saale im Institut f?r Informatik der Martin-Luther-Universit?t Halle-Wittenberg statt. Wir bieten: 10 Uhr: Entwurfsmuster vom Kopf auf die Fuesse gestellt: data, fold und laziness statt Kompositum, Visitor, Iterator. Johannes Waldmann, HTWK Leipzig. 11 Uhr: CAL/openquark: (openquark.org) Haskell + Java => CAL, eine praktische Einfuehrung (Eclipse als CAL-IDE, Excel lesen, typsicheres SQL = LINQ fuer Java?) Alf Richter, iba Consulting, Leipzig 12 Uhr: Wie man das Semikolon ueberlaedt: Code-Strukturierung und -Wiederverwendung durch Monaden 15 Uhr: Hayoo! Haskell API Search Timo Huebel, FH Wedel 16 Uhr: Haskell als reine Spezifikationssprache Baltasar Trancon y Widemann, Universit Bayreuth 17 Uhr: Funktional-logische Programmierung mit Curry Jan Christiansen, Universitaet Kiel 19 - 22 Uhr: Grillparty Wir freuen uns auf rege Teilnahme sowie spannende Vortr?ge mit hei?en Diskussionen und bitten um Anmeldung bis zum 31. Mai. Weitere Informationen auf ?http://www.iba-cg.de/hal4.html Beste Gruesse Henning Thielemann From byorgey at seas.upenn.edu Thu May 21 17:39:08 2009 From: byorgey at seas.upenn.edu (Brent Yorgey) Date: Thu May 21 17:22:48 2009 Subject: [Haskell] ANN: Haskell Hackathon in Philadelphia Message-ID: <20090521213908.GA30134@seas.upenn.edu> Hi all! We are in the early stages of planning a Haskell hackathon/get together, Hac ?, to be held this summer at the University of Pennsylvania, in Philadelphia. Right now we're looking at two possible dates: June 19-21 or July 24-26 If you might be interested in attending, please add your name on the wiki page: http://www.haskell.org/haskellwiki/Hac_%CF%86 You can also note whether either of those dates absolutely doesn't work for you. (If you don't have an account on the wiki, you can email Ashley Yakeley for an account [1], or feel free to just respond to this email.) Expect more details (such as a nailed-down date) soon, once we have gauged the level of interest. Hope to see you in Philadelphia! Brent (byorgey) Daniel Wagner (dmwit) [1] http://haskell.org/haskellwiki/HaskellWiki:New_accounts From jas at di.uminho.pt Fri May 22 09:20:37 2009 From: jas at di.uminho.pt (=?ISO-8859-1?Q?Jo=E3o?= Saraiva) Date: Fri May 22 09:05:13 2009 Subject: [Haskell] GTTSE 2009 --- Last Call For Participation (06-11 July 2009) Message-ID: <1242998437.3516.50.camel@localhost.localdomain> GTTSE 2009, 06-11 July, 2009, Braga, Portugal 3rd International Summer School on Generative and Transformational Techniques in Software Engineering http://gttse.wikidot.com/ *********************************** ** ** ** 8 Tutorials ** ** 7 Short Tutorials ** ** Participants Workshop ** ** ** ** Registration Deadline: June 5 ** ** ** *********************************** SCOPE AND FORMAT The summer school brings together PhD students, lecturers, technology presenters, as well as other researchers and practitioners who are interested in the generation and the transformation of programs, data, models, meta-models, and documentation. This concerns many areas of software engineering: software reverse and re-engineering, model-driven approaches, automated software engineering, generic language technology, to name a few. These areas differ with regard to the specific sorts of meta-models (or grammars, schemas, formats etc.) that underlie the involved artifacts, and with regard to the specific techniques that are employed for the generation and the transformation of the artifacts. The tutorials are given by renowned representatives of complementary approaches and problem domains. Each tutorial combines foundations, methods, examples, and tool support. The program of the summer school also features invited technology presentations, which present setups for generative and transformational techniques. These presentations complement each other in terms of the chosen application domains, case studies, and the underlying concepts. The program of the school also features a participants workshop. All summer school material will be collected in proceedings that are handed out to the participants. Formal proceedings will be compiled after the summer school, where all contributions are subjected to additional reviewing. The formal proceedings of the previous two instances of the summer school (2005 and 2007) were published as volumes 4143 and 5235 in the Lecture Notes in Computer Science series of Springer-Verlag. TUTORIALS * Software Product Line Refactoring Paulo Borba, Univ. Federal de Pernambuco, Recife, Brazil * The TXL Source Transformation Cookbook James R. Cordy, Queen's University, Kingston, Canada * Chasing Diagrams in the Mapping Forests of Model Transformations Zinovy Diskin, Univ. of Waterloo and Univ. of Toronto, Canada * Generating Language Tools with JastAdd G?rel Hedin, Lund Institute of Technology, Sweden. * Model Driven Language Engineering with Kermeta Jean-Marc J?z?quel, IRISA, Rennes, France * Rascal: Meta-programming Made Easy Paul Klint, CWI and Universiteit van Amsterdam, Netherlands * Sourcerer: Slicing and Dicing Large Amounts of Open Source Code Cristina Videira Lopes, University of California, Irvine, USA * The Theory and Practice of Modeling Language Design for Model-Based Engineering Bran Selic, Malina Software Corp., Canada SHORT TUTORIALS * The 'Arch?ology' of Transformations Michel Wermelinger and Yijun Yu, The Open University. UK * Compilation for Embedded and Reconfigurable Computing Architectures Jo?o M. P. Cardoso, University of Porto, Portugal * Lightweight Domain-Specific Language Processing in Kiama Anthony Sloane, Macquarie University, Australia * Genesys: Service-Oriented Construction of Property Conform Code Generators Tiziana Margaria, University of Potsdam, Germany * The Need for Early Aspects Ana Moreira, Universidade Nova de Lisboa, Portugal * Model Transformation Chains for Model-Driven Performance Engineering Mathias Fritzsche, SAP Research * Research 2.0 and Software Engineering 2.0 Jean-Marie Favre and Denis Avrilionis, University of Grenoble, France ORGANIZATION COMMITTEE * Jo?o M. Fernandes (Program Co-Chair), Universidade do Minho, Portugal * Ralf L?mmel (Program Co-Chair), Universit?t Koblenz-Landau, Germany * Jo?o Saraiva, Universidade do Minho, Portugal * Joost Visser, Software Improvement Group, The Netherlands ADDITIONAL INFORMATION For additional information on the program, venue, and other details of the summer school, please consult the web page: http://gttse.wikidot.com/ Note that registration for the summer school will open in February 2009. Before that time, those who wish to be notified personally when registration opens are welcome to send an expression of interest to gttse2009 AT di.uminho.pt. From byorgey at seas.upenn.edu Sat May 23 17:27:04 2009 From: byorgey at seas.upenn.edu (Brent Yorgey) Date: Sat May 23 17:10:43 2009 Subject: [Haskell] Haskell Weekly News: Issue 119 - May 23, 2009 Message-ID: <20090523212704.GA19247@seas.upenn.edu> --------------------------------------------------------------------------- Haskell Weekly News http://sequence.complete.org/hwn/20090523 Issue 119 - May 23, 2009 --------------------------------------------------------------------------- Welcome to issue 119 of HWN, a newsletter covering developments in the [1]Haskell community. Announcements GHC porting works again. Ian Lynagh [2]announced that the [3]instructions for porting GHC to a new architecture now work again with the HEAD. If you get stuck when trying to do a port, feel free to ask on cvs-ghc at haskell.org or in #ghc on freenode. 6.10.4 plans. Ian Lynagh [4]announced plans for a 6.10.4 bugfix release of GHC. If you know of any bugs that you think should be looked into for 6.10.4, please let the development team know. The Timber compiler 1.0.3. Johan Nordlander [5]announced the release of version 1.0.3 of the Timber compiler. Timber is a modern language for building event-driven systems, based around the notion of reactive objects. It is also a purely functional language derived from Haskell, although with a strict evaluation semantics. 1.0.3 is a bug fix release, paving the way for future feature releases. mathlink-2.0.0.3. Tracy Wadleigh [6]announced the release of [7]mathlink, a library for writing Mathematica packages in Haskell. One simply writes some functions of type (MLGet a, MLPut b) => a -> IO b and provides a package specification in a simple DSL; the result is a program that exposes functions that can be called from Mathematica. text 0.2, fast and comprehensive Unicode support using stream fusion. Bryan O'Sullivan [8]announced the availability of [9]text 0.2, an efficient Unicode text library that uses stream fusion. New and notable in this release is support for lazy, chunked text, so you can process text files far larger than memory using a small footprint. Haskell Hackathon in Philadelphia. Brent Yorgey [10]announced Hac phi, a Haskell hackathon to be held in Philadelphia in July. Check out the [11]wiki page and add your name if you are interested in attending! More details to follow soon. feed2twitter 0.2 & hackage2twitter 0.2.1. Tom Lokhorst [12]announced the first release of [13]feed2twitter, a library for sending posts from a news feed to Twitter. EsotericBot 0.0.1. spoon [14]announced the release of [15]Esotericbot, a sophisticated, lightweight IRC bot, written in Haskell. atom 0.0.4. Tom Hawkins [16]announced a new release of [17]atom; this version adds an array datatype (A a). Hieroglyph-2.21 and buster, buster-gtk, and buster-network-2.0. Jeff Heard [18]announced new releases of [19]Hieroglyph, [20]buster, [21]buster-gtk, and [22]buster-network, with tons of changes; read Jeff's original announcement for details. TxtSushi 0.1. Keith Sheppard [23]announced the first version of [24]TxtSushi, a collection of command line utilities for processing tab-delimited and CSV files. It includes a utility for doing SQL SELECTs on flat files. Discussion Should exhaustiveness testing be on by default? Don Stewart started a [25]discussion, prompted by a [26]recent blog post, on whether coverage checking should be on by default, and other issues relating to compiler warnings and coding style. Proposal on the platform API policy question. Duncan Coutts [27]proposed a general policy for Haskell Platform release cycles and versioning, based on input from previous discussions. the problem of design by negation. Michael Mossey began a [28]discussion on software design philosophies. "Design by negation" considered harmful? Haskell in 3 Slides. John Van Enk [29]asked for ideas on a 3 to 4 slide introduction to Haskell. What do YOU think should be on those slides? Blog noise [30]Haskell news from the [31]blogosphere. Blog posts from people new to the Haskell community are marked with >>>, be sure to welcome them! * Bryan O'Sullivan: [32]Streaming Unicode support for Haskell: text 0.2. * Alex McLean: [33]Haskell hack. Music generation in Haskell. * Well-Typed.Com: [34]Building plugins as Haskell shared libs. A sneak preview of building Haskell shared libraries on Linux. * LHC Team: [35]New release: LHC 0.8. * Mark Wassell: [36]Grapefruit And Glade. * Conal Elliott: [37]The C language is purely functional. * >>> Will Donnelly: [38]Haskell: A Pretty Nice Language. * FP-Syd: [39]Sydney FP Group: FP-Syd #14.. * Dan Piponi (sigfpe): [40]Trace Diagrams with Monads. Quotes of the Week * roconnor: Damn it, I don't know how to make this as slow as python. * koeien: Let's register it [monomorphismrestriction.com] to prevent it from being used ;) * Elly: Rule 1 of malloc is the same as rule 1 of air travel: "Attempt at all costs to keep your number of landings equal to your number of takeoffs." * monochrom: I was trying to design a sensible language... then I downloaded ghc. * conal: The C ADT is implemented simply as String (or char *, for you type theorists, using a notation from Kleene) * Will Donnelly: monads are okay after a bit (though I'm still a little suspicious of them) About the Haskell Weekly News New editions are posted to [41]the Haskell mailing list as well as to [42]the Haskell Sequence and [43]Planet Haskell. [44]RSS is also available, and headlines appear on [45]haskell.org. To help create new editions of this newsletter, please see the information on [46]how to contribute. Send stories to byorgey at cis dot upenn dot edu. The darcs repository is available at darcs get [47]http://code.haskell.org/~byorgey/code/hwn/ . References 1. http://haskell.org/ 2. http://article.gmane.org/gmane.comp.lang.haskell.glasgow.user/16984 3. http://hackage.haskell.org/trac/ghc/wiki/Building/Porting 4. http://article.gmane.org/gmane.comp.lang.haskell.glasgow.user/16972 5. http://article.gmane.org/gmane.comp.lang.haskell.general/17200 6. http://article.gmane.org/gmane.comp.lang.haskell.general/17197 7. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/mathlink 8. http://article.gmane.org/gmane.comp.lang.haskell.cafe/58862 9. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/text 10. http://article.gmane.org/gmane.comp.lang.haskell.cafe/58817 11. http://www.haskell.org/haskellwiki/Hac_%CF%86 12. http://article.gmane.org/gmane.comp.lang.haskell.cafe/58801 13. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/feed2twitter 14. http://article.gmane.org/gmane.comp.lang.haskell.cafe/58796 15. http://www.killersmurf.com/projects/esotericbot 16. http://article.gmane.org/gmane.comp.lang.haskell.cafe/58752 17. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/atom 18. http://article.gmane.org/gmane.comp.lang.haskell.cafe/58683 19. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Hieroglyph 20. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/buster 21. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/buster-gtk 22. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/buster%2Dnetwork 23. http://article.gmane.org/gmane.comp.lang.haskell.cafe/58635 24. http://www.keithsheppard.name/txt-sushi 25. http://thread.gmane.org/gmane.comp.lang.haskell.glasgow.user/16926 26. http://ocaml.janestreet.com/?q=node/64 27. http://thread.gmane.org/gmane.comp.lang.haskell.libraries/11145 28. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/58784 29. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/58664 30. http://planet.haskell.org/ 31. http://haskell.org/haskellwiki/Blog_articles 32. http://www.serpentine.com/blog/2009/05/22/streaming-unicode-support-for-haskell-text-02/ 33. http://yaxu.org/haskell-hack/ 34. http://blog.well-typed.com/2009/05/buildings-plugins-as-haskell-shared-libs/ 35. http://lhc-compiler.blogspot.com/2009/05/new-release-lhc-08.html 36. http://www.poundstone.org/blog/?p=231 37. http://conal.net/blog/posts/the-c-language-is-purely-functional/ 38. http://willdonnelly.wordpress.com/2009/05/19/haskell-a-pretty-nice-language/ 39. http://www.mega-nerd.com/erikd/Blog/FP-Syd/fp-syd-14.html 40. http://blog.sigfpe.com/2009/05/trace-diagrams-with-monads.html 41. http://www.haskell.org/mailman/listinfo/haskell 42. http://sequence.complete.org/ 43. http://planet.haskell.org/ 44. http://sequence.complete.org/node/feed 45. http://haskell.org/ 46. http://haskell.org/haskellwiki/HWN 47. http://code.haskell.org/~byorgey/code/hwn/ From simon at joyful.com Sat May 23 20:18:47 2009 From: simon at joyful.com (Simon Michael) Date: Sat May 23 20:03:23 2009 Subject: [Haskell] ANN: hledger 0.5 released Message-ID: I'm pleased to announce the hledger 0.5 release on hackage. hledger is a (mostly) text-mode double-entry accounting tool that generates precise activity and balance reports from a plain text journal file. It is a partial clone, in haskell, of John Wiegley's excellent ledger. hledger implements a subset of ledger's commands and options, and also provides some new ones. For basic use you can use hledger and ledger pretty much interchangeably on the same data files. For screenshots, live demo, docs etc. see http://hledger.org . Release notes are at http://hledger.org/NEWS , and below. To install: cabal install hledger [-fvty] [-fhapps]. I'd like to hear feedback, especially if you are having trouble getting started. Happy tracking! - Simon (sm on #ledger) 2009/05/23 hledger 0.5 released ------------------------------- Changes: * the vty flag is disabled by default again, to ease installation on windows * use ledger 3 terminology: a ledger contains transactions which contain postings * new "add" command prompts for transactions interactively and adds them to the ledger * new "convert" command transforms bank CSV exports to ledger format, with rule-based cleanup * new "histogram" command shows transaction counts per day or other reporting interval * most commands now work properly with UTF8-encoded text (Sergey Astanin) * invoking as "hours" is now less different: it just uses your timelog, not your ledger * --quarterly/-Q option summarises by quarter * --uncleared/-U option looks only at uncleared transactions * be more accurate about checking balanced amounts, don't rely on display precision * enforce balancing for bracketed virtual postings * fix bug in eliding of posting amounts * don't show trailing spaces on amountless postings * parse null input as an empty ledger * don't treat comments as part of transaction descriptions * require some postings in ledger transactions * require a non-empty description in ledger transactions * don't fail when matching an empty pattern, as in "not:" * make the web server handle the null path * code, api and documentation updates * add a contributor agreement/list Release contributors: * Simon Michael * Sergey Astanin Release stats: * Days since last release: 51 * Committers: 2 * Commits: 101 * Lines of non-test code: 2795 * Known errors: 0 * Tests: 76 * Performance: || hledger-0.4 | hledger-0.5 | ledger =========================++=============+=============+======= -f sample.ledger balance || 0.01 | 0.01 | 0.06 -f 1000.ledger balance || 1.33 | 1.46 | 0.53 -f 10000.ledger balance || 15.28 | 16.35 | 4.67 -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/haskell/attachments/20090523/5d11cb82/attachment.html From bulat.ziganshin at gmail.com Sat May 23 17:27:04 2009 From: bulat.ziganshin at gmail.com (Brent Yorgey) Date: Sun May 24 02:45:38 2009 Subject: [Haskell] [Haskell-cafe] Haskell Weekly News: Issue 119 - May 23, 2009 Message-ID: <20090523212704.GA19247@seas.upenn.edu> --------------------------------------------------------------------------- Haskell Weekly News http://sequence.complete.org/hwn/20090523 Issue 119 - May 23, 2009 --------------------------------------------------------------------------- Welcome to issue 119 of HWN, a newsletter covering developments in the [1]Haskell community. Announcements GHC porting works again. Ian Lynagh [2]announced that the [3]instructions for porting GHC to a new architecture now work again with the HEAD. If you get stuck when trying to do a port, feel free to ask on cvs-ghc at haskell.org or in #ghc on freenode. 6.10.4 plans. Ian Lynagh [4]announced plans for a 6.10.4 bugfix release of GHC. If you know of any bugs that you think should be looked into for 6.10.4, please let the development team know. The Timber compiler 1.0.3. Johan Nordlander [5]announced the release of version 1.0.3 of the Timber compiler. Timber is a modern language for building event-driven systems, based around the notion of reactive objects. It is also a purely functional language derived from Haskell, although with a strict evaluation semantics. 1.0.3 is a bug fix release, paving the way for future feature releases. mathlink-2.0.0.3. Tracy Wadleigh [6]announced the release of [7]mathlink, a library for writing Mathematica packages in Haskell. One simply writes some functions of type (MLGet a, MLPut b) => a -> IO b and provides a package specification in a simple DSL; the result is a program that exposes functions that can be called from Mathematica. text 0.2, fast and comprehensive Unicode support using stream fusion. Bryan O'Sullivan [8]announced the availability of [9]text 0.2, an efficient Unicode text library that uses stream fusion. New and notable in this release is support for lazy, chunked text, so you can process text files far larger than memory using a small footprint. Haskell Hackathon in Philadelphia. Brent Yorgey [10]announced Hac phi, a Haskell hackathon to be held in Philadelphia in July. Check out the [11]wiki page and add your name if you are interested in attending! More details to follow soon. feed2twitter 0.2 & hackage2twitter 0.2.1. Tom Lokhorst [12]announced the first release of [13]feed2twitter, a library for sending posts from a news feed to Twitter. EsotericBot 0.0.1. spoon [14]announced the release of [15]Esotericbot, a sophisticated, lightweight IRC bot, written in Haskell. atom 0.0.4. Tom Hawkins [16]announced a new release of [17]atom; this version adds an array datatype (A a). Hieroglyph-2.21 and buster, buster-gtk, and buster-network-2.0. Jeff Heard [18]announced new releases of [19]Hieroglyph, [20]buster, [21]buster-gtk, and [22]buster-network, with tons of changes; read Jeff's original announcement for details. TxtSushi 0.1. Keith Sheppard [23]announced the first version of [24]TxtSushi, a collection of command line utilities for processing tab-delimited and CSV files. It includes a utility for doing SQL SELECTs on flat files. Discussion Should exhaustiveness testing be on by default? Don Stewart started a [25]discussion, prompted by a [26]recent blog post, on whether coverage checking should be on by default, and other issues relating to compiler warnings and coding style. Proposal on the platform API policy question. Duncan Coutts [27]proposed a general policy for Haskell Platform release cycles and versioning, based on input from previous discussions. the problem of design by negation. Michael Mossey began a [28]discussion on software design philosophies. "Design by negation" considered harmful? Haskell in 3 Slides. John Van Enk [29]asked for ideas on a 3 to 4 slide introduction to Haskell. What do YOU think should be on those slides? Blog noise [30]Haskell news from the [31]blogosphere. Blog posts from people new to the Haskell community are marked with >>>, be sure to welcome them! * Bryan O'Sullivan: [32]Streaming Unicode support for Haskell: text 0.2. * Alex McLean: [33]Haskell hack. Music generation in Haskell. * Well-Typed.Com: [34]Building plugins as Haskell shared libs. A sneak preview of building Haskell shared libraries on Linux. * LHC Team: [35]New release: LHC 0.8. * Mark Wassell: [36]Grapefruit And Glade. * Conal Elliott: [37]The C language is purely functional. * >>> Will Donnelly: [38]Haskell: A Pretty Nice Language. * FP-Syd: [39]Sydney FP Group: FP-Syd #14.. * Dan Piponi (sigfpe): [40]Trace Diagrams with Monads. Quotes of the Week * roconnor: Damn it, I don't know how to make this as slow as python. * koeien: Let's register it [monomorphismrestriction.com] to prevent it from being used ;) * Elly: Rule 1 of malloc is the same as rule 1 of air travel: "Attempt at all costs to keep your number of landings equal to your number of takeoffs." * monochrom: I was trying to design a sensible language... then I downloaded ghc. * conal: The C ADT is implemented simply as String (or char *, for you type theorists, using a notation from Kleene) * Will Donnelly: monads are okay after a bit (though I'm still a little suspicious of them) About the Haskell Weekly News New editions are posted to [41]the Haskell mailing list as well as to [42]the Haskell Sequence and [43]Planet Haskell. [44]RSS is also available, and headlines appear on [45]haskell.org. To help create new editions of this newsletter, please see the information on [46]how to contribute. Send stories to byorgey at cis dot upenn dot edu. The darcs repository is available at darcs get [47]http://code.haskell.org/~byorgey/code/hwn/ . References 1. http://haskell.org/ 2. http://article.gmane.org/gmane.comp.lang.haskell.glasgow.user/16984 3. http://hackage.haskell.org/trac/ghc/wiki/Building/Porting 4. http://article.gmane.org/gmane.comp.lang.haskell.glasgow.user/16972 5. http://article.gmane.org/gmane.comp.lang.haskell.general/17200 6. http://article.gmane.org/gmane.comp.lang.haskell.general/17197 7. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/mathlink 8. http://article.gmane.org/gmane.comp.lang.haskell.cafe/58862 9. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/text 10. http://article.gmane.org/gmane.comp.lang.haskell.cafe/58817 11. http://www.haskell.org/haskellwiki/Hac_%CF%86 12. http://article.gmane.org/gmane.comp.lang.haskell.cafe/58801 13. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/feed2twitter 14. http://article.gmane.org/gmane.comp.lang.haskell.cafe/58796 15. http://www.killersmurf.com/projects/esotericbot 16. http://article.gmane.org/gmane.comp.lang.haskell.cafe/58752 17. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/atom 18. http://article.gmane.org/gmane.comp.lang.haskell.cafe/58683 19. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Hieroglyph 20. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/buster 21. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/buster-gtk 22. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/buster%2Dnetwork 23. http://article.gmane.org/gmane.comp.lang.haskell.cafe/58635 24. http://www.keithsheppard.name/txt-sushi 25. http://thread.gmane.org/gmane.comp.lang.haskell.glasgow.user/16926 26. http://ocaml.janestreet.com/?q=node/64 27. http://thread.gmane.org/gmane.comp.lang.haskell.libraries/11145 28. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/58784 29. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/58664 30. http://planet.haskell.org/ 31. http://haskell.org/haskellwiki/Blog_articles 32. http://www.serpentine.com/blog/2009/05/22/streaming-unicode-support-for-haskell-text-02/ 33. http://yaxu.org/haskell-hack/ 34. http://blog.well-typed.com/2009/05/buildings-plugins-as-haskell-shared-libs/ 35. http://lhc-compiler.blogspot.com/2009/05/new-release-lhc-08.html 36. http://www.poundstone.org/blog/?p=231 37. http://conal.net/blog/posts/the-c-language-is-purely-functional/ 38. http://willdonnelly.wordpress.com/2009/05/19/haskell-a-pretty-nice-language/ 39. http://www.mega-nerd.com/erikd/Blog/FP-Syd/fp-syd-14.html 40. http://blog.sigfpe.com/2009/05/trace-diagrams-with-monads.html 41. http://www.haskell.org/mailman/listinfo/haskell 42. http://sequence.complete.org/ 43. http://planet.haskell.org/ 44. http://sequence.complete.org/node/feed 45. http://haskell.org/ 46. http://haskell.org/haskellwiki/HWN 47. http://code.haskell.org/~byorgey/code/hwn/ _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe From wagner.andrew at gmail.com Sun May 24 13:35:40 2009 From: wagner.andrew at gmail.com (Andrew Wagner) Date: Sun May 24 13:28:06 2009 Subject: [Haskell] Re: [Haskell-cafe] ANN: Haskell Hackathon in Philadelphia In-Reply-To: <20090521213908.GA30134@seas.upenn.edu> References: <20090521213908.GA30134@seas.upenn.edu> Message-ID: Is there a list of projects that will be worked on during this, or how will that work? On Thu, May 21, 2009 at 5:39 PM, Brent Yorgey wrote: > Hi all! > > We are in the early stages of planning a Haskell hackathon/get > together, Hac ?, to be held this summer at the University of > Pennsylvania, in Philadelphia. Right now we're looking at two > possible dates: > > June 19-21 or July 24-26 > > If you might be interested in attending, please add your name on the > wiki page: > > http://www.haskell.org/haskellwiki/Hac_%CF%86 > > You can also note whether either of those dates absolutely doesn't > work for you. (If you don't have an account on the wiki, you can > email Ashley Yakeley for an account [1], or feel free to just respond > to this email.) Expect more details (such as a nailed-down date) > soon, once we have gauged the level of interest. > > Hope to see you in Philadelphia! > > Brent (byorgey) > Daniel Wagner (dmwit) > > [1] http://haskell.org/haskellwiki/HaskellWiki:New_accounts > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe > -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/haskell/attachments/20090524/f0752ece/attachment.html From oege at semmle.com Mon May 25 07:35:26 2009 From: oege at semmle.com (Oege de Moor) Date: Mon May 25 07:19:52 2009 Subject: [Haskell] (no subject) Message-ID: To: Subject: 10 jobs in declarative programming TEN DECLARATIVE PROGRAMMING CONSULTANTS SOUGHT Semmle and LogicBlox are creating a platform for declarative programming in Datalog, a pure logic programming language. Semmle is based in Oxford, headed by Oege de Moor; LogicBlox is based in Atlanta, headed by Molham Aref. To configure our solution at a number of large corporate clients in the retail, insurance and software quality industries, we urgently require 10 full-time staff to act as consultants. These consultants will work with clients to write custom queries in Datalog, and to create user interfaces in a declarative framework. This is a unique opportunity to change the way enterprise software is constructed, and to become part of the revolution to adopt declarative programming in mainstream applications. Semmle and LogicBlox offer a vibrant, intellectually stimulating environment to work on exciting applications of cutting-edge technology. Requirements: You must be passionate about simplifying the construction of complex software systems. A good undergraduate degree in computer science or related discipline is necessary. Substantial programming experience, and familarity with declarative programming (both functional and logic) is a must. Some travel will be required. Starting date and renumeration: The openings are available immediately. The renumeration depends on experience and qualifications; it is especially competitive for recent graduates. Further information: To find out more about this opportunity, write to Oege de Moor (oege@semmle.com) and Molham Aref (molham@logicblox.com). To apply: Send a CV and the names of three referees (at least two of whom must be able to comment on your programming abilities) to recruit@semmle.com, by June 12. From voigt at tcs.inf.tu-dresden.de Tue May 26 04:12:58 2009 From: voigt at tcs.inf.tu-dresden.de (Janis Voigtlaender) Date: Tue May 26 03:57:21 2009 Subject: [Haskell] ANNOUNCE: Haskell Communities and Activities Report (16th ed., May 2009) Message-ID: <4A1BA48A.5060901@tcs.inf.tu-dresden.de> On behalf of the many, many contributors, I am pleased to announce that the Haskell Communities and Activities Report (16th edition, May 2009) http://www.haskell.org/communities/ is now available from the Haskell Communities home page in PDF and HTML formats. Many thanks go to all the people that contributed to this report, both directly, by sending in descriptions, and indirectly, by doing all the interesting things that are reported. I hope you will find it as interesting a read as I did. If you have not encountered the Haskell Communities and Activities Reports before, you may like to know that the first of these reports was published in November 2001. Their goal is to improve the communication between the increasingly diverse groups, projects, and individuals working on, with, or inspired by Haskell. The idea behind these reports is simple: Every six months, a call goes out to all of you enjoying Haskell to contribute brief summaries of your own area of work. Many of you respond (eagerly, unprompted, and sometimes in time for the actual deadline ;-) to the call. The editor collects all the contributions into a single report and feeds that back to the community. When I try for the next update, six months from now, you might want to report on your own work, project, research area or group as well. So, please put the following into your diaries now: ---------------------------------------- End of October 2009: target deadline for contributions to the November 2009 edition of the HC&A Report ---------------------------------------- Unfortunately, many Haskellers working on interesting projects are so busy with their work that they seem to have lost the time to follow the Haskell related mailing lists and newsgroups, and have trouble even finding time to report on their work. If you are a member, user or friend of a project so burdened, please find someone willing to make time to report and ask them to "register" with the editor for a simple e-mail reminder in October (you could point me to them as well, and I can then politely ask if they want to contribute, but it might work better if you do the initial asking). Of course, they will still have to find the ten to fifteen minutes to draw up their report, but maybe we can increase our coverage of all that is going on in the community. Feel free to circulate this announcement further in order to reach people who might otherwise not see it. Enjoy! Janis Voigtlaender -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:voigt@tcs.inf.tu-dresden.de From simonpj at microsoft.com Tue May 26 05:22:21 2009 From: simonpj at microsoft.com (Simon Peyton-Jones) Date: Tue May 26 05:06:45 2009 Subject: [Haskell] ANNOUNCE: Haskell Communities and Activities Report (16th ed., May 2009) In-Reply-To: <4A1BA48A.5060901@tcs.inf.tu-dresden.de> References: <4A1BA48A.5060901@tcs.inf.tu-dresden.de> Message-ID: <638ABD0A29C8884A91BC5FB5C349B1C337FC667310@EA-EXMSG-C334.europe.corp.microsoft.com> | On behalf of the many, many contributors, I am pleased to announce | that the | Haskell Communities and Activities Report | (16th edition, May 2009) | is now available from the Haskell Communities home page in PDF and | HTML formats. Congratulations Janis! Thank you from all of us for editing the HCAR. Simon From lee.duhem at gmail.com Tue May 26 05:36:19 2009 From: lee.duhem at gmail.com (Lee Duhem) Date: Tue May 26 05:20:41 2009 Subject: [Haskell] ANNOUNCE: Haskell Communities and Activities Report (16th ed., May 2009) In-Reply-To: <4A1BA48A.5060901@tcs.inf.tu-dresden.de> References: <4A1BA48A.5060901@tcs.inf.tu-dresden.de> Message-ID: On Tue, May 26, 2009 at 4:12 PM, Janis Voigtlaender wrote: > On behalf of the many, many contributors, I am pleased to announce > that the > > ? ? ? ? ? ?Haskell Communities and Activities Report > ? ? ? ? ? ? ? ? ?(16th edition, May 2009) > > ? ? ? ? ? ? http://www.haskell.org/communities/ > > is now available from the Haskell Communities home page in PDF and > HTML formats. > Congratulation and thank you for your work. BTW, I notice Haskell-Cafe isn't in the To list, I hope this isn't in purpose :-) lee From voigt at tcs.inf.tu-dresden.de Tue May 26 06:10:15 2009 From: voigt at tcs.inf.tu-dresden.de (Janis Voigtlaender) Date: Tue May 26 05:54:38 2009 Subject: [Haskell] ANNOUNCE: Haskell Communities and Activities Report (16th ed., May 2009) In-Reply-To: References: <4A1BA48A.5060901@tcs.inf.tu-dresden.de> Message-ID: <4A1BC007.6060207@tcs.inf.tu-dresden.de> Lee Duhem wrote: > BTW, I notice Haskell-Cafe isn't in the To list, I hope this isn't in > purpose :-) This was intended to avoid duplication, as I assume most people on haskell-cafe also read haskell. But maybe this is not true... -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:voigt@tcs.inf.tu-dresden.de From lee.duhem at gmail.com Tue May 26 06:22:39 2009 From: lee.duhem at gmail.com (Lee Duhem) Date: Tue May 26 06:07:00 2009 Subject: [Haskell] ANNOUNCE: Haskell Communities and Activities Report (16th ed., May 2009) In-Reply-To: <4A1BC007.6060207@tcs.inf.tu-dresden.de> References: <4A1BA48A.5060901@tcs.inf.tu-dresden.de> <4A1BC007.6060207@tcs.inf.tu-dresden.de> Message-ID: On Tue, May 26, 2009 at 6:10 PM, Janis Voigtlaender wrote: > This was intended to avoid duplication, as I assume most people on > haskell-cafe also read haskell. But maybe this is not true... I think so, because for quite a while, I've been a reader of Haskell-Cafe, but not Haskell. Anyway, I noticed you have post it to Haskell-Cafe, so I think more people will see and appreciate it. lee From ketil at malde.org Tue May 26 06:32:52 2009 From: ketil at malde.org (Ketil Malde) Date: Tue May 26 06:17:04 2009 Subject: [Haskell] ANNOUNCE: Haskell Communities and Activities Report (16th ed., May 2009) In-Reply-To: (Lee Duhem's message of "Tue\, 26 May 2009 18\:22\:39 +0800") References: <4A1BA48A.5060901@tcs.inf.tu-dresden.de> <4A1BC007.6060207@tcs.inf.tu-dresden.de> Message-ID: <877i04dui3.fsf@malde.org> Lee Duhem writes: >> This was intended to avoid duplication, as I assume most people on >> haskell-cafe also read haskell. But maybe this is not true... > I think so, because for quite a while, I've been a reader of > Haskell-Cafe, but not Haskell. > Anyway, I noticed you have post it to Haskell-Cafe, so I think more > people will see and appreciate it. And most people will see it twice. Seriously, why don't we just subscribe haskell-cafe@ to haskell@, and (optionally) unsubscribe from haskell@ anybody subscribed to both lists? -k -- If I haven't seen further, it is by standing in the footprints of giants From lemming at henning-thielemann.de Tue May 26 17:23:04 2009 From: lemming at henning-thielemann.de (Henning Thielemann) Date: Tue May 26 17:07:25 2009 Subject: [Haskell] Announce: storable-record Message-ID: I like to announce a small package for simplified declaration of Storable instances for records. It may be used alternatively to the C2HS preprocessor. It was made possible by advanced applicative technology, a cutting edge LCM monoid and an incredible constructor power tower. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/storable-record From jno at di.uminho.pt Wed May 27 04:22:55 2009 From: jno at di.uminho.pt (J.N. Oliveira) Date: Wed May 27 04:07:07 2009 Subject: [Haskell] TFM09: Deadline extension to 8 June In-Reply-To: References: <264DF2E1B2597349B54599E4E797594870163D@srv-hrl-19.pwo.ou.nl> <264DF2E1B2597349B54599E4E79759485CE683@srv-hrl-19.pwo.ou.nl> <2F14C4C6-AAE3-42C9-9DE6-1382281B53C9@di.uminho.pt> <54A6BBFB-7720-464E-98EA-7F0B7207671E@di.uminho.pt> <5DE2D0B7-1B03-4431-9A76-03A39772A653@di.uminho.pt> <626EB11D-7016-40D0-895B-0137FE6D09E3@di.uminho.pt> <7D443B18-6D9B-4D07-80F2-5950DFE745DD@di.uminho.pt> <9B9D6B5E-2F66-48E4-B5EF-2573BBE3D4EA@di.uminho.pt> <34265FC2-C19C-465F-B1BC-B83F643DDA97@di.uminho.pt> Message-ID: TFM 2009 - DEADLINE EXTENSION TO 8 JUNE Please visit: http://www.di.uminho.pt/tfm09 ------------------------------------------------------------------------ ----- TFM 2009 2nd Int. FME Conference on Teaching Formal Methods "Widening Access to Formal Methods" Friday, November 6th 2009, co-located with FM2009 : 16th International Symposium on Formal Methods Eindhoven, the Netherlands, November 2 - November 6, 2009 CALL FOR PAPERS (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. We would like to provide a forum for lecturers, teachers, and industrial partners to discuss their experience, present their pedagogical methodologies, and explore best practices. TFM2009 follows in a series of recent events on teaching formal methods, including: two BCS-FACS TFM workshops (Oxford in 2003, and London in 2006), the TFM 2004 conference in Ghent (with proceedings published as Springer LNCS Volume 3294), the FM-Ed 2006 workshop (Hamilton, co-located with FM'06), FORMED (Budapest, at ETAPS 2008), FMET 2008 (Kitakyushu 2008, co-located with ICFEM), etc. 2. Topics of interest --------------------- Formal methods (FM) have an important role to play in the development of complex computing systems - a role acknowledged in industrial standards such as IEC 61508 and ISO/IEC 15408, and in the increasing use of precise modeling notations, semantic markup languages, and model-driven techniques. There is a growing need for software engineers who can work effectively with simple, mathematical abstractions, and with practical notions of inference and proof. However, there is little clear guidance ? for educators, for managers, or for the engineers themselves ? as to what might comprise a basic education in FM. Neither the present IEEE/ACM Software Engineering Body of Knowledge (SWEBOK) nor the forthcoming Graduate Software Engineering Reference Curriculum (GSWERC) provide the kind of specific information that teachers and practitioners need to establish an adequate, balanced programme of learning in FM. Original contributions are solicited that provide insight, opinions, and suggestions for courses of action regarding the teaching FMs, including but not limited to the following aspects: * experiences of teaching FMs, both successful and unsuccessful; * educational resources including the use of books, case studies and the internet; * the education of weak and mathphobic students; * the integration, or otherwise, of FMs into the curriculum, including contributions to the definition of a Formal Methods Body of Knowledge (FMBOK); * the advantages of FM-trained graduates in the workplace; * changing attitudes towards FMs in students, academic staff and practitioners; * the necessary mathematical background. The conference proceedings will be published by Springer-Verlag in the LNCS series. Submissions may be up to 20 pages long using Springer's LNCS format. 3. Important dates ------------------ Please put the following dates in your diary: Submission deadline (extended) June 8, 2009 Notification of acceptance July 6, 2009 Final version August 3, 2009 4. How to submit ---------------- Papers for TFM2009 will be processed through the EasyChair conference management system. To submit your paper, please visit: http://www.easychair.org/conferences/?conf=tfm2009 5. Invited speakers ------------------- To be announced 6. 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) 7. Sponsorship ---------------------- TFM2009 is supported by FME, the Formal Methods Europe Association. From fmics2009 at dsic.upv.es Wed May 27 05:27:01 2009 From: fmics2009 at dsic.upv.es (FMICS 2009 workshop chair) Date: Wed May 27 05:15:36 2009 Subject: [Haskell] [FMICS 2009] Call for Posters Message-ID: <4A1D0765.9020606@dsic.upv.es> FMICS 2009 - CALL FOR POSTERS Please visit: http://users.dsic.upv.es/workshops/fmics2009 ************************************************************ * 14th International Workshop on * * Formal Methods for Industrial Critical Systems * * FMICS 2009 * * * * November 2-3, 2009 * * Eindhoven, The Netherlands * ************************************************************ * ** IMPORTANT DATES ** * * * * Submission deadline: June 5, 2009 * * Notification: June 20, 2009 * * Camera-ready version: July 15, 2009 * * Workshop: November 2-3, 2009 * * * ************************************************************ * * * +============================================+ * * | | * * | ** FMweek ** | * * | | * * +============================================+ * * | CPA | FACS | FAST | * * +--------------------------------------------+ * * | FM2009 | FMCO | FMICS | * * +--------------------------------------------+ * * | PDMC | REFINE | TESTCOM/FATES | * * +--------------------------------------------+ * * | http://www.win.tue.nl/fmweek | * * +============================================+ * * * ************************************************************ From icfp.publicity at googlemail.com Thu May 28 00:36:28 2009 From: icfp.publicity at googlemail.com (Matthew Fluet (ICFP Publicity Chair)) Date: Thu May 28 00:20:52 2009 Subject: [Haskell] DEFUN09: Final Call for Talks & Tutorials (co-located w/ ICFP09) Message-ID: <53ff55480905272136g1f8c3eb4m2c06da9aaf9acacd@mail.gmail.com> Call for Talks and Tutorials ACM SIGPLAN 2009 Developer Tracks on Functional Programming http://www.defun2009.info/ Edinburgh, Scotland, September 3 and 5, 2009 The workshop will be held in conjunction with ICFP 2009 http://www.cs.nott.ac.uk/~gmh/icfp09.html Important dates Proposal Deadline: June 5, 2009 Notification: June 19, 2009 This is a second invitation to submit talk and tutorial proposals for DEFUN 2009, the ICFP 2009 Developer Tracks. The deadline for submissions is next Friday, June 5. We want to know about your favorite programming techniques, powerful libraries, and engineering approaches you've used that the world should know about and apply to other projects. We want to know how to be productive using functional programming, write better code, and avoid common pitfalls. DEFUN is contiguous with CUFP 2009, the goal of which is to build a community for users of functional programming languages and technology. DEFUN provides the more technical, teaching-oriented parts of functional programming, while CUFP focuses on the commercial, management, and software engineering aspects. For more details of the kinds of proposals we would like to see, and how to submit, please see our original call for proposals at http://www.defun2009.info/blog/call-for-talks-and-tutorials/ From byorgey at seas.upenn.edu Thu May 28 18:06:06 2009 From: byorgey at seas.upenn.edu (Brent Yorgey) Date: Thu May 28 17:49:27 2009 Subject: [Haskell] ANNOUNCE: Hac =?utf-8?b?z4Y6?= Haskell hackathon in Philadelphia, July 24-26 Message-ID: <20090528220606.GA6558@seas.upenn.edu> Greetings, I am very pleased to officially announce Hac phi, a Haskell hackathon/get-together to be held July 24-26 at the University of Pennsylvania in Philadelphia. The hackathon will officially kick off at 2:30 Friday afternoon, and go until 5pm on Sunday (with breaks for sleep, of course). Thanks to everyone who has already expressed interest in attending, it's shaping up to be a fun event. I want to stress that everyone is welcome---you do not have to be a Haskell guru to attend! Helping hack on someone else's project could be a great way to increase your Haskell-fu. If you plan on coming, please officially register [1], even if you already put your name on the wiki. Registration, travel, lodging and many other details can now be found on the Hac phi wiki [2]. We're also looking for a few people interested in giving short (15-20 min.) talks, probably on Saturday afternoon. Anything of interest to the Haskell community is fair game---a project you've been working on, a paper, a quick tutorial. If you'd like to give a talk, add it on the wiki [3]. Hope to see you in Philadelphia! -The Hac ? team [1] http://haskell.org/haskellwiki/Hac_%CF%86/Register [2] http://haskell.org/haskellwiki/Hac_%CF%86 [3] http://haskell.org/haskellwiki/Hac_%CF%86/Talks From voigt at tcs.inf.tu-dresden.de Fri May 29 01:42:54 2009 From: voigt at tcs.inf.tu-dresden.de (Janis Voigtlaender) Date: Fri May 29 01:27:09 2009 Subject: [Haskell] CFP: APLAS 2009 (Abstracts due: June 8; Papers due: June 15) Message-ID: <4A1F75DE.80801@tcs.inf.tu-dresden.de> =============================================================== CALL FOR PAPERS The Seventh Asian Symposium on Programming Languages and Systems (APLAS 2009) Seoul, December 14-16, 2009 http://ropas.snu.ac.kr/aplas09/ =============================================================== APLAS aims at stimulating programming language research by providing a forum for the presentation of recent results and the exchange of ideas and experience in topics concerned with programming languages and systems. APLAS is based in Asia, but is an international forum that serves the worldwide programming languages community. The APLAS series is sponsored by the Asian Association for Foundation of Software (AAFS), which has recently been founded by Asian researchers in cooperation with many researchers from Europe and the USA. The past formal APLAS symposiums were successfully held in Bangalore (2008, India), Singapore (2007), Sydney (2006, Australia), Tsukuba (2005, Japan), Taipei (2004, Taiwan) and Beijing (2003, China) after three informal workshops held in Shanghai (2002, China), Daejeon (2001, Korea) and Singapore (2000). Proceedings of the past symposiums were published in Springer-Verlag's LNCS 2895, 3302, 3780, 4279, and 5356. TOPICS: The symposium is devoted to both foundational and practical issues in programming languages and systems. Papers are solicited on, but not limited, to the following topics: * semantics, logics, foundational theory * type systems, language design * program analysis, optimization, transformation * software security, safety, verification * compiler systems, interpreters, abstract machines * domain-specific languages and systems * programming tools and environments INVITED SPEAKERS: TBA IMPORTANT DATES: Abstract Deadline: June 8 (Monday), 2009 Paper Submission Deadline: 24:00 AM (in Samoan Time), June 15 (Monday), 2009 Author Notification: August 17, 2009 Camera Ready: September 14, 2009 Conference: December 14-16, 2009 SUBMISSIONS INFORMATION: Papers should be submitted electronically online via the conference submission web page at URL . Acceptable formats are PostScript or PDF, viewable by Ghostview or Adobe Reader. Submissions should not exceed 16 pages in LNCS format, including bibliography and figures. Submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. They should clearly identify what has been accomplished and why it is significant. Submitted papers must be unpublished and not submitted for publication elsewhere. The proceedings of the symposium is planned to be published as a volume in Springer-Verlag's Lecture Notes in Computer Science series. Authors of selected papers will be invited after the symposium to submit a full version for publication in a special issue of New Generation Computing. GENERAL CHAIR Kwangkeun Yi (Seoul National University, Korea) PROGRAM CHAIR Zhenjiang Hu (National Institute of Inforamtics, Japan) PROGRAM COMMITTEE Manuel M. T. Chakravarty (University of New South Wales, Australia) Wei-Ngan Chin (National University of Singapore, Singapore) Nate Foster (University of Pennsylvania, USA) Ralf Hinze (Oxford University, United Kingdom) Zhenjiang Hu (National Institute of Informatics, Japan), Chair Ik-Soon Kim (Electronics and Telecommunications Research Institute, Korea) Julia Lawall (DIKU, Denmark) Sebastian Maneth (NICTA and University of New South Wales, Australia) Sungwoo Park (Pohang University of Science and Technology, Korea) G. Ramalingam (Microsoft Research, India) Peter Thiemann (University of Freiburg, Germany) Kazushige Terui (Kyoto University, Japan) Janis Voigtl?nder (Technical University of Dresden, Germany) Chung-chieh Shan (Rutgers University, USA) Kazunori Ueda (Waseda University, Japan) Bow-Yaw Wang (Academia Sinica, Taiwan) Jianjun Zhao (Shanghai Jiaotong University, China) POSTER SESSION CHAIR Kiminori Matsuzaki (University of Tokyo, Japan) From ifl2009 at shu.edu Fri May 29 12:21:56 2009 From: ifl2009 at shu.edu (IFL 2009) Date: Fri May 29 12:06:10 2009 Subject: [Haskell] IFL 2009: Second Call for Papers Message-ID: Call for Papers IFL 2009 Seton Hall University SOUTH ORANGE, NJ, USA http://tltc.shu.edu/blogs/projects/IFL2009/ ** NEW ** Accomodations information available: http://tltc.shu.edu/blogs/projects/IFL2009/accommodations.html Jane Street Capital has joined IFL 2009 as a sponsor ********* The 21st International Symposium on Implementation and Application of Functional Languages, IFL 2009, will be held for the first time in the USA. The hosting institution is Seton Hall University in South Orange, NJ, USA and the symposium dates are September 23-25, 2009. It is our goal to make IFL a regular event held in the USA and in Europe. The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2009 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional languages and function-based programming. Following the IFL tradition, IFL 2009 will use a post-symposium review process to produce a formal proceedings which will be published by Springer in the Lecture Notes in Computer Science series. All participants in IFL 2009 are invited to submit either a draft paper or an extended abstract describing work to be presented at the symposium. These submissions will be screened by the program committee chair to make sure they are within the scope of IFL and will appear in the draft proceedings distributed at the symposium. Submissions appearing in the draft proceedings are not peer-reviewed publications. After the symposium, authors will be given the opportunity to incorporate the feedback from discussions at the symposium and will be invited to submit a revised full arcticle for the formal review process. These revised submissions will be reviewed by the program committee using prevailing academic standards to select the best articles that will appear in the formal proceedings. TOPICS IFL welcomes submissions describing practical and theoretical work as well as submissions describing applications and tools. If you are not sure if your work is appropriate for IFL 2009, please contact the PC chair at ifl2009@shu.edu. Topics of interest include, but are not limited to: language concepts type checking contracts compilation techniques staged compilation runtime function specialization runtime code generation partial evaluation (abstract) interpretation generic programming techniques automatic program generation array processing concurrent/parallel programming concurrent/parallel program execution functional programming and embedded systems functional programming and web applications functional programming and security novel memory management techniques runtime profiling and performance measurements debugging and tracing virtual/abstract machine architectures validation and verification of functional programs tools and programming techniques FP in Education PAPER SUBMISSIONS Prospective authors are encouraged to submit papers or extended abstracts to be published in the draft proceedings and to present them at the symposium. All contributions must be written in English, conform to the Springer-Verlag LNCS series format and not exceed 16 pages. The draft proceedings will appear as a technical report of the Department of Mathematics and Computer Science of Seton Hall University. IMPORTANT DATES Registration deadline August 15, 2009 Presentation submission deadline August 15, 2009 IFL 2009 Symposium September 23-25, 2009 Submission for review process deadline November 1, 2009 Notification Accept/Reject December 22, 2009 Camera ready version February 1, 2010 PROGRAM COMMITTEE Peter Achten University of Nijmegen, The Netherlands Jost Berthold Philipps-Universit?t Marburg, Germany Andrew Butterfield University of Dublin, Ireland Robby Findler Northwestern University, USA Kathleen Fisher AT&T Research, USA Cormac Flanagan University of California at Santa Cruz, USA Matthew Flatt University of Utah, USA Matthew Fluet Toyota Technological Institute at Chicago, USA Daniel Friedman Indiana University, USA Andy Gill University of Kansas, USA Clemens Grelck University of Amsterdam/Hertfordshire, The Netherlands/UK Jurriaan Hage Utrecht University, The Netherlands Ralf Hinze Oxford University, UK Paul Hudak Yale University, USA John Hughes Chalmers University of Technology, Sweden Patricia Johann University of Strathclyde, UK Yukiyoshi Kameyama University of Tsukuba, Japan Marco T. Moraz?n (Chair) Seton Hall University, USA Rex Page University of Oklahoma, USA Fernando Rubio Universidad Complutense de Madrid, Spain Sven-Bodo Scholz University of Hertfordshire, UK Manuel Serrano INRIA Sophia-Antipolis, France Chung-chieh Shan Rutgers University, USA David Walker Princeton University, USA Vikt?ria Zs?k E?tv?s Lor?nd University, Hungary PETER LANDIN PRIZE The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honored article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 euros. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/haskell/attachments/20090529/542b46bb/attachment-0001.html From ninegua at gmail.com Sat May 30 01:14:16 2009 From: ninegua at gmail.com (Paul L) Date: Sat May 30 00:58:27 2009 Subject: [Haskell] Leak in Data.Generics (syb-0.1.0.1, GHC 6.10.2) Message-ID: <856033f20905292214l120f1d0bqb18a5de2866ba643@mail.gmail.com> I traced a memory leak to the use of Data.Genrics from the syb-0.1.0.1 package in GHC 6.10.2. But I'm not sure if it's syb package or this version of GHC's problem. Since I don't have a small program to demonstrate this leak, I'm just going to explain what I did, and hopefully some other users could help to identify this problem. I have the following line as part of a CGI program (sample1): output $ writeHtmlString' $ wikiLinksTransform $ readMarkdown' $ ... where output is from Network.CGI, and writeHtmlString' and readMarkdown' are variations of functions from Pandoc. wikiLinksTransfrom is a generic tranversal (modified from a similar function in Gitit) using Data.Generics over the Pandoc data structure. I compile my program in GHC 6.10.2 with -prof, run it with +RTS -hc -RTS, and plot the memory usage over a certain length of time. I noticed the memory for Text.Pandoc.Definition.CAF keeps increasing, which is wrong because my program is never holding the result of the above output. After some lengthy debugging, I came to the above line and removed wikiLinksTransform (sample2): output $ writeHtmlString' $ readMarkdown' $ ... The I profiled the memory again, there is no more leak! To further investigate the problem, I compiled my program with GHC 6.8.3, and this time even sample1 had no leak. Note that GHC 6.8.3's Data.Generics was from base-3.0 package, not syb. So I'm not sure if it's GHC's problem or syb's. I'm almost certain that Gitit users would have met similar problems, but I'm just too much overloaded to come up with a shorter code to file a proper bug report. So I'm posting here and hopefully somebody could follow up and eventually have this bug fixed. -- Regards, Paul Liu Yale Haskell Group http://www.haskell.org/yale From augustulus at freenet.de Sat May 30 12:06:15 2009 From: augustulus at freenet.de (newuser21) Date: Sat May 30 11:50:23 2009 Subject: [Haskell] Help with cabal and windows Message-ID: <23790447.post@talk.nabble.com> Hi, I am new to haskell. I have an programm whitch i want to compile for windows .It has cabal .I installed haskellplatform for windows, and runhaskell setup.lhs configure runs fine.BUT when runhaskell setup.lhs build, then errors: Could not find module `Data.Generics': it is a member of the hidden package `base-3.0.3.1' it is a member of the hidden package `syb' WHY? syb is in the haskellplatform path?? I think it has something to do with paths? Oh and on linux no problems. All worked fine compiles with no error.But the same happends as I installed haskellplatform under wine and tryied to build the program. Thanks newuser -- View this message in context: http://www.nabble.com/Help-with-cabal-and-windows-tp23790447p23790447.html Sent from the Haskell - Haskell mailing list archive at Nabble.com. From duncan.coutts at worc.ox.ac.uk Sat May 30 13:13:15 2009 From: duncan.coutts at worc.ox.ac.uk (Duncan Coutts) Date: Sat May 30 12:57:33 2009 Subject: [Haskell] Help with cabal and windows In-Reply-To: <23790447.post@talk.nabble.com> References: <23790447.post@talk.nabble.com> Message-ID: <1243703595.20357.1658.camel@localhost> On Sat, 2009-05-30 at 09:06 -0700, newuser21 wrote: > Hi, I am new to haskell. BTW, in future it's better to ask these kinds of questions on the haskell-cafe mailing list. These days the main haskell mailing list is mostly for announcements etc. > I have an programm whitch i want to compile for windows .It has cabal .I > installed haskellplatform for windows, and runhaskell setup.lhs configure > runs fine.BUT when runhaskell setup.lhs build, then errors: > Could not find module `Data.Generics': > it is a member of the hidden package `base-3.0.3.1' > it is a member of the hidden package `syb' > WHY? syb is in the haskellplatform path?? I think it has something to do > with paths? Quick solution: Use this command instead: cabal configure cabal build Alternatively, edit the package's .cabal file; find the bit that says something like: build-depends: base change it to say: build-depends: base < 4 or build-depends: base >= 4, syb Here's what is actually going on: When base 4 was released, the Data.Generics module was moved from being in the base package to being in a separate package, syb. So that means that if your package needs Data.Generics then you have a choice, you can have it depend on base 3, or you can have it depend on base 4 and syb. However currently the package just says that it needs "base" and does not say if it needs version 3 or 4. But it's important to say because if we just pick base 4 without also picking syb then it will not work. What it likely going on is that the package you're looking at has not been modified to take account of the change in base 4. "runhaskell setup.lhs configure" always just picks the highest version available, in this case 4. That's why it fails. "cabal configure" uses a slightly smarter algorithm and in this case will pick base 3 and so it'll work. However it is just making guesses to make up for the lack of a correct specification in the .cabal file. This backwards compatibility shim will not work for ever. The specific error message is sadly a little confusing. It says the other packages are hidden but that's only because runhaskell setup.lhs build actually hides all packages other than the ones listed in the .cabal file. > Oh and on linux no problems. All worked fine compiles with no error. > But the same happends as I installed haskellplatform under wine and > tryied to build the program. It's not actually a windows-specific problem. Perhaps on Linux you were using a different version of ghc. It would have worked ok with ghc-6.8 which only comes with base 3. Or if you had used "cabal configure" then that uses a smarter way of picking versions and would also have picked version 3. Duncan