December 2011 - Haskell

VSTTE 2012: First Call for Participation
by Gudmund Grov 08 Dec '11

08 Dec '11

***************************************************************** *** First Call for Participation *** VSTTE 2012 Verified Software: Theories, Tools and Experiments January 28-29, 2012 Philadelphia, USA (co-located with POPL and VMCAI) https://sites.google.com/site/vstte2012/ ****************************************************************** The Fourth International Conference on Verified Software: Theories, Tools, and Experiments will take place on January 28-29, 2012. The focus of the conference is the development of systematic methods for specifying, building, and verifying software. The goal of this conference is to advance the state of the art through the interaction of theory development, tool evolution, and experimental validation. Historically, the conference came out of the Verified Software Initiative (VSI), a cooperative, international initiative directed at the scientific challenges of large-scale software verification. An informal verification competition has been held and the winner will be announced during the conference. KEYNOTE SPEAKERS Rupak Majumdar, Max Planck Institute for Software Systems Wolfgang Paul, Saarland University TUTORIALS Francesco Logozzo, Microsoft Research Rustan Leino, Microsoft Research PROGRAM The full program is available at the conference web site: https://sites.google.com/site/vstte2012/program VENUE The conference is co-located with POPL and will be held at the Sheraton Society Hill Hotel in Philadelphia's historic district. For hotel rate details and booking please see the POPL webpage: http://www.cse.psu.edu/popl/12/ REGISTRATION Registration is handled by the POPL registration. For rates, please see http://www.cse.psu.edu/popl/12/ and for registration please follow this link: https://regmaster3.com/2012conf/POPL12/register.php Note that early registration deadline is December 24, 2011. -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.

1 0

Haskell Weekly News: Issue 210
by Daniel Santa Cruz 08 Dec '11

08 Dec '11

