- Haskell - Haskell.org

Haskell Weekly News: Issue 93 - November 15, 2008
by Brent Yorgey 15 Nov '08

15 Nov '08

--------------------------------------------------------------------------- Haskell Weekly News http://sequence.complete.org/hwn/20081115 Issue 93 - November 15, 2008 --------------------------------------------------------------------------- Welcome to issue 93 of HWN, a newsletter covering developments in the [1]Haskell community. Community News Congratulations to Ganesh (aka Heffalump) and Amanda on the [2]birth of Alexander Suresh Kerr Sittampalam! Announcements bustle-0.1. Will Thompson [3]announced the [4]release of [5]Bustle, a tool to show diagrams of D-Bus traffic for profiling purposes. It consists of a small C executable to log traffic, and a Gtk+ application which draws diagrams using Cairo. haskell-src-exts 0.4.1. Niklas Broberg [6]announced a new major release of the [7]haskell-src-exts package, an extension of the standard haskell-src package which handles most common syntactic extensions to Haskell. The new release features a cleaned up AST and names without ugly disambiguation prefixes. darcs 2.1.1rc2. Eric Kow (kowey) [8]announced the release of [9]darcs 2.1.1rc2, which adds support for GHC 6.10.1. It also includes a Windows bug fix. If you're using GHC 6.10.1 or Windows, give it a try and let the darcs development team know how it works. hpapi 0.1 release. Michael D. Adams [10]announced the first release of [11]hpapi, Performance API (PAPI) bindings for Haskell. PAPI provides access to various CPU counters such as cache-miss, instruction and pipeline stall counts. Workflow-0.1. Alberto G. Corona [12]announced the release of [13]Workflow, a library for transparent execution of computations across shutdowns and restarts. Reactive library (FRP) and mailing list. Conal Elliott [14]announced the release of [15]Reactive, a library for functional reactive programming (FRP), similar to the original [16]Fran but with a more modern interface (using standard type classes) and a hybrid push/pull implementation. It is designed to be used in a variety of contexts, such as interactive 2D and 3D graphics, graphical user interfaces, web services, and automatic recompilation/re-execution. There is also now a [17]mailing list and a [18]feature/bug tracker. ANN (sorta): OpenGL with extra type safety. Neal Alexander [19]announced a modification of the hOpenGL (and GLFW) source tree to force extra type checking on its various IO actions using the -XGeneralizedNewtypeDeriving extension. The main motivation was for writing concurrent OpenGL applications; the second motivation was to enforce static type checking on commands that can only be executed in certain OpenGL contexts (sending vertex data for example). Hopefully the code will be uploaded to Hackage as a separate package soon. FieldTrip library (functional 3D) and mailing list. Conal Elliott [20]announced the release of [21]FieldTrip, a library for functional 3D graphics. It is intended for building static, animated, and interactive 3D geometry, efficient enough for real-time synthesis and display. FieldTrip also has a [22]mailing list and a [23]feature/bug tracker. gitit 0.2 release - wiki using HAppS, git, pandoc. John MacFarlane [24]announced the upload of an early version of [25]gitit, a Haskell wiki program, to HackageDB. Gitit uses HAppS as a webserver, git for file storage, pandoc for rendering the (markdown) pages, and highlighting-kate for highlighted source code. You can [26]try it out here. Comments and patches welcome. Discussion Proof that Haskell is RT. Andrew Birkett [27]asked whether there exists a formal proof that the Haskell language is referentially transparent. Such a thing cannot exist, since Haskell has no formally defined semantics, but an interesting discussion about referential transparency and semantics ensued anyway. What *not* to use Haskell for. Dave Tapley [28]asked how people answer the question, "what does Haskell not do well?" Unfortunately, it seems that there is no good answer to this question and the thread degenerated into a discussion of all the great things you can do with Haskell. If only Haskell sucked more. Blog noise [29]Haskell news from the [30]blogosphere. * Braden Shepherdson: [31]Pimp Your XMonad #2: SmartBorders. The second in Braden's series on customising xmonad explains how to use the NoBorders extension to get rid of window borders when you don't want them. * Real-World Haskell: [32]Real World Haskell Electronic Edition Now On Sale. * Conal Elliott: [33]More beautiful fold zipping. * >>> Stephen: [34]Endless Cavern. A procedurally-generated tessellated-cavern flying game. * Twan van Laarhoven: [35]Arrays without bounds. Unbounded arrays (with O(1) amortized access) in Haskell! * "The GHC Team": [36]Comparing concurrent linked-list implementations in Haskell. * Ketil Malde: [37]454 sequencing and parsing the SFF binary format. * Tom Schrijvers: [38]Type Invariants for Haskell. Tom, Louis-Julien Guillemette, and Stefan Monnier's paper on Type Invariants for Haskell, which was recently accepted at PLPV'09. * Conal Elliott: [39]Another lovely example of type class morphisms. Conal elaborates on Max Rabkin's recent post on composable folds. * Real-World Haskell: [40]Beautiful Parallelism: Harnessing Multicores with Haskell. Don Stewart will be talking about programming mainstream multicore systems with Haskell at SC'08 next week in Austin, Texas. * Luke Palmer: [41]Sketch of Udon (Version Control/Packaging system). Luke sketches a high-level design for a distributed storage system that could be used as the basis for solving a number of interesting problems. * Galois, Inc: [42]Galois awarded NASA research contract. * Mark Jason Dominus: [43]Representing ordinal numbers in the computer and elsewhere. * The GHC Team: [44]Bootstrapping cabal-install. * Jason Dagit: [45]Phantom Types, Existentials and Controlling Unification -- Part 1. * Ben Moseley: [46]Why does Functional Programming matter?. Quotes of the Week * BMeph: In a functional world, students would ask how that index shadowing works in those funny 'for' statements... * digit: i'm almost annoyed at how brilliant xmonad is. * _pizza_: i think Haskell is undoubtedly the world's best programming language for discovering the first few dozen numbers in the Fibonacci sequence over IRC. * adu: let uncat3 [] = [] ; uncat3 xs = (let (ys, zs) = splitAt 3 xs in ys : uncat3 zs) ; getFrom x y = map (x !!) $ map (fromIntegral . ((\x -> fromIntegral $ foldl (.|.) (0::Word8) (zipWith (\c n -> if c then bit n else (0::Word8)) x [0..2])) :: [Bool] -> Int)) $ reverse . uncat3 . reverse . concat . map (((\x -> map (testBit x) [7,6..0]) :: Word8 -> [Bool]) . fromIntegral . ord) $ y in getFrom " HWdelor" "e\184-\235" * Beelsebob: ((:[]) "pigs eat") <^(++)^> ((:[]) " robot monkies") About the Haskell Weekly News New editions are posted to [47]the Haskell mailing list as well as to [48]the Haskell Sequence and [49]Planet Haskell. [50]RSS is also available, and headlines appear on [51]haskell.org. To help create new editions of this newsletter, please see the information on [52]how to contribute. Send stories to byorgey at cis dot upenn dot edu. The darcs repository is available at darcs get [53]http://code.haskell.org/~byorgey/code/hwn/ . References 1. http://haskell.org/ 2. http://urchin.earth.li/aegean/baby/ 3. http://www.haskell.org//pipermail/haskell-cafe/2008-November/050626.html 4. http://people.collabora.co.uk/~wjt/bustle/releases/bustle-0.1.tar.gz 5. http://resiak.livejournal.com/59590.html 6. http://www.haskell.org//pipermail/haskell-cafe/2008-November/050634.html 7. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/haskell-src-exts… 8. http://www.haskell.org//pipermail/haskell-cafe/2008-November/050378.html 9. http://darcs.net/darcs-2.1.1rc2.tar.gz 10. http://article.gmane.org/gmane.comp.lang.haskell.general/16612 11. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hpapi 12. http://article.gmane.org/gmane.comp.lang.haskell.general/16607 13. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Workflow 14. http://article.gmane.org/gmane.comp.lang.haskell.general/16604 15. http://haskell.org/haskellwiki/Reactive 16. http://conal.net/Fran 17. http://www.haskell.org/mailman/listinfo/reactive 18. http://trac.haskell.org/reactive 19. http://article.gmane.org/gmane.comp.lang.haskell.cafe/47458 20. http://article.gmane.org/gmane.comp.lang.haskell.cafe/47416 21. http://haskell.org/haskellwiki/FieldTrip 22. http://www.haskell.org/mailman/listinfo/FieldTrip 23. http://trac.haskell.org/FieldTrip 24. http://article.gmane.org/gmane.comp.lang.haskell.cafe/47384 25. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/gitit 26. http://johnmacfarlane.net:5001/ 27. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/47569 28. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/47491 29. http://planet.haskell.org/ 30. http://haskell.org/haskellwiki/Blog_articles 31. http://braincrater.wordpress.com/2008/11/15/pimp-your-xmonad-2-smartborders/ 32. http://www.realworldhaskell.org/blog/2008/11/15/real-world-haskell-electron… 33. http://feeds.feedburner.com/~r/conal/~3/453765396/ 34. http://www.maths.tcd.ie/~icecube/2008/11/endless-cavern/ 35. http://twan.home.fmf.nl/blog/haskell/UnboundedArray.details 36. http://ghcmutterings.wordpress.com/2008/11/14/comparing-concurrent-linked-l… 37. http://blog.malde.org/index.php/2008/11/14/454-sequencing-and-parsing-the-s… 38. http://tomschrijvers.blogspot.com/2008/11/type-invariants-for-haskell.html 39. http://feeds.feedburner.com/~r/conal/~3/452607365/ 40. http://www.realworldhaskell.org/blog/2008/11/12/beautiful-parallelism-harne… 41. http://lukepalmer.wordpress.com/2008/11/12/sketch-of-udon-version-controlpa… 42. http://www.galois.com/blog/2008/11/11/galois-awarded-nasa-research-contract/ 43. http://blog.plover.com/math/ordinals.html 44. http://ghcmutterings.wordpress.com/2008/11/10/bootstrapping-cabal-install/ 45. http://blog.codersbase.com/2008/11/10/phantom-types-existentials-and-contro… 46. http://nattermorphisms.blogspot.com/2008/11/why-does-functional-programming… 47. http://www.haskell.org/mailman/listinfo/haskell 48. http://sequence.complete.org/ 49. http://planet.haskell.org/ 50. http://sequence.complete.org/node/feed 51. http://haskell.org/ 52. http://haskell.org/haskellwiki/HWN 53. http://code.haskell.org/~byorgey/code/hwn/

