July 2008 - Haskell - Haskell.org

Announcing Djinn, version 2004-12-11, a coding wizard
by Lennart Augustsson 07 Apr '11

07 Apr '11

Howdy, y'all! I've written a small program that takes a (Haskell) type and gives you back a function of that type if one exists. It's kind of fun, so I thought I'd share it. It's probably best explained with a sample session. calvin% djinn Welcome to Djinn version 2005-12-11. Type :h to get help. # Djinn is interactive if not given any arguments. # Let's see if it can find the identity function. Djinn> f ? a->a f :: a -> a f x1 = x1 # Yes, that was easy. Let's try some tuple munging. Djinn> sel ? ((a,b),(c,d)) -> (b,c) sel :: ((a, b), (c, d)) -> (b, c) sel ((_, v5), (v6, _)) = (v5, v6) # We can ask for the impossible, but then we get what we # deserve. Djinn> cast ? a->b -- cast cannot be realized. # OK, let's be bold and try some functions that are tricky to write: # return, bind, and callCC in the continuation monad Djinn> type C a = (a -> r) -> r Djinn> returnC ? a -> C a returnC :: a -> C a returnC x1 x2 = x2 x1 Djinn> bindC ? C a -> (a -> C b) -> C b bindC :: C a -> (a -> C b) -> C b bindC x1 x2 x3 = x1 (\ c15 -> x2 c15 (\ c17 -> x3 c17)) Djinn> callCC ? ((a -> C b) -> C a) -> C a callCC :: ((a -> C b) -> C a) -> C a callCC x1 x2 = x1 (\ c15 _ -> x2 c15) (\ c11 -> x2 c11) # Well, poor Djinn has a sweaty brow after deducing the code # for callCC so we had better quit. Djinn> :q Bye. To play with Djinn do a darcs get http://darcs.augustsson.net/Darcs/Djinn or get http://darcs.augustsson.net/Darcs/Djinn/Djinn.tar.gz Then just type make. (You need a Haskell 98 implementation and some libraries.) And then start djinn. For the curious, Djinn uses a decision procedure for intuitionistic propositional calculus due to Roy Dyckhoff. It's a variation of Gentzen's LJ system. This means that (in theory) Djinn will always find a function if one exists, and if one doesn't exist Djinn will terminate telling you so. This is the very first version, so expect bugs. :) Share and enjoy. -- Lennart

8 13

Haskell-mode 2.0
by Stefan Monnier 02 Feb '09

02 Feb '09

I have recently taken over maintainership of Haskell-mode, and after making a bunch of changes, I figured it would be a good idea to make a new release. You can find this new release at: http://www-perso.iro.umontreal.ca/~monnier/elisp/ If you think it should also be found at http://www.haskell.org/haskell-mode/, then please tell John Peterson to get back to me (my email to him seem to go straight to the bitbucket. John?). This release has several changes that have all been only lightly tested, especially w.r.t compatibility with various Emacsen. See appended the NEWS file that describes some of the notewirthy changes. Stefan Changes since 1.45: * keybindings C-c <char> have been replaced by C-c C-<char> so as not to collide with minor modes. * The following modules are now automatically activated without having to add anything to haskell-mode-hook: haskell-font-lock (just turn on global-font-lock-mode). haskell-decl-scan (just bind `imenu' to some key). * In recent Emacsen, haskell-doc hooks into eldoc-mode. * haskell-hugs and haskell-ghci are superceded by inf-haskell. * Indentation rules have been improved when using layout inside parens/braces. * Symbols like -> and \ can be displayed as actual arrows and lambdas. See haskell-font-lock-symbols. * Tweaks to the font-lock settings. Among other things paren-matching with things like \(x,y) should work correctly now. * New maintainer <monnier(a)gnu.org>.

3 6

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

The real Monad Transformer
by Henning Thielemann 13 Nov '08

13 Nov '08

It was argued that people avoid Haskell because of terms from Category theory like 'Monad'. This problem can now be solved by a wrapper which presents all the WWW without monads! Start e.g. at http://saxophone.jpberlin.de/MonadTransformer?source=http%3A%2F%2Fwww%2Ehas… Of course the tool is written in Haskell, that is, Haskell helps solving problems which only exist because of Haskell. Bug reports and feature requests can be tracked at https://sourceforge.net/projects/parallelweb

8 10

Haskell Weekly News: Issue 79 - July 31, 2008
by Brent Yorgey 31 Jul '08

31 Jul '08