Welcome to issue 210 of the HWN, a newsletter covering developments in the Haskell community. This release covers the week of November 27 to December 3, 2011. You can find the HTML version at: http://contemplatecode.blogspot.com/2011/12/haskell-weekly-news-issue-210.h… Announcements Heinrich Hordegen announced a tentative 2012 meeting schedule for Munich Haskell group. [1] http://goo.gl/JrnP6 New and Updated Projects * data-timeout (Mikhail Vorozhtsov) Allows one to specify time units for timeouts and convert between them. [2] http://goo.gl/fbfGM * Netwire (Ertugrul Soylemez; 3.0.0) Major API change. [3] http://goo.gl/8hPwS * monad-control (Bas van Dijk; 0.3) New and improved API. [4] http://goo.gl/so3s9 Quotes of the Week * Jafet: They're not nasty; their niceness is just distributed over more people * copumpkin: U NEED MOANAD * xplat: i have a feeling that trying to write an interesting dependently-typed program in Shen at any time in the near future would be like trying to host a holiday dinner starting with an empty lot, 2x4s, a stack of window panes, some cables and wiring boxes, sheets of drywall, disconnected appliances, roof shingles, rolls of insulation and bags of concrete * Axman6: {-# PRAGMA ThisShitNeedsMoarFast #-} Top Reddit Stories * Name Your Type Variables! Domain: amateurtopologist.com, Score: 71, Comments: 38 On Reddit: [5] http://goo.gl/I2uny Original: [6] http://goo.gl/yRbmO * Insane Haskell Professor on Lambda Calculus. Wait for it... Domain: youtube.com, Score: 66, Comments: 17 On Reddit: [7] http://goo.gl/uDQJS Original: [8] http://goo.gl/IauHk * criterion 0.6 produces shiny new performance reports Domain: bos.github.com, Score: 63, Comments: 8 On Reddit: [9] http://goo.gl/F2K76 Original: [10] http://goo.gl/x720h * [commit: base] master: Add traceStack :: String -> a -> a Domain: haskell.org, Score: 48, Comments: 5 On Reddit: [11] http://goo.gl/HCbf2 Original: [12] http://goo.gl/JzO3O * Elm: functional reactive web-programming (compiles to html, css, js). Just added reactive values, basic canvas support, and new interactive examples. Domain: elm-lang.org, Score: 45, Comments: 19 On Reddit: [13] http://goo.gl/mKS9a Original: [14] http://goo.gl/ASt27 * Snap 0.7 released Domain: snapframework.com, Score: 41, Comments: 1 On Reddit: [15] http://goo.gl/R3A8Y Original: [16] http://goo.gl/SVgXy * Haskell Communities and Activities Report - November 2011 edition Domain: haskell.org, Score: 35, Comments: 0 On Reddit: [17] http://goo.gl/X82AK Original: [18] http://goo.gl/CGKAr * "fix' f = f (fix' f)" vs. "fix f = let x = f x in x" Domain: groups.google.com, Score: 33, Comments: 15 On Reddit: [19] http://goo.gl/vadtO Original: [20] http://goo.gl/SQSFL * Announcing cabal-src: solve (some of) cabal dependency hell Domain: yesodweb.com, Score: 32, Comments: 15 On Reddit: [21] http://goo.gl/PIB4S Original: [22] http://goo.gl/00LZz * aeson 0.4: easier, faster, nicer Domain: github.com, Score: 31, Comments: 18 On Reddit: [23] http://goo.gl/G1J5A Original: [24] http://goo.gl/DQ4bc * Package authors: Please use Packdeps! Domain: yesodweb.com, Score: 24, Comments: 10 On Reddit: [25] http://goo.gl/bLYvt Original: [26] http://goo.gl/fNh9n * Slides from my guest lecture at Stanford Domain: blog.johantibell.com, Score: 22, Comments: 14 On Reddit: [27] http://goo.gl/ITFkN Original: [28] http://goo.gl/4w1tK Top StackOverflow Questions * How to write a Haskell function that takes a variadic function as an argument votes: 28, answers: 1 Read on SO: [29] http://goo.gl/JqZ3H * Functional lenses votes: 18, answers: 2 Read on SO: [30] http://goo.gl/Qn2Ff * Haskell : An example of a Foldable which is not a Functor? votes: 17, answers: 2 Read on SO: [31] http://goo.gl/42lSo * How does IncoherentInstances work? votes: 17, answers: 1 Read on SO: [32] http://goo.gl/O1Ha4 * Minimum specification for Haskell library type classes? votes: 16, answers: 2 Read on SO: [33] http://goo.gl/L7mO6 * Expressive and composable error types votes: 16, answers: 1 Read on SO: [34] http://goo.gl/vkoZb * Distributed Haskell state of the art in 2011? votes: 16, answers: 2 Read on SO: [35] http://goo.gl/mx0kd * Is it possible to implement liftM2 in Scala? votes: 15, answers: 1 Read on SO: [36] http://goo.gl/p6TDl * Are Haskell FlexibleInstances a stable extension to the language? votes: 15, answers: 1 Read on SO: [37] http://goo.gl/sQc37 * Is Milner let polymorphism a rank 2 feature? votes: 13, answers: 4 Read on SO: [38] http://goo.gl/kOcnW Until next time, Daniel Santa Cruz References 1. http://comments.gmane.org/gmane.comp.lang.haskell.cafe/94240 2. http://comments.gmane.org/gmane.comp.lang.haskell.libraries/16691 3. http://comments.gmane.org/gmane.comp.lang.haskell.cafe/94245 4. http://comments.gmane.org/gmane.comp.lang.haskell.general/19038 5. http://www.amateurtopologist.com/blog/2011/10/11/name-your-type-variables/ 6. http://www.reddit.com/r/haskell/comments/mxz3k/name_your_type_variables/ 7. http://www.youtube.com/watch?v=5TMojC0Nb6A 8. http://www.reddit.com/r/haskell/comments/mw094/insane_haskell_professor_on_… 9. http://bos.github.com/criterion/ 10. http://www.reddit.com/r/haskell/comments/mx8vw/criterion_06_produces_shiny_… 11. http://www.haskell.org/pipermail/cvs-libraries/2011-November/014698.html 12. http://www.reddit.com/r/haskell/comments/muq40/commit_base_master_add_trace… 13. http://elm-lang.org/Elm.elm 14. http://www.reddit.com/r/haskell/comments/mwbvj/elm_functional_reactive_webp… 15. http://snapframework.com/blog/2011/12/01/snap-0.7-released 16. http://www.reddit.com/r/haskell/comments/mwx4t/snap_07_released/ 17. http://www.haskell.org/communities/11-2011/html/report.html 18. http://www.reddit.com/r/haskell/comments/mzbia/haskell_communities_and_acti… 19. http://groups.google.com/group/stanford-11au-cs240h/browse_thread/thread/41… 20. http://www.reddit.com/r/haskell/comments/mt7nt/fix_f_f_fix_f_vs_fix_f_let_x… 21. http://www.yesodweb.com/blog/2011/11/cabal-src 22. http://www.reddit.com/r/haskell/comments/mrz9p/announcing_cabalsrc_solve_so… 23. https://github.com/bos/aeson/blob/0.4.0.0/release-notes.markdown 24. http://www.reddit.com/r/haskell/comments/mvtmk/aeson_04_easier_faster_nicer/ 25. http://www.yesodweb.com/blog/2011/12/please-use-packdeps 26. http://www.reddit.com/r/haskell/comments/mvp4w/package_authors_please_use_p… 27. http://blog.johantibell.com/2011/11/slides-from-my-guest-lecture-at.html 28. http://www.reddit.com/r/haskell/comments/mvoqd/slides_from_my_guest_lecture… 29. http://stackoverflow.com/questions/8353845/how-to-write-a-haskell-function-… 30. http://stackoverflow.com/questions/8307370/functional-lenses 31. http://stackoverflow.com/questions/8359115/haskell-an-example-of-a-foldable… 32. http://stackoverflow.com/questions/8371499/how-does-incoherentinstances-work 33. http://stackoverflow.com/questions/8320039/minimum-specification-for-haskel… 34. http://stackoverflow.com/questions/8320855/expressive-and-composable-error-… 35. http://stackoverflow.com/questions/8362998/distributed-haskell-state-of-the… 36. http://stackoverflow.com/questions/8366518/is-it-possible-to-implement-lift… 37. http://stackoverflow.com/questions/8367423/are-haskell-flexibleinstances-a-… 38. http://stackoverflow.com/questions/8296695/is-milner-let-polymorphism-a-ran…

