October 2012 - Haskell

[Haskell-cafe] Monad.Reader #21 call for copy
by Edward Z. Yang 20 Oct '12

20 Oct '12

Call for Copy: The Monad.Reader - Issue 21 -------------------------------------------- Whether you're an established academic or have only just started learning Haskell, if you have something to say, please consider writing an article for The Monad.Reader! The submission deadline for Issue 21 will be: **Tuesday, January 1** The Monad.Reader ~~~~~~~~~~~~~~~~ The Monad.Reader is a electronic magazine about all things Haskell. It is less formal than journal, but somehow more enduring than a wiki- page. There have been a wide variety of articles: exciting code fragments, intriguing puzzles, book reviews, tutorials, and even half-baked research ideas. Submission Details ~~~~~~~~~~~~~~~~~~ Get in touch with me if you intend to submit something -- the sooner you let me know what you're up to, the better. Please submit articles for the next issue to me by e-mail (ezyang(a)mit.edu) Articles should be written according to the guidelines available from http://themonadreader.wordpress.com/contributing/ Please submit your article in PDF, together with any source files you used. The sources will be released together with the magazine under a BSD license. If you would like to submit an article, but have trouble with LaTeX please let me know and we'll work something out.

1 0

Call for Papers: Only Two Months Left - STVR Special Issue on Tests and Proofs
by Achim D. Brucker 17 Oct '12

17 Oct '12

Apologies for duplicates. ************************************************* **** Two months until the deadline for *** **** submitting a paper to the *** **** STVR special issue on Tests and Proofs *** ************************************************* CALL FOR PAPERS STVR Special Issue on Tests and Proofs http://lifc.univ-fcomte.fr/tap2012/stvr/ The Software Testing, Verification & Reliability (STVR) journal (http://www3.interscience.wiley.com/journal/13635/home) invites authors to submit papers to a Special Issue on Tests and Proofs. Background ========== The increasing use of software and the growing system complexity make focused software testing a challenging task. Recent years have seen an increasing industrial and academic interest in the use of static and dynamic analysis techniques together. Success has been reported combining different test techniques such as model-based testing, structural testing, or concolic testing with static techniques such as program slicing, dependencies analysis, model-checking, abstract interpretation, predicate abstraction, or verification. This special issue serves as a platform for researchers and practitioners to present theory, results, experience and advances in Tests and Proofs (TAP). Topics ====== This special issue focuses on all topics relevant to TAP. In particular, the topics of interest include, but are not limited to: * Program proving with the aid of testing techniques * New challenges in automated reasoning emerging from specificities of test generation * Verification and testing techniques combining proofs and tests * Generation of test data, oracles, or preambles by deductive techniques such as: theorem proving, model checking, symbolic execution, constraint logic programming, SAT and SMT solving * Model-based testing and verification * Automatic bug finding * Debugging of programs combining static and dynamic analysis * Transfer of concepts from testing to proving (e.g., coverage criteria) and from proving to testing * Formal frameworks for test and proof * Tool descriptions, experience reports and evaluation of test and proof * Case studies combining tests and proofs * Applying combination of test and proof techniques to new application domains such as validating security procotols or vulnerability detection of programs * The processes, techniques, and tools that support test and proof Submission Information ====================== The deadline for submissions is 17th December, 2012. Notification of decisions will be given by April 15th, 2013. All submissions must contain original unpublished work not being considered for publication elsewhere. Original extensions to conference papers - identifing clearly additional contributions - are also encouraged unless prohibited by copyright. Submissions will be refereed according to standard procedures for Software Testing, Verification and Reliability. Please submit your paper electronically using the Software Testing, Verification & Reliability manuscript submission site. Select "Special Issue Paper" and enter "Tests and Proofs" as title. Important Dates: ================ * Paper submission: December 17, 2012 * Notification: April 15, 2013 Guest Editors ============= * Achim D. Brucker, SAP AG, SAP Research, Germany http://www.brucker.ch/ * Wolfgang Grieskamp, Google, U.S.A. http://www.linkedin.com/in/wgrieskamp * Jacques Julliand, University of Franche-Comté, France http://lifc.univ-fcomte.fr/page_personnelle/accueil/8 -- Dr. Achim D. Brucker, SAP AG, SAP Research Vincenz-Priessnitz-Str. 1, D-76131 Karlsruhe, Phone: +49 6227 7-52595 http://www.brucker.ch