--------------------------------------------------------------------------- Haskell Weekly News http://sequence.complete.org/hwn/20080731 Issue 79 - July 31, 2008 --------------------------------------------------------------------------- Welcome to issue 79 of HWN, a newsletter covering developments in the [1]Haskell community. Apologies for the slightly late issue this week, attributable to a combination of having to transfer all my files onto a different computer (my former employer had the audacity to request the return of their laptop, now that I no longer work for them) and packing up to move to Philadelphia on Saturday. At any rate, some exciting news this week, including #haskell passing the 500 mark and a new release of Yi -- enjoy! Community News Correction from last week's issue: congratulations were bestowed upon a certain "Dr. Johansson" who does not, in fact, exist, having been replaced almost a year ago by the happily married but otherwise identical Dr. Mikael Vejdemo-Johansson. Announcements A fancier Get monad or two (a la binary and binary-strict). Chris Kuklewicz [2]announced two new Get-like monads for binary data, with a number of additional features. #haskell irc channel reaches 500 users. Don Stewart [3]announced that 6 1/2 years after its inception, under the guiding hand of Shae Erisson (aka shapr), the [4]#haskell IRC channel on freenode has finally reached 500 users! This puts the channel at around the 12th largest (and mostest friendliest) community of the 7000 freenode channels. RandomDotOrg-0.1. Austin Seipp [5]announced the release of the [6]RandomDotOrg package, an interface to the [7]random.org random number generator. Mueval 0.3.1, 0.4, 0.4.5, 0.4.6, 0.5. Gwern Branwen [8]announced a number of releases of [9]Mueval, a package allowing dynamic runtime evaluation of Haskell expressions. As far as anyone knows, all possible security holes have been plugged, and it's missing only a few features before it can replace hs-plugins as lambdabot's evaluation mechanism. Need functional programmers for debugging study. Chris Bogart [10]asked for functional programmers currently developing or maintaining a medium to large-sized program, willing to let him look over their shoulder while they do debugging or coding on the project. Yi 0.4.1. Jean-Philippe Bernardy [11]announced the 0.4.1 release of the Yi editor, a text editor written and extensible in Haskell. The long-term goal of the Yi project is to provide the editor of choice for Haskell programmers. Hipmunk 0.1 and HipmunkPlayground 0.1. Felipe Lessa [12]announced the availability of [13]Hipmunk, containing bindings for the [14]Chipmunk 2D physics engine, and [15]Hipmunk Playground, where you may see some of Hipmunk's features in action. The bindings are low-level but try to hide most of the nasty details of the C code. faster BLAS bindings. Patrick Perry [16]announced that he has [17]largely closed the C performance gap with his recent [18]Haskell BLAS bindings. Expect a new release shortly. FPers in Northwest Arkansas?. Nathan Bloomfield [19]is wondering if there are any Haskellers in the NW Arkansas region to start a functional programming interest group in the area. Italian Haskellers Summer Meeting. Pasqualino 'Titto' Assini [20]announced something about a summer meeting for Italian Haskellers. If you would like to know precisely what it was that was announced, I suggest you learn Italian. InterleavableIO. Marco Tulio Gontijo e Silva [21]announced a package, [22]interleavableIO, based on Jules Bean (quicksilver)'s [23]monadic tunneling code. Google Summer of Code Progress updates from participants in the 2008 [24]Google Summer of Code. Hoogle 4. Neil Mitchell (ndm) is working on [25]Hoogle 4. [26]This week, he rewrote type search: after three days of coding, it required only a few minor debugging tweaks to get it to work. Haskell FTW! Expect a public beta of the command line interface next week. Generic tries. Jamie Brandon is working on a library for efficient maps using generalized tries. [27]This week, he has finally got everything up and running bug free on the new API, except the internals are still using association lists instead of AVL trees. He also exhibits a promising benchmark. DPH physics engine. Roman Cheplyaka (Feuerbach) is working on a [28]physics engine using [29]Data Parallel Haskell. GHC plugins. Max Bolingbroke is working on dynamically loaded plugins for GHC. Cabal dependency framework. Andrea Vezzosi (Saizan) is working on a [30]make-like dependency analysis framework for Cabal. Language.C. Benedikt Huber (visq) is [31]working on Language.C, a standalone parser/pretty printer library for C99. GHC API. Thomas Schilling (nominolo) is working on [32]improvements to the GHC API. Discussion Build system woes. Roman Leshchinskiy began a [33]discussion on Cabal and GHC's new build system, with some suggestions for improving the process. Syb Renovations? Issues with Data.Generics. Claus Reinke [34]brought up a number of issues with Data.Generics, with suggestions for improvement. A question about mfix. Wei Hu [35]asked a question about the definition and semantics of mfix, the monadic fix operation. Using fundeps to resolve polymorphic types to concrete types. Bryan Donlan [36]asked a question about the interaction between functional dependencies and type checking, with a rather subtle answer. Best book/tutorial on category theory and its applications. fero [37]asked for recommendations on a book about category theory. Loss of humour. Andrew Coppin [38]laments the loss of some of Haskell's humorous heritage. Blog noise [39]Haskell news from the [40]blogosphere. * Ketil Malde: [41]Updates and other trivialities. * Ulisses Costa: [42]Lex/yacc. A short lex/yacc tutorial. * Luke Plant: [43]Haskell Regex replace. Luke wonders if anyone knows how to do regex replace in Haskell. * Eric Kow (kowey): [44]simple random numbers in Haskell. Eric writes a simple tutorial for the System.Random module. * Jamie Brandon: [45]Week 7 progress (respect my formatting damnit). An update on Jamie's Google Summer of Code project. * Tupil: [46]Formlets in Haskell. * John Goerzen (CosmicRay): [47]Seen in the Haskell wiki. * Ulisses Costa: [48]Type inference. * Dennis Bueno: [49]ICFP Contest 2008 -- The One Liners. Dennis describes his experiences participating in this year's ICFP Programming Contest. * Magnus Therning: [50]More prefixes. * Don Stewart (dons): [51]Haskell: Batteries Included. * >>> Harry Pierson: [52]Monadic Philosophy Part 2 - The LINQ Monad. * >>> Harry Pierson: [53]Monadic Philosophy. Harry begins a series explaining his journey through understanding monads. * Ulisses Costa: [54]Pointfree Calculator. * Eric Kow (kowey): [55]pandoc gets mediawiki support. * Dan Piponi (sigfpe): [56]The Fibonacci Numbers, Coalgebraicaly. * Twan van Laarhoven: [57]Solving nonograms. * >>> Ayumilove: [58]Haskell Programming Tutorial Part 2A. * >>> Ayumilove: [59]Haskell Programming Tutorial Part 2B. * >>> Ayumilove: [60]Haskell Programming Tutorial Part 3. * >>> Darren Moffat: [61]T5120 donated to Haskell Community. Sun's donation inspires Darren to get back into Haskell and maybe contribute some code to GHC again, like he did back when he was a student at Glasgow. * Mikael Vejdemo-Johansson (DrSyzygy): [62]Blackbox computing of A-infinity algebras. The last results from Mikael's thesis have made it into article form, and are [63]available on the arXiv. * John Goerzen (CosmicRay): [64]OSCon Update. * Real-World Haskell: [65]Beta availability hiccups. * John Goerzen (CosmicRay): [66]First 2 Days of OSCon. John reports live from OSCon. * Neil Mitchell: [67]GSoC Hoogle: Week 9. An update on Neil's Google Summer of Code project. * Patrick Perry: [68]Addressing Haskell BLAS Performance Issues. Patrick's Haskell BLAS bindings are now significantly sped up, and he explains what made the difference. * Arnar Birgisson (Arnar): [69]Parsing annotated postfix operators with Haskell. Arnar exhibits a neat pattern for constructing certain types of parsers, which makes essential use of first-class functions. Quotes of the Week * mauke: a hint to beginners: typing 'fix error' in ghci does not have the intended effect. * mauke: Hungarian Notation constructs a type system in the mind of the programmer. * rwbarton: I was hoping for a pile of Functors. * Baughn: [on lambdabot] Yes, PMS is a real issue. Poor memory size, that is. * Cale: There should be a website called "Static Equilibrium or Not" where you rate pictures according to whether you think the depicted objects are in static equilibrium. * sahko: xmonad is an ancient african word for "you dont need to use a mouse fool". * doidydoidy: Category theory is exactly like a comic book alternative universe, except they use the prefix "co-" instead of "bizarro". About the Haskell Weekly News New editions are posted to [70]the Haskell mailing list as well as to [71]the Haskell Sequence and [72]Planet Haskell. [73]RSS is also available, and headlines appear on [74]haskell.org. Headlines are available as [75]PDF. To help create new editions of this newsletter, please see the information on [76]how to contribute. Send stories to byorgey at seas dot upenn dot edu. The darcs repository is available at darcs get [77]http://code.haskell.org/~byorgey/code/hwn/ . References 1. http://haskell.org/ 2. http://article.gmane.org/gmane.comp.lang.haskell.libraries/9691 3. http://article.gmane.org/gmane.comp.lang.haskell.cafe/42671 4. http://haskell.org/haskellwiki/IRC_channel 5. http://article.gmane.org/gmane.comp.lang.haskell.cafe/42643 6. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/RandomDotOrg 7. http://random.org/ 8. http://article.gmane.org/gmane.comp.lang.haskell.cafe/42629 9. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/mueval 10. http://article.gmane.org/gmane.comp.lang.haskell.general/16360 11. http://article.gmane.org/gmane.comp.lang.haskell.cafe/42582 12. http://article.gmane.org/gmane.comp.lang.haskell.general/16355 13. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Hipmunk 14. http://wiki.slembcke.net/main/published/Chipmunk 15. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HipmunkPlayground 16. http://article.gmane.org/gmane.comp.lang.haskell.cafe/42534 17. http://quantile95.com/2008/07/24/addressing-haskell-blas-performance-issues/ 18. http://www-stat.stanford.edu/~patperry/code/blas/ 19. http://article.gmane.org/gmane.comp.lang.haskell.cafe/42548 20. http://article.gmane.org/gmane.comp.lang.haskell.cafe/42545 21. http://article.gmane.org/gmane.comp.lang.haskell.cafe/42502 22. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/interleavableIO 23. http://www.haskell.org/pipermail/haskell-cafe/2007-July/028501.html 24. http://hackage.haskell.org/trac/summer-of-code/wiki/SoC2008 25. http://code.haskell.org/hoogle/ 26. http://neilmitchell.blogspot.com/2008/07/gsoc-hoogle-week-9.html 27. http://jamiiecb.blogspot.com/2008/07/week-7-progress-respect-my-formatting.… 28. http://haskell.org/haskellwiki/Hpysics 29. http://www.haskell.org/haskellwiki/GHC/Data_Parallel_Haskell 30. http://code.haskell.org/~Saizan/cabal 31. http://www.sivity.net/projects/language.c/wiki/ 32. http://hackage.haskell.org/trac/ghc/wiki/GhcApiStatus 33. http://thread.gmane.org/gmane.comp.lang.haskell.glasgow.user/14800 34. http://thread.gmane.org/gmane.comp.lang.haskell.libraries/9672 35. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/42677 36. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/42639 37. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/42616 38. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/42510 39. http://planet.haskell.org/ 40. http://haskell.org/haskellwiki/Blog_articles 41. http://blog.malde.org/index.php/2008/07/31/updates-and-other-trivialities/ 42. http://caos.di.uminho.pt/~ulisses/blog/2008/07/31/lexyacc/ 43. http://lukeplant.me.uk/blog.php?id=1107301690 44. http://koweycode.blogspot.com/2008/07/simple-random-numbers-in-haskell.html 45. http://jamiiecb.blogspot.com/2008/07/week-7-progress-respect-my-formatting.… 46. http://blog.tupil.com/formlets-in-haskell/ 47. http://changelog.complete.org/posts/736-Seen-in-the-Haskell-wiki.html 48. http://caos.di.uminho.pt/~ulisses/blog/2008/07/30/type-inference/ 49. http://obfuscatedcode.wordpress.com/2008/07/30/icfp-contest-2008-the-one-li… 50. http://therning.org/magnus/archives/355 51. http://www.cse.unsw.edu.au/~dons/blog/2008/07/29#batteries 52. http://devhawk.net/2008/07/30/Monadic+Philosophy+Part+2+The+LINQ+Monad.aspx 53. http://devhawk.net/2008/07/30/Monadic+Philosophy.aspx 54. http://caos.di.uminho.pt/~ulisses/blog/2008/07/29/pointfree-calculator/ 55. http://koweycode.blogspot.com/2008/07/pandoc-gets-mediawiki-support.html 56. http://sigfpe.blogspot.com/2008/07/fibonacci-numbers-coalgebraicaly.html 57. http://twan.home.fmf.nl/blog/haskell/Nonograms.details 58. http://www.5min.com/Video/-Ayumilove-Haskell-Programming-Tutorial-Part-2-A-… 59. http://www.5min.com/Video/Ayumilove-Haskell-Programming-Tutorial-Part-2-B-3… 60. http://www.5min.com/Video/Ayumilove-Haskell-Programming-Tutorial-Part-3-318… 61. http://blogs.sun.com/darren/entry/t5120_donated_to_haskell_community 62. http://blog.mikael.johanssons.org/archive/2008/07/blackbox-computing-of-a-i… 63. http://arxiv.org/abs/0807.3869 64. http://changelog.complete.org/posts/733-OSCon-Update.html 65. http://www.realworldhaskell.org/blog/2008/07/16/beta-availability-hiccups/ 66. http://changelog.complete.org/posts/732-First-2-Days-of-OSCon.html 67. http://neilmitchell.blogspot.com/2008/07/gsoc-hoogle-week-9.html 68. http://quantile95.com/2008/07/24/addressing-haskell-blas-performance-issues/ 69. http://www.hvergi.net/2008/07/parsing-annotated-postfix-operators-with-hask… 70. http://www.haskell.org/mailman/listinfo/haskell 71. http://sequence.complete.org/ 72. http://planet.haskell.org/ 73. http://sequence.complete.org/node/feed 74. http://haskell.org/ 75. http://code.haskell.org/~byorgey/code/hwn/archives/20080731.pdf 76. http://haskell.org/haskellwiki/HWN 77. http://code.haskell.org/~byorgey/code/hwn/

