June 2008 - Haskell-Cafe

ANN: blas-0.4.1
by Patrick Perry 11 Jun '08

11 Jun '08

There were a few hiccups in the release of 0.4, so this version is to make installation go a little smoother for people. There are now installation instructions (the INSTALL file) and configuration settings for some common CBLAS (ATLAS, MKL, vecLib, GSL). The default is now to assume that ATLAS is installed, so hopefully most people won't have to fuss too much with this. Alberto Ruiz reported two small issues with precision in the unit tests, and those have now been fixed. Patrick

1 0

Haskell Weekly News: Issue 72 - June 11, 2008
by Brent Yorgey 11 Jun '08

11 Jun '08

--------------------------------------------------------------------------- Haskell Weekly News http://sequence.complete.org/hwn/20080611 Issue 72 - June 11, 2008 --------------------------------------------------------------------------- Welcome to issue 72 of HWN, a newsletter covering developments in the [1]Haskell community. Greetings, Haskellites! As many of you have already heard, Don Stewart has passed on the editorship of the HWN to me (Brent Yorgey). I'd like to thank Don and John Goerzen for their great work putting it together in the past, and I'm excited to make the HWN once again into a reliable, useful compendium of happenings in the Haskell community. You can expect to see a few changes---for example, hackage uploads will no longer be listed in the HWN (unless they are announced on the haskell or haskell-cafe mailing lists), since you can now see a dynamically updated list on the front page of the Haskell wiki. This edition includes all the announcements going back to Issue 71, but only some of the blog posts, since I couldn't find a way to get old feed data from Planet Haskell. Hopefully next week things will settle down to something more normal(ish) and I can begin tinkering with the format. Feel free to send suggestions and/or stories for inclusion to me, byorgey at gmail dot com. Enjoy---'Putting the W back in HWN!' Announcements hfann. Olivier Boudry [2]announced the first release of the [3]hfann module, an interface to the [4]'Fast Artificial Neural Network (FANN)' library. funsat. Denis Bueno [5]announced a release of [6]funsat, a modern, DPLL-style SAT solver written in Haskell. Funsat solves formulas in conjunctive normal form and produces a total variable assignment for satisfiable problems. DEFUN08: Call for talks and tutorials. Matthew Fluet [7]announced the final call for talks and tutorials at [8]DEFUN 2008, to be held in conjunction with [9]ICFP. Cabal-1.4 Release Candidate. Duncan Coutts [10]announced the second release candidate for [11]Cabal-1.4. Programmer's Minesweeper. Bertram Felgenhauer [12]announced a Haskell implementation of [13]Programmer's Minesweeper, which allows programmers to implement minesweeper strategies and run them. hackage RSS feed. Don Stewart [14]announced a new [15]RSS feed for the most recently uploaded packages on [16]Hackage. BLAS bindings. Patrick Perry [17]announced a set of bindings for the [18]BLAS linear algebra library. Xen Control bindings. Thomas DuBuisson [19]announced the [20]hsXenCtrl package, with FFI bindings to [21]Xen. bloomfilter. Bryan O'Sullivan [22]announced the availability of a fast Bloom filter library for Haskell. A Bloom filter is a probabilistic data structure that provides a fast set membership querying capability. It does not give false negatives, but has a tunable false positive rate. HCAR. Janis Voigtlaender [23]announced the 14th edition of the [24]Haskell Community and Activities Report (HCAR). HSmugMug. Daniel Patterson [25]announced [26]HSmugMug, a Haskell wrapper to the photo hosting site [27]SmugMug's API. LIPL. Sam Lee [28]announced the release of [29]LIPL, a tiny functional language implemented as a term project to learn Haskell. Glome 0.51. Jim Snow [30]announced version 0.51 of [31]glome, a raytracer written in Haskell. ChessLibrary. Andrew Wagner [32]announced the [33]ChessLibrary project, and mentioned that he is looking for an experienced haskeller to serve as a mentor for this project. xmonad-utils. Gwern Branwen [34]announced the upload to hackage of [35]xmonad-utils, a couple of small Xlib programs which might be useful for xmonad users. Roguestar. Christopher Lane Hinson [36]announced the release of [37]Roguestar 0.2, a science fiction themed roguelike (turn-based, chessboard-tiled, role playing) game written in Haskell. Streaming Component Combinators. Mario Blazevic [38]announced the 0.1 release of [39]Streaming Component Combinators in Haskell, based on earlier work done in [40]OmniMark. Twitter client. Chris Eidhof [41]announced a simple [42]terminal-based Twitter client. Monad.Reader call for copy. Wouter Swierstra [43]issued a call for copy for [44]The Monad.Reader. The submission deadline for Issue 11 is August 1. category-extras. Edward Kmett [45]announced a new release of the [46]category-extras package, involving all sorts of new categorical goodness. Session Types for Haskell. Matthew Sackman [47]announced the availability of [48]Session Types for Haskell. Session types are a means of describing communication between multiple threads, and statically verifying that the communication being performed is safe and conforms to the specification. Haddock 2.1.0. David Waern [49]announced the release of [50]Haddock 2.1.0. ReviewBoard. Adam Smyczek [51]announced the release of [52]Haskell bindings to [53]ReviewBoard, a development tool designed to monitor code changes and analyze dependencies. diagrams. Brent Yorgey [54]announced the initial release of [55]Graphics.Rendering.Diagrams, an embedded domain-specific language for creating simple pictures and diagrams, built on top of the Cairo vector graphics library. HXT. Uwe Schmidt [56]announced a new release of the [57]Haskell XML Toolbox. GSoC. Malcolm Wallace [58]announced the seven student projects chosen to be funded by the [59]Google Summer of Code. bytestring. Don Stewart [60]announced a new major release of [61]bytestring, the efficient string library for Haskell, suitable for high-performance scenarios. HXQ. Leonidas Fegaras [62]announced the release of [63]HXQ, an [64]XQuery compiler/interpreter for Haskell. Win32-notify. Niklas Broberg [65]announced the first release of [66]Win32-notify, an inotify-alike for Windows. cpuid. Martin Grabmueller [67]announced the new [68]cpuid package, which provides functionality for accessing information about the currently running IA-32 processor. Emping. Hans van Thiel [69]announced version 0.5 of the [70]Emping package, a utility which derives the shortest rules from a table of rules. datapacker. John Goerzen [71]announced the first release of [72]datapacker, a tool to pack files into a minimum number of CDs, DVDs, or any other arbitrary bin. darcswatch. Joachim Breitner [73]announced the release of [74]darcswatch, a tool for tracking darcs patches and repositories. Generic Haskell. Thomas van Noort [75]announced the fifth release of [76]Generic Haskell, an extension of Haskell that facilitates generic programming. drawingcombinators. Luke Palmer [77]announced the release of [78]graphics-drawingcombinators, a wrapper around OpenGL with a functional interface. The Monad.Reader. Wouter Swierstra [79]announced the publication of Issue 10 of [80]The Monad.Reader, a quarterly magazine about functional programming. Well-Typed LLP. Ian Lynagh [81]announced that he, Björn Bringert and Duncan Coutts have set up a Haskell consultancy company, [82]Well-Typed LLP. Their services include application development, library and tool maintenance, project advice, and training. hgdbmi. Evan Martin [83]announced the [84]hgdbmi package, which wraps the operations of attaching GDB to a process and parsing the GDB/MI output. xmonad. Don Stewart [85]announced the release of [86]xmonad version 0.7. Updates include improved integration with GNOME, more flexible "rules", various stability fixes, and of course, many new and interesting features in the extension library. Haskell Server Pages. Niklas Broberg [87]announced a new release of [88]Haskell Server Pages, a programming model for writing dynamic web pages in Haskell, both server-side and client-side. Network.MiniHTTP. Adam Langley [89]announced a release of [90]network-minihttp, a small bytestring HTTP library. Disciplined Disciple Compiler. Ben Lippmeier [91]announced the initial alpha release of the [92]Disciplined Disciple Compiler, an explicitly lazy dialect of Haskell. haskell-src-exts. Niklas Broberg [93]announced a new release for [94]haskell-src-exts, a package for handling and manipulating Haskell source code. omnicodec. Magnus Therning [95]announced the package [96]omnicodec, containing two command line utilities for encoding and decoding data. Blog noise [97]Haskell news from the [98]blogosphere. * [99]Christophe Poucet (vincenz): ICFP Contest 2008 * [100]Real-World Haskell: CUFP 2007 videos now easier to view * [101]Wrap-up: mergesort in haskell * [102]jbofihe and Haskell * [103]Writing a Regular Expression parser in Haskell: Part 3 * [104]Real World Haskell * [105]London Haskell Users Group: Next meeting: Paradise, a DSEL for derivatives pricing * [106]Christophe Poucet (vincenz): Lazy memoization * [107]Neil Mitchell: GSoC Hoogle: Week 2 * [108]Magnus Therning: Google Treasure Hunt primes question * [109]Roman Cheplyaka: Status report: week 2 * [110]Andy Gill: The unknown cost of dictionaries * [111]Edward Kmett: Zapping Adjunctions * [112]Edward Kmett: Representing Adjunctions * [113]Andy Gill: Performance problems with functional representation of derivatives * [114]Conal Elliott: Functional linear maps Quotes of the Week * roconnor: if you click your heels and say ``there is no binding like gtk2hs'' then dcoutts will appear and answer your question. * mauke: the first rule of fix club is "the first rule of fix club is "the first rule of fix club is... * oerjan: so does this mean that a comonad is like a wildlife preserve on an island in a sea of nuclear waste? * quicksilver: head-explosion is the solution, not the problem. * Botje: [on googling for polyvariadic typeclasses] OH GOD THE FIRST HIT IS OLEGS SITE! / *ahum* / I meant, "yay, reading material" * Baughn: From my point of view, anyone who understands everything ghc can do is /scary/. I'm sure that will change once I reach that level myself, but then again, there's also the possibility that I'll be in a permanent state of autophobia. * newsham: I think the problem with people asking homework questions in this channel is that the people in this channel don't have enough homework questions of their own to do. * quicksilver: *** quicksilver beats Deewiant with the i-will-not-use-fail-stick [Deewiant] quicksilver: I'm willing to accept a good alternative. [quicksilver] no. all you are permitted to accept is a beating. * mar77a: MONAD ARGHH GHGRHGH HGHRGHR RUN * Cale: Types are a bit like the nubs on lego bricks which provide structural integrity while suggesting how the bricks should fit together. * quicksilver: zip`ap`tail the aztec god of consecutive numbers About the Haskell Weekly News New editions are posted to [115]the Haskell mailing list as well as to [116]the Haskell Sequence and [117]Planet Haskell. [118]RSS is also available, and headlines appear on [119]haskell.org. Headlines are available as [120]PDF. To help create new editions of this newsletter, please see the [121]contributing information. Send stories to byorgey at gmail dot com. The darcs repository is available at darcs get [122]http://code.haskell.org/~byorgey/code/hwn/ References 1. http://haskell.org/ 2. http://article.gmane.org/gmane.comp.lang.haskell.cafe/41154 3. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hfann 4. http://leenissen.dk/fann/ 5. http://article.gmane.org/gmane.comp.lang.haskell.cafe/41167 6. http://churn.ath.cx/funsat.html 7. http://article.gmane.org/gmane.comp.lang.haskell.cafe/38392 8. http://www.deinprogramm.de/defun-2008/ 9. http://www.icfpconference.org/icfp2008/ 10. http://article.gmane.org/gmane.comp.lang.haskell.cafe/41059 11. http://www.haskell.org/cabal/ 12. http://article.gmane.org/gmane.comp.lang.haskell.cafe/40950 13. http://www.ccs.neu.edu/home/ramsdell/pgms/index.html 14. http://article.gmane.org/gmane.comp.lang.haskell.cafe/41045 15. http://hackage.haskell.org/packages/archive/recent.rss 16. http://hackage.haskell.org/ 17. http://quantile95.com/?p=5 18. http://www.netlib.org/blas/ 19. http://article.gmane.org/gmane.comp.lang.haskell.cafe/40790 20. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hsXenCtrl 21. http://xen.org/ 22. http://article.gmane.org/gmane.comp.lang.haskell.cafe/40745 23. http://article.gmane.org/gmane.comp.lang.haskell.cafe/40703 24. http://www.haskell.org/communities/ 25. http://article.gmane.org/gmane.comp.lang.haskell.cafe/40546 26. http://dbpatterson.com/articles/10 27. http://www.smugmug.com/ 28. http://article.gmane.org/gmane.comp.lang.haskell.cafe/40500 29. http://www.lipl.googlepages.com/index.html#source 30. http://article.gmane.org/gmane.comp.lang.haskell.cafe/40479 31. http://syn.cs.pdx.edu/~jsnow/glome/ 32. http://article.gmane.org/gmane.comp.lang.haskell.cafe/40052 33. http://code.haskell.org/ChessLibrary/ 34. http://article.gmane.org/gmane.comp.lang.haskell.cafe/39773 35. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/xmonad-utils 36. http://article.gmane.org/gmane.comp.lang.haskell.cafe/39710 37. http://roguestar.downstairspeople.org/ 38. http://article.gmane.org/gmane.comp.lang.haskell.cafe/39654 39. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/scc-0.1 40. http://www.idealliance.org/papers/extreme/proceedings/html/2006/Blazevic01/… 41. http://article.gmane.org/gmane.comp.lang.haskell.cafe/39648 42. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/twitter 43. http://article.gmane.org/gmane.comp.lang.haskell.cafe/39522 44. http://www.haskell.org/haskellwiki/The_Monad.Reader 45. http://article.gmane.org/gmane.comp.lang.haskell.cafe/39492 46. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/category-extras 47. http://article.gmane.org/gmane.comp.lang.haskell.cafe/39482 48. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/sessions 49. http://article.gmane.org/gmane.comp.lang.haskell.cafe/39352 50. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/haddock-2.1.0 51. http://article.gmane.org/gmane.comp.lang.haskell.cafe/39347 52. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/ 53. http://code.google.com/p/reviewboard/ 54. http://article.gmane.org/gmane.comp.lang.haskell.cafe/39342 55. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/diagrams-0.1 56. http://article.gmane.org/gmane.comp.lang.haskell.cafe/39271 57. http://www.fh-wedel.de/~si/HXmlToolbox/index.html 58. http://article.gmane.org/gmane.comp.lang.haskell.cafe/39040 59. http://code.google.com/soc/2008/haskell/about.html 60. http://article.gmane.org/gmane.comp.lang.haskell.cafe/38992 61. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/bytestring 62. http://article.gmane.org/gmane.comp.lang.haskell.cafe/38991 63. http://lambda.uta.edu/HXQ/ 64. http://www.w3.org/TR/xquery/ 65. http://article.gmane.org/gmane.comp.lang.haskell.cafe/38965 66. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Win32-notify-0.1 67. http://article.gmane.org/gmane.comp.lang.haskell.cafe/38922 68. http://uebb.cs.tu-berlin.de/~magr/projects/cpuid/doc/ 69. http://article.gmane.org/gmane.comp.lang.haskell.cafe/38870 70. http://home.telfort.nl/sp969709/emp/empug.html 71. http://article.gmane.org/gmane.comp.lang.haskell.cafe/38773 72. http://software.complete.org/datapacker 73. http://article.gmane.org/gmane.comp.lang.haskell.cafe/38736 74. http://darcswatch.nomeata.de/ 75. http://article.gmane.org/gmane.comp.lang.haskell.cafe/38676 76. http://www.generic-haskell.org/ 77. http://article.gmane.org/gmane.comp.lang.haskell.cafe/38542 78. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/graphics-drawing… 79. http://article.gmane.org/gmane.comp.lang.haskell.cafe/38505 80. http://www.haskell.org/haskellwiki/The_Monad.Reader 81. http://article.gmane.org/gmane.comp.lang.haskell.cafe/38419 82. http://www.well-typed.com/ 83. http://article.gmane.org/gmane.comp.lang.haskell.cafe/38173 84. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hgdbmi 85. http://article.gmane.org/gmane.comp.lang.haskell.cafe/38167 86. http://xmonad.org/ 87. http://article.gmane.org/gmane.comp.lang.haskell.cafe/37996 88. http://code.google.com/p/hsp 89. http://article.gmane.org/gmane.comp.lang.haskell.cafe/37853 90. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/network-minihttp… 91. http://article.gmane.org/gmane.comp.lang.haskell.cafe/37831 92. http://www.haskell.org/haskellwiki/DDC 93. http://article.gmane.org/gmane.comp.lang.haskell.cafe/37703 94. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/haskell-src-exts… 95. http://article.gmane.org/gmane.comp.lang.haskell.cafe/37688 96. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/omnicodec 97. http://planet.haskell.org/ 98. http://haskell.org/haskellwiki/Blog_articles 99. http://cpoucet.wordpress.com/2008/06/11/icfp-contest-2008/ 100. http://www.realworldhaskell.org/blog/2008/06/10/cufp-2007-videos-now-easier… 101. http://muharem.wordpress.com/2008/06/10/wrap-up-mergesort-in-haskell/ 102. http://chrisdone.com/blog/2008/06/10/jbofihe-and-haskell/ 103. http://blogs.msdn.com/matt/archive/2008/06/09/writing-a-regular-expression-… 104. http://tapestryjava.blogspot.com/2008/06/real-world-haskell.html 105. http://www.londonhug.net/2008/06/09/next-meeting-paradise-a-dsel-for-deriva… 106. http://cpoucet.wordpress.com/2008/04/25/lazy-memoization/ 107. http://neilmitchell.blogspot.com/2008/06/gsoc-hoogle-week-2.html 108. http://therning.org/magnus/archives/353 109. http://physics-dph.blogspot.com/2008/06/status-report-week-2.html 110. http://blog.unsafeperformio.com/?p=24 111. http://comonad.com/reader/2008/zapping-strong-adjunctions/ 112. http://comonad.com/reader/2008/representing-adjunctions/ 113. http://blog.unsafeperformio.com/?p=23 114. http://feeds.feedburner.com/~r/conal/~3/304291460/ 115. http://www.haskell.org/mailman/listinfo/haskell 116. http://sequence.complete.org/ 117. http://planet.haskell.org/ 118. http://sequence.complete.org/node/feed 119. http://haskell.org/ 120. http://code.haskell.org/~byorgey/code/hwn/archives/20080611.pdf 121. http://haskell.org/haskellwiki/HWN 122. http://code.haskell.org/~byorgey/code/hwn/

