- Haskell - Haskell.org

Call for workshop proposals at CAV13
by Igor Konnov 29 Oct '12

29 Oct '12

[ Our apologies if you receive multiple copies of this call ] ***** CALL FOR WORKSHOP PROPOSALS ***** 25th International Conference on Computer Aided Verification (CAV 2013) July 13-19, 2013, Saint Petersburg, Russia Website: http://cav2013.forsyte.at/ The 2013 Computer-Aided Verification (CAV) Workshops provide an opportunity for participants to discuss topics in the broader verification related domains. CAV 2013 Workshops will be held before the main conference on July 13 and 14. Workshop proposals will be reviewed by the workshop chair along with the program chairs and members of the steering committee. Proposals must consist of the following two parts: -- Part I: Technical Information -- A short (about 1 page) scientific justification of the proposed topic, its significance and relevance to CAV, and the particular benefits of the workshop to the verification community, as well as a list of previous or related workshops (if relevant). -- Part II: Organizational Information -- - contact information of the workshop organizers - identifying a main contact for the workshop (i.e. a workshop chair) - the desired length of the workshop, (one or two days) - estimate of the audience size - proposed format and agenda (for example, demo sessions, tutorials, etc.) - potential invited speakers - procedures for selecting papers and participants - plans for dissemination, if any (for example, special issues of journals) - special technical, AV, or USB stick needs - links to a preliminary website of the workshop and call for papers (if possible) - information if workshop has been previously held Important Dates: Proposals are due by Nov 23, 2012 by email to the workshop chair. Organizers will be notified by Nov 30, 2012. The workshop proposals will be reviewed and evaluated on the following criteria: * Potential to advance state of the art in verification technologies, especially ability to break new ground. * Relevance to CAV. * Overlap of topics with other proposed workshops. * Past-successes of the workshop and association with previous CAV conferences. * Organizers' ability and experience to lead a successful workshop. All accepted workshops will be asked to provide a webpage, call for papers, and list of invited speakers. The workshop participants will be required to register for the workshop through the CAV main registration page. The registration rates for workshops will be set by CAV organizers in consultation with the workshop organizers, following rate structures similar to (but not the same as) those followed in the past. The workshop organizers are strongly encouraged to seek external funding and sponsorships. For further enquiries or information, please contact: Igor Konnov (CAV2013 Workshop Chair) Vienna University of Technology, Institute of Information Systems 184 Favoritenstrasse 9-11, 1040 Vienna, Austria email: konnov AT forsyte.at http: http://forsyte.tuwien.ac.at/people/konnov/ Phone: +43-158801-184807

1 0

ANNOUNCE: pretty-tree
by Ivan Lazar Miljenovic 26 Oct '12

26 Oct '12

For a project I'm working on, I got sick of writing out trees by hand. Data.Tree has a drawTree function, but whilst it's better than nothing, I prefer a more top-down "traditional" approach to drawing trees. So I wrote a package to do just that: http://hackage.haskell.org/package/pretty-tree (I didn't think to check whether diagrams had capabilities to do so until after I finished, though in this case I prefer a textual approach anyway.) I'm more than happy to consider adding other forms of drawing trees (though off-hand I can't think of any), or of course you can send me patches since I'm taking advantage of the nice new shiny hub.darcs.net (thanks Darcs team!). I was going to put an example here but it only really comes out nicely if you're using a monospaced font, so have a look at the Haddock docs for the module once Hackage builds it (in hindsight, I should probably have come up with better labels before releasing the package... oh well :) -- Ivan Lazar Miljenovic Ivan.Miljenovic(a)gmail.com http://IvanMiljenovic.wordpress.com

1 0

Haskell Weekly News: Issue 248
by Daniel Santa Cruz 25 Oct '12

25 Oct '12