1 0

ANN: Need functional programmers for debugging study
by Chris Bogart 30 Jul '08

30 Jul '08

Are you currently developing or maintaining a medium to large-sized program written in a functional language, such as Haskell, F#, OCaml, or Lisp? I'm a PhD student doing a study of functional programmers, as part of a research internship at Microsoft, and I would like the opportunity to look over your shoulder while you do debugging or coding on your project. I'm looking for people with at least a year's experience doing functional programming, and who are currently working on a real project (i.e. for some purpose other than learning functional programming). I'm only allowed to use people who can work in the US (because of the gratuity, which is taxable income). I'd simply come watch you work, and ask a few questions along the way. You'd do whatever you would normally be doing. If you're near Seattle or Portland, I'd come to your office for a couple of hours. If you're not near Seattle or Portland, then we'd set you up with LiveMeeting or some other remote screencast software so I can watch you from here. Obviously security concerns are an issue - I will not share any proprietary information that I learn about while visiting you. In exchange for your help, Microsoft will offer you your pick of free software off its gratuity list (which has about 50 items, including Visual Studio Professional, Word for Mac, XBOX 360 games) or any book from MS Press. We're doing this because expert functional programmers have not been studied much. We plan to share our findings through academic publications, to help tool developers create debugging tools that are genuinely helpful in real-world settings. I'm hoping to finish my observations by August 8th, so please contact me immediately if you're interested! Thank you, Chris Bogart 425-538-3562 t-chribo(a)microsoft.com