1 0

SCP Special Issue on Invariant Generation - Call for Papers
by Gudmund Grov 16 Oct '12

16 Oct '12

(Apologies if you receive multiple copies of this announcement) ------------------------------------------------------------ Science of Computer Programming Special Issue on Invariant Generation -- CALL FOR PAPERS -- ------------------------------------------------------------ This special issue is devoted to the 4th international Workshop on Invariant Generation (WING 2012) http://cs.nyu.edu/acsys/wing2012/ which was held on June 30 2012 in Manchester as a satellite event of IJCAR 2012. The scope of the workshop is the automation of extracting and synthesising auxiliary properties of programs, in particular providing, debugging, and verifying auxiliary invariant annotations. This should be seen in a broad sense and relevant topics include (but are not limited to) the following: * Program analysis and verification * Inductive assertion generation * Inductive proofs for reasoning about loops * Applications to assertion generation using: - abstract interpretation, - static analysis, - model checking, - theorem proving, - theory formation, - algebraic techniques * Tools for inductive assertion generation and verification * Alternative techniques for reasoning about loops Submission to this special issue is completely open. We expect original articles (typically not more than 30 pages) that present high-quality contributions and must not be simultaneously submitted for publication elsewhere. Submission of extended versions of previously published papers is possible as long as the extension is significant, i.e., the submission can be considered a new paper, the previous paper is referenced, and the new material is clearly marked. Submissions must comply with SCP's author guidelines http://www.elsevier.com/wps/find/journaldescription.cws_home/505623/authori… and be written in English. Submission is over the SCP website: http://ees.elsevier.com/scico/default.asp which you will have to register for if you do not have an account. When submitting your paper please choose the article type "Special issue: WING 2012". IMPORTANT DATES --------------- * Submission of papers: February 11, 2013. * Notification: April 26, 2013. GUEST EDITORS -------------- * Gudmund Grov (Heriot-Watt University, UK) * Thomas Wies (New York University, USA) CONTACT -------------- Please send any queries you may have to: wing2012(a)easychair.org ----- Sunday Times Scottish University of the Year 2011-2013 Top in the UK for student experience Fourth university in the UK and top in Scotland (National Student Survey 2012) We invite research leaders and ambitious early career researchers to join us in leading and driving research in key inter-disciplinary themes. Please see www.hw.ac.uk/researchleaders for further information and how to apply. Heriot-Watt University is a Scottish charity registered under charity number SC000278.

1 0

ANNOUNCE: bv-0.1.0
by Iago Abal 14 Oct '12

14 Oct '12

I'm happy to announce the very first release of the bv package. http://hackage.haskell.org/package/bv This library represents bit-vectors as a wrapper over Integer, in contrast with other libraries I've seen that prefer their representation as vectors of booleans. Particularly, the Integer-based representation is more suitable for implementing bit-vector arithmetic. I started coding this library as part of a bigger project related with SMT solving, so the functionality provided by this library is highly inspired by the theory of fixed-size bit-vectors supported by SMT solvers. I hope it will be useful for others too. Feedback is very welcomed. Iago Abal Rivas

1 0

Watch all videos + code & slides from the Haskell eXchange at Skills Matter // Simon Peyton Jones, Simon Marlow, Duncan Coutts, Lennart Augustsson, many more!
by Anaïs Conijn 14 Oct '12

14 Oct '12

