<div> Welcome to issue 165 of the HWN, a newsletter covering developments in</div><div> the [1]Haskell community. This release covers the week of January 9 to</div><div> 15, 2011.</div><div><br></div><div>Announcements</div>
<div><br></div><div> Brent Yorgey [2]announced the release of issue 17 of The Monad.Reader,</div><div> containing the following three articles: List Leads Off with the Letter</div><div> Lambda by Douglas M. Auclair, The InterleaveT Abstraction: Alternative</div>
<div> with Flexible Ordering by Neil Brown, and The Reader Monad and</div><div> Abstraction Elimination by Petr Pudlak.</div><div><br></div><div> Andy Stewart [3]sent an invite to anyone interested in joining the</div>
<div> Manatee team. Manatee is a Haskell integrated environment written in</div><div> Haskell. Follow the link to see some videos posted for a better idea of</div><div> what the tool is.</div><div><br></div><div> Niklas Broberg [4]announced the release of version 1.10.1 of</div>
<div> haskell-src-extensions.</div><div><br></div><div> Huibiao Zhu [5]sent a call for papers to the 13th International</div><div> Conference on Formal Engineering Methods to be held in Durham, UK on</div><div> October 25-28 2011.</div>
<div><br></div><div> Read on to see what was hot in the Haskell community around the net...</div><div><br></div><div>Quotes of the Week</div><div><br></div><div> * ion: ddarius: Yeah, abstract concepts absolutely hate being</div>
<div> anthropomorphized.</div><div> * gwern: there are no beginnings or ends to the circular list; but a</div><div> cons cell thunked in Amador...</div><div> * tac-tics: If you wish to create the universe from scratch, you must</div>
<div> first invent the continuation.</div><div> * sproingie: hm. Â i can't remember how to use @remember</div><div> * NOTE: Just say @remember :) I'm grepping the logs to find these</div><div> things</div>
<div> * Kaidelong: <Kaidelong> take 6 "bananas" <lambdabot> "banana"</div><div> <Kaidelong> clearly lambdabot is keeping the bananas to itself and</div><div> lying about it</div>
<div> * hpc: functor and applicative are easy, since you can remember them</div><div> as "those things what look like function application, sort of"</div><div><br></div><div>Top Reddit Stories</div><div>
<br></div><div> * RFC: migrating GHC development to git</div><div> Domain: <a href="http://haskell.org">haskell.org</a>, Score: 51, Comments: 66</div><div> On Reddit: <a href="http://www.reddit.com/r/haskell/comments/ezgvs/rfc_migrating_ghc_development_to_git/">http://www.reddit.com/r/haskell/comments/ezgvs/rfc_migrating_ghc_development_to_git/</a></div>
<div> Original: <a href="http://www.haskell.org/pipermail/glasgow-haskell-users/2011-January/019752.html">http://www.haskell.org/pipermail/glasgow-haskell-users/2011-January/019752.html</a></div><div><br></div><div> * [CCC] On how Haskell’s Arrows are NOT just function compositions with a fancier name</div>
<div> Domain: <a href="http://ro-che.info">ro-che.info</a>, Score: 38, Comments: 4</div><div> On Reddit: <a href="http://www.reddit.com/r/haskell/comments/f3e06/ccc_on_how_haskells_arrows_are_not_just_function/">http://www.reddit.com/r/haskell/comments/f3e06/ccc_on_how_haskells_arrows_are_not_just_function/</a></div>
<div> Original: <a href="http://ro-che.info/ccc/12.html">http://ro-che.info/ccc/12.html</a></div><div><br></div><div> * foldl vs foldl', and why you should always use the latter</div><div> Domain: <a href="http://reddit.com">reddit.com</a>, Score: 35, Comments: 8</div>
<div> On Reddit: <a href="http://www.reddit.com/r/haskell/comments/f25iv/foldl_vs_foldl_and_why_you_should_always_use_the/">http://www.reddit.com/r/haskell/comments/f25iv/foldl_vs_foldl_and_why_you_should_always_use_the/</a></div>
<div> Original: <a href="http://www.reddit.com/r/haskell/comments/f150x/whats_wrong_with_my_haskell_noob_question/c1ck6ey">http://www.reddit.com/r/haskell/comments/f150x/whats_wrong_with_my_haskell_noob_question/c1ck6ey</a></div>
<div><br></div><div> * ~Haskell 2011</div><div> Domain: <a href="http://haskell.org">haskell.org</a>, Score: 32, Comments: 5</div><div> On Reddit: <a href="http://www.reddit.com/r/haskell/comments/ezmzh/haskell_2011/">http://www.reddit.com/r/haskell/comments/ezmzh/haskell_2011/</a></div>
<div> Original: <a href="http://www.haskell.org/pipermail/haskell/2011-January/022497.html">http://www.haskell.org/pipermail/haskell/2011-January/022497.html</a></div><div><br></div><div> * The Monad.Reader: Issue 17</div>
<div> Domain: <a href="http://themonadreader.wordpress.com">themonadreader.wordpress.com</a>, Score: 30, Comments: 10</div><div> On Reddit: <a href="http://www.reddit.com/r/haskell/comments/ezft9/the_monadreader_issue_17/">http://www.reddit.com/r/haskell/comments/ezft9/the_monadreader_issue_17/</a></div>
<div> Original: <a href="http://themonadreader.wordpress.com/2011/01/09/issue-17/">http://themonadreader.wordpress.com/2011/01/09/issue-17/</a></div><div><br></div><div> * Painless NP-complete problems: an embedded DSL for SMT solving</div>
<div> Domain: <a href="http://donsbot.wordpress.com">donsbot.wordpress.com</a>, Score: 27, Comments: 2</div><div> On Reddit: <a href="http://www.reddit.com/r/haskell/comments/f3fp6/painless_npcomplete_problems_an_embedded_dsl_for/">http://www.reddit.com/r/haskell/comments/f3fp6/painless_npcomplete_problems_an_embedded_dsl_for/</a></div>
<div> Original: <a href="http://donsbot.wordpress.com/2011/01/16/painless-np-complete-problems-an-embedded-dsl-for-smt-solving/">http://donsbot.wordpress.com/2011/01/16/painless-np-complete-problems-an-embedded-dsl-for-smt-solving/</a></div>
<div><br></div><div> * Oregon Programming Languages Summer School: Types, Semantics, and Verification</div><div> Domain: <a href="http://lists.seas.upenn.edu">lists.seas.upenn.edu</a>, Score: 22, Comments: 20</div>
<div>
On Reddit: <a href="http://www.reddit.com/r/haskell/comments/f15rm/oregon_programming_languages_summer_school_types/">http://www.reddit.com/r/haskell/comments/f15rm/oregon_programming_languages_summer_school_types/</a></div>
<div> Original: <a href="http://lists.seas.upenn.edu/pipermail/types-announce/2011/002241.html">http://lists.seas.upenn.edu/pipermail/types-announce/2011/002241.html</a></div><div><br></div><div> * Announcing Web Application Interface 0.3.0 (now with more speed)</div>
<div> Domain: <a href="http://docs.yesodweb.com">docs.yesodweb.com</a>, Score: 20, Comments: 2</div><div> On Reddit: <a href="http://www.reddit.com/r/haskell/comments/f0e6f/announcing_web_application_interface_030_now_with/">http://www.reddit.com/r/haskell/comments/f0e6f/announcing_web_application_interface_030_now_with/</a></div>
<div> Original: <a href="http://docs.yesodweb.com/blog/announcing-wai-0-3/">http://docs.yesodweb.com/blog/announcing-wai-0-3/</a></div><div><br></div><div> * A bran new functional programming (Haskell inter alia) jobs site (corrected link)</div>
<div> Domain: <a href="http://functionaljobs.com">functionaljobs.com</a>, Score: 19, Comments: 11</div><div> On Reddit: <a href="http://www.reddit.com/r/haskell/comments/ezqst/a_bran_new_functional_programming_haskell_inter/">http://www.reddit.com/r/haskell/comments/ezqst/a_bran_new_functional_programming_haskell_inter/</a></div>
<div> Original: <a href="http://functionaljobs.com/">http://functionaljobs.com/</a></div><div><br></div><div> * [PDF] Orthogonal Serialization For Haskell</div><div> Domain: <a href="http://mathematik.uni-marburg.de">mathematik.uni-marburg.de</a>, Score: 17, Comments: 3</div>
<div> On Reddit: <a href="http://www.reddit.com/r/haskell/comments/f1o8t/pdf_orthogonal_serialization_for_haskell/">http://www.reddit.com/r/haskell/comments/f1o8t/pdf_orthogonal_serialization_for_haskell/</a></div><div>
Original: <a href="http://www.mathematik.uni-marburg.de/~berthold/papers/mainIFL10-withCopyright.pdf">http://www.mathematik.uni-marburg.de/~berthold/papers/mainIFL10-withCopyright.pdf</a></div><div><br></div><div>Top StackOverflow Questions</div>
<div><br></div><div> * Monads as adjunctions</div><div> votes: 15, answers: 3</div><div> Read on SO: <a href="http://stackoverflow.com/questions/4697320/monads-as-adjunctions">http://stackoverflow.com/questions/4697320/monads-as-adjunctions</a></div>
<div><br></div><div> * What is a VM and why do dynamic languages need one?</div><div> votes: 11, answers: 8</div><div> Read on SO: <a href="http://stackoverflow.com/questions/4640809/what-is-a-vm-and-why-do-dynamic-languages-need-one">http://stackoverflow.com/questions/4640809/what-is-a-vm-and-why-do-dynamic-languages-need-one</a></div>
<div><br></div><div> * Is Haskell a Lisp?</div><div> votes: 9, answers: 5</div><div> Read on SO: <a href="http://stackoverflow.com/questions/4696618/is-haskell-a-lisp">http://stackoverflow.com/questions/4696618/is-haskell-a-lisp</a></div>
<div><br></div><div> * Are there any connections between Haskell and LINQ?</div><div> votes: 8, answers: 4</div><div> Read on SO: <a href="http://stackoverflow.com/questions/4683506/are-there-any-connections-between-haskell-and-linq">http://stackoverflow.com/questions/4683506/are-there-any-connections-between-haskell-and-linq</a></div>
<div><br></div><div> * Haskell newbie on types</div><div> votes: 7, answers: 4</div><div> Read on SO: <a href="http://stackoverflow.com/questions/4664429/haskell-newbie-on-types">http://stackoverflow.com/questions/4664429/haskell-newbie-on-types</a></div>
<div><br></div><div> * I can't seem to figure out type variables mixed with classes.</div><div> votes: 5, answers: 2</div><div> Read on SO: <a href="http://stackoverflow.com/questions/4653102/i-cant-seem-to-figure-out-type-variables-mixed-with-classes">http://stackoverflow.com/questions/4653102/i-cant-seem-to-figure-out-type-variables-mixed-with-classes</a></div>
<div><br></div><div> * Emacs align-regexp on = but not ==</div><div> votes: 5, answers: 1</div><div> Read on SO: <a href="http://stackoverflow.com/questions/4653575/emacs-align-regexp-on-but-not">http://stackoverflow.com/questions/4653575/emacs-align-regexp-on-but-not</a></div>
<div><br></div><div> * Current status of automatic parallelism in Haskell [closed]</div><div> votes: 5, answers: 3</div><div> Read on SO: <a href="http://stackoverflow.com/questions/4701207/current-status-of-automatic-parallelism-in-haskell-closed">http://stackoverflow.com/questions/4701207/current-status-of-automatic-parallelism-in-haskell-closed</a></div>
<div><br></div><div>About the Haskell Weekly News</div><div><br></div><div> You can find an html version of this newsletter at:</div><div> <a href="http://contemplatecode.blogspot.com/2011/01/haskell-weekly-news-issue-165.html">http://contemplatecode.blogspot.com/2011/01/haskell-weekly-news-issue-165.html</a></div>
<div><br></div><div> To help create new editions of this newsletter, please send stories to</div><div> <a href="mailto:dstcruz@gmail.com">dstcruz@gmail.com</a>. I'm in dire need of finding good "quotes of the</div>
<div> week". If you happen to come across any, please don't hesitate to send</div><div> it along.</div><div><br></div><div> Until next time,</div><div> Daniel Santa Cruz</div><div><br></div><div>References</div>
<div><br></div><div> 1. <a href="http://haskell.org/">http://haskell.org/</a></div><div> 2. <a href="http://permalink.gmane.org/gmane.comp.lang.haskell.general/18419">http://permalink.gmane.org/gmane.comp.lang.haskell.general/18419</a></div>
<div> 3. <a href="http://permalink.gmane.org/gmane.comp.lang.haskell.cafe/85224">http://permalink.gmane.org/gmane.comp.lang.haskell.cafe/85224</a></div><div> 4. <a href="http://permalink.gmane.org/gmane.comp.lang.haskell.general/18427">http://permalink.gmane.org/gmane.comp.lang.haskell.general/18427</a></div>
<div> 5. <a href="http://permalink.gmane.org/gmane.comp.lang.haskell.general/18428">http://permalink.gmane.org/gmane.comp.lang.haskell.general/18428</a></div>