1 0

ANNOUNCE: haskell-src-exts 0.4.1
by Niklas Broberg 15 Nov '08

15 Nov '08

Fellow Haskelleers, it is my pleasure to announce the new release of the haskell-src-exts package, version 0.4.1: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/haskell-src-exts… darcs get http://code.haskell.org/HSP/haskell-src-exts This is a new "major" release, the first of the 0.4 branch, and as such it is not backwards compatible with the releases in the 0.3 branch. This is due to two major changes to the design of the library: 1) The AST has been cleaned up, by splitting Haskell expressions in the AST from the "expressions" used while parsing to represent both expressions and patterns. This means that the datatype for expressions will no longer contain constructors for things like wildcards and irrefutable patterns. It now only contains constructors for actual Haskell expressions. If you have been using haskell-src-exts previously, this change should not bite you at all unless you have abused these ugly hacks in the AST, so it is *almost* backwards compatible. However... 2) ... I've finally decided to take the plunge and get rid of the ugly prefixes on all datatypes in the AST. I am of the firm conviction that disambiguation between datatypes and functions with the same name should be handled through the module hierarchy and qualified imports, not by adding prefixes. And the longer I wait, the harder the switch. So now the datatypes that make up the AST are called things like Exp, Pat, Module (the former Module is now ModuleName), Type, QOp etc instead of HsExp, HsPat... . The migration from 0.3.x to 0.4.1 should be really simple: i) replace all occurences of Module with ModuleName ii) remove all occurences of Hs This release also contains a number of smaller, fully backwards compatible bug fixes. These are available for the 0.3 branch in the 0.3.12 release that will mark the end of that branch: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/haskell-src-exts… No further bug fixes or features will be implemented for it, and I urge you to migrate as early as possible, it really isn't hard. :-) Cheers and Happy Haskelling, /Niklas