Hi All, If you couldn't join us for the Haskell eXchange at Skills Matter last week, you can still enjoy the talks. Have a look below and keep an eye on Simon PJ's jumper ;) Simon Peyton Jones - Front End Language Features<http://skillsmatter.com/podcast/home/front-end-language-features/ac-5259> Simon Marlow - High Performance Concurrency<http://skillsmatter.com/podcast/home/high-performance-concurrency/ac-5259> Lennart Augustsson - Making EDSLs fly<http://skillsmatter.com/podcast/home/making-edsls-fly/ac-5259> Blake Rain - Scalable Web Applications with Yesod<http://skillsmatter.com/podcast/home/scalable-web-applications-with-yesod/a…> Duncan Coutts - Cloud Haskell<http://skillsmatter.com/podcast/home/cloud-haskell/ac-5259> Rob Harrop - Integrating Haskell Using AMQP<http://skillsmatter.com/podcast/home/integrating-haskell-using-amqp> Best, Anais -- *Anaïs Conijn* Product & Marketing manager M: +44 (0) 755 776 77 41 Skype: anaisc Twitter: @anaisatsm <http://twitter.com/anaisatsm> * Skills Matter* T: +44 (0) 20 7 183 90 40 116-120 Goswell Road EC1V 7DP London http://skillsmatter.com

1 0

Haskell Weekly News: Issue 247
by Daniel Santa Cruz 11 Oct '12

11 Oct '12

