- Haskell - Haskell.org

Haskell Weekly News: Issue 96 - December 6, 2008
by Brent Yorgey 06 Dec '08

06 Dec '08

--------------------------------------------------------------------------- Haskell Weekly News http://sequence.complete.org/hwn/20081206 Issue 96 - December 06, 2008 --------------------------------------------------------------------------- Welcome to issue 96 of HWN, a newsletter covering developments in the [1]Haskell community. Announcements Haskell haikus. Gwern Branwen [2]announced that he has collected all known haikus about Haskell and put them on a [3]wiki page. Add more! Platforms that GHC supports. Simon Peyton-Jones [4]linked to a [5]new page clearly articulating what platforms GHC supports, and what platforms its maintainers would like it to support. If you're interested and willing to help sponsor a "Tier 2" platform, let them know! Using Data Parallel Haskell. Manuel Chakravarty [6]announced a new [7]wiki page with documentation for Data Parallel Haskell. DrHylo 0.0.1. Hugo Pacheco [8]announced the [9]release of [10]DrHylo, a tool for deriving hylomorphisms from a restricted Haskell syntax. It is based on the algorithm first presented in the paper Deriving Structural Hylomorphisms From Recursive Definitions at ICFP'96 by Hu, Iwasaki, and Takeichi. The generated code can be run with [11]Pointless Haskell, allowing the visualization of the recursion trees of Haskell functions. pointless-haskell 0.0.1. Hugo Pacheco [12]announced the [13]release of [14]Pointless Haskell, a library for point-free programming with recursion patterns defined as hylomorphisms, inspired in ideas from the PolyP library. The re-implementation of the library using type functions (in opposition to classes with functional dependencies) enables a type-level view of data types as the fixed points of functors and provides a better experience to the users in terms of code sanity. The library also features the visualization of the intermediate data structure of hylomorphisms with GHood. Projects that depend on the vty package?. Corey O'Connor [15]asked whether there are any other projects that depend on the [16]vty package. If so, let him know! The package also has a new [17]trac and wiki. haskell-src-exts 0.4.4. Niklas Broberg [18]announced the release of [19]haskell-src-exts 0.4.4, which adds support for pragmas. ChristmasTree 0.1. S. Doaitse Swierstra [20]announced the release of the [21]ChristmasTree package, which stands for "Changing Haskell's Read Implementation Such That by Manipulating Abstract Syntax Trees it Reads Expressions Efficiently". TTTAS. S. Doaitse Swierstra [22]announced the release of [23]TTTAS, a library for typed transformations of typed abstract syntax. GHood. Hugo Pacheco [24]announced that GHood, a graphical backend for the lightweight Hood Haskell debugger, has now been [25]released as a Cabal package. Discussion Animated line art. Andrew Coppin [26]asked for ideas on writing Haskell to generate some animations. Jobs Scala job in Boston writing quantitative finance software. Paul Chiusano [27]announced that [28]ClariFI is looking to hire developers with a strong background in functional programming to do a mixture of Scala and Java programming. ClariFI is a small company (about 15 developers) that specializes in software for quantitative investment management. This position is for the Boston office. If you're interested, send him an email. Blog noise [29]Haskell news from the [30]blogosphere. * Bryan O'Sullivan: [31]Functional programmers on Twitter. * Conal Elliott: [32]Sequences, segments, and signals. * >>> Gianfranco Alongi: [33]QuickCheck(ing) the code i C. * Edward Kmett: [34]The Pointed-Set Comonad. * Twan van Laarhoven: [35]Knight in n, part 3: rings. * "The GHC Team": [36]Explicit Stack Traces. * Real-World Haskell: [37]The Real World Haskell Book Club. * Real-World Haskell: [38]Real World Haskell: Now in Brazil. * >>> Matt Hellige: [39]Pointless fun. * Chung-chieh Shan: [40]The pointed-set monad. * Holumbus: [41]Status Update. * Paul R Brown: [42].editrc Tidbit for ghci. * Roman Cheplyaka: [43]DPH docs and project status. * David Sankel: [44]Introducing Reactive: Behaviors. * Manuel M T Chakravarty: [45]How to use Data Parallel Haskell.. * Conal Elliott: [46]Prettier functions for wrapping and wrapping. * Twan van Laarhoven: [47]Knight in n, part 2: combinatorics. * Yi: [48]Prototypes: Encoding OO-style inheritance in Haskell. * "Osfameron": [49]Functional Pe(a)rls v2 (now with Monads!) at the London Perl Workshop 2008. * Conal Elliott: [50]Sequences, streams, and segments. * Conal Elliott: [51]Early inspirations and new directions in functional reactive programming. * Clemens Fruhwirth: [52]XMonad GridSelect. About the Haskell Weekly News New editions are posted to [53]the Haskell mailing list as well as to [54]the Haskell Sequence and [55]Planet Haskell. [56]RSS is also available, and headlines appear on [57]haskell.org. To help create new editions of this newsletter, please see the information on [58]how to contribute. Send stories to byorgey at cis dot upenn dot edu. The darcs repository is available at darcs get [59]http://code.haskell.org/~byorgey/code/hwn/ . References 1. http://haskell.org/ 2. http://www.haskell.org//pipermail/haskell-cafe/2008-December/051529.html 3. http://haskell.org/haskellwiki/Haiku 4. http://article.gmane.org/gmane.comp.lang.haskell.glasgow.user/15958 5. http://hackage.haskell.org/trac/ghc/wiki/Platforms 6. http://www.haskell.org//pipermail/glasgow-haskell-users/2008-December/01627… 7. http://haskell.org/haskellwiki/GHC/Data_Parallel_Haskell 8. http://article.gmane.org/gmane.comp.lang.haskell.general/16668 9. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/DrHylo 10. http://haskell.di.uminho.pt/wiki/DrHylo 11. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/pointless-haskell 12. http://article.gmane.org/gmane.comp.lang.haskell.cafe/48598 13. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/pointless-haskell 14. http://haskell.di.uminho.pt/wiki/Pointless+Haskell 15. http://article.gmane.org/gmane.comp.lang.haskell.cafe/48471 16. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/vty 17. http://trac.haskell.org/vty/ 18. http://www.haskell.org//pipermail/haskell-cafe/2008-December/051444.html 19. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/haskell-src-exts… 20. http://www.haskell.org//pipermail/haskell/2008-December/020847.html 21. http://en.wikipedia.org/wiki/Sinterklaas 22. http://www.haskell.org//pipermail/haskell/2008-December/020848.html 23. http://www.cs.uu.nl/wiki/bin/view/Center/TTTAS 24. http://www.haskell.org//pipermail/haskell/2008-December/020849.html 25. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/GHood-0.0.2 26. http://www.haskell.org//pipermail/haskell-cafe/2008-December/051451.html 27. http://www.haskell.org//pipermail/haskell-cafe/2008-December/051295.html 28. http://clarifi.com/ 29. http://planet.haskell.org/ 30. http://haskell.org/haskellwiki/Blog_articles 31. http://www.serpentine.com/blog/2008/12/05/functional-programmers-on-twitter/ 32. http://conal.net/blog/posts/sequences-segments-and-signals/ 33. http://writert.blogspot.com/2008/12/quickchecking-code-i-c.html 34. http://comonad.com/reader/2008/the-pointed-set-comonad/ 35. http://twan.home.fmf.nl/blog/haskell/Knight3.details 36. http://ghcmutterings.wordpress.com/2008/12/04/explicit-stack-traces/ 37. http://www.realworldhaskell.org/blog/2008/12/03/the-real-world-haskell-book… 38. http://www.realworldhaskell.org/blog/2008/12/03/real-world-haskell-now-in-b… 39. http://matt.immute.net/content/pointless-fun 40. http://conway.rutgers.edu/~ccshan/wiki/blog/posts/Pointed_set/ 41. http://holumbus.fh-wedel.de/blog/?p=16 42. http://mult.ifario.us/p/editrc-tidbit-for-ghci 43. http://physics-dph.blogspot.com/2008/12/dph-docs-and-project-status.html 44. http://netsuperbrain.com/blog/posts/introducing-reactive-behaviors/ 45. http://justtesting.org/post/62610924 46. http://conal.net/blog/posts/prettier-functions-for-wrapping-and-wrapping/ 47. http://twan.home.fmf.nl/blog/haskell/Knight2.details 48. http://yi-editor.blogspot.com/2008/12/prototypes-encoding-oo-style.html 49. http://greenokapi.net/blog/2008/12/01/functional-pearls-v2-now-with-monads-… 50. http://conal.net/blog/posts/sequences-streams-and-segments/ 51. http://conal.net/blog/posts/early-inspirations-and-new-directions-in-functi… 52. http://blog.clemens.endorphin.org/2008/11/xmonad-gridselect.html 53. http://www.haskell.org/mailman/listinfo/haskell 54. http://sequence.complete.org/ 55. http://planet.haskell.org/ 56. http://sequence.complete.org/node/feed 57. http://haskell.org/ 58. http://haskell.org/haskellwiki/HWN 59. http://code.haskell.org/~byorgey/code/hwn/