1 0

[PEPM 2009] Preliminary CFP
by German Vidal 30 Jul '08

30 Jul '08

P R E L I M I N A R Y C A L L F O R P A P E R S === P E P M 2009 === ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation http://www.clip.dia.fi.upm.es/Conferences/PEPM09 January 19-20, 2009 Savannah, Georgia, USA (Affiliated with POPL 2009) IMPORTANT DATES Abstract due: October 12, 2008 Submission: October 17, 2008 Author Notification: November 17, 2008 Camera-Ready Paper: December 1, 2008 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. The 2009 PEPM workshop will be based on a broad interpretation of semantics-based program manipulation and continue last years' successful effort to expand the scope of PEPM significantly beyond the traditionally covered areas of partial evaluation and specialization and include practical applications of program transformations such as refactoring tools, and practical implementation techniques such as rule-based transformation systems. In addition, the scope of PEPM covers manipulation and transformations of program and system representations such as structural and semantic models that occur in the context of model-driven development. In order to reach out to practitioners, a separate category of tool demonstration papers will be solicited. Topics of interest for PEPM'09 include, but are not limited to: * Program and model manipulation techniques such as transformations driven by rules, patterns, or analyses, partial evaluation, specialization, program inversion, program composition, slicing, symbolic execution, refactoring, aspect weaving, decompilation, and obfuscation. * Program analysis techniques that are used to drive program/model manipulation such as abstract interpretation, static analysis, binding-time analysis, dynamic analysis, constraint solving, and type systems. * Analysis and transformation for programs/models with advanced features such as objects, generics, ownership types, aspects, reflection, XML type systems, component frameworks, and middleware. * Techniques that treat programs/models as data objects including meta-programming, generative programming, staged computation, and model-driven program generation and transformation. * Application of the above techniques including experimental studies, engineering needed for scalability, and benchmarking. Examples of application domains include legacy program understanding and transformation, domain-specific language implementations, scientific computing, middleware frameworks and infrastructure needed for distributed and web-based applications, resource-limited computation, and security. We especially encourage papers that break new ground including descriptions of how program/model manipulation tools can be integrated into realistic software development processes, descriptions of robust tools capable of effectively handling realistic applications, and new areas of application such as rapidly evolving systems, distributed and webbased programming including middleware manipulation, model-driven development, and on-the-fly program adaptation driven by run-time or statistical analysis. SUBMISSION GUIDELINES, CATEGORIES, AND PROCEEDINGS Regular Research Papers must not exceed 10 pages in ACM Proceedings style. Tool demonstration papers must not exceed 4 pages in ACM Proceedings style. At least one author of each accepted contribution must attend the workshop and present the work. In the case of tool demonstration papers, a live demonstration of the described tool is expected. Suggested topics, evaluation criteria, and writing guidelines for both research tool demonstration papers will be made available on the PEPM'09 Web-site. Papers should be submitted electronically via the workshop web site. The workshop proceedings will be published in the ACM Digital Library. A journal special issue dedicated to PEPM'09 including selected papers is under consideration. PROGRAM CO-CHAIRS German Puebla, Technical University of Madrid, Spain German Vidal, Technical University of Valencia, Spain PEPM 2009 PROGRAM COMMITTEE To be announced