Welcome to issue 247 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of September 30 to October 6, 2012. Quotes of the Week * monochrom: 98% of people lack the property that they're members of the other 2% * ManuelChakravarty: We used to say, "Learn Haskell, it makes you a better Java programmer." Now we say, "Learn Agda, it makes you a better Haskell programmer." * Cale: data Nature a = Rock a | Stream (Nature a) | Bush (Nature a) (Nature a) * rwbarton: type inference is supposed to be the compiler's job, not the reader's job * ShelSilverstein: Lazy Lazy Lazy Lazy Lazy Lazy Jane. She wants a drink of water so she waits and waits and waits and waits and waits for it to rain. * Cale: We're up to 950 users which apparently means that any beginner question is now answered by 4 people. * YayMe: When I first started playing with haskell I could barely sleep for 2 days because of how confused it made me * EvanLaforge: Then we can tell them about how we had to walk in the snow both ways uphill fighting space leaks with bare hands while they just have to read about it. * nand: every time I try arguing semantics, I come to the conclusion that every word is the exact same thing and refers to anything * bfig: i have been reborn as a haskell programer after finding Debug.Trace Top Reddit Stories * Factorization diagrams Domain: mathlesstraveled.com, Score: 82, Comments: 11 On Reddit: [1] http://goo.gl/Jrk0M Original: [2] http://goo.gl/kXkiV * The New Cloud Haskell Domain: well-typed.com, Score: 73, Comments: 21 On Reddit: [3] http://goo.gl/hcRJJ Original: [4] http://goo.gl/0oWfj * GHC HEAD now features Agda-like Holes Domain: hpaste.org, Score: 66, Comments: 43 On Reddit: [5] http://goo.gl/J8bIu Original: [6] http://goo.gl/297jv * FizzBuzz Revisited using Monoids Domain: dave.fayr.am, Score: 55, Comments: 68 On Reddit: [7] http://goo.gl/nqIsE Original: [8] http://goo.gl/995Zq * Which advanced Haskell topics interest you? (Survey) Domain: docs.google.com, Score: 39, Comments: 12 On Reddit: [9] http://goo.gl/Djy63 Original: [10] http://goo.gl/K5pRm * A fast new SipHash implementation Domain: serpentine.com, Score: 34, Comments: 8 On Reddit: [11] http://goo.gl/ZGSxD Original: [12] http://goo.gl/GiD3F * Communication Patterns in Cloud Haskell (Part 1): master-slave, work-stealing and work-pushing Domain: well-typed.com, Score: 33, Comments: 10 On Reddit: [13] http://goo.gl/IRr8s Original: [14] http://goo.gl/6vUyY * Category and lenses Domain: web.jaguarpaw.co.uk, Score: 28, Comments: 2 On Reddit: [15] http://goo.gl/r6Ajl Original: [16] http://goo.gl/VwtQP * Yesod Tutorial 1 at FP Complete Domain: fpcomplete.com, Score: 28, Comments: 15 On Reddit: [17] http://goo.gl/wnUkh Original: [18] http://goo.gl/kvCMu * The usual type signatures for foldl and foldr are confusing Domain: self.haskell, Score: 27, Comments: 63 On Reddit: [19] http://goo.gl/XGHq8 Original: [20] http://goo.gl/XGHq8 * Haskell Symposium 2012 (with youtube links) Domain: haskell.org, Score: 27, Comments: 1 On Reddit: [21] http://goo.gl/7Dz89 Original: [22] http://goo.gl/I1XXa * Solving a Partial Differential Equation Comonadically Domain: idontgetoutmuch.wordpress.com, Score: 27, Comments: 2 On Reddit: [23] http://goo.gl/Qxwjq Original: [24] http://goo.gl/lBm12 * Need a math related Haskell project suggestion Domain: self.haskell, Score: 22, Comments: 20 On Reddit: [25] http://goo.gl/o3lYl Original: [26] http://goo.gl/o3lYl * Algebraically Interpreting Polymorphism Domain: stackoverflow.com, Score: 21, Comments: 12 On Reddit: [27] http://goo.gl/3SCA9 Original: [28] http://goo.gl/wC6rm Top StackOverflow Questions * Why is seq bad? votes: 18, answers: 1 Read on SO: [29] http://goo.gl/IwVYS * Can I speed up this Haskell algorithm? votes: 18, answers: 3 Read on SO: [30] http://goo.gl/PSVUB * Is there a library that uses ConstraintKinds to generalize all the base type classes to allow constraints? votes: 15, answers: 1 Read on SO: [31] http://goo.gl/MfTMC * What are skolems? votes: 15, answers: 2 Read on SO: [32] http://goo.gl/qEnEI * What does it usually mean when a Haskell record accessor leads with an underscore? votes: 14, answers: 3 Read on SO: [33] http://goo.gl/3YD1n * How does this piece of obfuscated Haskell code work? votes: 12, answers: 1 Read on SO: [34] http://goo.gl/rLtFG * How to implement a game loop in reactive-banana? votes: 12, answers: 1 Read on SO: [35] http://goo.gl/nx3zR * How do Haskell currying and pattern matching work together? votes: 9, answers: 1 Read on SO: [36] http://goo.gl/jBCz0 * How does the constraints package work? votes: 9, answers: 1 Read on SO: [37] http://goo.gl/mb2na * In haskell, What does :+: mean in data type definition? votes: 9, answers: 1 Read on SO: [38] http://goo.gl/kv0Yn * Monad m => a -> [a -> m a] -> m a votes: 9, answers: 1 Read on SO: [39] http://goo.gl/ns8FG * How to decorate a Tree in Haskell votes: 7, answers: 2 Read on SO: [40] http://goo.gl/kBn66 Until next time, Daniel Santa Cruz References 1. http://mathlesstraveled.com/2012/10/05/factorization-diagrams/ 2. http://www.reddit.com/r/haskell/comments/1117h2/factorization_diagrams/ 3. http://www.well-typed.com/blog/70 4. http://www.reddit.com/r/haskell/comments/10y089/the_new_cloud_haskell/ 5. http://hpaste.org/75668 6. http://www.reddit.com/r/haskell/comments/10u7xr/ghc_head_now_features_agdal… 7. http://dave.fayr.am/posts/2012-10-4-finding-fizzbuzz.html 8. http://www.reddit.com/r/haskell/comments/10zlyy/fizzbuzz_revisited_using_mo… 9. https://docs.google.com/spreadsheet/viewform?formkey=dE1QZFNRLTFMdkllYWIyR2… 10. http://www.reddit.com/r/haskell/comments/10r2yk/which_advanced_haskell_topi… 11. http://www.serpentine.com/blog/2012/10/02/a-fast-new-siphash-implementation… 12. http://www.reddit.com/r/haskell/comments/10u381/a_fast_new_siphash_implemen… 13. http://www.well-typed.com/blog/71 14. http://www.reddit.com/r/haskell/comments/10zo6t/communication_patterns_in_c… 15. http://web.jaguarpaw.co.uk/~tom/blog/2012/09/30/category-and-lenses.html 16. http://www.reddit.com/r/haskell/comments/10ph2c/category_and_lenses/ 17. http://fpcomplete.com/yesod-tutorial-1-my-first-web-site/ 18. http://www.reddit.com/r/haskell/comments/10seol/yesod_tutorial_1_at_fp_comp… 19. http://www.reddit.com/r/haskell/comments/10q2ls/the_usual_type_signatures_f… 20. http://www.reddit.com/r/haskell/comments/10q2ls/the_usual_type_signatures_f… 21. http://www.haskell.org/haskell-symposium/2012/index.html 22. http://www.reddit.com/r/haskell/comments/10xafx/haskell_symposium_2012_with… 23. http://idontgetoutmuch.wordpress.com/2012/04/01/solving-a-partial-different… 24. http://www.reddit.com/r/haskell/comments/10zy51/solving_a_partial_different… 25. http://www.reddit.com/r/haskell/comments/10zf9c/need_a_math_related_haskell… 26. http://www.reddit.com/r/haskell/comments/10zf9c/need_a_math_related_haskell… 27. http://stackoverflow.com/questions/10453558/algebraically-interpreting-poly… 28. http://www.reddit.com/r/haskell/comments/10rt4y/algebraically_interpreting_… 29. http://stackoverflow.com/questions/12687392/why-is-seq-bad 30. http://stackoverflow.com/questions/12730503/can-i-speed-up-this-haskell-alg… 31. http://stackoverflow.com/questions/12697348/is-there-a-library-that-uses-co… 32. http://stackoverflow.com/questions/12719435/what-are-skolems 33. http://stackoverflow.com/questions/12746229/what-does-it-usually-mean-when-… 34. http://stackoverflow.com/questions/12659951/how-does-this-piece-of-obfuscat… 35. http://stackoverflow.com/questions/12685430/how-to-implement-a-game-loop-in… 36. http://stackoverflow.com/questions/12658936/how-do-haskell-currying-and-pat… 37. http://stackoverflow.com/questions/12728159/how-does-the-constraints-packag… 38. http://stackoverflow.com/questions/12733171/in-haskell-what-does-mean-in-da… 39. http://stackoverflow.com/questions/12755655/monad-m-a-a-m-a-m-a 40. http://stackoverflow.com/questions/12658443/how-to-decorate-a-tree-in-haske…