1 0

ANNOUNCE: DrHylo 0.0.1
by Hugo Pacheco 06 Dec '08

06 Dec '08

Dear Haskelleers, Alcino Cunha and me are pleased to announce the release of the DrHylo tool in Hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/DrHylo DrHylo is a tool for deriving hylomorphisms from a restricted Haskell syntax. It is based on the algorithm first presented in the paper Deriving Structural Hylomorphisms From Recursive Definitions at ICFP'96 by Hu, Iwasaki, and Takeichi. The generated code can be run with Pointless Haskell (< http://hackage.haskell.org/cgi-bin/hackage-scripts/package/pointless-haskell>), allowing the visualization of the recursion trees of Haskell functions. For more information, jsut follow: http://haskell.di.uminho.pt/wiki/DrHylo Any feedback is welcome. Cheers, hugo -- www.di.uminho.pt/~hpacheco

1 0

ANNOUNCE: GHood 0.0.2
by Hugo Pacheco 06 Dec '08

06 Dec '08

Dear Haskelleers, I am pleased to annouce the release of the fairly old GHood graphical viewer as a cabal package: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/GHood-0.0.2 GHood is a graphical back-end for the lightweight Hood Haskell debugger, and uses a Java interface to draw the intermediate types of haskell functions. GHood has had many contributors throughout the years: Hugo Pacheco, packaging Alcino Cunha, ObserveM monad Claus Reinke, the creator or GHood Andy Gill, the creator of Hood Please forward any feedback to myself. Cheers, hugo -- www.di.uminho.pt/~hpacheco