1 0

wanted: Network.Curl examples
by brad clawsie 11 Jun '08

11 Jun '08

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 in search of some trivial examples using Network.Curl, preferrably posted here: http://haskell.org/haskellwiki/Network.Curl some of this stuff i can figure out, but setting the curl WriteFunction, as discussed here: http://code.haskell.org/~dons/docs/curl/Network-Curl-Opts.html#t%3AWriteFun… is nonobvious. any info would be useful, curl is a great library and it would be nice if using it were more straightforward thanks brad -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.9 (FreeBSD) iEYEARECAAYFAkhPaAAACgkQxRg3RkRK91OQrQCfTt+xzvqIAxDkqq8/P85ZZjON HWgAoK3L/1JUQjdaWHcHfutKvI3nPJUc =BfuR -----END PGP SIGNATURE-----

2 1

running haddock and lhs2TeX
by Samuel Silva 11 Jun '08

11 Jun '08

Hello I'm using haddock to my Literate Haskell code, and it runs very well. I prefer Literate Haskell instead Haskell because old code remain untouched. It also is possible run latex over my code. But running lhs2TeX is even better. However lhs2TeX doesn't proccess with some haddock information. I won't change or format haddock documentation but using two tools is a valuable help at development. I would know that somebody solve thi issue and how? To solve this issue I build processor, using perl, that escapes characters like | and @. This preprocessor just escapes characters within \begin{code} ... \end{code}. ##################################################################### # This scripts process Literate Haskell Script itself to be process # by lhs2TeX with haddock comments. # use strict; use warnings; my @tag=(); while (<>) { if ($_ =~ /\\begin{(.*)}/) {push @tag => $1;} elsif ($_ =~ /\\end{(.*)}/ and $1 eq $tag[@tag-1]) {pop @tag;} if ( elem("code",@tag) and /(.*)--(.*)/) { print $1 => process($2) => "\n"; } else { print; } } sub process{ my ($input) = @_; $input =~ s/\|/\|\|/g; # escapes | $input =~ s/\@/\@\@/g; # escapes @ $input =~ s/\^//g; # drop ^ $input =~ s/\"/\'/g; # change " into ' return "--$input"; } sub elem { my ($x,@xs) = @_; my $res = 0; for (@xs) {$res=1 if $x eq $_} return $res; } ##################################################################### -- Don't hug that, Hugs ME! Samuel Silva