1 0

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

XOSD x Haskell
by Roy Lanek 13 Nov '08

13 Nov '08

Hi, I am looking for XOSD (X On Screen Display) library bindings for Haskell, of the kind of X::Osd [Perl]. I haven't been able to find anything on XOSD _and_ Haskell around, who knows better? Thank you and cheers, /Roy Lanek (West Sumatra) -- ______________________________________ # _ a@@ @[ # @#@@ @ _____ ___]F ___ ___ ___ __ __ ___ __ ___ # #@_# @ ^@###@ ###@]@@@@* ##* "*#_'#@###_ ""#@##F#W"7@ # __ "@ @ @ dE #" "]F 7@ @ dL @ #F @ #" F __# @## ]L @ @ @ # ][ # @ dL @ # # # @ #WW B @ _@___#@ #___@@ #L " _# 7@@@@L@__#" 7@___@ # #@@_ # 7#@#*"##*@@@ *##^@M @@@ @@E @@@"dL###" 7##W#@ # @__@+ # d@ #@L #"#* # #MMMMMMMMM Slackware Linux MMMMMMMMMMM

2 3

ANNOUNCE: hpapi 0.1 release
by Michael D. Adams 12 Nov '08

12 Nov '08

I am pleased to announce the first release of hpapi, Performance API (PAPI) bindings for Haskell. The release is on Hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hpapi The source repository is at: http://code.haskell.org/hpapi/ Please send bug reports to <adamsmd [AT] cs.indiana.edu> What is it ========== This is a simple set of bindings for the Performance API (PAPI). PAPI provides access to various CPU counters such as cache-miss, instruction and pipeline stall counts. The easiest way to use this library is the withCounts function: withCounts :: [EventCode] -> IO a -> IO (a, [Integer]) Given a list of events to count and an IO operation it will run the operation and return the resulting counts. So you could do something like: main = do [l1,tlb,fp] <- withCounters [papi_l1_dcm, papi_tlb_dm, papi_fp_ins] ioOperationToMeasure printLn (l1, tlb, fp) To use it one will of course need the PAPI C library and any necessary kernel modifications installed. Status ====== The High Level interface (which will be sufficient for most people's needs) should be usable, but the low level interface is still alpha quality. That is to say, it is ready for people to start banging on it, but it is largely untested and the modules/interfaces may be reorganized based on user feedback. All of PAPI is supported with the exception of the following "advanced" features: - Multiplexing - Threads - Locks - Overflow - Statistical Profiling Future Directions ================= Future directions will be determined largely by user feedback. Principal areas that I am looking for feedback on are: - documentation - module organization - the handling of PAPI errors (currently it throws an IO error) - the design of the Haskell interface build on top of the C level PAPI_get_opt and PAPI_set_opt - what advanced features of PAPI to build bindings for next Comparison with GHC's built-in PAPI =================================== GHC supports a built-in version of PAPI (see http://hackage.haskell.org/trac/ghc/wiki/PAPI) This system is different in a few ways. First, hpapi allows you to measure specific parts of a program while GHCI's PAPI only does whole program measurement Second, since hpapi is a library you can have fine grained and sophisticated control over how things are measured. On the other hand GHC's PAPI as part of the RTS gives you less control, but on the plus side doesn't require any modification to the program. Finally, GHC's PAPI splits apart the counts that come from the garbage collector from those that come from the mutator, while hpapi combines them. This is a limitation of hpapi we hope to correct some time in the future. It remains to be seen whether it would be worth while to unify these two systems. ================ Bug reports as well as suggestions, feedback or contributions to the API or the documentation most welcome. Michael D. Adams