1 0

Announce: TTTAS
by S. Doaitse Swierstra 05 Dec '08

05 Dec '08

We are pleased to announce the availability of the package "TTTAS", which contains the code associated with our paper at the coming TLDI workshop: \@inproceedings{ BSV09, author = {Arthur Baars and S. Doaitse Swierstra and Marcos Viera}, title = {Typed Transformations of Typed Abstract Syntax}, booktitle = {TLDI '09: fourth ACM SIGPLAN Workshop on Types in Language Design and Implementation}, year = {2009}, location = {Savannah, Georgia, USA}, publisher = {ACM}, address = {New York, NY, USA}, } For more information see: http://www.cs.uu.nl/wiki/bin/view/Center/TTTAS Arthur Baars Marcos Viera Doaitse Swierstra

1 0

ANNOUNCE: cabal-install 0.5
by Duncan Coutts 05 Dec '08

05 Dec '08

cabal-install 0.5 ================= cabal-install version 0.5 is out: http://haskell.org/cabal/download.html or get it from hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/cabal-install If you are already using a cabal-install pre-release then you can just: $ cabal update $ cabal install cabal-install New features in cabal-install ============================= Command line improvements ------------------------- The most immediately noticeable thing is that the command line interface now has all the commands that runhaskell Setup.hs has. Of course it still has the features to download and install packages from hackage. It also gained an upload command. So it now provides a command line interface to the whole Cabal/Hackage system. There’s no need to use runhaskell Setup.hs ever again. There is also bash command line completion support included which I find is a great time saver. Installing and upgrading ------------------------ The next big thing is that it includes a new package dependency resolution system that finds correct and sensible solutions more of the time and has better default behaviour. The new behaviour should be similar to other package managers that people are used to. For example, suppose you’ve got xmonad-0.5 installed and version 0.7 is the latest on hackage, then $ cabal install xmonad will install xmonad-0.7. The older version, xmonad-0.5, will remain installed. The behaviour of install is to upgrade as little as possible to satisfy your request, but sometimes you want to upgrade all the dependencies too. Supposing now that we have xmonad-0.7 installed, but we’re still using X11-1.4.1 and the latest version on hackage is X11-1.4.2, then $ cabal upgrade xmonad will install X11-1.4.2 and *re-install* xmonad-0.7, this time built against the newer X11-1.4.2. So in general, the install command will install the latest version of things but will try and use any existing installed versions of dependencies while the upgrade command will also try to use the latest versions of all dependencies. As a special case, cabal upgrade on its own will try to upgrade all the packages that you have installed. For both command there is a --dry-run flag so you can see what would be installed without actually doing it. Hugs ---- Yes, it even works with hugs. That is, cabal-install built by ghc can manage the installation of packages for hugs. In principle cabal-install should be able to be run by hugs but currently the zlib binding is using a function that hugs does not support. Note that for hugs, Cabal does not know what packages are already installed because there is no equivalent of the package database that ghc has. So that means cabal-install cannot do very sensible installation planning. It should work ok so long as all the dependencies are already installed. Windows ------- Yes, it even works on Windows. The one caveat is that cabal-install cannot currently upgrade itself because Windows makes it hard for a process to overwrite its own executable file. It needs more complex trickery with the Win32 API. In the meantime the workaround is to rename the cabal.exe file first eg to cabal-foo.exe, then run cabal-foo install cabal-install. Build reporting --------------- One feature that made it into this release is build reporting. cabal-install keeps logs of all packages that you install (at least packages from hackage, not local ones). It records a bit of information about each package, in particular whether the outcome was successful or not. You can see these build reports in ~/.cabal/packages/$server/build-reports.log. For example, there is one from my machine for xmonad: package: xmonad-0.7 os: linux arch: x86_64 compiler: ghc-6.8.2 client: cabal-install-0.5.1 flags: -testing small_base dependencies: X11-1.4.2 base-3.0.1.0 containers-0.1.0.1 directory-1.0.0.0 mtl-1.1.0.0 process-1.0.0.0 unix-2.3.0.0 install-outcome: InstallOk docs-outcome: NotTried tests-outcome: NotTried The plan in the longer term is to let people upload these build reports to hackage so we can get a wider range of testing data about the packages on hackage. Duncan

2 1

ANNOUNCE: haskell-src-exts 0.4.4
by Niklas Broberg 04 Dec '08

04 Dec '08

Fellow Haskelleers, it is my pleasure to announce the new release of the haskell-src-exts package, version 0.4.4: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/haskell-src-exts… darcs get http://code.haskell.org/HSP/haskell-src-exts The new feature in this release is support for pragmas. haskell-src-exts-0.4.4 supports all pragmas supported by GHC, with the exception of option-level pragmas (LANGUAGE, OPTIONS_GHC etc) that appear before the module header. The reason these are not yet supported is simply time, there's no real difficulty involved in supporting them too and I will surely get there eventually. 0.4.4 is backwards incompatible with 0.4.3 for two constructors: * The Module constructor (:: Module) now has an extra argument of type 'Maybe WarningText', used for deprecated modules. * The ImportDecl constructor (:: ImportDecl) now has an extra argument of type Bool, stating whether the SOURCE pragma has been used for the import. The full list of pragmas supported by 0.4.4 is: SOURCE, RULES, DEPRECATED, WARNING, INLINE, NOINLINE, SPECIALISE, CORE, SCC, GENERATED and UNPACK. Cheers and Happy Haskelling, /Niklas

1 0

Perhaps a bug in GHC 6.10
by Krasimir Angelov 03 Dec '08

03 Dec '08

Hi, One of my students wrote code like this: prop_blank s (i,j) li = if i==li then do if something then True else False else prop_blank (...) (i,j) (li+1) This code is not accepted from GHC 6.8.3 because Bool is not a monad. In particular the error message is: Sudoku.hs:269:5: Couldn't match expected type `Bool' against inferred type `a b' In the expression: ...... Surprisingly the same code is accepted from GHC 6.10. This looks like a bug for me. The easiest way to reproduce this is to try to evaluate: > do True in GHCi with GHC 6.8.3 and with GHC 6.10 Is there any reason to accept this code? Regards, Krasimir

3 2

Haskell Weekly News: Issue 95 - November 30, 2008
by Brent Yorgey 01 Dec '08

01 Dec '08

--------------------------------------------------------------------------- Haskell Weekly News http://sequence.complete.org/hwn/20081130 Issue 95 - November 30, 2008 --------------------------------------------------------------------------- Welcome to issue 95 of HWN, a newsletter covering developments in the [1]Haskell community. Real World Haskell is [2]finally here! [3]Read it online, and/or [4]get your own dead tree copy. Better yet, get two copies, one for yourself and one for a friend. The fifteenth [5]Haskell Communities and Activities Report is also here---check out all the exciting stuff being worked on in the Haskell world! Announcements HCAR. Janis Voigtlaender [6]announced the 15th edition of the [7]Haskell Communities and Activities Report (HCAR) is now available! Not quite another Haskell tutorial, but .... Janis Voigtlaender [8]announced that he submitted his [9]Habilitation thesis last week. The first few chapters of it try to give an introduction to Haskell with emphasis on types and reasoning principles. hledger 0.2. Simon Michael [10]announced version 0.2 of [http://joyful.com/hledger hledger, a minimal haskell clone of John Wiegley's [11]"ledger" text-based accounting tool. darcs zlib error workaround. Eric Kow [12]outlined workarounds and future plans for a darcs bug relating to broken CRCs in gzipped patch files. You should read this if you have installed darcs 2.1.2 via the Cabal build method. Turbinado 0.2. Alson Kemp [13]announced version 0.2 of [14]Turbinado, an easy-to-use, fast web application framework. Fun with type functions. Simon Peyton-Jones [15]requests examples of compelling use cases for type functions: "can you tell us about the most persuasive, fun application you've encountered, for type families or functional dependencies? Simple is good. It doesn't have to be elaborate: just something that does something useful you could not have done otherwise." Jobs PhD Positions in Language-based Security at Chalmers. Andrei Sabelfeld [16]announced the availability of [17]PhD student positions in programming language-based security in the Department of Computer Science and Engineering at Chalmers University of Technology, Sweden. The application deadline is January 30, 2009. FP Jobs. Julien Sylvestre [18]announced several new permanent positions, based in Paris, with MLstate -- an IT company whose functional programming approach to SaaS and cloud computing has been recently recognized by the French Ministry of Research Innovation Award. Blog noise [19]Haskell news from the [20]blogosphere. * Dan Piponi (sigfpe): [21]An Approach to Algorithm Parallelisation. Dan illustrates a clever, general framework for parallelizing some not-so-obviously-parallelizable algorithms, based on linear operations over rings. * Real-World Haskell: [22]First European Orders Now Landing. * Braden Shepherdson: [23]Pimp Your XMonad #3: Prompt. Braden continues his series on getting the most out of your xmonad configuration with a post describing the Prompt family of extensions. * Real-World Haskell: [24]Amazon orders now arriving. * Real-World Haskell: [25]Orders Now Arriving on the US West Coast. * Luke Palmer: [26]Relative time FRP. A new, more elegant semantics for FRP -- relative time instead of absolute time? * JP Moresmau: [27]Predictable random for testing. * Osfameron: [28]London Perl Workshop tomorrow!. * >>> Phil Ratzsch: [29]Initial Haskell Impressions. * Chung-chieh Shan: [30]Metalinguistics. * Alex McLean: [31]Babble. A simple vocable synthesiser that runs in a web browser, written in HaXe. * Jonathan Tang: [32]Sum types vs. typeclasses. * Magnus Therning: [33]Re: Redesigning GHC's build system. Magnus's response to a recent post about redoing GHC's build system. * Real-World Haskell: [34]Real World Haskell is shipping!. * Twan van Laarhoven: [35]Knight in n, part 1: moves. Twan explores knight-move problems in Haskell. * Conal Elliott: [36]Semantic editor combinators. An elegant explanation of semantic editor combinators -- a principled framework for building up ways to "edit" components of structured values. * David Sankel: [37]Why is the Reactive Behavior tutorial taking so long? splitB. * Chung-chieh Shan: [38]Bowling balls. A nice solution to the bowling-ball problem in Haskell. * >>> Cory: [39]Developing in "impractical" languages. * Chris Double: [40]Dynamic Compilation and Loading of Modules in Haskell. A mini-tutorial on using the GHC API. * Ashish Hanwadikar: [41]More on Haskell DSL. A Haskell DSL for replacing 'make'. * Luke Palmer: [42]Screw laziness (w.r.t. Fran semantics). Quotes of the Week * quicksilver: I ACCIDENTALLY THE WHOLE VERB * dons: [on ghc's new code generation] <byorgey> so how's the new code gen better? <dons> it's got 98% less dumbs. * adu: source code is transient, dreams are forever. * monochrom: n is the nth English letter. * nomeata: Ah, it seems I'm creating a tuple with more than 62 elements somewhere... * dons: we had 15 years building ivory towers - time to throw rocks from the top! About the Haskell Weekly News New editions are posted to [43]the Haskell mailing list as well as to [44]the Haskell Sequence and [45]Planet Haskell. [46]RSS is also available, and headlines appear on [47]haskell.org. To help create new editions of this newsletter, please see the information on [48]how to contribute. Send stories to byorgey at cis dot upenn dot edu. The darcs repository is available at darcs get [49]http://code.haskell.org/~byorgey/code/hwn/ . References 1. http://haskell.org/ 2. http://www.realworldhaskell.org/blog/2008/11/25/real-world-haskell-is-shipp… 3. http://book.realworldhaskell.org/read/ 4. http://book.realworldhaskell.org/#buy 5. http://www.haskell.org/communities/ 6. http://www.haskell.org//pipermail/haskell-cafe/2008-November/051112.html 7. http://www.haskell.org/communities/ 8. http://article.gmane.org/gmane.comp.lang.haskell.general/16640 9. http://wwwtcs.inf.tu-dresden.de/~voigt/habil.pdf 10. http://www.haskell.org//pipermail/haskell-cafe/2008-November/050920.html] 11. http://newartisans.com/software/ledger.html 12. http://www.haskell.org//pipermail/haskell-cafe/2008-November/051021.html 13. http://www.haskell.org//pipermail/haskell/2008-November/020836.html 14. http://www.turbinado.org/ 15. http://www.haskell.org//pipermail/haskell-cafe/2008-November/051069.html 16. http://article.gmane.org/gmane.comp.lang.haskell.general/16637 17. http://www.chalmers.se/cse/EN/news/vacancies/positions/ph-d-positions-in 18. http://article.gmane.org/gmane.comp.lang.haskell.general/16636 19. http://planet.haskell.org/ 20. http://haskell.org/haskellwiki/Blog_articles 21. http://sigfpe.blogspot.com/2008/11/approach-to-algorithm-parallelisation.ht… 22. http://www.realworldhaskell.org/blog/2008/11/29/first-european-orders-now-l… 23. http://braincrater.wordpress.com/2008/11/29/pimp-your-xmonad-3-prompt/ 24. http://www.realworldhaskell.org/blog/2008/11/26/amazon-orders-now-arriving/ 25. http://www.realworldhaskell.org/blog/2008/11/28/orders-now-arriving-on-the-… 26. http://lukepalmer.wordpress.com/2008/11/28/relative-time-frp/ 27. http://jpmoresmau.blogspot.com/2008/11/predictable-random-for-testing.html 28. http://greenokapi.net/blog/2008/11/28/london-perl-workshop-tomorrow/ 29. http://www.geeklair.net/~pratzsch/blog/2008/11/initial-haskell-impressions.… 30. http://conway.rutgers.edu/~ccshan/wiki/blog/posts/Metalinguistics/ 31. http://yaxu.org/babble/ 32. http://eve-language.blogspot.com/2008/11/sum-types-vs-typeclasses.html 33. http://therning.org/magnus/archives/417 34. http://www.realworldhaskell.org/blog/2008/11/25/real-world-haskell-is-shipp… 35. http://twan.home.fmf.nl/blog/haskell/Knight1.details 36. http://conal.net/blog/posts/semantic-editor-combinators/ 37. http://netsuperbrain.com/blog/posts/why-is-the-reactive-behavior-tutorial-t… 38. http://conway.rutgers.edu/~ccshan/wiki/blog/posts/Bowling_balls/ 39. http://onag.blogspot.com/2008/11/developing-in-impractical-languages.html 40. http://www.bluishcoder.co.nz/2008/11/dynamic-compilation-and-loading-of.html 41. http://feedproxy.google.com/~r/typepad/ahanwadi/ashishs_niti/~3/n41w6S_82SE… 42. http://lukepalmer.wordpress.com/2008/11/23/screw-laziness/ 43. http://www.haskell.org/mailman/listinfo/haskell 44. http://sequence.complete.org/ 45. http://planet.haskell.org/ 46. http://sequence.complete.org/node/feed 47. http://haskell.org/ 48. http://haskell.org/haskellwiki/HWN 49. http://code.haskell.org/~byorgey/code/hwn/

1 0

PEPM'09 -- Call for Participation
by G. Puebla and G. Vidal 30 Nov '08

30 Nov '08

ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM'09) January 19-20, 2009 Savannah, Georgia, USA http://clip.dia.fi.upm.es/Conferences/PEPM09 CALL FOR PARTICIPATION IMPORTANT DATES * Hotel reservation deadline: December 18, 2008 * Early registration deadline: December 19, 2008 VENUE PEPM'09 and all POPL'09 affiliated events will take place at the Hyatt Regency Savannah hotel. SCOPE The PEPM Symposium/Workshop series aims at bringing together researchers and practitioners working in the areas of program manipulation, partial evaluation, and program generation. PEPM focuses on techniques, theory, tools, and applications of analysis and manipulation of programs. PEPM is classified as category A in the CORE ranking of ICT conferences. INVITED TALKS: * Umut Acar. Toyota Technological Institute and Univ. of Chicago. Title: Self-Adjusting Computation * Cristina Cifuentes. Sun Microsystems Laboratories. Title: Program Analysis for Bug Detection using Parfait PROGRAM CHAIRS: German Puebla, Technical University of Madrid, Spain German Vidal, Technical University of Valencia, Spain PROGRAM COMMITTEE: David Binkley, Loyola College, USA Radhia Cousot, CNRS, France Silvia Crafa, University of Padova, Italy Stephen A. Edwards, Columbia University, USA Lidia Fuentes, University of Malaga, Spain John P. Gallagher, Roskilde University, Denmark Thomas Jensen, IRISA, France Yukiyoshi Kameyama, University of Tsukuba, Japan Siau Cheng Khoo, National University of Singapore, Singapore Julia Lawall, University of Copenhagen (DIKU), Denmark Shin-Cheng Mu, Academia Sinica, Taiwan Naoki Nishida, Nagoya University, Japan Maurizio Proietti, CNR, Italy Armin Rigo, University of Dusseldorf, Germany Simon Thompson, Kent University, UK Tarmo Uustalu, Tallinn University of Technology, Estonia Wim Vanhoof, Namur University, Belgium Joost Visser, Software Improvement Group, The Netherlands Janis Voigtlander, TU Dresden, Germany PRELIMINARY PROGRAM * MONDAY, January 19, 2009 ---------------------- ** Invited talk 9:00-10:00 Umut Acar. Toyota Technological Institute and University of Chicago. Title: Self-adjusting computation ---------------------- ** Static Analysis 10:30-12:30 *** Linear Logical Approximations Robert Simmons and Frank Pfenning *** Guided model checking for programs with polymorphism Neha Rungta and Eric Mercer *** Program Interpolation Andrew Moss and Dan Page *** Translation and Optimization for a Core Calculus with Exceptions Cristina David, Cristian Gherghina and Wei-Ngan Chin ---------------------- ** Partial Evaluation and Specialization 13:30-15:00 *** Is there a Fourth Futamura projection? Robert Glueck *** Type-based Specialization of XML Transformations Kazutaka Matsuda, Zhenjiang Hu and Masato Takeichi *** Partially evauated sensor networks Leon Evers and Jan Kuper ---------------------- ** Program Transformation I 15:30-17:00 *** Shortcut fusion rules for the derivation of circular and higher-order monadic programs Alberto Pardo, Joao Fernandes and Joao Saraiva *** A Flexible Framework for Programming with Non-deterministic Functions Francisco Javier Lopez-Fraguas, Juan Rodriguez-Hortala and Jaime Sanchez-Hernandez *** Program Transformation for Numerical Precision Matthieu Martel ---------------------- * TUESDAY, January 20, 2009 ---------------------- ** Invited talk 9:00-10:00 Cristina Cifuentes. Sun Microsystems Laboratories. Title: Program Analysis for Bug Detection using Parfait ---------------------- ** Types 10:30-12:30 *** Shifting the Stage: Staging with Delimited Control Yukiyoshi Kameyama, Oleg Kiselyov and Chung-chieh Shan *** Static Consistency Checking for Verilog Wire Interconnects Cherif Salama, Gregory Malecha, Walid Taha, Jim Grundy and John O'Leary *** Improving Type Error Messages for Generic Java Nabil El Boustani and Jurriaan Hage *** Bidirectional data-flow analyses, type-systematically Maria Joao Frade, Ando Saabas and Tarmo Uustalu ---------------------- ** Slicing and Profiling 13:30-15:00 *** CCCP - Complete Calling Context Profiling in Virtual Execution Environments Philippe Moret, Walter Binder and Alex Villazon *** CProf: Customizable Calling Context Cross-Profiling for Embedded Java Processors Philippe Moret, Walter Binder and Alex Villazon *** SOC: a Slicer for CSP Specifications Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit and Michael Leuschel ---------------------- ** Program Transformation II 15:30-17:00 *** Clone Detection and Removal for Erlang/OTP within a Refactoring Environment Huiqing Li and Simon Thompson *** From Spreadsheets to Relational Databases and Back Jacome Cunha, Joao Saraiva and Joost Visser *** Designing Aspects for Side-Effect Localization Kung Chen, Jia-Yin Lin, Shu-Chun Weng and Siau-Cheng Khoo ----------------------

1 0

ANNOUNCE: Haskell Communities and Activities Report (15th ed., November 2008)
by Janis Voigtlaender 29 Nov '08

29 Nov '08

On behalf of the many, many contributors, I am pleased to announce that the Haskell Communities and Activities Report (15th edition, November 2008) 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 April 2009: target deadline for contributions to the May 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 April (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 <hcar at haskell.org> -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:voigt@tcs.inf.tu-dresden.de

2 1