1 0

blas: ghc-6.8.2: unable to load package `blas-0.4'
by Anatoly Yakovenko 11 Jun '08

11 Jun '08

Patric, I am trying to use your blas package, but I am getting a missing symbol error. > import Data.Matrix.Dense.IO > mm::(IOMatrix (Int,Int) Double) <- newListMatrix (1,1) [1.0] Loading package storable-complex-0.1 ... linking ... done. Loading package ieee-0.1 ... linking ... done. Loading package old-locale-1.0.0.0 ... linking ... done. Loading package old-time-1.0.0.0 ... linking ... done. Loading package random-1.0.0.0 ... linking ... done. Loading package QuickCheck-1.1.0.0 ... linking ... done. Loading package blas-0.4 ... linking ... <interactive>: /usr/lib/blas-0.4/ghc-6.8.2/HSblas-0.4.o: unknown symbol `cblas_ddot' ghc-6.8.2: unable to load package `blas-0.4' any ideas what i am missing? Thanks, Anatoly

3 4

Re: [Haskell-cafe] Moving "forall" over type constructors
by Sean Leather 10 Jun '08

10 Jun '08

Hi, > I just found out that it *is* possible to implement the inside function, > > namely as follows: > > > > > inside :: forall t. ((forall a. Wrapper (t a))-> Wrapper (forall a. (t > > > a))) > > > inside x = Wrapper f > > > where f :: forall a. (t a) > > > f = unwrap x > > > unwrap (Wrapper z) = z > > > > I guess this solves my problem. Sorry for bothering you with this > question. > > I still find it a bit weird to write all these obfuscated identity > functions > > to make the type checker happy, though. > > As I said, the types are not isomorphic -- it you think of type > parameters as arguments you will see why. I found these examples interesting, mostly because I don't understand it very well. So, I simplified Klaus' code a bit and derived the following: ----- {-# LANGUAGE Rank2Types #-} -- Wrapper newtype W a = W { unW :: a } inside :: ((forall a. W (t a))-> W (forall a. (t a))) --inside (W x) = W x -- (a) FAILS --inside = W . unW -- (b) FAILS inside x = W (unW x) -- (c) WORKS ----- Can someone comment on the differences between the following in terms of type-checking or inference? Considering the errors I got, I'm guess the issue is the same for the pattern-matching (a) and the point-free (b) versions. Are there any pointers for developing a better understanding or intuition of this? Thanks, Sean

4 4

Unable to hc-build ghc 6.6.1
by Re, Joseph (IT) 10 Jun '08

10 Jun '08

I'm trying to do a registered hc-build on linux2.4 x86 with ghc 6.6.1. After fixing mk/bootstrap.mk to include "-lncurses" in HC_BOOT_LIBS to get past an undefined reference to "tputs" et al, I've gotten stuck with the following undefined reference error: ------------------------------------------------------------------------ == gmake all -wr; in /tmp/ghc-6.6.1/utils/runstdtest ------------------------------------------------------------------------ gmake[1]: Nothing to be done for `all'. Finished making all in runstdtest: 0 ------------------------------------------------------------------------ == gmake all -wr; in /tmp/ghc-6.6.1/utils/genapply ------------------------------------------------------------------------ gcc -o genapply -fno-defer-pop -fomit-frame-pointer -fno-builtin -DDONT_WANT_WIN32_DLL_SUPPORT -D__GLASGOW_HASKELL__=606 -O -I/tmp/ghc-6.6.1/includes -I/tmp/ghc-6.6.1/libraries/base/include -I/tmp/ghc-6.6.1/libraries/unix/include -I/tmp/ghc-6.6.1/libraries/parsec/include -I/tmp/ghc-6.6.1/libraries/readline/include -L/tmp/ghc-6.6.1/rts -L/tmp/ghc-6.6.1/libraries/base -L/tmp/ghc-6.6.1/libraries/base/cbits -L/tmp/ghc-6.6.1/libraries/haskell98 -L/tmp/ghc-6.6.1/libraries/parsec -L/tmp/ghc-6.6.1/libraries/regex-base -L/tmp/ghc-6.6.1/libraries/regex-compat -L/tmp/ghc-6.6.1/libraries/regex-posix -L/tmp/ghc-6.6.1/libraries/Cabal -L/tmp/ghc-6.6.1/libraries/template-haskell -L/tmp/ghc-6.6.1/libraries/readline -L/tmp/ghc-6.6.1/libraries/unix -L/tmp/ghc-6.6.1/libraries/unix/cbits -u "base_GHCziBase_Izh_static_info" -u "base_GHCziBase_Czh_static_info" -u "base_GHCziFloat_Fzh_static_info" -u "base_GHCziFloat_Dzh_static_info" -u "base_GHCziPtr_Ptr_static_info" -u "base_GHCziWord_Wzh_static_info" -u "base_GHCziInt_I8zh_static_info" -u "base_GHCziInt_I16zh_static_info" -u "base_GHCziInt_I32zh_static_info" -u "base_GHCziInt_I64zh_static_info" -u "base_GHCziWord_W8zh_static_info" -u "base_GHCziWord_W16zh_static_info" -u "base_GHCziWord_W32zh_static_info" -u "base_GHCziWord_W64zh_static_info" -u "base_GHCziStable_StablePtr_static_info" -u "base_GHCziBase_Izh_con_info" -u "base_GHCziBase_Czh_con_info" -u "base_GHCziFloat_Fzh_con_info" -u "base_GHCziFloat_Dzh_con_info" -u "base_GHCziPtr_Ptr_con_info" -u "base_GHCziStable_StablePtr_con_info" -u "base_GHCziBase_False_closure" -u "base_GHCziBase_True_closure" -u "base_GHCziPack_unpackCString_closure" -u "base_GHCziIOBase_stackOverflow_closure" -u "base_GHCziIOBase_heapOverflow_closure" -u "base_GHCziIOBase_NonTermination_closure" -u "base_GHCziIOBase_BlockedOnDeadMVar_closure" -u "base_GHCziIOBase_Deadlock_closure" -u "base_GHCziWeak_runFinalizzerBatch_closure" -u "__stginit_Prelude" GenApply.o -lHSreadline -lreadline -lHStemplate-haskell -lHSunix -lHSunix_cbits -lHSCabal -lHShaskell98 -lHSregex-compat -lHSregex-posix -lHSregex-base -lHSbase -lHSbase_cbits -lHSparsec -lHSrts -lgmp -lm -lncurses -ldl -lrt GenApply.o(.text+0x13a55): In function `s5cr_info': : undefined reference to `base_DataziList_zdsintersperse_info' GenApply.o(.text+0x14c11): In function `s58p_info': : undefined reference to `base_DataziList_zdsintersperse_info' GenApply.o(.text+0x17d79): In function `s54x_info': : undefined reference to `base_DataziList_zdsintersperse_info' collect2: ld returned 1 exit status gmake[1]: *** [genapply] Error 1 Failed making all in genapply: 1 gmake: *** [all] Error 1 gmake: Leaving directory `/tmp/ghc-6.6.1/utils' Does anyone know why this might be occuring? The only reference to "base_DataziList_zdsintersperse_info" on google didn't seem to have an answer. For reference my mk/build.mk is: SRC_HC_OPTS = -H32m -O -fvia-C -Rghc-timing -keep-hc-files GhcLibHcOpts = -O GhcLibWays = SplitObjs = NO just as the example one given on http://hackage.haskell.org/trac/ghc/wiki/Building/Porting. Also- in case this is related- I moved AutoApply_thr.thr_hc to AutoApply_thr.hc (and likewise for debug, thr_debug, and thr_p). Thanks, Joseph Re -------------------------------------------------------- NOTICE: If received in error, please destroy and notify sender. Sender does not intend to waive confidentiality or privilege. Use of this email is prohibited when received in error.

2 3

DEFUN08: Final Call for Talks & Tutorials (deadline: June 27)
by Matthew Fluet (ICFP Publicity Chair) 10 Jun '08

10 Jun '08

Final Call for Talks and Tutorials ACM SIGPLAN 2008 Developer Tracks on Functional Programming http://www.deinprogramm.de/defun-2008/ Victoria, BC, Canada, 25, 27 September, 2008 The workshop will be held in conjunction with ICFP 2008. http://www.icfpconference.org/icfp2008/ Important dates Proposal Deadline: June 27, 2008, 0:00 UTC Notification: July 14, 2008 DEFUN 2008 invites functional programmers who know how to solve problems with functional progamming to give talks and lead tutorials at the The ICFP Developer Tracks. 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. We invite proposals for presentations in the following categories: How-to talks: 45-minute "how-to" talks that provide specific information on how to solve specific problems using functional programming. These talks focus on concrete examples, but provide useful information for developers working on different projects or in different contexts. Examples: - "How I made Haskell an extension language for SAP R/3." - "How I replaced /sbin/init by a Scheme program." - "How I hooked up my home appliances to an Erlang control system." - "How I got an SML program to drive my BMW." General language tutorials: Half-day general language tutorials for specific functional languages, given by recognized experts for the respective languages. Technology tutorials: Half-day tutorials on techniques, technologies, or solving specific problems in functional programming. Examples: - how to make the best use of specific FP programming techniques - how to inject FP into a development team used to more conventional technologies - how to connect FP to existing libraries / frameworks / platforms - how to deliver high-performance systems with FP - how to deliver high-reliability systems with FP Remember that your audience will include computing professionals who are not academics and who may not already be experts on functional programming. Presenters of tutorials will receive free registration to ICFP 2008. Submission guidelines Submit a proposal of 150 words or less for either a 45-minute talk with a short Q&A session at the end, or a 300-word-or-less proposal for a 3-hour tutorial, where you present your material, but also give participants a chance to practice it on their own laptops. Some advice: - Give it a simple and straightforward title or name; avoid fancy titles or puns that would make it harder for attendees to figure out what you'll be talking about. - Clearly identify the level of the talk: What knowledge should people have when they come to the presentation or tutorial? - Explain why people will want to attend: is the language or library useful for a wide range of attendees? Is the pitfall you're identifying common enough that a wide range of attendees is likely to encounter it? - Explain what benefits attendees are expected to take home to their own projects. - For a tutorial, explain how you want to structure the time, and what you expect to have attendees to do on their laptops. List what software you'll expect attendees to have installed prior to coming. Submit your proposal in plain text electronically to defun-2008-submission-AT-deinprogramm.de by the beginning of Friday, June 27, Universal Coordinated Time. Organizers Kathleen Fisher AT&T Labs Simon Peyton Jones Microsoft Research Mike Sperber (co-chair) DeinProgramm Don Stewart (co-chair) Galois

1 0

ANN: funsat 0.5, a SAT solver written in Haskell
by Denis Bueno 09 Jun '08

09 Jun '08

Hi all, It is my pleasure to announce the first reasonable release of funsat, a modern, DPLL-style SAT solver written in Haskell. Funsat solves formulas in conjunctive normal form and produces a total variable assignment for satisfiable problems. It is available from Hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/funsat http://churn.ath.cx/funsat.html As well as in a Git repo, which contains many benchmark files funsat can solve. git clone http://churn.ath.cx/funsat Funsat is intended to be reasonably efficient for practical problems and convenient to use as a constraint-solving backend in other software. The former is achieved by using several well-known techniques from the literature including two-watched literals, conflict-directed learning, non-chronological backtracking, a VSIDS-like dynamic variable ordering, and restarts. The latter is supported currently by efficient unsatisfiable core generation, which generates a minimal unsatisfiable problem for a given unsatisfiable problem. In the future, I plan to add support for converting boolean circuits into CNF, as well as support for other types of constraints. Please try it out and report bugs! (This email is the one listed on the website.) -- Denis

1 0

File locking wishlist
by Joachim Breitner 09 Jun '08

09 Jun '08

Hi, for a program of mine (darcswatch[1]), a rather long running process is run at certain events (by cron, and by new emails). I want to achieve that: * Only one instance of the program runs at a time. * If new events come in while the program runs, it should re-run itself * There is information attached to the events (only one Bool ATM) So I’d like to implement something with this, or a similar, interface: ======================================================================= module MyLocking where -- | tries to get the lock. If it fails, notifies the running process -- to re-start itself afterwards, with the given information -- returns True if the lock was aquired lockOrMark :: Show a => FilePath -> a -> IO Bool -- | release the lock. If new events have come in, they are returned -- in the list, and the lock is still kept. If the list is empty, -- the lock was successfully released. releaseLock :: Read a => FilePath -> IO [a] ======================================================================= I would use this module in this way: realWork args = do someStuff args newArgs <- releaseLock "someDir/" unless (null newArgs) $ do -- we missed some events, so re-run and then try again. let newArg = combineInSomeWay newArgs realWork newArg main = do args <- getArgs l <- lockOrMark "someDir/" args when l $ do -- we got the lock, so lets work realWork args I hope this makes the idea clear. How could a possible implementation look like, when all operations should be atomic? I was considering this, would it work fine? lockOrMark would try to create a directory in the path. Whoever creates the directory has the lock. If it works, create. If it fails, because the directory already exists, then write the given args to a temporary file with a unique name, and move it into that directory. If that fails (because the directory has disappeared, i.e. the lock released), start over with trying to create the directory. If it works, then you are done. releaseLock would try to rmdir the directory. If that succeeds, no files have been in there, so no events were missed. If it does not succeed, then there were files. Read and delete them and return the list of arguments contained in them. Greetings, Joachim [1] http://darcswatch.nomeata.de/ -- Joachim Breitner e-Mail: mail(a)joachim-breitner.de Homepage: http://www.joachim-breitner.de ICQ#: 74513189 Jabber-ID: nomeata(a)joachim-breitner.de

2 2