Haskell Weekly News: October 31, 2006

[This week's news Don Stewart **20061031020633] { addfile ./archives/20061031.html hunk ./archives/20061031.html 1 + +Haskell Weekly News: October 31, 2006 +

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

This week we see a number of community documentation and maintenance +efforts, and the appearance of indexed data types in GHC

Announcements

Associated data types in GHC. Manuel +Chakravarty + announced + the availability of indexed data types, an extension of our earlier + proposal for 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 the Haskell + wiki.
Yhc Bytecode library 0.3. Robert Dockins + announced + the release of the Yhc + Bytecode library, version 0.3.
Haskell Program Coverage. Andy Gill + checked the + latest version of HPC, with GHC support, into the head GHC + branch
Haskell Mersenne Twister. Lennart Augustsson + made available his + Haskell implementation of the Mersenne Twister random number + generator.
Haskell-specific Google Search Engine. Don Stewart + 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 + have + developed 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 a + page on best practice for GHC submissions.
How to create a Haskell project. Don Stewart and Ian Lynagh + prepared + some guidelines on starting your own Haskell project.

Haskell'

This section covers the Haskell' standardisation +process.

Discussion

Haskell Quiz/Ruby Quiz. Haskell Hackers + have started + recording Ruby Quiz solutions on the Haskell wiki. Lots of fun + puzzles are available, and its a useful resource if you're learning + the language.
Infinite, open, statically constrained HLists. Oleg Kiselyov + described + heterogeneous sequences that admit infinite sequences and permits + post-hoc addition of new elements, even to an already infinite + sequence.
Lexically scoped type variables: new proposal. Ben + Rudiak-Gould + made + a new for scoped type variables.
Simple GADT parser for the eval example. Greg Buchholz + sought + advice on creating evaluators with GADTs
Package mounting. Frederik Eaton + proposed + an alternative design + for package mounting extensions to the package system.
Function types as instances of Num. Greg Buchholz + had + an interesting problem using functions as instances of Num
Yhc Core file generation. Neil Mitchell + suggested + that it was time to start taking YHC Core output a bit more + seriously, and made some proposals.
Parallelism in GHC 6.6 and seq vs. pseq. Simon Marlow + noticed + that Control.Parallel exports seq when in fact it should probably + export pseq.

Jobs

Lectureships in Software Engineering. Jeremy +Gibbons + announced + that applications are invited for three new University Lectureships + in Software Engineering, at the University of Oxford. For further + information, including full details of the application procedure and + selection criteria, see here.

Blog noise

Haskell news from the +blogosphere.

Quotes of the Week

Simon Marlow: In fact, you don't +need an evil scheduler, an ordinary scheduler will do this.
Conor McBride: My operating hypothesis is that even ordinary + schedulers are evil...
Larry Wall: Continuations - if you + know what they are - I don't need to explain them. If you don't know what + they are - you don't want to know.
Cale: [discussing names + for Haskell, after suggesting Sapphire] Diamond: The Hardest Programming + Language on Earth
ConorMcBride: So, taking Void to be the + colour of the empty bikeshed ...
cjeris: I like how you + conveniently gloss over the part where your head explodes.
dons: C++: Creating blub programmers since 1985
mwc: I can only believe that Java is a conspiracy perpetrated + by keyboard manufacturers
Pseudonym: (:[]) looks like a + ninja robot pirate monkey
chessguy: We've got satan and + beelsebob in here, and talking about unicycling.... this channel is + guaranteed to be a bad influence on me now
dons: fold + (\water dish -> wash water dish) soapywater dishes
masklinn: Scheme, on the other hand, is dynamically compiled + and thus doesn't 'fail early', it fails as late as it can, which produces + weird error unless you're into testing. Beginners never are into + testing.
Riastradh: Assume that I haven't the faintest + idea of what a comonad is, beyond that if a monad goes `voob', then a + comonad goes `boov'
Anonymous: It is quite possible that + 'the ultimate teaching language' was not actually invented when Steele and + Sussman came down from the mountain bearing a spool of 9-track + magtape...
sigfpe: How can Haskell not be the programming + language that all mathematicians should learn?
Syzygy: > + let _'__'_'''_'__'_=2 in _'__'_'''_'__'_
ihope>: > let _' + __ ___ (____:_____) = __ ____ (_' __ ___ _____); _' _ __ [] = __ in _' (+) + 0
Syzygy: one thing that stands out is the relatively low + distance between thought expressed in my ordinary day-to-day mathematical + discourse, and thought expressed in Haskell code

Code Watch

Tue Oct 24 14:29:07 PDT 2006. Andy +Gill. Haskell Program Coverage. This large checkin is the new ghc version +of Haskell Program Coverage, an expression-level coverage tool for Haskell. You +can run the coverage tool with -fhpc at compile time. Main must be compiled with +-fhpc.
Tue Oct 24 02:13:57 PDT 2006. Simon Marlow. Split + GC.c, and move storage manager into sm/ directory. In preparation for + parallel GC, split up the monolithic GC.c file into smaller + part

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

+ addfile ./archives/20061031.txt hunk ./archives/20061031.txt 1 +--------------------------------------------------------------------------- +Haskell Weekly News +http://haskell.org/haskellwiki/HWN +Issue 47 - October 31, 2006 +--------------------------------------------------------------------------- + + Welcome to issue 47 of HWN, a weekly newsletter covering developments + in the Haskell community. + + This week we see a number of community documentation and maintenance + efforts, and the appearance of indexed data types in GHC + +Announcements + + * Associated data types in GHC. Manuel Chakravarty [1]announced the + availability of indexed data types, an extension of our earlier + proposal for [2]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 [3]the Haskell wiki. + + 1. http://article.gmane.org/gmane.comp.lang.haskell.general/14447 + 2. http://www.cse.unsw.edu.au/~chak/papers/CKPM05.html + 3. http://haskell.org/haskellwiki/GHC/Indexed_types + + * Yhc Bytecode library 0.3. Robert Dockins [4]announced the release + of the [5]Yhc Bytecode library, version 0.3. + + 4. http://article.gmane.org/gmane.comp.lang.haskell.general/14434 + 5. http://www.eecs.tufts.edu/~rdocki01/yhc-bytecode.html + + * Haskell Program Coverage. Andy Gill [6]checked the latest version + of HPC, with GHC support, into the head GHC branch + + 6. http://www.galois.com/~andy/ray/hpc.html + + * Haskell Mersenne Twister. Lennart Augustsson [7]made available his + Haskell implementation of the Mersenne Twister random number + generator. + + 7. http://www.augustsson.net/Darcs/MT/ + + * Haskell-specific Google Search Engine. Don Stewart [8]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 + + 8. http://www.google.com/coop/cse?cx=015832023690232952875%3Acunmubfghzq + + * A process for submitting library extensions. The libraries hackers + [9]have developed [10]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 [11]a page on best practice for + GHC submissions. + + 9. http://article.gmane.org/gmane.comp.lang.haskell.libraries/5368 + 10. http://haskell.org/haskellwiki/Library_submissions + 11. http://hackage.haskell.org/trac/ghc/wiki/WorkingConventions + + * How to create a Haskell project. Don Stewart and Ian Lynagh + [12]prepared some guidelines on starting your own Haskell project. + + 12. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/16164/focus=16164 + +Haskell' + + This section covers the [13]Haskell' standardisation process. + * [14]Lambda-match vs PMC + * [15]Indentation of If-Then-Else + * [16]Digit groups + + 13. http://hackage.haskell.org/trac/haskell-prime + 14. http://thread.gmane.org/gmane.comp.lang.haskell.prime/1815/focus=1815 + 15. http://thread.gmane.org/gmane.comp.lang.haskell.prime/1791/focus=1791 + 16. http://thread.gmane.org/gmane.comp.lang.haskell.prime/1763/focus=1781 + +Discussion + + * Haskell Quiz/Ruby Quiz. Haskell Hackers [17]have started recording + Ruby Quiz solutions on the Haskell wiki. Lots of fun puzzles are + available, and its a useful resource if you're learning the + language. + + 17. http://haskell.org/haskellwiki/Haskell_Quiz + + * Infinite, open, statically constrained HLists. Oleg Kiselyov + [18]described heterogeneous sequences that admit infinite + sequences and permits post-hoc addition of new elements, even to + an already infinite sequence. + + 18. http://article.gmane.org/gmane.comp.lang.haskell.general/14424 + + * Lexically scoped type variables: new proposal. Ben Rudiak-Gould + [19]made a new for scoped type variables. + + 19. http://article.gmane.org/gmane.comp.lang.haskell.general/14429 + + * Simple GADT parser for the eval example. Greg Buchholz [20]sought + advice on creating evaluators with GADTs + + 20. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/16178/focus=16178 + + * Package mounting. Frederik Eaton [21]proposed an alternative + [22]design for package mounting extensions to the package system. + + 21. http://article.gmane.org/gmane.comp.lang.haskell.libraries/5389 + 22. http://hackage.haskell.org/trac/ghc/wiki/PackageMounting + + * Function types as instances of Num. Greg Buchholz [23]had an + interesting problem using functions as instances of Num + + 23. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/16129/focus=16129 + + * Yhc Core file generation. Neil Mitchell [24]suggested that it was + time to start taking YHC Core output a bit more seriously, and + made some proposals. + + 24. http://thread.gmane.org/gmane.comp.lang.haskell.yhc/397/focus=397 + + * Parallelism in GHC 6.6 and seq vs. pseq. Simon Marlow [25]noticed + that Control.Parallel exports seq when in fact it should probably + export pseq. + + 25. http://article.gmane.org/gmane.comp.lang.haskell.glasgow.user/11093 + +Jobs + + * Lectureships in Software Engineering. Jeremy Gibbons [26]announced + that applications are invited for three new University + Lectureships in Software Engineering, at the University of Oxford. + For further information, including full details of the application + procedure and selection criteria, see [27]here. + + 26. http://article.gmane.org/gmane.comp.lang.haskell.general/14445 + 27. http://www.softeng.ox.ac.uk/jobs/ + +Blog noise + + [28]Haskell news from the blogosphere. + * [29]Developing Gnome Apps with Glade + * [30]The Fun of Functional Infrastructure + * [31]Lightweight Threads + * [32]Fold diagrams + * [33]Haskell and Scheme: Which One and Why? + * [34]Scheme Death Knell? + * [35]Software Cipher + * [36]Algebraic Topology in Haskell + * [37]Syntax extension for Monads in Ocaml + * [38]The wxhaskell revival + * [39]Query Composition using Functional Programming Techniques in C# 3.0 + * [40]Practical Haskell? + * [41]FP publisher interview + * [42]Haskell mentions at the Dynamic Languages Symposium + * [43]Phil Wadler (aka Lambda Man) at OOPSLA + * [44]Haskell programming + * [45]RushCheck, a lightweight random testing tool for Ruby similar to QuickCheck + + 28. http://planet.haskell.org/ + 29. http://j-van-thiel.speedlinq.nl/EddyAhmed/GladeGtk2Hs.html + 30. http://blog.syntaxpolice.org/isaac/index.cgi/technology/onInfrastructure.html + 31. http://lambda-the-ultimate.org/node/1721#comment-21046 + 32. http://cale.yi.org/index.php/Fold_Diagrams + 33. http://scienceblogs.com/goodmath/2006/10/haskell_and_scheme_which_one_a.php + 34. http://theonlywinningmove.blogspot.com/2006/10/scheme-death-knell.html + 35. http://mult.ifario.us/articles/2006/10/25/solitaire-cipher-in-haskell + 36. http://sigfpe.blogspot.com/2006/08/algebraic-topology-in-haskell.html + 37. http://www.cas.mcmaster.ca/~carette/pa_monad/ + 38. http://koweycode.blogspot.com/2006/10/wxhaskell-on-darcshaskellorg.html + 39. http://blogs.msdn.com/ericwhite/pages/FP-Tutorial.aspx + 40. http://lambda-the-ultimate.org/node/1803#comment-21779 + 41. http://on-ruby.blogspot.com/2006/10/author-interview-joshua-smith-prequel.html + 42. http://mark.santaniello.net/archives/272 + 43. http://www.cs.uni.edu/~wallingf/blog/archives/monthly/2006-10.html#e2006-10-28T19_36_31.htm + 44. http://ste.aeschbacher.ch/blog/2006/04/entry1 + 45. http://rushcheck.rubyforge.org/ + +Quotes of the Week + + * Simon Marlow: In fact, you don't need an evil scheduler, an + ordinary scheduler will do this. + + * Conor McBride: My operating hypothesis is that even ordinary + schedulers are evil... + + * Larry Wall: Continuations - if you know what they are - I don't + need to explain them. If you don't know what they are - you don't + want to know. + + * Cale: [discussing names for Haskell, after suggesting Sapphire] + Diamond: The Hardest Programming Language on Earth + + * ConorMcBride: So, taking Void to be the colour of the empty + bikeshed ... + + * cjeris: I like how you conveniently gloss over the part where your + head explodes. + + * dons: C++: Creating blub programmers since 1985 + + * mwc: I can only believe that Java is a conspiracy perpetrated by + keyboard manufacturers + + * Pseudonym: (:[]) looks like a ninja robot pirate monkey + + * chessguy: We've got satan and beelsebob in here, and talking about + unicycling.... this channel is guaranteed to be a bad influence on + me now + + * dons: fold (\water dish -> wash water dish) soapywater dishes + + * masklinn: Scheme, on the other hand, is dynamically compiled and + thus doesn't 'fail early', it fails as late as it can, which + produces weird error unless you're into testing. Beginners never + are into testing. + + * Riastradh: Assume that I haven't the faintest idea of what a + comonad is, beyond that if a monad goes `voob', then a comonad + goes `boov' + + * Anonymous: It is quite possible that 'the ultimate teaching + language' was not actually invented when Steele and Sussman came + down from the mountain bearing a spool of 9-track magtape... + + * sigfpe: How can Haskell not be the programming language that all + mathematicians should learn? + + * Syzygy: > let _'__'_'''_'__'_=2 in _'__'_'''_'__'_ + + * ihope>: > let _' __ ___ (____:_____) = __ ____ (_' __ ___ _____); + _' _ __ [] = __ in _' (+) 0 + + * Syzygy: one thing that stands out is the relatively low distance + between thought expressed in my ordinary day-to-day mathematical + discourse, and thought expressed in Haskell code + +Code Watch + + * Tue Oct 24 14:29:07 PDT 2006. Andy Gill. Haskell Program Coverage. + This large checkin is the new ghc version of Haskell Program + Coverage, an expression-level coverage tool for Haskell. You can + run the coverage tool with -fhpc at compile time. Main must be + compiled with -fhpc. + + * Tue Oct 24 02:13:57 PDT 2006. Simon Marlow. Split GC.c, and move + storage manager into sm/ directory. In preparation for parallel + GC, split up the monolithic GC.c file into smaller part + +About the Haskell Weekly News + + Each week, new editions are posted to [46]the Haskell mailing list as + well as to [47]the Haskell Sequence and [48]Planet Haskell. [49]RSS is + also available, and headlines appear on [50]haskell.org. + + The Haskell Weekly News is also [51]available in Spanish translation. + + To help create new editions of this newsletter, please see the + [52]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 + + 46. http://www.haskell.org/mailman/listinfo/haskell + 47. http://sequence.complete.org/ + 48. http://planet.haskell.org/ + 49. http://sequence.complete.org/node/feed + 50. http://haskell.org/ + 51. http://haskell.org/haskellwiki/HWN/es + 52. http://haskell.org/haskellwiki/HWN hunk ./content.wiki 1 -Editorial = Nothing, +Editorial = Just "This weeks we see a number of community documentation and maintenance efforts, and the appearance of indexed data types in GHC", hunk ./content.wiki 6 -"MissingH 0.16.0" -"John Goerzen" -"[http://article.gmane.org/gmane.comp.lang.haskell.general/14400 announced] that the latest version of MissingH is now available. MissingH is a suite of 'missing' library functions. New features include: render numbers as binary units, a progress tracker, turn QuickCheck tests into HUnit tests, and GHC 6.6 support.", +"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].", hunk ./content.wiki 11 -"SMP parallel Pugs on GHC" -"Audrey Tang" -"[http://thread.gmane.org/gmane.comp.lang.haskell.general/14402/focus=14402 announced] that -parallel support, on top of GHC's new SMP runtime system, has been added to Pugs, the standard bearer [http://pugs.blogs.com/pugs/2006/10/smp_paralleliza.html Perl6 implementation].", +"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.", hunk ./content.wiki 16 -"YAHT is now a part of the wikibook" -"Eric Kow" -"[http://koweycode.blogspot.com/2006/10/yaht-badly-imported.html announced] that the famous 'Yet Another Haskell Tutorial' has been imported into [http://en.wikibooks.org/wiki/Haskell the Haskell wikibook]. Let the great Haskell Remix begin!" +"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", + +Item +"Haskell Mersenne Twister" +"Lennart Augustsson" +"[http://www.augustsson.net/Darcs/MT/ made available] his Haskell implementation of the Mersenne Twister random number generator." , + +Item +"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", + +Item +"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.", + +Item +"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." hunk ./content.wiki 45 -"http://thread.gmane.org/gmane.comp.lang.haskell.prime/1750/focus=1750" -"Pattern guards", +"http://thread.gmane.org/gmane.comp.lang.haskell.prime/1815/focus=1815" +"Lambda-match vs PMC", hunk ./content.wiki 49 -"http://thread.gmane.org/gmane.comp.lang.haskell.prime/1773/focus=1773" -"Standard syntax for preconditions, postconditions, and invariants", - -Link -"http://thread.gmane.org/gmane.comp.lang.haskell.prime/1763/focus=1763" +"http://thread.gmane.org/gmane.comp.lang.haskell.prime/1791/focus=1791" hunk ./content.wiki 53 -"http://thread.gmane.org/gmane.comp.lang.haskell.prime/1764/focus=1764" -"Module imports anywhere" +"http://thread.gmane.org/gmane.comp.lang.haskell.prime/1763/focus=1781" +"Digit groups" hunk ./content.wiki 65 -"Ruby puzzles" -"Jim Burton" -"[http://thread.gmane.org/gmane.comp.lang.haskell.cafe/16056/focus=16056 mentioned] that he was working on the [http://www.rubyquiz.com Ruby quiz] puzzles in Haskell -- an interesting exercise.", +"Haskell Quiz/Ruby Quiz" +"Haskell Hackers" +"[http://haskell.org/haskellwiki/Haskell_Quiz have started] recording Ruby Quiz solutions on the Haskell wiki. Lots of fun puzzles are available, and its a useful resource if you're learning the language.", hunk ./content.wiki 70 -"DeepSeq and parallel strategies" -"Chad Scherrer" -"[http://thread.gmane.org/gmane.comp.lang.haskell.cafe/16047/focus=16047 started] a bit of a discussion about the connection between the deepSeq function, and Control.Parallel.Strategies.rnf" , +"Infinite, open, statically constrained HLists" +"Oleg Kiselyov" +"[http://article.gmane.org/gmane.comp.lang.haskell.general/14424 described] heterogeneous sequences that admit infinite sequences and permits post-hoc addition of new elements, even to an already infinite sequence.", hunk ./content.wiki 75 -"Type level functions" -"Oleg Kiselyov" -"[http://article.gmane.org/gmane.comp.lang.haskell.cafe/15978 described] how to use type level programming to create a type of constrained lists.", +"Lexically scoped type variables: new proposal" +"Ben Rudiak-Gould" +"[http://article.gmane.org/gmane.comp.lang.haskell.general/14429 made] a new for scoped type variables.", hunk ./content.wiki 80 -"Extending the core libraries" -"Josef Svenningsson" -"[http://thread.gmane.org/gmane.comp.lang.haskell.libraries/5280/focus=5280 started] a largish thread on adding a concat.intersperse function to the base library, leading to an interesting discussion on whether the time has come for an formal process for extending core libraries.", +"Simple GADT parser for the eval example" +"Greg Buchholz" +"[http://thread.gmane.org/gmane.comp.lang.haskell.cafe/16178/focus=16178 sought] advice on creating evaluators with GADTs", hunk ./content.wiki 85 -"data Void" -"Conor McBride" -"[http://thread.gmane.org/gmane.comp.lang.haskell.libraries/5321/focus=5321 proposed] adding the type with no inhabitants other than _|_ to the core libraries." +"Package mounting" +"Frederik Eaton" +"[http://article.gmane.org/gmane.comp.lang.haskell.libraries/5389 proposed] an alternative [http://hackage.haskell.org/trac/ghc/wiki/PackageMounting design] for package mounting extensions to the package system.", + +Item +"Function types as instances of Num" +"Greg Buchholz" +"[http://thread.gmane.org/gmane.comp.lang.haskell.cafe/16129/focus=16129 had] an interesting problem using functions as instances of Num", + +Item +"Yhc Core file generation" +"Neil Mitchell" +"[http://thread.gmane.org/gmane.comp.lang.haskell.yhc/397/focus=397 suggested] that it was time to start taking YHC Core output a bit more seriously, and made some proposals.", + +Item +"Parallelism in GHC 6.6 and seq vs. pseq" +"Simon Marlow" +"[http://article.gmane.org/gmane.comp.lang.haskell.glasgow.user/11093 noticed] that Control.Parallel exports seq when in fact it should probably export pseq." hunk ./content.wiki 108 +Item +"Lectureships in Software Engineering" +"Jeremy Gibbons" +"[http://article.gmane.org/gmane.comp.lang.haskell.general/14445 announced] that applications are invited for three new University Lectureships in Software Engineering, at the University of Oxford. For further information, including full details of the application procedure and selection criteria, see [http://www.softeng.ox.ac.uk/jobs/ here]." + hunk ./content.wiki 118 -"http://brokenhut.livejournal.com/172054.html" -"Optimus prime is actually dead, or, monadic transformers", +"http://j-van-thiel.speedlinq.nl/EddyAhmed/GladeGtk2Hs.html" +"Developing Gnome Apps with Glade", + +Link +"http://blog.syntaxpolice.org/isaac/index.cgi/technology/onInfrastructure.html" +"The Fun of Functional Infrastructure", + +Link +"http://lambda-the-ultimate.org/node/1721#comment-21046" +"Lightweight Threads", + +Link +"http://cale.yi.org/index.php/Fold_Diagrams" +"Fold diagrams", + +Link +"http://scienceblogs.com/goodmath/2006/10/haskell_and_scheme_which_one_a.php" +"Haskell and Scheme: Which One and Why?", + +Link +"http://theonlywinningmove.blogspot.com/2006/10/scheme-death-knell.html" +"Scheme Death Knell?", hunk ./content.wiki 142 -"http://www.alpheccar.org/en/posts/show/57" -"Haskell, PDF and penrose tilings", +"http://mult.ifario.us/articles/2006/10/25/solitaire-cipher-in-haskell" +"Software Cipher", hunk ./content.wiki 146 -"http://sequence.complete.org/node/215" -"Not everyone can dine at the Beverly Hills Social Club of Programming Languages", +"http://sigfpe.blogspot.com/2006/08/algebraic-topology-in-haskell.html" +"Algebraic Topology in Haskell", hunk ./content.wiki 150 -"http://weblog.raganwald.com/2006/10/would-you-like-side-of-referential.html" -" Would you like a side of referential transparency with your order..", +"http://www.cas.mcmaster.ca/~carette/pa_monad/" +"Syntax extension for Monads in Ocaml", hunk ./content.wiki 154 -"http://wadler.blogspot.com/2006/10/john-baez-on-lambda-calculus-and-games.html" -"John Baez on lambda calculus and games", +"http://koweycode.blogspot.com/2006/10/wxhaskell-on-darcshaskellorg.html" +"The wxhaskell revival", hunk ./content.wiki 158 -"http://sigfpe.blogspot.com/2006/10/monads-field-guide.html" -"Monads: a field guide", +"http://blogs.msdn.com/ericwhite/pages/FP-Tutorial.aspx" +"Query Composition using Functional Programming Techniques in C# 3.0", hunk ./content.wiki 162 -"http://neilmitchell.blogspot.com/2006/10/30-faster-than-ghc.html" -"Catch+YHC beats GHC" +"http://lambda-the-ultimate.org/node/1803#comment-21779" +"Practical Haskell?", + +Link +"http://on-ruby.blogspot.com/2006/10/author-interview-joshua-smith-prequel.html" +"FP publisher interview", + +Link +"http://mark.santaniello.net/archives/272" +"Haskell mentions at the Dynamic Languages Symposium", + +Link +"http://www.cs.uni.edu/~wallingf/blog/archives/monthly/2006-10.html#e2006-10-28T19_36_31.htm" +"Phil Wadler (aka Lambda Man) at OOPSLA", + +Link +"http://ste.aeschbacher.ch/blog/2006/04/entry1" +"Haskell programming", + +Link +"http://rushcheck.rubyforge.org/" +"RushCheck, a lightweight random testing tool for Ruby similar to QuickCheck" hunk ./content.wiki 189 +Quote +"Simon Marlow" +"In fact, you don't need an evil scheduler, an ordinary scheduler will do this.", + +Quote +"Conor McBride" +"My operating hypothesis is that even ordinary schedulers are evil...", + +Quote +"Larry Wall" +"Continuations - if you know what they are - I don't need to explain them. If you don't know what they are - you don't want to know.", + +Quote +"Cale" +"[discussing names for Haskell, after suggesting Sapphire] Diamond: The Hardest Programming Language on Earth", + +Quote +"ConorMcBride" +"So, taking Void to be the colour of the empty bikeshed ...", + +Quote +"cjeris" +"I like how you conveniently gloss over the part where your head explodes.", + +Quote +"dons" +"C++: Creating blub programmers since 1985", + +Quote +"mwc" +"I can only believe that Java is a conspiracy perpetrated by keyboard manufacturers", + +Quote +"Pseudonym" +"(:[]) looks like a ninja robot pirate monkey", + +Quote +"chessguy" +"We've got satan and beelsebob in here, and talking about unicycling.... this channel is guaranteed to be a bad influence on me now", + +Quote +"dons" +"fold (\\water dish -> wash water dish) soapywater dishes", + +Quote +"masklinn" +"Scheme, on the other hand, is dynamically compiled and thus doesn't 'fail early', it fails as late as it can, which produces weird error unless you're into testing. Beginners never are into testing.", + +Quote +"Riastradh" +"Assume that I haven't the faintest idea of what a comonad is, beyond that if a monad goes `voob', then a comonad goes `boov'", + +Quote +"Anonymous" +"It is quite possible that 'the ultimate teaching language' was not actually invented when Steele and Sussman came down from the mountain bearing a spool of 9-track magtape...", + +Quote +"sigfpe" +"How can Haskell not be the programming language that all mathematicians should learn?", + +Quote +"Syzygy" +"> let _'__'_'''_'__'_=2 in _'__'_'''_'__'_", + +Quote +"ihope>" +"> let _' __ ___ (____:_____) = __ ____ (_' __ ___ _____); _' _ __ [] = __ in _' (+) 0", + +Quote +"Syzygy" +"one thing that stands out is the relatively low distance between thought expressed in my ordinary day-to-day mathematical discourse, and thought expressed in Haskell code" + hunk ./content.wiki 266 +Commit +"Tue Oct 24 14:29:07 PDT 2006" +"Andy Gill" +"Haskell Program Coverage. This large checkin is the new ghc version of Haskell Program Coverage, an expression-level coverage tool for Haskell. You can run the coverage tool with -fhpc at compile time. Main must be compiled with -fhpc.", + +Commit +"Tue Oct 24 02:13:57 PDT 2006" +"Simon Marlow" +"Split GC.c, and move storage manager into sm/ directory. In preparation for parallel GC, split up the monolithic GC.c file into smaller part" + hunk ./issue 1 -Issue 47 +Issue 48 hunk ./utils/publish.hs 90 -data Commit = Commit Date Body deriving (Read,Show) +data Commit = Commit Date Author Body deriving (Read,Show) hunk ./utils/publish.hs 252 - ppr m (Commit date txt) = + ppr m (Commit date author txt) = hunk ./utils/publish.hs 254 - p $ (tag "em" (text date)) <> char '.' <+> + p $ (tag "em" (text date)) <> char '.' <+> + tag "em" (text author) <> char '.' <+> hunk ./wiki/News.html 1 -''2006-10-24'' +''2006-10-31'' hunk ./wiki/News.html 3 -