1 0

ANN: New York Haskell Users Group -- First Meeting on Wed., Nov 14.
by Gershom B 09 Oct '12

09 Oct '12

The (arguably) greatest city in the U.S. now (finally) has a users group for (unarguably) the greatest programming language anywhere. We're very happy to announce the inaugural meeting of the New York Haskell Users Group. We intend this group to be welcoming to new developers, but with enough substance to keep old Haskell hands interested and amused. If you're in the area but can't make it, you can join the meetup regardless at http://www.meetup.com/NY-Haskell/ to stay informed of future events. We plan to have a mix of talks and experience reports at all levels, so if you will be passing through town and might have something to say, let us know! Two Haskell Talks: Practical Data Processing With Haskell _and_ Putting Cloud Haskell to Work Wednesday, November 14, 2012 7:00 PM To 9:00 PM Pivotal Labs, 841 Broadway New York, NY RSVP: http://www.meetup.com/NY-Haskell/ We're kicking off the New York Haskell Users Group with two great talks, one for people just getting started and one for those with some experience already. Both should be accessible and enjoyable no matter how much (or little) you already know. Food and refreshments will be provided, courtesy of the generosity of Pivotal Labs, and after the talks, we're planning to keep the discussion going over food and drink at a nearby establishment. 7pm - Practical Data Processing With Haskell: Ozgun Ataman will give an introductory talk on Haskell, diving right in with how you can start using Haskell for practical data manipulation tasks today. You'll be introduced to a typical setup for Haskell development and given a demonstration of how a common data format (CSV, JSON, etc.) can be parsed, processed and finally output using Haskell. The talk will include a small actual Haskell program to be modified live and some commentary around using Haskell in practical applications. 8pm - Putting Cloud Haskell to Work for Distributed Computing: Gershom Bazerman will give an overview of the new distributed-process library that implements Cloud Haskell, providing computation across heterogeneous nodes through a message passing interface. He will discuss what this new tool provides out of the box, and what you'll have to bring to the table. The talk will include some code samples using the new library, as well as some experience about what it's like to use Haskell for distributed computing in the real world. Speaker Biographies: Ozgun Ataman is the founder of Soostone, a managment consulting and analytics company built on Haskell. He is the author of many open-source Haskell libraries, and is a contributor to the Snap web framework. Gershom Bazerman is a developer at S&P Capital IQ. He is most well known in the Haskell community as the author of the JMacro library for programmatic generation of JavaScript, and for one well-received April fools joke.

