[Issue 49 Don Stewart **20061114030021] { addfile ./archives/20061114.html addfile ./archives/20061114.txt hunk ./archives/20061114.html 1 + +Haskell Weekly News: November 14, 2006 +

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

+

This week we see the announcement of a Haskell to Javascript compiler +project, and the overhaul of GHC's typeclass machinery is complete.

+

Announcements

+

Haskell'

This section covers the Haskell' standardisation +process. +

Libraries

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

Discussion

+

Conference roundup

Asian Symposium on Programming Languages and Systems +(APLAS 2006) +

Jobs

+

Blog noise

Haskell news from the +blogosphere. +

Quotes of the Week

+

Code Watch

+

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/20061114.txt 1 +--------------------------------------------------------------------------- +Haskell Weekly News +http://haskell.org/haskellwiki/HWN +Issue 49 - November 14, 2006 +--------------------------------------------------------------------------- + + Welcome to issue 49 of HWN, a weekly newsletter covering developments + in the Haskell community. + + This week we see the announcement of a Haskell to Javascript compiler + project, and the overhaul of GHC's typeclass machinery is complete. + +Announcements + + * Compiling Haskell to Javascript: YCR2JS. Dimitry Golubovsky + [1]announced Ycr2js, a sub-project within the [2]York Haskell + Compiler (Yhc) project. It is aimed to create a tool to convert an + arbitrary Haskell program into Javascript which in turn may be + executed in any Web browser. With great amount of help from the + Yhc Team, the converter has been integrated into the Yhc project, + and initial stage of coding and development has been completed. + [3]More documentation. + + 1. http://article.gmane.org/gmane.comp.lang.haskell.general/14471 + 2. http://darcs.haskell.org/yhc + 3. http://haskell.org/haskellwiki/Yhc/Javascript + + * System.FilePath 0.10. Neil Mitchell [4]announced System.FilePath + 0.10, which hopefully is pretty close to final. [5]This library + manipulates FilePath's correctly on both Posix and Windows. + + 4. http://article.gmane.org/gmane.comp.lang.haskell.general/14467 + 5. http://www-users.cs.york.ac.uk/~ndm/projects/libraries.php#filepath + + * Major typeclass overhaul. Simon Peyton-Jones [6]mentioned that for + some time he has been promising an overhaul of GHC's type + inference machinery to fix the interactions between type classes + and GADTs. This overhaul has now been completed, and user-visible + changes are summarised, including: GHC's type inference becomes + complete, the restriction that every constraint in a type + signature must mention at least one of the quantified type + variables is lifted, dictionaries are packaged in data + constructors and the proper interaction between GADTs and type + classes is now respected. + + 6. http://article.gmane.org/gmane.comp.lang.haskell.glasgow.user/11192 + + * Implementing the lambda calculus. Lennart Augustsson [7]wrote + about implementing interpreters for the lambda-calculus in + Haskell, to [8]experiment with different implementation methods. + + 7. http://article.gmane.org/gmane.comp.lang.haskell.cafe/16490 + 8. http://darcs.augustsson.net/Darcs/Lambda/ + + * Great language shootout: reloaded. Don Stewart [9]mentioned that + now [10]GHC 6.6 is available on the shootout machines, the time + has come to improve the existing [11]language shootout entries. + Improvements can be posted to the [12]wiki for review. + + 9. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/16454/focus=16454 + 10. http://haskell.org/ghc + 11. http://shootout.alioth.debian.org/ + 12. http://www.haskell.org/haskellwiki/Great_language_shootout + +Haskell' + + This section covers the [13]Haskell' standardisation process. + * [14]Overloading string literals + * [15]Annotation systems + + 13. http://hackage.haskell.org/trac/haskell-prime + 14. http://thread.gmane.org/gmane.comp.lang.haskell.prime/1882/focus=1882 + 15. http://thread.gmane.org/gmane.comp.lang.haskell.prime/1889/focus=1889 + +Libraries + + This week's proposals and extensions to the [16]standard libraries. + * [17]Adding Kleisli composition to Control.Monad + * [18]Add ranged sets + * [19]Add unsafeCoerce + + 16. http://haskell.org/haskellwiki/Library_submissions + 17. http://thread.gmane.org/gmane.comp.lang.haskell.libraries/5640/focus=5640 + 18. http://thread.gmane.org/gmane.comp.lang.haskell.libraries/5635/focus=5635 + 19. http://thread.gmane.org/gmane.comp.lang.haskell.libraries/5611/focus=5611 + +Discussion + + * Choosing a Haskell GUI library. Bulat Ziganshin [20]asked for + advice on which Haskell gui library to use. Several suggestions + were made. + + 20. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/16497/focus=16497 + +Conference roundup + + Asian Symposium on Programming Languages and Systems (APLAS 2006) + + * Type Processing by Constraint Reasoning. Peter Stuckey. [21]Paper. + + * Principal Type Inference for GHC-Style Multi-Parameter Type + Classes. Martin Sulzmann, Tom Schrijvers and Peter J Stuckey. + [22]Paper. + + * Automatic Testing of Higher Order Functions. Pieter Koopman and + Rinus Plasmeijer. [23]Paper. + + 21. http://www.cs.mu.oz.au/~pjs/papers/aplas06i.pdf + 22. http://www.comp.nus.edu.sg/~sulzmann/publications/ghc-mptc-inf.ps + 23. http://www.st.cs.ru.nl/papers/2006/koop2006-TestingOfHigherOrderFunctionsAPLAS.pdf + +Jobs + + * Research position in spatial cognition (Haskell-related). Till + Mossakowski [24]announced the availability of a Doctoral Research + Assistant / Postdoctoral Researcher position at the Universität + Bremen, concerned with classification and formalization of + qualitative spatial calculi, relations among these calculi, + spatial ontologies, and route graphs. [25]More information. + + 24. http://article.gmane.org/gmane.comp.lang.haskell.general/14469 + 25. http://www.sfbtr8.uni-bremen.de/i4.html + +Blog noise + + [26]Haskell news from the blogosphere. + * [27]Getting real with Haskell + * [28]A Simple RPN Calculator in Haskell + * [29]One more grunt trying to learn Haskell + * [30]Testing Telecoms Software with Quviq QuickCheck + * [31]Quviq QuickCheck: A new automated testing tool + * [32]My first Haskell adventure game! + + 26. http://planet.haskell.org/ + 27. http://therning.org/magnus/archives/219 + 28. http://jcreigh.blogspot.com/2006/11/simple-rpn-calculator-in-haskell.html + 29. http://monad.carnalreason.org/wordpress/?p=4 + 30. http://lambda-the-ultimate.org/node/1827 + 31. http://blog.lab49.com/?p=703 + 32. http://jpmoresmau.blogspot.com/2006/11/my-first-haskell-adventure-game.html + +Quotes of the Week + + * dylan: I remember being introduced to lambdas (in perl) from the + programming perl, 2nd edition book. I used them heavily ever + since... like some kind of cocaine addiction. + + * jdunck: What's your safeword? + + * sketerpot: With very strict typing, you need an *unsafe*word. + + * Binkley: Can you represent 'more moronic than Slashdot' with a + 32-bit integer? + + * Robert Dockins: A Turing-complete type-checker isn't enough! Our + work is not complete until the parser is a universal machine as + well! + + * dons: Disable the type checker in GHC for 6 months and we'd have 5 + Haskell debuggers by the end of it. + + * lennart: System Verilog is one of the worst 'designs' I've ever + seen. So I bet it will be popular + + * lispy: The biggest reason most developers I know don't fix a bug + is because they don't know it exists yet + + * monochrom: Time flies like an arrow. Fruit flies like a banana. + Syntax rules like a macro + + * robreim: [on the new #haskell lojban channel] Great, now we've got + to start an IRC channel for lojban-speaking, Haskell-coding + anarchists + + * syntaxfree: Yes, Wadlerman: Prince of Funktions + +Code Watch + + * 2006-11-09 17:01:33 GMT. Claus Reinke. [33]Syntax patch for lambda-match. + + 33. http://article.gmane.org/gmane.comp.lang.haskell.cvs.ghc/17645 + + * 2006-11-06 21:27:30 GMT. Lennart Kolmodin. [34]New ghc-pkg option + 'check'. A patch for ghc-pkg show broken packages (due to missing + dependencies) with a new command 'check', and also indicate broken + packages when using the command 'list'. + + 34. http://article.gmane.org/gmane.comp.lang.haskell.cvs.ghc/17656 + + * 2006-11-10 13:43:26 GMT. Simon Peyton Jones. [35]Use implication + constraints to improve type inference. + + 35. http://article.gmane.org/gmane.comp.lang.haskell.cvs.ghc/17665 + + * 2006-11-13 09:36:19 GMT. Simon Peyton Jones. [36]Add literal-shift + rewrite rules. + + 36. http://article.gmane.org/gmane.comp.lang.haskell.cvs.ghc/17705 + +About the Haskell Weekly News + + Each week, new editions are posted to [37]the Haskell mailing list as + well as to [38]the Haskell Sequence and [39]Planet Haskell. [40]RSS is + also available, and headlines appear on [41]haskell.org. + + The Haskell Weekly News is also [42]available in Spanish translation. + + To help create new editions of this newsletter, please see the + [43]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 + + 37. http://www.haskell.org/mailman/listinfo/haskell + 38. http://sequence.complete.org/ + 39. http://planet.haskell.org/ + 40. http://sequence.complete.org/node/feed + 41. http://haskell.org/ + 42. http://haskell.org/haskellwiki/HWN/es + 43. http://haskell.org/haskellwiki/HWN hunk ./content.wiki 1 -Editorial = Nothing, +Editorial = Just "This week we see the announcement of a Haskell to Javascript compiler project, and the overhaul of GHC's typeclass machinery is complete.", hunk ./content.wiki 6 -"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.", +"Compiling Haskell to Javascript: YCR2JS" +"Dimitry Golubovsky" +"[http://article.gmane.org/gmane.comp.lang.haskell.general/14471 announced] Ycr2js, a sub-project within the [http://darcs.haskell.org/yhc York Haskell Compiler] (Yhc) project. It is aimed to create a tool to convert an arbitrary Haskell program into Javascript which in turn may be executed in any Web browser. With great amount of help from the Yhc Team, the converter has been integrated into the Yhc project, and initial stage of coding and development has been completed. [http://haskell.org/haskellwiki/Yhc/Javascript More documentation].", hunk ./content.wiki 11 -"Hoogle Command Line 3 Beta" +"System.FilePath 0.10" hunk ./content.wiki 13 -"[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.", +"[http://article.gmane.org/gmane.comp.lang.haskell.general/14467 announced] System.FilePath 0.10, which hopefully is pretty close to final. [http://www-users.cs.york.ac.uk/~ndm/projects/libraries.php#filepath This library] manipulates FilePath's correctly on both Posix and Windows.", hunk ./content.wiki 16 -"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.", +"Major typeclass overhaul" +"Simon Peyton-Jones" +"[http://article.gmane.org/gmane.comp.lang.haskell.glasgow.user/11192 mentioned] that for some time he has been promising an overhaul of GHC's type inference machinery to fix the interactions between type classes and GADTs. This overhaul has now been completed, and user-visible changes are summarised, including: GHC's type inference becomes complete, the restriction that every constraint in a type signature must mention at least one of the quantified type variables is lifted, dictionaries are packaged in data constructors and the proper interaction between GADTs and type classes is now respected.", hunk ./content.wiki 21 -"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].", +"Implementing the lambda calculus" +"Lennart Augustsson" +"[http://article.gmane.org/gmane.comp.lang.haskell.cafe/16490 wrote] about implementing interpreters for the lambda-calculus in Haskell, to [http://darcs.augustsson.net/Darcs/Lambda/ experiment] with different implementation methods.", hunk ./content.wiki 26 -"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]." +"Great language shootout: reloaded" +"Don Stewart" +"[http://thread.gmane.org/gmane.comp.lang.haskell.cafe/16454/focus=16454 mentioned] that now [http://haskell.org/ghc GHC 6.6] is available on the shootout machines, the time has come to improve the existing [http://shootout.alioth.debian.org/ language shootout] entries. Improvements can be posted to the [http://www.haskell.org/haskellwiki/Great_language_shootout wiki] for review." hunk ./content.wiki 35 -"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", +"http://thread.gmane.org/gmane.comp.lang.haskell.prime/1882/focus=1882" +"Overloading string literals", hunk ./content.wiki 39 -"http://thread.gmane.org/gmane.comp.lang.haskell.prime/1850/focus=1850" -"Patches!" +"http://thread.gmane.org/gmane.comp.lang.haskell.prime/1889/focus=1889" +"Annotation systems" hunk ./content.wiki 47 -"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", +"http://thread.gmane.org/gmane.comp.lang.haskell.libraries/5640/focus=5640" +"Adding Kleisli composition to Control.Monad", hunk ./content.wiki 51 -"http://thread.gmane.org/gmane.comp.lang.haskell.libraries/5488/focus=5488" -"forkChild, waitForChild, parIO, timeout", +"http://thread.gmane.org/gmane.comp.lang.haskell.libraries/5635/focus=5635" +"Add ranged sets", hunk ./content.wiki 55 -"http://thread.gmane.org/gmane.comp.lang.haskell.libraries/5461/focus=5461" -"isLeft and isRight" +"http://thread.gmane.org/gmane.comp.lang.haskell.libraries/5611/focus=5611" +"Add unsafeCoerce" hunk ./content.wiki 61 -Nothing -[ ], - -Discussion [ +(Just "Asian Symposium on Programming Languages and Systems (APLAS 2006)") +[ hunk ./content.wiki 65 -"The OI comonad" -"Sven Biedermann" -"[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.", +"Type Processing by Constraint Reasoning" +"Peter Stuckey." +"[http://www.cs.mu.oz.au/~pjs/papers/aplas06i.pdf Paper].", hunk ./content.wiki 70 -"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.", +"Principal Type Inference for GHC-Style Multi-Parameter Type Classes" +"Martin Sulzmann, Tom Schrijvers and Peter J Stuckey. " +"[http://www.comp.nus.edu.sg/~sulzmann/publications/ghc-mptc-inf.ps Paper].", hunk ./content.wiki 75 -"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].", +"Automatic Testing of Higher Order Functions" +"Pieter Koopman and Rinus Plasmeijer. " +"[http://www.st.cs.ru.nl/papers/2006/koop2006-TestingOfHigherOrderFunctionsAPLAS.pdf Paper]." hunk ./content.wiki 79 -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!", +], + +Discussion [ hunk ./content.wiki 84 -"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." +"Choosing a Haskell GUI library" +"Bulat Ziganshin" +"[http://thread.gmane.org/gmane.comp.lang.haskell.cafe/16497/focus=16497 asked] for advice on which Haskell gui library to use. Several suggestions were made." hunk ./content.wiki 92 +Item +"Research position in spatial cognition (Haskell-related)" +"Till Mossakowski" +"[http://article.gmane.org/gmane.comp.lang.haskell.general/14469 announced] the availability of a Doctoral Research Assistant / Postdoctoral Researcher position at the Universität Bremen, concerned with classification and formalization of qualitative spatial calculi, relations among these calculi, spatial ontologies, and route graphs. [http://www.sfbtr8.uni-bremen.de/i4.html More information]." + hunk ./content.wiki 102 -"http://blog.moertel.com/articles/2006/10/31/introductory-haskell-solving-the-sorting-it-out-kata" -"Introductory Haskell: Solving the Sorting-It-Out Kata", - -Link -"http://www.defmacro.org/ramblings/lisp-in-haskell.html" -"Writing A Lisp Interpreter In Haskell", - -Link -"http://www.artima.com/cppsource/threads_meeting.html" -"Standardising Concurrency in C++", - -Link -"http://damienkatz.net/2006/10/living_with_a_g_1.html" -"Living with a ghost: concurrency and state", - -Link -"http://kpreid.livejournal.com/7351.html" -"Concatenative programming in Haskell's Arrows", - -Link -"http://gearon.blogspot.com/2006/10/functional-programming-is-functional.html" -"Functional programming is functional", - -Link -"http://koweycode.blogspot.com/2006/11/yaht-on-darcshaskellorg.html" -"LaTeX YAHT on darcs.haskell.org", - -Link -"http://khigia.wordpress.com/2006/11/02/what-is-my-next-programming-language/" -"My next programming language", - -Link -"http://www.xprogramming.com/xpmag/dbcHaskellBowling.htm" -"Haskell Bowling", +"http://therning.org/magnus/archives/219" +"Getting real with Haskell", hunk ./content.wiki 106 -"http://sigfpe.blogspot.com/2006/11/variable-substitution-gives.html" -"Variable substitution gives a ... monad", +"http://jcreigh.blogspot.com/2006/11/simple-rpn-calculator-in-haskell.html" +"A Simple RPN Calculator in Haskell", hunk ./content.wiki 110 -"http://virginia-gis.spaces.live.com/Blog/cns!45E7F65393A53E20!117.entry" -"Modeling the Semantics of Geographic Categories through Conceptual Integration (in Haskell)", +"http://monad.carnalreason.org/wordpress/?p=4" +"One more grunt trying to learn Haskell", hunk ./content.wiki 114 -"http://vastusutra.blogspot.com/2006/10/keeping-it-simple.html" -"Keeping it simple", +"http://lambda-the-ultimate.org/node/1827" +"Testing Telecoms Software with Quviq QuickCheck", hunk ./content.wiki 118 -"http://samplerate.blogspot.com/2006/11/in-beginning.html" -"In the beginning...", +"http://blog.lab49.com/?p=703" +"Quviq QuickCheck: A new automated testing tool", hunk ./content.wiki 122 -"http://chiralos.blogspot.com/2006/11/testing-testing.html" -"Testing ... testing ...", - -Link -"http://doc.gold.ac.uk/~ma503am/alex/haskellmusic" -"Livecoding music with Haskell", - -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" +"http://jpmoresmau.blogspot.com/2006/11/my-first-haskell-adventure-game.html" +"My first Haskell adventure game!" hunk ./content.wiki 130 -"coffeemug" -"There don't seem to be any definitive sources that suggest Haskell isn't good at something.", +"dylan" +"I remember being introduced to lambdas (in perl) from the programming perl, 2nd edition book. I used them heavily ever since... like some kind of cocaine addiction.", hunk ./content.wiki 134 -"stevan" -"Haskell is like all the other functional languages I have read about, but totally different at the same time", - -Quote -"coffeemug" -"you can do more with Haskell in less code that's easier to read and maintain in the long run", - -Quote -"Jeannette Wing" -"Computational thinking will have become ingrained in everyone's lives when ... trees are drawn upside down", - +"jdunck" "What's your safeword?", + hunk ./content.wiki 137 -"monochrom" -"recursive directory search is an alpha-beta with boring values of alpha and beta", +"sketerpot" "With very strict typing, you need an *unsafe*word.", hunk ./content.wiki 140 -"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...", +"Binkley" "Can you represent 'more moronic than Slashdot' with a 32-bit integer?", hunk ./content.wiki 143 -"monochrom" -"They say Mozarts Mass in C minor K427 is uplifting. I'm going to name my next monad transformer or arrow transformer MozartMassInCMinorK427T", +"Robert Dockins" "A Turing-complete type-checker isn't enough! Our work is not complete until the parser is a universal machine as well!", hunk ./content.wiki 146 -"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", +"dons" +"Disable the type checker in GHC for 6 months and we'd have 5 Haskell debuggers by the end of it.", hunk ./content.wiki 150 -"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.", +"lennart" +"System Verilog is one of the worst 'designs' I've ever seen. So I bet it will be popular", hunk ./content.wiki 154 -"emeijer" -"Functional programming has finally arrived to the masses. It's name is not Lisp, ML or Haskell: it's Visual Basic", +"lispy" +"The biggest reason most developers I know don't fix a bug is because they don't know it exists yet", hunk ./content.wiki 158 -"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", - -Quote -"spiffy" -"needs to stop trying to understand monads at night", +"monochrom" +"Time flies like an arrow. Fruit flies like a banana. Syntax rules like a macro", hunk ./content.wiki 162 -"psykotic" -"spiffy: they're just monoids on the category of endofunctors over some category, what's the big deal?", +"robreim" +"[on the new #haskell lojban channel] Great, now we've got to start an IRC channel for lojban-speaking, Haskell-coding anarchists", hunk ./content.wiki 166 -"skew" -"also, if you use ST you know the code is just using mutable variables, rather than formatting your hard drive", +"syntaxfree" +"Yes, Wadlerman: Prince of Funktions" hunk ./content.wiki 169 -Quote -"Baughn" -"I once explained monads to a non-programmer: 'And? What's so hard about that?'", hunk ./content.wiki 170 -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", +], hunk ./content.wiki 172 -Quote -"scodil" -"you say 'sledgehammer' like its a bad thing", +Commits [ hunk ./content.wiki 174 -Quote -"sjanssen" -"I suspect that planet.haskell.org has more content on catamorphisms than cats" +Commit +"2006-11-09 17:01:33 GMT" +"Claus Reinke" +"[http://article.gmane.org/gmane.comp.lang.haskell.cvs.ghc/17645 Syntax patch for lambda-match].", hunk ./content.wiki 179 -], +Commit +"2006-11-06 21:27:30 GMT" +"Lennart Kolmodin" +"[http://article.gmane.org/gmane.comp.lang.haskell.cvs.ghc/17656 New ghc-pkg option 'check']. A patch for ghc-pkg show broken packages (due to missing dependencies) with a new command 'check', and also indicate broken packages when using the command 'list'.", hunk ./content.wiki 184 -Commits [ +Commit +"2006-11-10 13:43:26 GMT" +"Simon Peyton Jones" +"[http://article.gmane.org/gmane.comp.lang.haskell.cvs.ghc/17665 Use implication constraints to improve type inference].", hunk ./content.wiki 190 -"Wed Nov 1 08:43:29 PST 2006" +"2006-11-13 09:36:19 GMT" hunk ./content.wiki 192 -"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." +"[http://article.gmane.org/gmane.comp.lang.haskell.cvs.ghc/17705 Add literal-shift rewrite rules]." hunk ./issue 1 -Issue 49 +Issue 50 hunk ./utils/totext.sh 24 + s/^ *\(Librar\)/\1/; \ hunk ./wiki/News.html 1 -''2006-11-08'' +''2006-11-14'' hunk ./wiki/News.html 3 - hunk ./wiki/Old_news.html 4 + +''2006-11-08'' + + }