MissingH 0.16.0. John Goerzen - [http://article.gmane.org/gmane.comp.lang.haskell.general/14400 announced] that the latest version of MissingH is now available. MissingH is a suite of 'missing' library functions. New features include: render numbers as binary units, a progress tracker, turn QuickCheck tests into HUnit tests, and GHC 6.6 support.

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].
SMP parallel Pugs on GHC. Audrey Tang - [http://thread.gmane.org/gmane.comp.lang.haskell.general/14402/focus=14402 announced] that -parallel support, on top of GHC's new SMP runtime system, has been added to Pugs, the standard bearer [http://pugs.blogs.com/pugs/2006/10/smp_paralleliza.html Perl6 implementation].
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.
YAHT is now a part of the wikibook. Eric Kow - [http://koweycode.blogspot.com/2006/10/yaht-badly-imported.html announced] that the famous 'Yet Another Haskell Tutorial' has been imported into [http://en.wikibooks.org/wiki/Haskell the Haskell wikibook]. Let the great Haskell Remix begin!

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.

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

MissingH 0.16.0. John Goerzen + [http://article.gmane.org/gmane.comp.lang.haskell.general/14400 announced] that the latest version of MissingH is now available. MissingH is a suite of 'missing' library functions. New features include: render numbers as binary units, a progress tracker, turn QuickCheck tests into HUnit tests, and GHC 6.6 support.
SMP parallel Pugs on GHC. Audrey Tang + [http://thread.gmane.org/gmane.comp.lang.haskell.general/14402/focus=14402 announced] that parallel support, on top of GHC's new SMP runtime system, has been added to Pugs, the standard bearer [http://pugs.blogs.com/pugs/2006/10/smp_paralleliza.html Perl6 implementation].
YAHT is now a part of the wikibook. Eric Kow + [http://koweycode.blogspot.com/2006/10/yaht-badly-imported.html announced] that the famous 'Yet Another Haskell Tutorial' has been imported into [http://en.wikibooks.org/wiki/Haskell the Haskell wikibook]. Let the great Haskell Remix begin!

}