1 0

Deadline Extension for DDFP 2013 (co-located with POPL 2013)
by George Giorgidze 09 Oct '12

09 Oct '12

------------------------------------------------ Data-Driven Functional Programming Workshop 2013 ------------------------------------------------ Co-Located with POPL 2013 January 22, 2013 | Rome, Italy http://research.microsoft.com/DDFP2013 NEW: Submission Date: October 15, 2012 We are very pleased to announce DDFP 2013, an exciting new workshop at POPL. This workshop is for anyone who loves the application of functional programming (and indeed other programming paradigms as well) to data-rich domains. Please consider submitting to the workshop. Whatever your flavor of data, whatever your flavor of functional programming. We want this to be a great event that opens up opportunities at the intersection of data and programming. Functional programming techniques are becoming increasingly important in data-centric programming: languages like Haskell, Scala, and C# draw heavily on a range of functional techniques and find application in numerous data-driven domains; functional paradigms like map/reduce and its extensions lie at the core of modern scalable data processing; and “information-rich” languages like Ur, F#, and Gosu use meta-programming to integrate type-safe queries, web-based APIs, and scalable data sources—along with associated semantically-rich metadata—into the programming language. In principle, the expressiveness, strong typing, and core functional paradigm of these languages make them an ideal choice for expressing robust and scalable data-centric programming. However, many challenges remain. -------------- Workshop Goals -------------- The first Data Driven Functional Programming Workshop will examine data-centric programming in the light of today’s data challenges, with a particular focus on the application of functional programming and meta-programming techniques. In this forum, we will discuss, promote, and advance the use of functional programming in information-rich data spaces—including the development of new programming and data-manipulation systems and the extension of existing ones By devising methods for handling data from the programming level, we can promote the research and development of better functional programming technologies as a whole, as well as facilitate the shift towards both principled and effective data-centric computing. ----------------- Paper Submissions ----------------- We invite submissions in any area related to the connection between programming and data, including, but not limited to: * Formal systems that capture the essential theoretical elements of data-centric programming * Experimental systems that demonstrate novel data-centric programming techniques * Technology that demonstrates correctness, scalability, productivity, robustness, or maintainability of data-centric programs * Schema evolution, schema-type mapping, query languages, probabilistic programming, network-connected programming, or semi-structured data * Programming-related aspects of knowledge representation techniques including the database theory, ontology techniques, and linked data. --------------- Important Dates --------------- * New! Paper submissions due: Oct. 15, 2012 * Author notification: Oct. 30, 2012 * Camera ready: Nov. 10, 2012 * Workshop: Jan. 22, 2013 ------------- General Chair ------------- Evelyne Viegas, Microsoft Research, Redmond -------------- Program Chairs -------------- * Karin Breitman, EMC Labs, Brazil * Judith Bishop, Microsoft Research, United States ----------------- Program Committee ----------------- * Soren Auer, University of Leipzig, Germany * Guy Blelloch, Carnegie Mellon University, United States * Adam Chlipala, Massachusetts Institute of Technology, United States * Sophia Drossopolou, Imperial College, United Kingdom * Tim Finin, University of Maryland, United States * Kathleen Fisher, Tufts University, United States * Nate Foster, Cornell University, United States * George Giorgidze, University of Tübingen, Germany * Jim Hendler, Rensselaer Polytechnic Institute, United States * Steffen Staab, University of Koblenz, Germany * Don Syme, Microsoft Research Cambridge, United Kingdom * Jan Vitek, Purdue University, United States

1 0

Invitation to HASE 2012
by Sanjukta Bhowmick 04 Oct '12

04 Oct '12