Welcome to issue 248 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of October 14 to October 20, 2012. Quotes of the Week * shachaf: Don't fixity fit ain't broken. * shachaf: SIKP, the cheap knockoff book that uses the less-known programming language "skeem" * shachaf: category-extras was so great until the antitrust lawsuit. * Cale: If there was a second syntax and we named it cata' would that be a catastrophe? * acowley: I just don't want edwardk to name them, because he'll choose a name like "x" * cmccann: so edwardk has abstracted things to the point where you can use his libraries without even installing them * Jafet: Agda has an evaluator? * johnw: but probably the other package is more "idiomatic". if by that you mean "uses mathematics to such a degree that most people walk away in consternation" * copumpkin: if I throw enough CT terms out there, one of them is bound to be right eventually * spj: "Our imperative colleagues do a lot of reasoning about their systems. Well, they have to." * spj: "You do the category theory, and you talk to Gordon. And he talks to Phil. And Phil talks to me." * ciaranm: a confusion is just the categorical dual of a fusion, which is just a fusoid in the category of brainofunctors Top Reddit Stories * The University of Heidelberg now uses Haskell for the intro cs course! Domain: self.haskell, Score: 85, Comments: 60 On Reddit: [1] http://goo.gl/abq2b Original: [2] http://goo.gl/abq2b * Cartesian Closed Comic #15: Iteratees Domain: ro-che.info, Score: 74, Comments: 2 On Reddit: [3] http://goo.gl/9NpD2 Original: [4] http://goo.gl/SB7HZ * Fast Code Nation: The Bright Side of High-Level Languages Domain: bos.github.com, Score: 63, Comments: 11 On Reddit: [5] http://goo.gl/KmBRt Original: [6] http://goo.gl/jm9s7 * VIDEO: Simon Marlow on High Performance Concurrency at the Haskell eXchange at Skills Matter Oct. 10th Domain: skillsmatter.com, Score: 44, Comments: On Reddit: [7] http://goo.gl/IuJhH Original: [8] http://goo.gl/BeHRg * Cellular automata as comonads Domain: blog.sigfpe.com, Score: 36, Comments: 10 On Reddit: [9] http://goo.gl/73nr2 Original: [10] http://goo.gl/vH4TK * VIDEO: Simon Peyton Jones at the Haskell eXchange about the origins and the future of Haskell Domain: skillsmatter.com, Score: 31, Comments: 6 On Reddit: [11] http://goo.gl/Iklcf Original: [12] http://goo.gl/WxJhc * Duality for Haskellers : Inside 206-105 Domain: blog.ezyang.com, Score: 31, Comments: 1 On Reddit: [13] http://goo.gl/qhohx Original: [14] http://goo.gl/VuHMS * Communication Patterns in Cloud Haskell (Part 4): K-Means Domain: well-typed.com, Score: 27, Comments: On Reddit: [15] http://goo.gl/9bT02 Original: [16] http://goo.gl/7S5XQ * VIDEO: Duncan Coutts on Cloud Haskell at the Haskell eXchange at Skills Matter Oct 10 Domain: skillsmatter.com, Score: 26, Comments: 29 On Reddit: [17] http://goo.gl/lLyGD Original: [18] http://goo.gl/eUd0W * How to use Yesod without Template Haskell Domain: yesodweb.com, Score: 26, Comments: On Reddit: [19] http://goo.gl/HT3aD Original: [20] http://goo.gl/s81mw * Variance Shadow Mapping with LambdaCube 3D Domain: lambdacube3d.wordpress.com, Score: 23, Comments: 5 On Reddit: [21] http://goo.gl/g3Hs0 Original: [22] http://goo.gl/jDv0S * Thinking Functionally with Haskell | PragPub 2012/10 Domain: pragprog.com, Score: 21, Comments: 1 On Reddit: [23] http://goo.gl/N9HRL Original: [24] http://goo.gl/6ptKX * Haskell Automatic Information Labeling System - new release and video Domain: self.haskell, Score: 18, Comments: 4 On Reddit: [25] http://goo.gl/ujURP Original: [26] http://goo.gl/ujURP * Livecoding with the Happstack web framework. (2 hour video) Domain: youtube.com, Score: 18, Comments: 22 On Reddit: [27] http://goo.gl/POkCB Original: [28] http://goo.gl/n5uNA * VIDEO: Blake Rain on Scalable web applications with YESOD at the Haskell eXchange at Skills Matter Oct 10 Domain: skillsmatter.com, Score: 17, Comments: 2 On Reddit: [29] http://goo.gl/kFPsJ Original: [30] http://goo.gl/zUNBb * Measuring the performance of Warp Domain: yesodweb.com, Score: 17, Comments: 13 On Reddit: [31] http://goo.gl/MBPnT Original: [32] http://goo.gl/p3HUq * Tail Recursive Sorting (QuickSort) Domain: self.haskell, Score: 15, Comments: 31 On Reddit: [33] http://goo.gl/qkECv Original: [34] http://goo.gl/qkECv * a class that generalizes over Functor, Functor2, Functor3, and so on — Redshift Phase 2: types classes for types with arbitrary numbers of * parameters Domain: csks.wordpress.com, Score: 15, Comments: 17 On Reddit: [35] http://goo.gl/gjQL2 Original: [36] http://goo.gl/0XsPN * Wiggling Sums: a somewhat interesting Traversable problem Domain: jaspervdj.be, Score: 13, Comments: 12 On Reddit: [37] http://goo.gl/FKPw3 Original: [38] http://goo.gl/xu2oX * VIDEO: Lennart Augustsson on 'Making EDSL's Fly at the Haskell eXchange at Skills Matter Oct 10 Domain: skillsmatter.com, Score: 12, Comments: 5 On Reddit: [39] http://goo.gl/hFlF6 Original: [40] http://goo.gl/TXMg4 Top StackOverflow Questions * Why not be dependently typed? votes: 25, answers: 1 Read on SO: [41] http://goo.gl/1TSVh * Writing cojoin or cobind for n-dimensional grid type votes: 23, answers: 0 Read on SO: [42] http://goo.gl/qbz7z * Monad Transformers vs Passing parameters to functions votes: 21, answers: 1 Read on SO: [43] http://goo.gl/UpU57 * SOAP web services in haskell? votes: 16, answers: 1 Read on SO: [44] http://goo.gl/1fiiM * How does one statisfy a class constraint in an instance of a class that requires a type constructor rather than a concrete type? votes: 13, answers: 1 Read on SO: [45] http://goo.gl/DD00Q * If “List” is a monoid, what is its “set”? votes: 13, answers: 2 Read on SO: [46] http://goo.gl/bYYar * Lambda calculus in Haskell: Is there some way to make Church numerals type check? votes: 13, answers: 2 Read on SO: [47] http://goo.gl/66qKc * Relation between Haskell Threads and OS Threads in the GHC votes: 13, answers: 1 Read on SO: [48] http://goo.gl/2u8pS * Can Scala's Cake Pattern be implemented in Haskell? votes: 12, answers: 2 Read on SO: [49] http://goo.gl/QiMfg * Agda Type-Checking and Commutativity / Associativity of + votes: 9, answers: 1 Read on SO: [50] http://goo.gl/CqnMJ Until next time, Daniel Santa Cruz References 1. http://www.reddit.com/r/haskell/comments/11klmw/the_university_of_heidelber… 2. http://www.reddit.com/r/haskell/comments/11klmw/the_university_of_heidelber… 3. http://ro-che.info/ccc/15.html 4. http://www.reddit.com/r/haskell/comments/11t7ru/cartesian_closed_comic_15_i… 5. http://bos.github.com/reaktor-dev-day-2012/reaktor-talk-slides.html 6. http://www.reddit.com/r/haskell/comments/11sl47/fast_code_nation_the_bright… 7. http://skillsmatter.com/podcast/home/high-performance-concurrency/ac-5258 8. http://www.reddit.com/r/haskell/comments/11geat/video_simon_marlow_on_high_… 9. http://blog.sigfpe.com/2006/12/evaluating-cellular-automata-is.html 10. http://www.reddit.com/r/haskell/comments/11o6nu/cellular_automata_as_comona… 11. http://skillsmatter.com/podcast/home/front-end-language-features/ac-5258 12. http://www.reddit.com/r/haskell/comments/11ge03/video_simon_peyton_jones_at… 13. http://blog.ezyang.com/2012/10/duality-for-haskellers/ 14. http://www.reddit.com/r/haskell/comments/11s0j0/duality_for_haskellers_insi… 15. http://www.well-typed.com/blog/74 16. http://www.reddit.com/r/haskell/comments/11iijo/communication_patterns_in_c… 17. http://skillsmatter.com/podcast/home/cloud-haskell/ac-5258 18. http://www.reddit.com/r/haskell/comments/11gia8/video_duncan_coutts_on_clou… 19. http://www.yesodweb.com/blog/2012/10/yesod-pure 20. http://www.reddit.com/r/haskell/comments/11jap2/how_to_use_yesod_without_te… 21. http://lambdacube3d.wordpress.com/2012/10/14/variance-shadow-mapping/ 22. http://www.reddit.com/r/haskell/comments/11ijjg/variance_shadow_mapping_wit… 23. http://pragprog.com/magazines/2012-10/thinking-functionally-with-haskell 24. http://www.reddit.com/r/haskell/comments/11o5oa/thinking_functionally_with_… 25. http://www.reddit.com/r/haskell/comments/11kpin/haskell_automatic_informati… 26. http://www.reddit.com/r/haskell/comments/11kpin/haskell_automatic_informati… 27. http://www.youtube.com/watch?v=7Wmszk4wZxQ 28. http://www.reddit.com/r/haskell/comments/11obty/livecoding_with_the_happsta… 29. http://skillsmatter.com/podcast/home/scalable-web-applications-with-yesod/a… 30. http://www.reddit.com/r/haskell/comments/11ggaf/video_blake_rain_on_scalabl… 31. http://www.yesodweb.com/blog/2012/10/measuring-warp 32. http://www.reddit.com/r/haskell/comments/11kfqu/measuring_the_performance_o… 33. http://www.reddit.com/r/haskell/comments/11lybk/tail_recursive_sorting_quic… 34. http://www.reddit.com/r/haskell/comments/11lybk/tail_recursive_sorting_quic… 35. http://csks.wordpress.com/2012/10/17/redshift-phase-2-types-classes-for-typ… 36. http://www.reddit.com/r/haskell/comments/11nj47/a_class_that_generalizes_ov… 37. http://jaspervdj.be/posts/2012-10-17-wiggling-sums.html 38. http://www.reddit.com/r/haskell/comments/11mnw5/wiggling_sums_a_somewhat_in… 39. http://skillsmatter.com/podcast/home/making-edsls-fly/ac-5258 40. http://www.reddit.com/r/haskell/comments/11gg80/video_lennart_augustsson_on… 41. http://stackoverflow.com/questions/12961651/why-not-be-dependently-typed 42. http://stackoverflow.com/questions/12963733/writing-cojoin-or-cobind-for-n-… 43. http://stackoverflow.com/questions/12968351/monad-transformers-vs-passing-p… 44. http://stackoverflow.com/questions/12904377/soap-web-services-in-haskell 45. http://stackoverflow.com/questions/12922187/how-does-one-statisfy-a-class-c… 46. http://stackoverflow.com/questions/12927152/if-list-is-a-monoid-what-is-its… 47. http://stackoverflow.com/questions/12942397/lambda-calculus-in-haskell-is-t… 48. http://stackoverflow.com/questions/12944151/relation-between-haskell-thread… 49. http://stackoverflow.com/questions/12947176/can-scalas-cake-pattern-be-impl… 50. http://stackoverflow.com/questions/12949323/agda-type-checking-and-commutat…