1 0

announce: Workflow-0.1
by Alberto G. Corona 11 Nov '08

11 Nov '08

I needed to to define multiuser web workflows in the most transparent way. I wondered if a state monad could transparently bring automatic checkpointing of each action and automatic resume after failure. In this way a long living computation could be expressed in a single monadic computation. Additionally, for inter process communications, this package includes a primitive for activating a workflow whenever any action result meet certain condition. There are also primitives for start/restart processes, retrieval of intermediate results and unsafe IO actions inside the state monad... http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Workflow Cabal description: Transparent low level support (state logging, resume of the computation, wait for data condition) for long living, event driven processes. Workflow give the two first services to any monadic computation of type (a-> m a) usually m=IO f x >>=\x'-> g x' >>= \x''->... z by prefixing the user with the method "step": step f x >>= \x'-> step g x' >>= \x''->... This means that a workflow can be described with the familiar "do" notation. In principle, there is no other limitation on the syntax but the restriction (a -> m a): All computations consume and produce the same type of data. do notation is supported fully. Workflow export a few primitives that bring the following services: - transparent checkpointing of each step in permanent storage using TCache (step) - resume of the monadic computation at the last checkpoint after soft or hard interruption - use of versioning techniques for storing object changes (using RefSerialize) - retrieval of the object at any previous step - suspend the computation (waitFor) until the input object meet certain conditions. useful for inter-workflow comunications. At the end of the workflow all the intermediate data is erased. see demos and the header of Control.TCache for documentation. This is a piece of code is a loop that imput numbers (demo.hs). there is another process, that check the numbers entered and return Finish when match the desired number. that is detected by this thread and finalize. When number of tries are 9, The process finish, this is detected by the other process and finalizes also. That ilustrates the use of event handling (waitFor) and step execution. askNumbers name d = do step2 $ threadDelay 5000 -- wait for the other tread to process. r <- step (waitFor anything) d -- get the last value of the object with key "try-finish", to look for the other thread actions case r of Finish msg -> step2 $ print msg --the other thread sent a finalize response Try 9 num -> step1 $ return $ Finish "sorry, no more guesses" --send finalization to the wait thread _ -> do nd <- step (askNumber name) d askNumbers name nd where anything= \_-> True