Dear Colleague The 14th IEEE International Symposium on High Assurance Systems Engineering (HASE 2012), will be held at Omaha NE. October 25-27. HASE 2012 is a forum on tools and techniques used to design and construct systems that, in addition to meeting their functional objectives, are safe, secure, and reliable. This years' keynote speakers include Kerry Kelly from the United States Strategic Command, Brad Masterson from First Data and Jeff Young from Union Pacific. We invite you to join us for an exciting conference on security and high assurance software. Details of the conference program as well as information about registration and accommodation are available at http://hase2012.ist.unomaha.edu/. Sincerely, HASE 2012 Organizing Committee.

1 0

Haskell Weekly News: Issue 246
by Daniel Santa Cruz 04 Oct '12

04 Oct '12

Welcome to issue 246 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of September 23 to September 23, 2012. Want to contribute quotes for HWN? Until today the only way to help with those was to use @remember in the IRC channel. Now you can also use @HWNQuotes in twitter to submit quotes for the weekly newsletter. Quotes of the Week * carpi: all said ... the brain of someone of who writes compilers for haskell scares me nuts. I wouldn't want them concentrating on me, lest I catch fire. * Igloo: The major problem, as far as I can see, is how to construct the mumble'. * edwardk: i want to be able to know if the compiler is being stupid or if its just me, and without any sort of model to reason about it with, i always have to assume it could be the compiler; i already have to deal with that problem, its called 'scala' * ddarius: Now I can just point people at a readable and relevant paper instead of having to Cale it. * rwbarton: also, a generally safe answer to "was there an update to lambdabot recently" is "no" * camccann: you want a debugger? GHC has one. Except that stepping through lazy evaluation is like listening to a stream of consciousness narrative told by a 5-year-old with ADHD. Top Reddit Stories * My Haskell book is not dead! I'd love some feedback now that it's six chapters long and growing. Domain: sthaskell.com, Score: 61, Comments: 18 On Reddit: [1] http://goo.gl/AfLwS Original: [2] http://goo.gl/oB0e8 * What commercial users say they want from Haskell Domain: fpcomplete.com, Score: 46, Comments: 54 On Reddit: [3] http://goo.gl/JTtMG Original: [4] http://goo.gl/ZoHrh * Haskell rewarding moments: Orc Battle translation Domain: self.haskell, Score: 41, Comments: 22 On Reddit: [5] http://goo.gl/5xjJJ Original: [6] http://goo.gl/5xjJJ * Does Stroustroup have some FP envy? This is a pretty neat library implementation of pattern matching in C++. Domain: open-std.org, Score: 40, Comments: 44 On Reddit: [7] http://goo.gl/PH7ZU Original: [8] http://goo.gl/KuGrw * Functional TDD: a clash of cultures? Domain: facebook.com, Score: 34, Comments: 34 On Reddit: [9] http://goo.gl/9xBLo Original: [10] http://goo.gl/kOi2G * Dovetailing Domain: self.haskell, Score: 33, Comments: 21 On Reddit: [11] http://goo.gl/GdlMi Original: [12] http://goo.gl/GdlMi * Oh the fun of trying to install wxhaskell Domain: self.haskell, Score: 33, Comments: 33 On Reddit: [13] http://goo.gl/4F3Fu Original: [14] http://goo.gl/4F3Fu * Lazy v. Yield: Incremental, Linear Pretty-printing (Kiselyov, Peyton-Jones, Sabry) [pdf] Domain: cs.indiana.edu, Score: 31, Comments: 54 On Reddit: [15] http://goo.gl/PfVHl Original: [16] http://goo.gl/ub46l * Call for discussion: OverloadedLists extension Domain: gist.github.com, Score: 24, Comments: 52 On Reddit: [17] http://goo.gl/0O1G8 Original: [18] http://goo.gl/xYyTq * Real World Haskell: is there a second edition coming? Domain: self.haskell, Score: 24, Comments: 9 On Reddit: [19] http://goo.gl/rjjQb Original: [20] http://goo.gl/rjjQb * Introduction to Functional Reactive Programming [video] Domain: blog.edwardamsden.com, Score: 23, Comments: 3 On Reddit: [21] http://goo.gl/vSVKP Original: [22] http://goo.gl/IH3MF Top StackOverflow Questions * What optimizations can GHC be expected to perform reliably? votes: 27, answers: 2 Read on SO: [23] http://goo.gl/E6bH4 * A simple example showing that IO doesn't satisfy the monad laws? votes: 22, answers: 4 Read on SO: [24] http://goo.gl/YptHT * Are there any good use cases for OverlappingInstances? votes: 12, answers: 3 Read on SO: [25] http://goo.gl/FLChO * Why is ListT monad transformer considered buggy - what monad laws it breaks? votes: 11, answers: 1 Read on SO: [26] http://goo.gl/HX7Oa * How to build and use a bootstrap executable in a Cabal package votes: 10, answers: 1 Read on SO: [27] http://goo.gl/tvA03 * Continuation passing style representation of types votes: 10, answers: 1 Read on SO: [28] http://goo.gl/6R60n * GHC code generation for type class function calls votes: 10, answers: 3 Read on SO: [29] http://goo.gl/3ggvE * Why inductive datatypes forbid types like `data Bad a = C (Bad a -> a)` where the type recursion occurs in front of ->? votes: 10, answers: 2 Read on SO: [30] http://goo.gl/jtG6d * Are functions of arity-n really just an n-category due to currying? Can they be made into a 1-category? votes: 9, answers: 2 Read on SO: [31] http://goo.gl/JfJLF * Setting socket options on OSX votes: 9, answers: 0 Read on SO: [32] http://goo.gl/aybHY Until next time, Daniel Santa Cruz References 1. http://www.sthaskell.com/ 2. http://www.reddit.com/r/haskell/comments/10fx9w/my_haskell_book_is_not_dead… 3. http://fpcomplete.com/commercialuserneeds/ 4. http://www.reddit.com/r/haskell/comments/10me87/what_commercial_users_say_t… 5. http://www.reddit.com/r/haskell/comments/10c7n5/haskell_rewarding_moments_o… 6. http://www.reddit.com/r/haskell/comments/10c7n5/haskell_rewarding_moments_o… 7. http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2012/n3449.pdf 8. http://www.reddit.com/r/haskell/comments/10i859/does_stroustroup_have_some_… 9. https://www.facebook.com/notes/kent-beck/functional-tdd-a-clash-of-cultures… 10. http://www.reddit.com/r/haskell/comments/10jk06/functional_tdd_a_clash_of_c… 11. http://www.reddit.com/r/haskell/comments/10d7gx/dovetailing/ 12. http://www.reddit.com/r/haskell/comments/10d7gx/dovetailing/ 13. http://www.reddit.com/r/haskell/comments/10lyaw/oh_the_fun_of_trying_to_ins… 14. http://www.reddit.com/r/haskell/comments/10lyaw/oh_the_fun_of_trying_to_ins… 15. http://www.cs.indiana.edu/~sabry/papers/yield-pp.pdf 16. http://www.reddit.com/r/haskell/comments/10nsmw/lazy_v_yield_incremental_li… 17. https://gist.github.com/3761252 18. http://www.reddit.com/r/haskell/comments/10c8ld/call_for_discussion_overloa… 19. http://www.reddit.com/r/haskell/comments/10gcpp/real_world_haskell_is_there… 20. http://www.reddit.com/r/haskell/comments/10gcpp/real_world_haskell_is_there… 21. http://blog.edwardamsden.com/2012/09/video-introduction-to-functional.html 22. http://www.reddit.com/r/haskell/comments/10nho4/introduction_to_functional_… 23. http://stackoverflow.com/questions/12653787/what-optimizations-can-ghc-be-e… 24. http://stackoverflow.com/questions/12617664/a-simple-example-showing-that-i… 25. http://stackoverflow.com/questions/12628700/are-there-any-good-use-cases-fo… 26. http://stackoverflow.com/questions/12617916/why-is-listt-monad-transformer-… 27. http://stackoverflow.com/questions/12571205/how-to-build-and-use-a-bootstra… 28. http://stackoverflow.com/questions/12589765/continuation-passing-style-repr… 29. http://stackoverflow.com/questions/12645254/ghc-code-generation-for-type-cl… 30. http://stackoverflow.com/questions/12651146/why-inductive-datatypes-forbid-… 31. http://stackoverflow.com/questions/12571161/are-functions-of-arity-n-really… 32. http://stackoverflow.com/questions/12590202/setting-socket-options-on-osx

1 0