1 0

ANN: hledger 0.19
by Simon Michael 21 Oct '12

21 Oct '12

I'm pleased to announce the release of hledger 0.19! This release has just two visible changes: a much faster balance command, and support for the latest GHC and libs. (A hledger-web update will follow.) hledger is a command-line tool and haskell library for tracking financial transactions, which are stored in a human-readable plain text format. In addition to reporting, it can also help you record new transactions, or convert CSV data from your bank. Add-on packages include hledger-web, a web interface. hledger is inspired by and compatible with John Wiegley's Ledger. For more, see http://hledger.org . Install it: cabal update; cabal install hledger . For installation help, see http://hledger.org/MANUAL.html#installing . Or, sponsor a ready-to-run binary for your platform: http://hledger.org/DOWNLOAD.html . Release notes: hledger, hledger-lib: support GHC 7.6 and latest cmdargs, haskeline, split balance report no longer has an O(n^2) slowdown with large numbers of accounts, and is generally more speedy. Benchmark on a 2010 macbook: +-------------------------------------------++--------------+--------------+--------+ | || hledger-0.18 | hledger-0.19 | ledger | +===========================================++==============+==============+========+ | -f data/100x100x10.journal balance || 0.21 | 0.07 | 0.09 | | -f data/1000x1000x10.journal balance || 10.13 | 0.47 | 0.62 | | -f data/1000x10000x10.journal balance || 40.67 | 0.67 | 1.01 | | -f data/10000x1000x10.journal balance || 15.01 | 3.22 | 2.36 | | -f data/10000x1000x10.journal balance aa || 4.77 | 4.40 | 2.33 | +-------------------------------------------++--------------+--------------+--------+ build version is set with CPP instead of cabal-file-th Release contributors: Simon Michael, Sergei Trofimovich Release stats: 106 days, 21 commits, 1 end-user fix, 0 end-user features since last release Project stats: 222 unit & functional tests, 7740 lines of code including hledger-web, 21 committers

1 0

[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