1 0

Announce: FieldTrip library (functional 3D) and mailing list
by Conal Elliott 09 Nov '08

09 Nov '08

FieldTrip [1] is a library for functional 3D graphics. It is intended for building static, animated, and interactive 3D geometry, efficient enough for real-time synthesis and display. Since FieldTrip is functional, one describes what models are, not how to render them (being rather than doing). Surfaces are described as functions from 2D space to 3D space. As such, they are intrinsically curved rather than faceted. Surface rendering tessellates adaptively, caching tessellations in an efficient, infinite data structure (from the MemoTrie library) for reuse. Surface normals are computed automatically and exactly, using the derivative tools in the vector-space library. For animation or interaction, FieldTrip can be used with the Reactive [2] library for functional reactive programming (and possibly other animation frameworks). By design, FieldTrip is completely orthogonal to any formulation or implementation of FRP. The reactive-fieldtrip [3] library links Reactive and FieldTrip. FieldTrip now has a mailing list [4] and a feature/bug tracker [5]. [1] http://haskell.org/haskellwiki/FieldTrip [2] http://haskell.org/haskellwiki/reactive [3] http://haskell.org/haskellwiki/reactive-fieldtrip [4] http://www.haskell.org/mailman/listinfo/FieldTrip [5] http://trac.haskell.org/FieldTrip

1 0

Announce: Reactive library (FRP) and mailing list
by Conal Elliott 09 Nov '08

09 Nov '08

Reactive [1] is a library for functional reactive programming (FRP), similar to the original Fran [2] but with a more modern interface (using standard type classes) and a hybrid push/pull implementation. It is designed to be used in a variety of contexts, such as interactive 2D and 3D graphics, graphical user interfaces, web services, and automatic recompilation/re-execution. It has a simple and precise semantics based on continuous time and is built on a notion of functional future values. The semantics and implementation are described in the paper "Simply efficient functional reactivity" [3]. Reactive now has a mailing list [4] and a feature/bug tracker [5]. [1] http://haskell.org/haskellwiki/Reactive [2] http://conal.net/Fran [3] http://conal.net/papers/simply-reactive [4] http://www.haskell.org/mailman/listinfo/reactive [5] http://trac.haskell.org/reactive

2 1

Haskell Weekly News: Issue 92 - November 8, 2008
by Brent Yorgey 08 Nov '08

08 Nov '08