1 0

WI-IAT'08 Workshops: Deadline Extended to August 7, 2008
by WI-IAT'08 29 Jul '08

29 Jul '08

[Apologies if you receive this more than once] Papers Due: *** 7 August 2008 ***NEW DEADLINE*** Due to repeated requests, the deadline is extended to 7 August 2008. ##################################################################### IEEE/WIC/ACM WI-IAT 2008 WORKSHOPS CALL FOR PAPERS ##################################################################### 2008 IEEE/WIC/ACM International Conference on Web Intelligence (WI-08) 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT-08) December 9-12, 2008, Sydney, Australia Official sites: http://datamining.it.uts.edu.au/conferences/wi08/ AND http://datamining.it.uts.edu.au/conferences/iat08/ Mirror sites: http://maebashi-it.org/wi-iat08/wi08/index.html AND http://maebashi-it.org/wi-iat08/iat08/index.html Sponsored By IEEE Computer Society Web Intelligence Consortium (WIC) Association for Computing Machinery (ACM) ######################################################################## All submitted papers will be reviewed on the basis of technical quality, relevance, significance, and clarity. Accepted papers for workshops will be published in the Workshops Proceedings by the IEEE Computer Society Press, which are indexed by EI. ######################################################################## WI-IAT 2008 workshops provide an excellent international forum of scientific research and development to explore the fundamental roles as well as practical impacts of Web Intelligence and Intelligent Agent Technology. The two main conferences will have a joint opening, keynote, reception, and banquet. Attendees only need to register for one conference and can attend workshops, sessions, tutorials, panels, exhibits and demonstrations across the conferences. Note: we will not have a separate workshop registration fee this year (i.e., only one conference registration covers everything). +++++++++++++++++++ Workshops +++++++++++++++++++ --------------------------------------------------------------------------------------------- The 2nd Workshop on Collective Intelligence in Semantic Web and Social Networks (CISWSN 2008) --------------------------------------------------------------------------------------------- http://www.iit.pwr.wroc.pl/~krzysiek/CISWSN.htm Jason J. Jung [j2jung(a)intelligent.pe.kr] Tudor Groza [tudor.groza(a)deri.org] Hak Lae Kim [haklae.kim@ deri.org] --------------------------------------------------------------------------------- International Workshop on Web Information Retrieval Support Systems (WIRSS 2008) --------------------------------------------------------------------------------- http://uxlab.cs.mun.ca/wirss2008/ Orland Hoeber [hoeber(a)cs.mun.ca] Yiyu Yao [yyao(a)cs.uregina.ca] ---------------------------------------------------------------------------------------------- International Workshop on Web Personalization, Reputation and Recommender Systems (WPRRS 2008) ---------------------------------------------------------------------------------------------- http://www.wprrs08.fit.qut.edu.au/ Yue Xu [yue.xu(a)qut.edu.au] ---------------------------------------------------------------- International Workshop on Intelligent Web Interaction (IWI 2008) ---------------------------------------------------------------- http://ymd.ex.nii.ac.jp/ws/iwi/08/ Tsuyoshi MURATA [murata(a)cs.titech.ac.jp] Seiji YAMADA [seiji(a)nii.ac.jp] ----------------------------------------------- Workshop on Intelligent E-government (IEG 2008) ----------------------------------------------- http://management.dlut.edu.cn/WI-IAT'08_IEG/index.htm Dr Ning Wang [wn(a)dlut.edu.cn] Dr Xin Ye [yejstar(a)163.com] Dr Liming Zhu [Liming.Zhu(a)nicta.com.au] Dr Shaobo Ji [sji(a)business.carleton.ca] ---------------------------------------------------------------------------------------------------------- International Workshop on New Computing Paradigms for Web Intelligence meet Brain Informatics (WImBI 2008) ---------------------------------------------------------------------------------------------------------- http://www.wi-consortium.org/wimbi08/ Peng (Paul) Wen [Wen(a)usq.edu.au] ------------------------------------------------------------ International Workshop on Fuzzy Logic On the Web (FLOW 2008) ------------------------------------------------------------ http://www.cwi.ugent.be/flow2008/ Stijn Heymans [email:heymans@kr.tuwien.ac.at] Ghent University [Stijn.Heymans(a)UGent.be] Martine De Cock [Martine.Decock(a)UGent.be] Dirk Vermeir [dvermeir(a)vub.ac.be] Elie Sanchez [elie.sanchez(a)medecine.univ-mrs.fr] ----------------------------------------------------------------------------- Workshop on Natural Language Processing and Ontology Engineering (NLPOE 2008) ----------------------------------------------------------------------------- http://icl.pku.edu.cn/proceedings/NLPOEworkshop/ Sui Zhifang [suizhifang(a)gmail.com] Liu Yao [liuy(a)istic.ac.cn] --------------------------------------------------------------------------------------- Workshop on Web Intelligence & Intelligent Agent Technology in eLearning (TUMAS-A 2008) --------------------------------------------------------------------------------------- http://adenu.ia.uned.es/workshops/wi-iat08/tumasa08 Jesus G. Boticario [jgb(a)dia.uned.es] Olga C. Santos [ocsantos(a)dia.uned.es] Rafael Calvo [rafa(a)ee.usyd.edu.au] --------------------------------------------------------------------- International Workshop on Computational Social Networks (IWCSN 2008) --------------------------------------------------------------------- http://www.softcomputing.net/~csn/ Vaclav Snasel [vaclav.snasel(a)vsb.cz] Ajith Abraham [ajith.abraham(a)ieee.org] James Peters [jfpeters(a)ee.umanitoba.ca] Aboul Ella Hassanien [a.hassanien(a)fci-cu.edu.eg] Gerald Schaefer [g.schaefer(a)aston.ac.uk] -------------------------------------------------------------------------- Workshop on Optimization-based Data Mining and Web Intelligence (ODM 2008) -------------------------------------------------------------------------- http://www.feds.ac.cn/three/WebIntelligence.mht Yong Shi [yshi(a)unomaha.edu] Jing He [lotusjing(a)gmail.com] --------------------------------------------------------------------------------------------------------------------------------------------------- The Second International Workshop on Human Aspects in Ambient Intelligence: Agent Technology, Human-Oriented Knowledge and Applications (HAAI 2008) --------------------------------------------------------------------------------------------------------------------------------------------------- http://www.few.vu.nl/~treur/HAI08wsCfP.htm Jan Treur [treur(a)cs.vu.nl] ------------------------------------------------------------------------ International Workshop on E-Commerce, Business, and Services (ECBS 2009) ------------------------------------------------------------------------ http://www.uow.edu.au/~quan/ECBS/index.html Takayuki Ito [ito.takayuki(a)nitech.ac.jp] ----------------------------------------------------------- Workshop on P2P Computing and Autonomous Agents (P2P 2008) ----------------------------------------------------------- http://faculty.kfupm.edu.sa/ICS/helmy/P2PAA08/index.htm Tarek Helmy [helmy(a)kfupm.edu.sa] ------------------------------------------------------------------------ International Workshop on Agents and Data Mining Interaction (ADMI 2008) ------------------------------------------------------------------------ http://www.agentmining.org/admi08/ Longbing CAO [lbcao(a)it.uts.edu.au] -------------------------------------------------------------------------------- Workshop on Logics for Intelligent Agents and Multi-Agent Systems (WLIAMAS 2008) -------------------------------------------------------------------------------- http://www.comp.mq.edu.au/conferences/wliamas08 Mehmet A Orgun [mehmet(a)ics.mq.edu.au] ------------------------------------------------------------------------------------ The 3rd IEEE International Workshop on Data Mining in Bioinformatics (IEEE DMB 2008) ------------------------------------------------------------------------------------ http://dmb08.biomap.org Amandeep S. Sidhu [asidhu(a)mac.com] ----------------------------- 2008 WI-IAT Doctoral Workshop ----------------------------- http://www.roughsets.org/WI-IAT2008/DoctoralWS.html Marcin Szczuka [szczuka(a)mimuw.edu.pl] Ryszard Kowlaczyk [rkowalczyk(a)swin.edu.au] Hui Wang [h.wang(a)ulster.ac.uk] Xiaohui Tao [x.tao(a)qut.edu.au] ++++++++++++++++++++++++++++++++++++ On-Line Submissions and Publication ++++++++++++++++++++++++++++++++++++ Paper submissions should be limited to a maximum of 4 pages in the IEEE 2-column format; the same as the camera-ready format (see the Author Guidelines at ftp://pubftp.computer.org/press/outgoing/proceedings/instruct.pdf) All submitted papers will be reviewed by the Program Committee on the basis of technical quality, relevance, significance, and clarity. Please use the Submission Form on the WI’08 or IAT'08 website to submit your papers for Workshops. Accepted papers will be published in the workshops proceedings by the IEEE Computer Society Press that are indexed by EI. Each workshops paper will be allocated 4 pages in the proceedings and will have an oral presentation. All co-authors will be notified at all time, for the submission, notification, and confirmation on the attendance. Submitting a paper to the workshops means that, if the paper is accepted, at least one author should attend the workshops to present the paper. A selected number of accepted papers will be expanded and revised for inclusion in Web Intelligence and Agent Systems: An International Journal or in Annual Review of Intelligent Informatics (http://wi-consortium.org/) More detailed instructions and the On-Line Submission Form can be found at http://datamining.it.uts.edu.au/conferences/wi08/?page_id=5 OR http://datamining.it.uts.edu.au/conferences/iat08/?page_id=6 ++++++++++++++++ Important Dates ++++++++++++++++ * Workshop paper submission: 7 August, 2008 ***NEW DEADLINE*** * Author notification: September 3, 2008 * Conference dates: December 9-12, 2008 ++++++++++++++++++++++++ Workshop Co-Chairs ++++++++++++++++++++++++ * Yuefeng Li, Queensland University of Technology, Australia (Email: y2.li(a)qut.edu.au) * Gabriella Pasi, University of Milano, Italy (Email: pasi(a)disco.unimib.it)