1 0

PhD position at Ghent University
by Tom Schrijvers 07 Dec '11

07 Dec '11

The Programming Languages Group of Ghent University invites applicants for a PhD position. This position centers around the modular treatment of side-effects in purely functional programs and models. It is part of the project "Modular handling of effects in purely functional programs and models" under the direction of Tom Schrijvers. The successful applicant has a master degree in Computer Science or equivalent. Ideally, she/he will also have a strong, documented interest in doing research. Strong problem-solving and programming skills are essential. Prior knowledge of purely functional programming (e.g., Haskell) and models of side-effects (e.g., monads) is an advantage. The PhD position is for 4 years. It starts between January and October 2012. The position is a fully-funded post. The salary is compatible with other Belgian PhD rates and among the better ones in Europe and abroad. For more information, see: http://users.ugent.be/~tschrijv/phdposition2.html -- prof. dr. ir. Tom Schrijvers Programming Languages Group Department of Applied Mathematics and Computer Science University of Ghent Krijgslaan 281 S9 9000 Gent Belgium Phone: +32 9 264 4805 http://users.ugent.be/~tschrijv/

1 0

FLOPS 2012: final call for papers & deadline extension
by Tom Schrijvers 05 Dec '11

05 Dec '11

Final Call For Papers ===================== _EXTENDED SUBMISSION DEADLINE : December 16, 2011_ *Eleventh International Symposium on Functional and Logic Programming (FLOPS 2012)* May 23-25, 2012 Kobe, Japan [http://www.org.kobe-u.ac.jp/flops2012/] FLOPS is a forum for research on all issues concerning declarative programming, including functional programming and logic programming, and aims to promote cross-fertilization and integration between the two paradigms. Previous FLOPS meetings were held in Fuji Susono (1995), Shonan Village (1996), Kyoto (1998), Tsukuba (1999), Tokyo (2001), Aizu (2002), Nara (2004), Fuji Susono (2006), Ise (2008), and Sendai (2010). Topics ====== FLOPS solicits original papers in all areas of functional and logic programming, including (but not limited to): - Declarative Pearls: new and excellent declarative programs with illustrative applications. - Language issues: language design and constructs, programming methodology, integration of paradigms, interfacing with other languages, type systems, constraints, concurrency and distributed computing. - Foundations: logic and semantics, rewrite systems and narrowing, type theory, proof systems. - Implementation issues: compilation techniques, memory management, program analysis and transformation, partial evaluation, parallelism. - Applications: case studies, real-world applications, graphical user interfaces, Internet applications, XML, databases, formal methods and model checking. The proceedings will be published as an LNCS volume. The proceedings of the previous meeting (FLOPS 2010) were published as LNCS 6009. PC co-Chairs ============ - Tom Schrijvers (Ghent University, Belgium) - Peter Thiemann (University of Freiburg, Germany) PC Members ========== - Salvador Abreu (University of Evora, Portugal) - Thorsten Altenkirch (University of Nottingham, UK) - Sebastian Brand (NICTA, Australia) - Giuseppe Castagna (CNRS Univ Paris 7, France) - Sebastian Fischer (Germany) - Marco Gavanelli (University of Ferrara, Italy) - Joxan Jaffar (National University of Singapore, Singapore) - Barry Jay (University of Sydney, Australia) - Andy King (University of Kent, UK) - Claude Kirchner (INRIA, France) - Neelakantan R. Krishnaswami (Microsoft Cambridge, UK) - Yulya Lierler (University of Kentucky, USA) - Keiko Nakata (Tallinn University of Technology, Estonia) - Peter Schneider-Kamp (University of Southern Denmark, Denmark) - Olin Shivers (Northeastern University, USA) - Paul Tarau (University of Northern Texas, USA) - Kazunori Ueda (Waseda University, Japan) - Meng Wang (Chalmers Technical University, Sweden) General Chair and Local co-Chairs ================================= - Naoyuki Tamura (Kobe University, Japan) - Mutsunori Banbara (Kobe University, Japan) - Katsutoshi Hirayama (Kobe University, Japan) Submission ========== Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. Submissions should fall into one of the following categories: - Regular research papers: they should describe new results and will be judged on originality, correctness, and significance. - System descriptions: they should contain a link to a working system and will be judged on originality, usefulness, and design. Submissions must be written in English and can be up to 15 pages long, though pearls are typically considerably shorter. Authors are required to use LaTeX2e and the Springer llncs class file, available at [http://www.springer.de/comp/lncs/authors.html] Regular research papers should be supported by proofs and/or experimental results. In case of lack of space, this supporting information should be made accessible otherwise (e.g., a link to a web page, or an appendix). Papers should be submitted electronically at [https://www.easychair.org/conferences/?conf=flops2012] Important Dates =============== - Submission deadline : December 16, 2011 (EXTENDED) - Author notification : February 3, 2012 - Camera-ready copy : March 2, 2012 Place and Related Events ======================== Takikawa Memorial Hall, Kobe University, 1-1 Rokkodai, Nada, Kobe 657-8501 Japan. The 23rd International Conference on Rewriting Techniques and Applications (RTA 2012) and satellite workshops including WFLP 2012 will be held in the week after FLOPS at Nagoya, Japan. Some Previous FLOPS =================== - FLOPS 2010, Sendai: [http://www.kb.ecei.tohoku.ac.jp/flops2010/] - FLOPS 2008, Ise: [http://www.math.nagoya-u.ac.jp/~garrigue/FLOPS2008/] - FLOPS 2006, Fuji Susono: [http://hagi.is.s.u-tokyo.ac.jp/FLOPS2006/] Sponsors ======== - Japan Society for Software Science and Technology (JSSST) SIGPPL In Cooperation with =================== - ACM SIGPLAN - Asian Association for Foundation of Software (AAFS) - Association for Logic Programming (ALP)

1 0

ANNOUNCE: Haskell Communities and Activities Report (21st ed., November 2011)
by Janis Voigtländer 04 Dec '11

04 Dec '11

On behalf of all the contributors, I am pleased to announce that the Haskell Communities and Activities Report (21st edition, November 2011) is now available in PDF and HTML formats: http://haskell.org/communities/11-2011/report.pdf http://haskell.org/communities/11-2011/html/report.html Many thanks go to all the people that contributed to this report, both directly, by sending in descriptions, and indirectly, by doing all the interesting things that are reported. I hope you will find it as interesting a read as I did. If you have not encountered the Haskell Communities and Activities Reports before, you may like to know that the first of these reports was published in November 2001. Their goal is to improve the communication between the increasingly diverse groups, projects, and individuals working on, with, or inspired by Haskell. The idea behind these reports is simple: Every six months, a call goes out to all of you enjoying Haskell to contribute brief summaries of your own area of work. Many of you respond (eagerly, unprompted, and sometimes in time for the actual deadline to the call. The editor collects all the contributions into a single report and feeds that back to the community. When I try for the next update, six months from now, you might want to report on your own work, project, research area or group as well. So, please put the following into your diaries now: ========================================= End of April 2012: target deadline for contributions to the May 2012 edition of the HC&A Report ========================================= Unfortunately, many Haskellers working on interesting projects are so busy with their work that they seem to have lost the time to follow the Haskell related mailing lists and newsgroups, and have trouble even finding time to report on their work. If you are a member, user or friend of a project so burdened, please find someone willing to make time to report and ask them to "register" with the editor for a simple e-mail reminder in April (you could point me to them as well, and I can then politely ask if they want to contribute, but it might work better if you do the initial asking). Of course, they will still have to find the ten to fifteen minutes to draw up their report, but maybe we can increase our coverage of all that is going on in the community. Feel free to circulate this announcement further in order to reach people who might otherwise not see it. Enjoy! Janis Voigtlaender <hcar at haskell.org>

1 0

ANNOUNCE: monad-control-0.3
by Bas van Dijk 03 Dec '11

03 Dec '11

Hello, I just released monad-control-0.3. The package for lifting control operations (like catch, bracket, mask, alloca, timeout, forkIO, modifyMVar, etc.) through monad transformers: http://hackage.haskell.org/package/monad-control-0.3 It has a new and improved API which is: * easier to understand by explicitly representing the monadic state using type families. * 60 times faster than the previous release! * more general because control operations can now, not only be lifted from IO, but from any base monad (ST, STM, etc.) I also released a new package: lifted-base: http://hackage.haskell.org/package/lifted-base-0.1 It provides lifted versions of functions from the base library. Currently it exports the following modules: * Control.Exception.Lifted * Control.Concurrent.Lifted * Control.Concurrent.MVar.Lifted * System.Timeout.Lifted These are just modules which people have needed in the past. If you need a lifted version of some function, just ask me to add it or send me a patch. Note that Peter Simons just discovered that these packages don't build with GHC-7.0.4 (https://github.com/basvandijk/monad-control/issues/3) I just committed some fixes which enable them to be build on GHC >= 6.12.3. Hopefully I can release these fixes this weekend. Regards, Bas

1 2

CfP PAPP 2012: 9th International Workshop on Practical Aspects of High-Level Parallel Programming
by Julien Tesson 02 Dec '11

02 Dec '11

========================================================= 9th International Workshop on Practical Aspects of High-Level Parallel Programming (PAPP 2012) ========================================================= affiliated to The International Conference on Computational Science June 4-6, 2012, Omaha, USA http://www.papp-workshop.org *Aims and scope* Computational Science applications are more and more complex to develop and require more and more computing power. Sequential computing cannot go further. Major companies in the computing industry now recognise the urgency of re-orienting an entire industry towards massively parallel computing. Parallel and grid computing are solutions to the increasing need for computing power. The trend is towards the increase of cores in processors, the number of processors and the need for scalable computing everywhere. But parallel and distributed programming is still dominated by low-level techniques such as send/receive message passing. Thus high-level approaches should play a key role in the shift to scalable computing in every computer. Algorithmic skeletons, parallel extensions of functional languages such as Haskell and ML, parallel logic and constraint programming, parallel execution of declarative programs such as SQL queries, genericity and meta-programming in object-oriented languages, etc. have produced methods and tools that improve the price/performance ratio of parallel software, and broaden the range of target applications. Also, high level languages offer a high degree of abstraction which ease the development of complex systems. Moreover, being based on formal semantics, it is possible to certify the correctness of critical parts of the applications. The PAPP workshop focuses on practical aspects of high-level parallel programming: design, implementation and optimisation of high-level programming languages, semantics of parallel languages, formal verification, design or certification of libraries, middle-wares and tools (performance predictors working on high-level parallel/grid source code, visualisations of abstract behaviour, automatic hot-spot detectors, high-level GRID resource managers, compilers, automatic generators, etc.), application of proof assistants to parallel applications, applications in all fields of computational science, benchmarks and experiments. Research on high-level grid programming is particularly relevant as well as domain specific parallel software. The aim of all these languages and tools is to improve and ease the development of applications (safety, expressivity, efficiency, etc.). Thus the PAPP workshop focuses on applications. The PAPP workshop is aimed both at researchers involved in the development of high level approaches for parallel and grid computing and computational science researchers who are potential users of these languages and tools. *Topics* We welcome submission of original, unpublished papers in English on topics including: applications in all fields of high-performance computing and visualisation (using high-level tools) high-level models (CGM, BSP, MPM, LogP, etc.) and tools for parallel and grid computing high-level parallel language design, implementation and optimisation practical aspects of computer assisted verification for high-level parallel languages modular, object-oriented, functional, logic, constraint programming for parallel, distributed and grid computing systems algorithmic skeletons, patterns and high-level parallel libraries generative (e.g. template-based) programming with algorithmic skeletons, patterns and high-level parallel libraries benchmarks and experiments using such languages and tools *Paper submission and publication* Prospective authors are invited to submit full papers in English presenting original research. Submitted papers must be unpublished and not submitted for publication elsewhere. Papers will go through a rigorous reviewing process. Each paper will be reviewed by at least three referees. The accepted papers will be published in the Procedia Computer Science series, as part of the ICCS proceedings. Submission must be done through the ICCS website We invite you to submit a full paper of at most 10 pages describing new and original results, no later than January 9, 2012 (firm). Submission implies the willingness of at least one of the authors to register and present the paper. Accepted papers should be presented at the workshop. *Important Dates* January 9, 2012: Full paper due (firm) February 9, 2012: Notification March 1, 2012: Camera-ready paper due *Programme committee* Marco Aldinucci (University of Torino, Italy) Jost Berthold (University of Copenhagen, Denmark) Kento Emoto (University of Tokyo, Japan) Frédéric Gava (University Paris East Créteil, France) Alexandros Gerbessiotis (NJIT, USA) Frédéric Loulergue, chair (LIFO, University of Orléans, France) Aamir Shafi (NUST, Pakistan) Julien Tesson (Kochi University of Technology, Japan)

1 0

Harald ROTTER/DTI/SAGEM is out of the office.
by Harald ROTTER 01 Dec '11

01 Dec '11

I will be out of the office starting 30.11.2011 and will not return until 31.12.2012. Please contact Mr. Christian Krexner at christian.krexner(a)sagemcom.com # " Ce courriel et les documents qui lui sont joints peuvent contenir des informations confidentielles ou ayant un caract�re priv�. S'ils ne vous sont pas destin�s, nous vous signalons qu'il est strictement interdit de les divulguer, de les reproduire ou d'en utiliser de quelque mani�re que ce soit le contenu. Si ce message vous a �t� transmis par erreur, merci d'en informer l'exp�diteur et de supprimer imm�diatement de votre syst�me informatique ce courriel ainsi que tous les documents qui y sont attach�s." ****** " This e-mail and any attached documents may contain confidential or proprietary information. If you are not the intended recipient, you are notified that any dissemination, copying of this e-mail and any attachments thereto or use of their contents by any means whatsoever is strictly prohibited. If you have received this e-mail in error, please advise the sender immediately and delete this e-mail and all attached documents from your computer system." #

1 0

Haskell Weekly News: Issue 209
by Daniel Santa Cruz 01 Dec '11

01 Dec '11

Welcome to issue 209 of the HWN, a newsletter covering developments in the Haskell community. This release covers two weeks, from November 13 to 26, 2011. You can find the HTML version at: http://contemplatecode.blogspot.com/2011/11/haskell-weekly-news-issue-209.h… Announcements By now I'm sure you've heard about Da the lamb. [1] http://goo.gl/WF2o7 Sean Leather annouced that the next Dutch functinal programming day will take place on January 6, 2012, at the university campus "De Uithof" of Utrecht University. [2] http://goo.gl/IfVK8 Ganesh Sittampalam announced that the haskell.org committee for 2011-12 has been formed. [3] http://goo.gl/YFFsa New and Updated Projects * Gtk2Hs (Axel Simon; 0.12.2) Adjustments to Gtk2Hs to work with GHC 7.x.x. Also, looking for a part-time maintainer. [4] http://goo.gl/52M56 * iteratee-compress (Maciej Marcin Piechotka; 0.3.0.0) Provides compressing and decompressing enumerators. [5] http://goo.gl/tRAkg * Netwire (Ertugrul Soeylemez; 2.0.0) Complete rewrite. [6] http://goo.gl/HMCG8 * SBV (Levent Erkok; 0.9.22) [7] http://goo.gl/pSXGb * graphviz (Ivan Lazar Miljenovic; 2999.12.0.4). [8] http://goo.gl/JNVSV * SmallCHeck (Roman Cheplyaka; 0.5) [9] http://goo.gl/8njoh * OpenCL (Luis Cabellos; 1.0.2.2) Better error handling. [10] http://goo.gl/fphJN * clientsession (Michael Snoyman; 0.7.3.4) Major performance enhancement. [11] http://goo.gl/hCqrf Quotes of the Week * dmwit: Let's not make things better, I haven't put enough lipstick on the worse version yet. * mike-burns: Oh good, a semantic argument. Goodnight. * companion_cube: why bother with complicated abstractions like monads, when you can enjoy the taste of the sun on your skin? * applicative: clearly the trouble with haskell is plain: no inbuild syntactic support for quaternions. Wonder if *fortress* has it. * elliott: "with a lot of unicode" is like agda's @faq. "yes, agda can do that with a lot of unicode!" * [shachaf] mauke: EBCDIC? [mauke] shachaf: ah, the data encryption standard invented by IBM? * Tiwazz: It's called "Berp" because that's the sound Haskell makes after it devours a live Python. Top Reddit Stories * Typeclassopedia moved to the Haskell wiki Domain: byorgey.wordpress.com, Score: 72, Comments: 8 On Reddit: [12] http://goo.gl/pbHqr Original: [13] http://goo.gl/tWM0P * New project to support SIMD vector instructions in GHC (x86 SSE & AVX, ARM's NEON etc) Domain: hackage.haskell.org, Score: 62, Comments: 18 On Reddit: [14] http://goo.gl/JRj3o Original: [15] http://goo.gl/OcFCG * GHC 7.4 branched, what's in for Christmas? Domain: haskell.org, Score: 54, Comments: 16 On Reddit: [16] http://goo.gl/ZUN1e Original: [17] http://goo.gl/qWIhq * How to read Haskell like Python Domain: blog.ezyang.com, Score: 52, Comments: 7 On Reddit: [18] http://goo.gl/3cVXY Original: [19] http://goo.gl/nNhDI * xmonad-0.10 released! Domain: hackage.haskell.org, Score: 51, Comments: 15 On Reddit: [20] http://goo.gl/U5rry Original: [21] http://goo.gl/SIFuB * Roy - language with Hindley-Milner type system and monads that compiles to javascript Domain: roy.brianmckenna.org, Score: 43, Comments: 9 On Reddit: [22] http://goo.gl/RLK8S Original: [23] http://goo.gl/dzx8N * The Universe of Discourse : Triples and Closure and Monads Domain: blog.plover.com, Score: 42, Comments: 13 On Reddit: [24] http://goo.gl/7EDJX Original: [25] http://goo.gl/iPLnN * ANN: happstack-lite. A simpler, friendlier version of the Happstack Haskell Web Framework. What do you think? Domain: happstack.blogspot.com, Score: 35, Comments: 12 On Reddit: [26] http://goo.gl/Ii6Ch Original: [27] http://goo.gl/5wSZJ * HN/SPL - a better way to do your boring C++ job (written in Haskell) Domain: code.google.com, Score: 35, Comments: 16 On Reddit: [28] http://goo.gl/VxqIN Original: [29] http://goo.gl/9aAeZ * Fast lookup tables in haskell Domain: tab.snarc.org, Score: 34, Comments: 10 On Reddit: [30] http://goo.gl/mzgyw Original: [31] http://goo.gl/4VnrX * What Yesod Got Right Domain: yesodweb.com, Score: 34, Comments: 12 On Reddit: [32] http://goo.gl/eZhhK Original: [33] http://goo.gl/Li4mY Top StackOverflow Questions * What is a monad in FP, in categorical terms? votes: 30, answers: 7 Read on SO: [34] http://goo.gl/sC7PD * Haskell vs JVM performance [closed] votes: 24, answers: 6 Read on SO: [35] http://goo.gl/olA8g * Are there any Haskell techniques for mixed (part structure, part unmodified text) parsing & rewriting? votes: 24, answers: 1 Read on SO: [36] http://goo.gl/jRydd * STArray documentation for newbies and State/ST related questions votes: 17, answers: 1 Read on SO: [37] http://goo.gl/nw8eH * Should I avoid using Monad fail? votes: 15, answers: 3 Read on SO: [38] http://goo.gl/ruh7s * Effects of monomorphism restriction on type class constraints votes: 15, answers: 2 Read on SO: [39] http://goo.gl/QRbTh * Folding, function composition, monads, and laziness, oh my? votes: 14, answers: 2 Read on SO: [40] http://goo.gl/gped5 * Type error when ascribing a valid forall type to a let-bound variable votes: 13, answers: 2 Read on SO: [41] http://goo.gl/oyx0a * How do I organize my pure functions with my monadic actions idiomatically votes: 13, answers: 3 Read on SO: [42] http://goo.gl/6tByj * Is foldl ever preferable to its strict cousin, foldl'? votes: 13, answers: 2 Read on SO: [43] http://goo.gl/jFIe4 Until next time, Daniel Santa Cruz References 1. http://comments.gmane.org/gmane.comp.lang.haskell.cafe/93887 2. http://comments.gmane.org/gmane.comp.lang.haskell.general/19025 3. http://comments.gmane.org/gmane.comp.lang.haskell.general/19031 4. http://comments.gmane.org/gmane.comp.lang.haskell.general/19019 5. http://comments.gmane.org/gmane.comp.lang.haskell.libraries/16591 6. http://comments.gmane.org/gmane.comp.lang.haskell.cafe/93860 7. http://comments.gmane.org/gmane.comp.lang.haskell.cafe/93866 8. http://comments.gmane.org/gmane.comp.lang.haskell.cafe/93956 9. http://comments.gmane.org/gmane.comp.lang.haskell.cafe/94014 10. http://comments.gmane.org/gmane.comp.lang.haskell.cafe/94103 11. http://comments.gmane.org/gmane.comp.lang.haskell.yesod/941 12. http://byorgey.wordpress.com/2011/11/26/typeclassopedia-v2-moving-my-effort… 13. http://www.reddit.com/r/haskell/comments/mq2nr/typeclassopedia_moved_to_the… 14. http://hackage.haskell.org/trac/ghc/wiki/SIMD 15. http://www.reddit.com/r/haskell/comments/mbpoi/new_project_to_support_simd_… 16. http://www.haskell.org/pipermail/cvs-ghc/2011-November/068352.html 17. http://www.reddit.com/r/haskell/comments/mm68o/ghc_74_branched_whats_in_for… 18. http://blog.ezyang.com/2011/11/how-to-read-haskell/ 19. http://www.reddit.com/r/haskell/comments/mc2mw/how_to_read_haskell_like_pyt… 20. http://hackage.haskell.org/package/xmonad-0.10 21. http://www.reddit.com/r/haskell/comments/mhzu8/xmonad010_released/ 22. http://roy.brianmckenna.org/ 23. http://www.reddit.com/r/haskell/comments/mp245/roy_language_with_hindleymil… 24. http://blog.plover.com/math/monad-closure.html 25. http://www.reddit.com/r/haskell/comments/mfsfz/the_universe_of_discourse_tr… 26. http://happstack.blogspot.com/2011/11/ann-happstack-lite-friendly.html 27. http://www.reddit.com/r/haskell/comments/mcjoz/ann_happstacklite_a_simpler_… 28. http://code.google.com/p/inv/ 29. http://www.reddit.com/r/haskell/comments/mldzq/hnspl_a_better_way_to_do_you… 30. http://tab.snarc.org/posts/haskell/2011-11-15-lookup-tables.html 31. http://www.reddit.com/r/haskell/comments/mh1ox/fast_lookup_tables_in_haskel… 32. http://www.yesodweb.com/blog/2011/11/got-right 33. http://www.reddit.com/r/haskell/comments/mi4r7/what_yesod_got_right/ 34. http://stackoverflow.com/questions/8221395/what-is-a-monad-in-fp-in-categor… 35. http://stackoverflow.com/questions/8185282/haskell-vs-jvm-performance 36. http://stackoverflow.com/questions/8198808/are-there-any-haskell-techniques… 37. http://stackoverflow.com/questions/8197032/starray-documentation-for-newbie… 38. http://stackoverflow.com/questions/8163852/should-i-avoid-using-monad-fail 39. http://stackoverflow.com/questions/8270548/effects-of-monomorphism-restrict… 40. http://stackoverflow.com/questions/8249958/folding-function-composition-mon… 41. http://stackoverflow.com/questions/8190431/type-error-when-ascribing-a-vali… 42. http://stackoverflow.com/questions/8234162/how-do-i-organize-my-pure-functi… 43. http://stackoverflow.com/questions/8235797/is-foldl-ever-preferable-to-its-…

1 0