--------------------------------------------------------------------------- Haskell Weekly News http://sequence.complete.org/hwn/20081108 Issue 92 - November 08, 2008 --------------------------------------------------------------------------- Welcome to issue 92 of HWN, a newsletter covering developments in the [1]Haskell community. GHC 6.10 is released!! Go forth and drool over its new features. Be sure to have the editline libraries (libedit-dev on Debian/Ubuntu, for example) installed before you try building it. Announcements GHC version 6.10.1. Ian Lynagh [2]announced the release of [3]GHC version 6.10.1! This new major release features a number of significant changes, including wild-card patterns, punning, and field disambiguation in record syntax; generalised quasi-quotes; generalised SQL-like list comprehensions; view patterns; a complete reimplementation of type families; parallel garbage collection; a new extensible exception framework; a more user-friendly API; included Data Parallel Haskell (DPH); and more! See [4]the full release notes for more information. new community.haskell.org features: webspace, mailing lists. Ian Lynagh [5]announced that the community server, http://community.haskell.org/, has two new features for hosted projects: project webspace, and project mailing lists. GHC blog. Simon Marlow [6]has set up a [7]GHC blog. This is for all things related to GHC, particularly people working on GHC to blog about what they're up to. If you want a write-bit, sign up for a [8]wordpress account, let Simon know your account name, and blog away! The GHC blog should be syndicated on [9]Planet Haskell soon. Haddock 2.4.0. David Waern [10]announced a [11]new release of [12]Haddock, the Haskell documentation tool. This is a later version than the one shipped with GHC 6.10.1, which is version 2.3.0. That version will not be released on Hackage since it only builds with GHC 6.10.1 (by accident, actually). Besides adding back support for earlier GHC versions, this release contains some more fixes and support for HTML frames. htags-1.0. David Sankel [13]announced the [14]htags package, a tag file generator to enable extra functionality in editors like vim. It expands upon hasktags by using a full Haskell 98 parser and options for recursion. Haskell Quick Reference (1-page PDF). Malcolm Wallace [15]sent a 1-page Haskell quick reference prepared for a recent Haskell tutorial. Permission is granted for anyone to distribute it more widely as they wish, in the hope that it might be useful. Editable sources can be passed along if anyone would like to extend it. Proposal for associated type synonyms in Template Haskell. Thomas van Noort [16]submitted a proposal for adding associated type synonyms to Template Haskell. Comments are welcomed. announce [("InfixApplicative", 1.0), ("OpenGLCheck", 1.0), ("obj", 0.1)]. Thomas Davie [17]announced the upload of a few packages to Hackage which he has produced while working at Anygma. [18]obj-0.1 is a library for loading and writing obj 3D models; [19]OpenGLCheck-1.0 is a micro-package containing instances of Arbitrary for the data structures provided in Graphics.Rendering.OpenGL; and [20]InfixApplicative-1.0 is a second micro-package containing a pair of functions (<^) and (^>) which can be used to provide an infix version of liftA2 applied to an operator. Graphalyze-0.5 and SourceGraph-0.3. Ivan Lazar Miljenovic [21]announced the latest versions of [22]Graphalyze and [23]SourceGraph, which fix a couple of bugs in the previous versions. zlib and bzlib 0.5 releases. Duncan Coutts [24]announced updates to the [25]zlib and [26]bzlib packages, featuring a slightly nicer extended API. The simple API that most packages use is unchanged. There is also a new parameter to control the size of the first output buffer; this lets applications save memory when they happen to have a good estimate of the output size. Discussion Efficient parallel regular expressions. Martijn van Steenbergen [27]asked about efficiently running multiple regular expressions in parallel, leading to an interesting discussion of regular expressions and various parsing methods and libraries. Problems with strictness analysis?. Patai Gergely started an informative [28]discussion about strictness, laziness, strictness analysis, and compiler optimization. If you don't know a lot about these topics but would like to learn, this thread is a good starting point! Jobs 1-year postdoc position in Chalmers Functional Programming group. John Hughes [29]announced a position for a post-doctoral researcher with the Chalmers Functional Programming Group, with a one-year tax-free stipend funded by Intel. The funded project will develop a Domain Specific Language (DSL) for high level modelling, design and analysis of hardware and microarchitectures. Blog noise [30]Haskell news from the [31]blogosphere. * Edward Kmett: [32]Still Alive. Edward is still alive but sadly lost a few recursion scheme posts. =( * >>> Max Rabkin: [33]Beautiful folding. A very cool post about composable folds! * Eric Kow (kowey): [34]timesheet helper. * Philip Wadler: [35]A bizarre function over streams. * David Sankel: [36]Introducing Reactive: Events. A very readable introduction to the Reactive library. I look forward to reading more! * "FP Lunch": [37]Numbers vs Sets. * Mark Jason Dominus: [38]Addenda to recent articles 200810. * Darcs: [39]darcs weekly news #11. * >>> Ken G.: [40]Haskell?. Ken shares some thoughts on Real World Haskell. * Real-World Haskell: [41]Some early reviews. * David Sankel: [42]freeglut + Windows + HOpenGL + HGLUT. * GHC mutterings: [43]GHC 6.10.1 is out!. * Chung-chieh Shan: [44]Cognitive jobs. * London Haskell Users Group: [45]Duncan Coutts: The Haskell Platform. The abstract for Duncan's talk at the London HUG. * Well-Typed.Com: [46]GHC 6.10.1 released!. * Well-Typed.Com: [47]Haskell Platform talk at the London Haskell Users Group. * Mark Wassell: [48]GIS with Haskell 1. * >>> phoenix: [49]Haskell Tricks: Indexing a List. Getting the index of an element satisfying a predicate by zipping. * JP Moresmau: [50]Haskell for counting votes!. JP illustrates five different voting methods with some Haskell implementations. * Ivan Lazar Miljenovic: [51]Graph Theoretic Analysis of Relationships within Discrete Data. * Braden Shepherdson: [52]Pimp Your XMonad #1: Status bars. The first in a planned series of articles on not-so-well-known ways to extend your xmonad configuration. * >>> Cory: [53]Euler and Haskell. Cory just started learning Haskell (a "fun, slightly ridiculous language") via Project Euler. * >>> Sadek Drobi: [54]Code Safety and Correctness is a matter of Mindset Cultured by the Language. * Well-Typed.Com: [55]zlib and bzlib package updates. * >>> Bryan St. Amour: [56]Haskell Solution To The Farmer Problem. * >>> Nathan Hartman: [57]Haskell, Lambert, and the Clarke Ellipsoid. Nathan has started porting a map projection library to Haskell. * David Sankel: [58]Analysis of lazy-stream programs.. Quotes of the Week * Cory: Any language which makes frequent use of monads, functors and has a wikibook describing its relation to category theory is the result of an evil genius (or several, to be precise). * mmorrow: in langs with dependent types, you can just map numbers directly to types instead of having to ride a unicycle along a tightrope while battling an unruly gang of monkeys with knives. * conal: -fsemantics-shemantics * roconnor: all sorts of wonderful things could be done if we are less anal about bottoms. No pun intended. About the Haskell Weekly News New editions are posted to [59]the Haskell mailing list as well as to [60]the Haskell Sequence and [61]Planet Haskell. [62]RSS is also available, and headlines appear on [63]haskell.org. To help create new editions of this newsletter, please see the information on [64]how to contribute. Send stories to byorgey at cis dot upenn dot edu. The darcs repository is available at darcs get [65]http://code.haskell.org/~byorgey/code/hwn/ . References 1. http://haskell.org/ 2. http://article.gmane.org/gmane.comp.lang.haskell.glasgow.user/15591 3. http://www.haskell.org/ghc/ 4. http://haskell.org/ghc/docs/6.10.1/html/users_guide/release-6-10-1.html 5. http://article.gmane.org/gmane.comp.lang.haskell.general/16600 6. http://article.gmane.org/gmane.comp.lang.haskell.glasgow.user/15603 7. http://ghcmutterings.wordpress.com/ 8. http://wordpress.com/ 9. http://planet.haskell.org/ 10. http://www.haskell.org//pipermail/haskell-cafe/2008-November/050271.html 11. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/haddock-2.4.0 12. http://www.haskell.org/haddock 13. http://article.gmane.org/gmane.comp.lang.haskell.general/16582 14. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/htags 15. http://article.gmane.org/gmane.comp.lang.haskell.cafe/47344 16. http://article.gmane.org/gmane.comp.lang.haskell.cafe/47301 17. http://article.gmane.org/gmane.comp.lang.haskell.cafe/47241 18. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/obj 19. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/OpenGLCheck 20. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/InfixApplicative 21. http://article.gmane.org/gmane.comp.lang.haskell.cafe/47171 22. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Graphalyze 23. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/SourceGraph 24. http://article.gmane.org/gmane.comp.lang.haskell.cafe/47144 25. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/zlib 26. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/bzlib 27. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/47242 28. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/47183 29. http://article.gmane.org/gmane.comp.lang.haskell.general/16596 30. http://planet.haskell.org/ 31. http://haskell.org/haskellwiki/Blog_articles 32. http://comonad.com/reader/2008/still-alive/ 33. http://squing.blogspot.com/2008/11/beautiful-folding.html 34. http://koweycode.blogspot.com/2008/11/timesheet-wishlist.html 35. http://wadler.blogspot.com/2008/11/bizarre-function-over-streams.html 36. http://netsuperbrain.com/blog/posts/introducing-reactive-events/ 37. http://sneezy.cs.nott.ac.uk/fplunch/weblog/?p=114 38. http://blog.plover.com/addenda/200810.html 39. http://blog.darcs.net/2008/11/darcs-weekly-news-11.html 40. http://monolith149daily.blogspot.com/2008/11/haskell.html 41. http://www.realworldhaskell.org/blog/2008/11/06/some-early-reviews/ 42. http://netsuperbrain.com/blog/posts/freeglut-windows-hopengl-hglut/ 43. http://ghcmutterings.wordpress.com/2008/11/05/ghc-6101-is-out/ 44. http://conway.rutgers.edu/~ccshan/wiki/blog/posts/Cognitive_jobs/ 45. http://www.londonhug.net/2008/11/04/duncan-coutts-the-haskell-platform/ 46. http://blog.well-typed.com/2008/11/ghc-6101-released/ 47. http://blog.well-typed.com/2008/11/haskell-platform-talk-at-the-london-hask… 48. http://pound-stone.blogspot.com/2008/11/gis-with-haskell-1.html 49. http://phoenixblitz.blogspot.com/2008/11/haskell-tricks-indexing-list.html 50. http://jpmoresmau.blogspot.com/2008/11/haskell-for-counting-votes.html 51. http://ivanmiljenovic.wordpress.com/2008/11/03/graph-theoretic-analysis-of-… 52. http://braincrater.wordpress.com/2008/11/02/pimp-your-xmonad-1-status-bars/ 53. http://onag.blogspot.com/2008/11/euler-and-haskell.html 54. http://sadekdrobi.com/2008/11/02/code-safety-and-correctness-is-a-matter-of… 55. http://blog.well-typed.com/2008/11/zlib-and-bzlib-package-updates/ 56. http://bryanstamour.com/?p=49 57. http://parsemymonad.blogspot.com/2008/10/haskell-lambert-and-clarke-ellipso… 58. http://netsuperbrain.com/blog/posts/analysis-of-lazy-stream-programs/ 59. http://www.haskell.org/mailman/listinfo/haskell 60. http://sequence.complete.org/ 61. http://planet.haskell.org/ 62. http://sequence.complete.org/node/feed 63. http://haskell.org/ 64. http://haskell.org/haskellwiki/HWN 65. http://code.haskell.org/~byorgey/code/hwn/

1 0

ANN: new community.haskell.org features: webspace, mailing lists
by Ian Lynagh 07 Nov '08

07 Nov '08

Hi all, The Community server, http://community.haskell.org/, has two new features for hosted projects. The first is project webspace. You can now make a website for your project visible at http://projects.haskell.org/yourproject/ See http://community.haskell.org/admin/using_project.html#projectweb for details. The second is mailing lists. You can now create a yourproject(a)projects.haskell.org mailing list. See http://community.haskell.org/admin/using_project.html#mailinglists for details. For more details about the community server, and to request an account, please see the website at http://community.haskell.org/ Thanks Ian, on behalf of the community admin team

2 1