1 0

Anglo Haskell 2008
by Matthew Sackman 29 Jul '08

29 Jul '08

Anglo Haskell is a gathering of all people Haskell-related from beginners, to seasoned hackers to academic giants. All and more are welcomed by large fuzzy green lambdas. Anglo Haskell has happened for the last two years and we see no reason why it should not happen again this year. For the last two years they've tended to have talks on Fridays and then Other Things on the Saturday (including Punting and Group Hacking, some or more of which may have happened in Pubs). We're proposing the same general format this year. In contrast to the last two years which have been held at MSR Cambridge (UK), we're this year proposing to hold the event at Imperial College, London. London is probably easier to get to and from (though more tedious to get across) than Cambridge and we hope this will attract people who previously have not been able to get out to Cambridge. The proposed dates are Friday the 8th and Saturday the 9th of August. More details are available on the wikipage: http://www.haskell.org/haskellwiki/AngloHaskell/2008 Please feel free to add to this page. If you're at all interested in coming along then please add your name to the wikipage. If you're interested in giving a talk - on literally anything Haskell related: this is not a solely theory day or solely a practical day; anything goes which is Haskell related - then similarly add yourself to the list of speakers. Schedule and other details will be confirmed soon. Lodging, travel and all other related matters will be discussed on the irc channel (and will eventually migrate to the wikipage) #anglohaskell. If you're free that weekend then please come along! Also, if you'd really like to come but can't make those dates and there are many of you then please shout loudly and things could potentially be moved, though with the lack of time left before the event, we'd prefer to avoid this. Matthew

1 2

ANN: Hayoo! beta 0.2
by Timo B. Hübel 27 Jul '08

27 Jul '08

Hello, we are pleased to announce the second beta release of Hayoo!, a Haskell API search engine providing advanced features like suggestions, find-as-you-type, fuzzy queries and much more. Visit Hayoo! here: http://holumbus.fh-wedel.de/hayoo The major change is the inclusion of all packages available on Hackage, i.e. the documentation of the latest versions of all packages is included in the index. Unfortunately we had to drop the direct links to the source code, as the documentation on Hackage is currently generated without source code. But as soon as this changes, we will include these links again. Additionally, we added some tweaks to the interface which make the browser history/the back button work (at least in Firefox). Please bear in mind that this is still a beta release and we are continuously working on further improvements. Any suggestions and feedback is highly welcomed. Cheers, Timo & Sebastian

2 1