Haskell Weekly News: November 08, 2006

[This week's issue Don Stewart **20061108043915] { addfile ./archives/20061108.html addfile ./archives/20061108.txt hunk ./archives/20061108.html 1 + +Haskell Weekly News: November 08, 2006 +

Welcome to issue 48 of HWN, a weekly newsletter covering + developments in the Haskell community.

Announcements

SmallCheck 0.2. Colin Runciman + announced + that SmallCheck 0.2, a lightweight testing library for Haskell, +is out, and can be obtained. Since version +0.1: there's now a choice of interactive or non-interactive test-drivers using +iterative deepening; more pre-defined test-data generators, including revised +Int, Integer, Float, Double, Nat and Natural and additional examples. SmallCheck +is similar to QuickCheck but instead of testing for a sample of randomly +generated values, SmallCheck tests properties for all the finitely many values +up to some depth, progressively increasing the depth used.
Hoogle Command Line 3 Beta. Neil Mitchell + released + Hoogle Command Line version 3 Beta, an alternative to the Hoogle website. Hoogle lets + you search for Haskell functions by name and by type + signature.
The Monad.Reader. Wouter Swierstra + issued + a call for submissions for articles for the next issue of The + Monad.Reader. There are a large number of conferences and + journals that accept research papers related to Haskell; + unfortunately, the platform for non-academic publications is far less + developed. This is where The Monad.Reader fits in. So if you are + tossing around some ideas, write it up, and submit! Deadline for + submissions is January 19th, 2007.
Haskell Communities and Activities Report. Andres Loeh + reminded + us that the deadline for the November 2006 edition of the Haskell + Communities and Activities Report is now! -- there may still be just + enough time to make sure that the report contains a section on *your* + project, on the interesting stuff that you've been doing; using or + affecting Haskell in some way. For more info see the + call for contributions.
HsMan. Frederik Eaton + announced + hsman, a tool that indexes Haddock-generated HTML files, and allows + users to search for functions and also GHC manual topics.
HaL, Haskell meeting in Leipzig. Johannes Waldmann + announced + that a local Haskell meeting is to take place on December 5th in + Leipzig, Germany. The meeting will be hosted by IBA Consulting. It + will be quite informal, with some very short talks (most probably in + German). Interessenten sind herzlich eingeladen. Details and (free) + registration.

Haskell'

This section covers the Haskell' standardisation +process.

Libraries

This week's proposals and extensions to the standard libraries. +

Discussion

The OI comonad. Sven Biedermann + invoked + a discussion about the OI comonad, + and provided an example of a simple OI-comonad for stdin/stdout only, + that preserves referential integrity.
The Bits between the Lambdas. Nuno Pinto + asked + about Binary IO in Hakell. Several solutions were suggested.
Translating Haskell to VHDL. Alfonso Acosta + pondered + how to write a translator from Haskell + to VHDL.
New maintainers for wxHaskell. Jeremy O'Donoghue + announced + that a new team of maintainers in place for wxHaskell, so we're + hoping that will see a significant increase in wxHaskell activtiy in + the future. Great!
Permutation with k levels. Nuno Pinto + wondered + about generic permute algorithms in Haskell.

Blog noise

Haskell news from the +blogosphere.

Quotes of the Week

coffeemug: There don't seem to be +any definitive sources that suggest Haskell isn't good at something.
stevan: Haskell is like all the other functional languages I + have read about, but totally different at the same time
coffeemug: you can do more with Haskell in less code that's + easier to read and maintain in the long run
Jeannette + Wing: Computational thinking will have become ingrained in everyone's + lives when ... trees are drawn upside down
monochrom: + recursive directory search is an alpha-beta with boring values of alpha and + beta
skew: Types are largely about writing down the + contract of a function once and telling the compiler to keep track of + things, rather than trying to get it all straight yourself, and being + rewarded with bugs that only manifest during demos...
monochrom: They say Mozarts Mass in C minor K427 is uplifting. + I'm going to name my next monad transformer or arrow transformer + MozartMassInCMinorK427T
Ron Jeffries: Dan's assertion, as + I recall it, was that Haskell lets us express the program 'in the way we + think'. On the contrary, what Haskell does in my opinion is let us express + the program in the way Haskell thinks
sedd: [On the + improving Haskell and Lua scores on the language shootout] This is awesome. + It's like watching a match between the team of the town where you're from, + and the team of the town where you live. Either way you've got a reason to + get drunk after the game.
emeijer: Functional programming + has finally arrived to the masses. It's name is not Lisp, ML or Haskell: + it's Visual Basic
audreyt: Because Haskell is such a + reasonable language, we reason about it all the time, and we also have a bot + to reason it for us when we are lazy
spiffy: needs to stop + trying to understand monads at night
psykotic: spiffy: + they're just monoids on the category of endofunctors over some category, + what's the big deal?
skew: also, if you use ST you know + the code is just using mutable variables, rather than formatting your hard + drive
Baughn: I once explained monads to a non-programmer: + 'And? What's so hard about that?'
monochrom: The problem + is that bad programmers will assess tutorials for good programmers as 'ivory + tower', and moreover bad programmers are the vocal majority. It gets you + bad press
scodil: you say 'sledgehammer' like its a bad + thing
sjanssen: I suspect that planet.haskell.org has more + content on catamorphisms than cats

Code Watch

Wed Nov 1 08:43:29 PST 2006. Simon +Peyton Jones. Major overhaul of the Simplifier. This big patch completely +overhauls the Simplifier. The simplifier had grown old and crufty, and was hard +to understand and maintain. This new version is still quite complicated, because +the simplifier does a lot, but it's much easier to understand, for me at +least.

About the Haskell Weekly News

Each week, new +editions are posted to + the Haskell mailing + list as well as to the Haskell + Sequence and Planet Haskell. RSS is also available, and + headlines appear on haskell.org.

The Haskell Weekly News is also available in Spanish +translation.

To help create new editions of this newsletter, please + see the contributing + information. Send stories to dons at cse.unsw.edu.au. The + darcs repository is available at darcs get + http://www.cse.unsw.edu.au/~dons/code/hwn

+ hunk ./archives/20061108.txt 1 +--------------------------------------------------------------------------- +Haskell Weekly News +http://haskell.org/haskellwiki/HWN +Issue 48 - November 08, 2006 +--------------------------------------------------------------------------- + + Welcome to issue 48 of HWN, a weekly newsletter covering developments + in the Haskell community. + +Announcements + + * SmallCheck 0.2. Colin Runciman [1]announced that SmallCheck 0.2, a + lightweight testing library for Haskell, is out, and can be + [2]obtained. Since version 0.1: there's now a choice of + interactive or non-interactive test-drivers using iterative + deepening; more pre-defined test-data generators, including + revised Int, Integer, Float, Double, Nat and Natural and + additional examples. SmallCheck is similar to QuickCheck but + instead of testing for a sample of randomly generated values, + SmallCheck tests properties for all the finitely many values up to + some depth, progressively increasing the depth used. + + 1. http://article.gmane.org/gmane.comp.lang.haskell.general/14461 + 2. http://www.cs.york.ac.uk/fp/smallcheck0.2.tar + + * Hoogle Command Line 3 Beta. Neil Mitchell [3]released Hoogle + Command Line version 3 Beta, an alternative to [4]the Hoogle + website. Hoogle lets you search for Haskell functions by name and + by type signature. + + 3. http://article.gmane.org/gmane.comp.lang.haskell.general/14464 + 4. http://haskell.org/hoogle + + * The Monad.Reader. Wouter Swierstra [5]issued a call for + submissions for articles for the next issue of [6]The + Monad.Reader. There are a large number of conferences and journals + that accept research papers related to Haskell; unfortunately, the + platform for non-academic publications is far less developed. This + is where The Monad.Reader fits in. So if you are tossing around + some ideas, write it up, and submit! Deadline for submissions is + January 19th, 2007. + + 5. http://article.gmane.org/gmane.comp.lang.haskell.general/14449 + 6. http://www.haskell.org/haskellwiki/TheMonadReader + + * Haskell Communities and Activities Report. Andres Loeh [7]reminded + us that the deadline for the November 2006 edition of the Haskell + Communities and Activities Report is now! -- there may still be + just enough time to make sure that the report contains a section + on *your* project, on the interesting stuff that you've been + doing; using or affecting Haskell in some way. For more info see + [8]the call for contributions. + + 7. http://article.gmane.org/gmane.comp.lang.haskell.general/14453 + 8. http://www.haskell.org/pipermail/haskell/2006-October/018646.html + + * HsMan. Frederik Eaton [9]announced hsman, a tool that indexes + Haddock-generated HTML files, and allows users to search for + functions and also GHC manual topics. + + 9. http://thread.gmane.org/gmane.comp.lang.haskell.glasgow.user/11153/focus=11153 + + * HaL, Haskell meeting in Leipzig. Johannes Waldmann [10]announced + that a local Haskell meeting is to take place on December 5th in + Leipzig, Germany. The meeting will be hosted by IBA Consulting. It + will be quite informal, with some very short talks (most probably + in German). Interessenten sind herzlich eingeladen. [11]Details + and (free) registration. + + 10. http://article.gmane.org/gmane.comp.lang.haskell.general/14454 + 11. http://iba-cg.de/haskell.html + +Haskell' + + This section covers the [12]Haskell' standardisation process. + * [13]Introduce lambda-match (explicit match failure and fall-through) + * [14]Importing and exporting instance declarations + * [15]Patches! + + 12. http://hackage.haskell.org/trac/haskell-prime + 13. http://article.gmane.org/gmane.comp.lang.haskell.prime/1847 + 14. http://thread.gmane.org/gmane.comp.lang.haskell.prime/1835/focus=1835 + 15. http://thread.gmane.org/gmane.comp.lang.haskell.prime/1850/focus=1850 + +Libraries + + This week's proposals and extensions to the [16]standard libraries. + * [17]unsafeShift operations for Data.Bits + * [18]map* for Data.List + * [19](*) `on` f = \x y -> f x * f y + * [20]forkChild, waitForChild, parIO, timeout + * [21]isLeft and isRight + + 16. http://haskell.org/haskellwiki/Library_submissions + 17. http://thread.gmane.org/gmane.comp.lang.haskell.libraries/5569/focus=5569 + 18. http://thread.gmane.org/gmane.comp.lang.haskell.libraries/5552/focus=5552 + 19. http://thread.gmane.org/gmane.comp.lang.haskell.libraries/5519/focus=5519 + 20. http://thread.gmane.org/gmane.comp.lang.haskell.libraries/5488/focus=5488 + 21. http://thread.gmane.org/gmane.comp.lang.haskell.libraries/5461/focus=5461 + +Discussion + + * The OI comonad. Sven Biedermann [22]invoked a discussion about the + OI [23]comonad, and provided an example of a simple OI-comonad for + stdin/stdout only, that preserves referential integrity. + + 22. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/16278/focus=16278 + 23. http://www.haskell.org/haskellwiki/Research_papers/Monads_and_arrows#Comonads + + * The Bits between the Lambdas. Nuno Pinto [24]asked about Binary IO + in Haskell. Several solutions were suggested. + + 24. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/16245/focus=16245 + + * Translating Haskell to VHDL. Alfonso Acosta [25]pondered how to + write a translator from [26]Haskell to VHDL. + + 25. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/16337/focus=16337 + 26. http://haskell.org/haskellwiki/Research_papers/Domain_specific_languages#Hardware_design + + * New maintainers for wxHaskell. Jeremy O'Donoghue [27]announced + that a new team of maintainers in place for wxHaskell, so we're + hoping that will see a significant increase in wxHaskell activtiy + in the future. Great! + + 27. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/16364/focus=16364 + + * Permutation with k levels. Nuno Pinto [28]wondered about generic + permute algorithms in Haskell. + + 28. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/16365/focus=16365 + +Blog noise + + [29]Haskell news from the blogosphere. + * [30]Introductory Haskell: Solving the Sorting-It-Out Kata + * [31]Writing A Lisp Interpreter In Haskell + * [32]Standardising Concurrency in C++ + * [33]Living with a ghost: concurrency and state + * [34]Concatenative programming in Haskell's Arrows + * [35]Functional programming is functional + * [36]LaTeX YAHT on darcs.haskell.org + * [37]My next programming language + * [38]Haskell Bowling + * [39]Variable substitution gives a ... monad + * [40]Modeling the Semantics of Geographic Categories through + Conceptual Integration (in Haskell) + * [41]Keeping it simple + * [42]In the beginning... + * [43]Testing ... testing ... + * [44]Livecoding music with Haskell + * [45]Why I recommend Haskell + * [46]Win for Type Theory? + * [47]That problem when the ideas come too thick and fast + + 29. http://planet.haskell.org/ + 30. http://blog.moertel.com/articles/2006/10/31/introductory-haskell-solving-the-sorting-it-out-kata + 31. http://www.defmacro.org/ramblings/lisp-in-haskell.html + 32. http://www.artima.com/cppsource/threads_meeting.html + 33. http://damienkatz.net/2006/10/living_with_a_g_1.html + 34. http://kpreid.livejournal.com/7351.html + 35. http://gearon.blogspot.com/2006/10/functional-programming-is-functional.html + 36. http://koweycode.blogspot.com/2006/11/yaht-on-darcshaskellorg.html + 37. http://khigia.wordpress.com/2006/11/02/what-is-my-next-programming-language/ + 38. http://www.xprogramming.com/xpmag/dbcHaskellBowling.htm + 39. http://sigfpe.blogspot.com/2006/11/variable-substitution-gives.html + 40. http://virginia-gis.spaces.live.com/Blog/cns!45E7F65393A53E20!117.entry + 41. http://vastusutra.blogspot.com/2006/10/keeping-it-simple.html + 42. http://samplerate.blogspot.com/2006/11/in-beginning.html + 43. http://chiralos.blogspot.com/2006/11/testing-testing.html + 44. http://doc.gold.ac.uk/~ma503am/alex/haskellmusic + 45. http://lambda-the-ultimate.org/node/1807#comment-22019 + 46. http://nolacoaster.livejournal.com/20789.html + 47. http://brokenhut.livejournal.com/176006.html + +Quotes of the Week + + * coffeemug: There don't seem to be any definitive sources that + suggest Haskell isn't good at something. + + * stevan: Haskell is like all the other functional languages I have + read about, but totally different at the same time + + * coffeemug: you can do more with Haskell in less code that's easier + to read and maintain in the long run + + * Jeannette Wing: Computational thinking will have become ingrained + in everyone's lives when ... trees are drawn upside down + + * monochrom: recursive directory search is an alpha-beta with boring + values of alpha and beta + + * skew: Types are largely about writing down the contract of a + function once and telling the compiler to keep track of things, + rather than trying to get it all straight yourself, and being + rewarded with bugs that only manifest during demos... + + * monochrom: They say Mozarts Mass in C minor K427 is uplifting. I'm + going to name my next monad transformer or arrow transformer + MozartMassInCMinorK427T + * Ron Jeffries: Dan's assertion, as I recall it, was that Haskell + lets us express the program 'in the way we think'. On the + contrary, what Haskell does in my opinion is let us express the + program in the way Haskell thinks + + * sedd: [On the improving Haskell and Lua scores on the language + shootout] This is awesome. It's like watching a match between the + team of the town where you're from, and the team of the town where + you live. Either way you've got a reason to get drunk after the + game. + + * emeijer: Functional programming has finally arrived to the masses. + It's name is not Lisp, ML or Haskell: it's Visual Basic + + * audreyt: Because Haskell is such a reasonable language, we reason + about it all the time, and we also have a bot to reason it for us + when we are lazy + + * spiffy: needs to stop trying to understand monads at night + + * psykotic: spiffy: they're just monoids on the category of + endofunctors over some category, what's the big deal? + + * skew: also, if you use ST you know the code is just using mutable + variables, rather than formatting your hard drive + + * Baughn: I once explained monads to a non-programmer: 'And? What's + so hard about that?' + + * monochrom: The problem is that bad programmers will assess + tutorials for good programmers as 'ivory tower', and moreover bad + programmers are the vocal majority. It gets you bad press + + * scodil: you say 'sledgehammer' like its a bad thing + + * sjanssen: I suspect that planet.haskell.org has more content on + catamorphisms than cats + +Code Watch + + * Wed Nov 1 08:43:29 PST 2006. Simon Peyton Jones. Major overhaul of + the Simplifier. This big patch completely overhauls the + Simplifier. The simplifier had grown old and crufty, and was hard + to understand and maintain. This new version is still quite + complicated, because the simplifier does a lot, but it's much + easier to understand, for me at least. + +About the Haskell Weekly News + + Each week, new editions are posted to [48]the Haskell mailing list as + well as to [49]the Haskell Sequence and [50]Planet Haskell. [51]RSS is + also available, and headlines appear on [52]haskell.org. + + The Haskell Weekly News is also [53]available in Spanish translation. + + To help create new editions of this newsletter, please see the + [54]contributing information. Send stories to dons at cse.unsw.edu.au. + The darcs repository is available at darcs get + http://www.cse.unsw.edu.au/~dons/code/hwn + + 48. http://www.haskell.org/mailman/listinfo/haskell + 49. http://sequence.complete.org/ + 50. http://planet.haskell.org/ + 51. http://sequence.complete.org/node/feed + 52. http://haskell.org/ + 53. http://haskell.org/haskellwiki/HWN/es + 54. http://haskell.org/haskellwiki/HWN hunk ./content.wiki 6 -"The Monad.Reader - Issue 6" -"" -"Call for content" +"SmallCheck 0.2" +"Colin Runciman" +"[http://article.gmane.org/gmane.comp.lang.haskell.general/14461 announced] that SmallCheck 0.2, a lightweight testing library for Haskell, +is out, and can be [http://www.cs.york.ac.uk/fp/smallcheck0.2.tar obtained]. +Since version 0.1: there's now a choice of interactive or non-interactive test-drivers using iterative deepening; more pre-defined test-data generators, including revised Int, Integer, Float, Double, Nat and Natural and additional examples. SmallCheck is similar to QuickCheck but instead of testing for a sample of randomly generated values, SmallCheck tests properties for all the finitely many values up to some depth, progressively increasing the depth used.", + +Item +"Hoogle Command Line 3 Beta" +"Neil Mitchell" +"[http://article.gmane.org/gmane.comp.lang.haskell.general/14464 released] Hoogle Command Line version 3 Beta, an alternative to [http://haskell.org/hoogle the Hoogle website]. Hoogle lets you search for Haskell functions by name and by type signature.", + +Item +"The Monad.Reader" +"Wouter Swierstra" +"[http://article.gmane.org/gmane.comp.lang.haskell.general/14449 issued] a call for submissions for articles for the next issue of [http://www.haskell.org/haskellwiki/TheMonadReader The Monad.Reader]. There are a large number of conferences and journals that accept research papers related to Haskell; unfortunately, the platform for non-academic publications is far less developed. This is where The Monad.Reader fits in. So if you are tossing around some ideas, write it up, and submit! Deadline for submissions is January 19th, 2007.", + +Item +"Haskell Communities and Activities Report" +"Andres Loeh" +"[http://article.gmane.org/gmane.comp.lang.haskell.general/14453 reminded us] that the deadline for the November 2006 edition of the Haskell Communities and Activities Report is now! -- there may still be just enough time to make sure that the report contains a section on *your* project, on the interesting stuff that you've been doing; using or affecting Haskell in some way. For more info see [http://www.haskell.org/pipermail/haskell/2006-October/018646.html the call for contributions].", + +Item +"HsMan" +"Frederik Eaton" +"[http://thread.gmane.org/gmane.comp.lang.haskell.glasgow.user/11153/focus=11153 announced] hsman, a tool that indexes Haddock-generated HTML files, and allows users to search for functions and also GHC manual topics.", + +Item +"HaL, Haskell meeting in Leipzig" +"Johannes Waldmann" +"[http://article.gmane.org/gmane.comp.lang.haskell.general/14454 announced] that a local Haskell meeting is to take place on December 5th in Leipzig, Germany. The meeting will be hosted by IBA Consulting. It will be quite informal, with some very short talks (most probably in German). Interessenten sind herzlich eingeladen. [http://iba-cg.de/haskell.html Details and (free) registration]." hunk ./content.wiki 41 +Link +"http://article.gmane.org/gmane.comp.lang.haskell.prime/1847" +"Introduce lambda-match (explicit match failure and fall-through)", + +Link +"http://thread.gmane.org/gmane.comp.lang.haskell.prime/1835/focus=1835" +"Importing and exporting instance declarations", + +Link +"http://thread.gmane.org/gmane.comp.lang.haskell.prime/1850/focus=1850" +"Patches!" + +], + +Libraries [ + +Link +"http://thread.gmane.org/gmane.comp.lang.haskell.libraries/5569/focus=5569" +"unsafeShift operations for Data.Bits", + +Link +"http://thread.gmane.org/gmane.comp.lang.haskell.libraries/5552/focus=5552" +"map* for Data.List", + +Link +"http://thread.gmane.org/gmane.comp.lang.haskell.libraries/5519/focus=5519" +"(*) `on` f = \\x y -> f x * f y", + +Link +"http://thread.gmane.org/gmane.comp.lang.haskell.libraries/5488/focus=5488" +"forkChild, waitForChild, parIO, timeout", + +Link +"http://thread.gmane.org/gmane.comp.lang.haskell.libraries/5461/focus=5461" +"isLeft and isRight" + hunk ./content.wiki 88 -"" +"[http://thread.gmane.org/gmane.comp.lang.haskell.cafe/16278/focus=16278 invoked] a discussion about the OI [http://www.haskell.org/haskellwiki/Research_papers/Monads_and_arrows#Comonads comonad], and provided an example of a simple OI-comonad for stdin/stdout only, that preserves referential integrity.", + +Item +"The Bits between the Lambdas" +"Nuno Pinto" +"[http://thread.gmane.org/gmane.comp.lang.haskell.cafe/16245/focus=16245 asked] about Binary IO in Hakell. Several solutions were suggested.", + +Item +"Translating Haskell to VHDL" +"Alfonso Acosta" +"[http://thread.gmane.org/gmane.comp.lang.haskell.cafe/16337/focus=16337 pondered] how to write a translator from [http://haskell.org/haskellwiki/Research_papers/Domain_specific_languages#Hardware_design Haskell to VHDL].", + +Item +"New maintainers for wxHaskell" +"Jeremy O'Donoghue" +"[http://thread.gmane.org/gmane.comp.lang.haskell.cafe/16364/focus=16364 announced] that a new team of maintainers in place for wxHaskell, so we're hoping that will see a significant increase in wxHaskell activtiy in the future. Great!", + +Item +"Permutation with k levels" +"Nuno Pinto" +"[http://thread.gmane.org/gmane.comp.lang.haskell.cafe/16365/focus=16365 wondered] about generic permute algorithms in Haskell." hunk ./content.wiki 156 -"Variable substitution gives a ... monad" +"Variable substitution gives a ... monad", + +Link +"http://virginia-gis.spaces.live.com/Blog/cns!45E7F65393A53E20!117.entry" +"Modeling the Semantics of Geographic Categories through Conceptual Integration (in Haskell)", hunk ./content.wiki 162 +Link +"http://vastusutra.blogspot.com/2006/10/keeping-it-simple.html" +"Keeping it simple", + +Link +"http://samplerate.blogspot.com/2006/11/in-beginning.html" +"In the beginning...", + +Link +"http://chiralos.blogspot.com/2006/11/testing-testing.html" +"Testing ... testing ...", + +Link +"http://doc.gold.ac.uk/~ma503am/alex/haskellmusic" +"Livecoding music with Haskell", hunk ./content.wiki 178 +Link +"http://lambda-the-ultimate.org/node/1807#comment-22019" +"Why I recommend Haskell", + +Link +"http://nolacoaster.livejournal.com/20789.html" +"Win for Type Theory?", + +Link +"http://brokenhut.livejournal.com/176006.html" +"That problem when the ideas come too thick and fast" hunk ./content.wiki 236 -"Because Haskell is such a reasonable language, we reason about it all the time, and we also have a bot to reason it for us when we are lazy" +"Because Haskell is such a reasonable language, we reason about it all the time, and we also have a bot to reason it for us when we are lazy", hunk ./content.wiki 244 -"spiffy: they're just monoids on the category of endofunctors over some category, what's the big deal?" +"spiffy: they're just monoids on the category of endofunctors over some category, what's the big deal?", hunk ./content.wiki 246 +Quote +"skew" +"also, if you use ST you know the code is just using mutable variables, rather than formatting your hard drive", + +Quote +"Baughn" +"I once explained monads to a non-programmer: 'And? What's so hard about that?'", + +Quote +"monochrom" +"The problem is that bad programmers will assess tutorials for good programmers as 'ivory tower', and moreover bad programmers are the vocal majority. It gets you bad press", + +Quote +"scodil" +"you say 'sledgehammer' like its a bad thing", + +Quote +"sjanssen" +"I suspect that planet.haskell.org has more content on catamorphisms than cats" hunk ./issue 1 -Issue 48 +Issue 49 hunk ./utils/publish.hs 55 + , libraries :: Libraries hunk ./utils/publish.hs 71 +newtype Libraries = Libraries [Link] deriving (Read,Show) hunk ./utils/publish.hs 179 + ppr Html (libraries hwn) $+$ hunk ./utils/publish.hs 218 +instance Pretty Libraries where + ppr Html (Libraries links) = + tag "h4" (text "Libraries") $$ + text "This week's proposals and extensions to the " <+> + a "http://haskell.org/haskellwiki/Library_submissions" "standard libraries." $$ + tag "ul" (vcat (map (tag "li" . ppr Html) links)) + hunk ./utils/publish.hs 408 + | "Libraries" `isPrefixOf` xs + = "libraries = Libraries" ++ f (drop 9 xs) hunk ./wiki/News.html 1 -''2006-10-31'' +''2006-11-08'' hunk ./wiki/News.html 3 -

A type-based solution to the "strings problem". Tom - Moertel wrote on - [http://blog.moertel.com/articles/2006/10/18/a-type-based-solution-to-the-strings-problem a solution] to the problem of keeping web applications free of - string-based XSS and SQL-injection vulnerabilities, by employing the - Haskell type system.
Associated data types in GHC. Manuel Chakravarty - [http://article.gmane.org/gmane.comp.lang.haskell.general/14447 announced] the availability of indexed data types, an extension of our earlier proposal for [http://www.cse.unsw.edu.au/~chak/papers/CKPM05.html associated data types], in GHC's development version. Detailed information on where to get the right GHC and how to use indexed types is available from [http://haskell.org/haskellwiki/GHC/Indexed_types the Haskell wiki].

SmallCheck 0.2. Colin Runciman + [http://article.gmane.org/gmane.comp.lang.haskell.general/14461 announced] that SmallCheck 0.2, a lightweight testing library for Haskell, +is out, and can be [http://www.cs.york.ac.uk/fp/smallcheck0.2.tar obtained]. +Since version 0.1: there's now a choice of interactive or non-interactive test-drivers using iterative deepening; more pre-defined test-data generators, including revised Int, Integer, Float, Double, Nat and Natural and additional examples. SmallCheck is similar to QuickCheck but instead of testing for a sample of randomly generated values, SmallCheck tests properties for all the finitely many values up to some depth, progressively increasing the depth used.
Yhc Bytecode library 0.3. Robert Dockins - [http://article.gmane.org/gmane.comp.lang.haskell.general/14434 announced] the release of the [http://www.eecs.tufts.edu/~rdocki01/yhc-bytecode.html Yhc Bytecode library], version 0.3.
Hoogle Command Line 3 Beta. Neil Mitchell + [http://article.gmane.org/gmane.comp.lang.haskell.general/14464 released] Hoogle Command Line version 3 Beta, an alternative to [http://haskell.org/hoogle the Hoogle website]. Hoogle lets you search for Haskell functions by name and by type signature.
Haskell Program Coverage. Andy Gill - [http://www.galois.com/~andy/ray/hpc.html checked] the latest version of HPC, with GHC support, into the head GHC branch
The Monad.Reader. Wouter Swierstra + [http://article.gmane.org/gmane.comp.lang.haskell.general/14449 issued] a call for submissions for articles for the next issue of [http://www.haskell.org/haskellwiki/TheMonadReader The Monad.Reader]. There are a large number of conferences and journals that accept research papers related to Haskell; unfortunately, the platform for non-academic publications is far less developed. This is where The Monad.Reader fits in. So if you are tossing around some ideas, write it up, and submit! Deadline for submissions is January 19th, 2007.
Haskell Mersenne Twister. Lennart Augustsson - [http://www.augustsson.net/Darcs/MT/ made available] his Haskell implementation of the Mersenne Twister random number generator.
Haskell Communities and Activities Report. Andres Loeh + [http://article.gmane.org/gmane.comp.lang.haskell.general/14453 reminded us] that the deadline for the November 2006 edition of the Haskell Communities and Activities Report is now! -- there may still be just enough time to make sure that the report contains a section on *your* project, on the interesting stuff that you've been doing; using or affecting Haskell in some way. For more info see [http://www.haskell.org/pipermail/haskell/2006-October/018646.html the call for contributions].
Haskell-specific Google Search Engine. Don Stewart - [http://www.google.com/coop/cse?cx=015832023690232952875%3Acunmubfghzq initialised] a Haskell-specific search engine, as part of Google's coop engine system, which seems to do a good job of targeting just Haskell sites, in particular, mailing list items
HsMan. Frederik Eaton + [http://thread.gmane.org/gmane.comp.lang.haskell.glasgow.user/11153/focus=11153 announced] hsman, a tool that indexes Haddock-generated HTML files, and allows users to search for functions and also GHC manual topics.
A process for submitting library extensions. The libraries hackers - [http://article.gmane.org/gmane.comp.lang.haskell.libraries/5368 have] developed [http://haskell.org/haskellwiki/Library_submissions a document] describing how to best go about contributing new code to the core Haskell libraries. On a similar note, the GHC team has prepared [http://hackage.haskell.org/trac/ghc/wiki/WorkingConventions a page] on best practice for GHC submissions.
How to create a Haskell project. Don Stewart and Ian Lynagh - [http://thread.gmane.org/gmane.comp.lang.haskell.cafe/16164/focus=16164 prepared] some guidelines on starting your own Haskell project.

HaL, Haskell meeting in Leipzig. Johannes Waldmann + [http://article.gmane.org/gmane.comp.lang.haskell.general/14454 announced] that a local Haskell meeting is to take place on December 5th in Leipzig, Germany. The meeting will be hosted by IBA Consulting. It will be quite informal, with some very short talks (most probably in German). Interessenten sind herzlich eingeladen. [http://iba-cg.de/haskell.html Details and (free) registration].

hunk ./wiki/News.html 24 - hunk ./wiki/Old_news.html 4 + +''2006-10-31'' + +

A type-based solution to the "strings problem". Tom + Moertel wrote on + [http://blog.moertel.com/articles/2006/10/18/a-type-based-solution-to-the-strings-problem a solution] to the problem of keeping web applications free of + string-based XSS and SQL-injection vulnerabilities, by employing the + Haskell type system.
Associated data types in GHC. Manuel Chakravarty + [http://article.gmane.org/gmane.comp.lang.haskell.general/14447 announced] the availability of indexed data types, an extension of our earlier proposal for [http://www.cse.unsw.edu.au/~chak/papers/CKPM05.html associated data types], in GHC's development version. Detailed information on where to get the right GHC and how to use indexed types is available from [http://haskell.org/haskellwiki/GHC/Indexed_types the Haskell wiki].
Yhc Bytecode library 0.3. Robert Dockins + [http://article.gmane.org/gmane.comp.lang.haskell.general/14434 announced] the release of the [http://www.eecs.tufts.edu/~rdocki01/yhc-bytecode.html Yhc Bytecode library], version 0.3.
Haskell Program Coverage. Andy Gill + [http://www.galois.com/~andy/ray/hpc.html checked] the latest version of HPC, with GHC support, into the head GHC branch
Haskell Mersenne Twister. Lennart Augustsson + [http://www.augustsson.net/Darcs/MT/ made available] his Haskell implementation of the Mersenne Twister random number generator.
Haskell-specific Google Search Engine. Don Stewart + [http://www.google.com/coop/cse?cx=015832023690232952875%3Acunmubfghzq initialised] a Haskell-specific search engine, as part of Google's coop engine system, which seems to do a good job of targeting just Haskell sites, in particular, mailing list items
A process for submitting library extensions. The libraries hackers + [http://article.gmane.org/gmane.comp.lang.haskell.libraries/5368 have] developed [http://haskell.org/haskellwiki/Library_submissions a document] describing how to best go about contributing new code to the core Haskell libraries. On a similar note, the GHC team has prepared [http://hackage.haskell.org/trac/ghc/wiki/WorkingConventions a page] on best practice for GHC submissions.
How to create a Haskell project. Don Stewart and Ian Lynagh + [http://thread.gmane.org/gmane.comp.lang.haskell.cafe/16164/focus=16164 prepared] some guidelines on starting your own Haskell project.

}