- Haskell - Haskell.org

Haskell Weekly News: Issue 193
by Daniel Santa Cruz 04 Aug '11

04 Aug '11

Welcome to issue 193 of the HWN, a newsletter covering developments in the Haskell community. This release covers the week of July 24 to 30, 2011. [1] http://goo.gl/8hDku You can find an HTML rendition of this issue at: http://contemplatecode.blogspot.com/2011/08/haskell-weekly-news-issue-193.h… Announcements Wouter Swierstra issued a call for participation to the 16th ACM SIGPLAN International Conference on Function Programming (ICFP 2011) to be held in Tokyo, Japon on September 19-21, 2011. [2] http://goo.gl/ob6Tq New and Updated Projects These projects were announced in the mailing lists: * syntactic (Emil Axelsson): Update to version 0.5 [3] http://goo.gl/sKutg * Yi (Jeff Wheeler): Update to version 0.6.4.0 [4] http://goo.gl/Tr2Ns Quotes of the Week * sipa: it can optimize non-terminating programs into programs that output "<<loop>>" and quit; that's an optimization of infinity% ! * fazzone: People generally seem to react the same way to "My first assembly was x86" as "My dog died" -- "Oh my god, I'm so sorry" * [danharaj] I hate myself [edwardk] happy to help * bos: the number of people who grok rank-K types is inversely proportional to ackermann(K) * copumpkin: holy shit, I'm unsafeCoerce * quicksilver: edwardk had this brilliant idea of how he could stress-test our package architecture * chrisdone: monoid sounds like a name for a hairless alien species that communicates telepathically from star trek * [copumpkin] I basically translated repa to agda and made it all safe n shit. also all slow n shit [thoughtpolice] safe n shit, like, type systems yo * theorbtwo: Well, that's one way to respond to ghc having overly-long error messages. Just replace all error messges with "that's the stupidist shit I've ever heard". * acowley: I'm 101% sure I never would have figured it out. I was told all hope was lost, then simonmar swung in on his web shooters and figured it out * quicksilver: agda is an alluring trap for haskell programmers who hope to write better code. instead they end up writing no code. Top Reddit Stories * my humble rant about the Haskell learning curve Domain: willowbend.cx, Score: 66, Comments: 134 On Reddit: [5] http://goo.gl/g1buw Original: [6] http://goo.gl/3xDxl * GHC 7.2.* release candidates are now available Domain: haskell.org, Score: 28, Comments: 17 On Reddit: [7] http://goo.gl/0C0gx Original: [8] http://goo.gl/cvec5 * oleg compares iteratee with python's yield Domain: haskell.org, Score: 27, Comments: 12 On Reddit: [9] http://goo.gl/8YQKq Original: [10] http://goo.gl/BafGo * Report from HacPDX-II about progress on the new Hackage server Domain: well-typed.com, Score: 26, Comments: 0 On Reddit: [11] http://goo.gl/vBr7N Original: [12] http://goo.gl/QXy9a * Arrow = Category + Applicative? (Part I) Domain: cdsmith.wordpress.com, Score: 26, Comments: 34 On Reddit: [13] http://goo.gl/Zs5Yg Original: [14] http://goo.gl/AsfL1 * Profunctors in Haskell - A Neighborhood of Infinity Domain: blog.sigfpe.com, Score: 19, Comments: 11 On Reddit: [15] http://goo.gl/58CbB Original: [16] http://goo.gl/IKI9H * BlockedIndefinitelyOnMVar : Inside 1712B Domain: blog.ezyang.com, Score: 19, Comments: 3 On Reddit: [17] http://goo.gl/3Xtn0 Original: [18] http://goo.gl/4osPH * The Great Yesod Reorganization of 2011 Domain: yesodweb.com, Score: 18, Comments: 8 On Reddit: [19] http://goo.gl/ZGNoa Original: [20] http://goo.gl/V4buP * Is there a Haskell code formatter? Domain: stackoverflow.com, Score: 16, Comments: 32 On Reddit: [21] http://goo.gl/lQOX3 Original: [22] http://goo.gl/AthoZ * Building a Rate of Return System in Haskell – Part 3, Annualized Returns Domain: blog.virtucal.com, Score: 9, Comments: 7 On Reddit: [23] http://goo.gl/0QGPB Original: [24] http://goo.gl/R6am5 Top StackOverflow Questions * Is there a Haskell code formatter? votes: 18, answers: 1 Read on SO: [25] http://goo.gl/AthoZ * Help in understanding pointfree code votes: 17, answers: 1 Read on SO: [26] http://goo.gl/Ryy5c * Haskell: What is Weak Head Normal Form? votes: 17, answers: 5 Read on SO: [27] http://goo.gl/3CHAB * Understanding GHC assembly output votes: 13, answers: 1 Read on SO: [28] http://goo.gl/ujlve * What are Haskell's monad transformers in categorical terms? votes: 13, answers: 1 Read on SO: [29] http://goo.gl/vMPdO * Managing a stateful computation system in Haskell votes: 12, answers: 1 Read on SO: [30] http://goo.gl/HABkL * Am I using reactive-banana right? votes: 11, answers: 1 Read on SO: [31] http://goo.gl/7jiKr * Is there an object-identity-based, thread-safe memoization library somewhere? votes: 11, answers: 2 Read on SO: [32] http://goo.gl/7vGvl * Is there a practical way of using natural numbers in Haskell? votes: 11, answers: 2 Read on SO: [33] http://goo.gl/hJBK9 * Current state of integrating unit tests with Haskell's Cabal? votes: 10, answers: 1 Read on SO: [34] http://goo.gl/nm8Zc About the Haskell Weekly News To help create new editions of this newsletter, please send stories to dstcruz(a)gmail.com. Until next time, Daniel Santa Cruz References 1. http://haskell.org/ 2. http://permalink.gmane.org/gmane.comp.science.types.announce/2446 3. http://permalink.gmane.org/gmane.comp.lang.haskell.cafe/91427 4. http://permalink.gmane.org/gmane.editors.yi.devel/5550 5. http://willowbend.cx/2011/07/22/whats-wrong-with-learning-haskell/ 6. http://www.reddit.com/r/haskell/comments/j0say/my_humble_rant_about_the_has… 7. http://www.haskell.org/ghc/dist/7.2.1-rc1/ 8. http://www.reddit.com/r/haskell/comments/j3yly/ghc_72_release_candidates_ar… 9. http://www.haskell.org/pipermail/haskell-cafe/2011-July/094384.html 10. http://www.reddit.com/r/haskell/comments/j32c4/oleg_compares_iteratee_with_… 11. http://www.well-typed.com/blog/57 12. http://www.reddit.com/r/haskell/comments/iznjs/report_from_hacpdxii_about_p… 13. http://cdsmith.wordpress.com/2011/07/30/arrow-category-applicative-part-i/ 14. http://www.reddit.com/r/haskell/comments/j4h6a/arrow_category_applicative_p… 15. http://blog.sigfpe.com/2011/07/profunctors-in-haskell.html 16. http://www.reddit.com/r/haskell/comments/iyima/profunctors_in_haskell_a_nei… 17. http://blog.ezyang.com/2011/07/blockedindefinitelyonmvar/ 18. http://www.reddit.com/r/haskell/comments/j1ld6/blockedindefinitelyonmvar_in… 19. http://www.yesodweb.com/blog/2011/07/yesod-reorg 20. http://www.reddit.com/r/haskell/comments/iz2ew/the_great_yesod_reorganizati… 21. http://stackoverflow.com/questions/6870148/is-there-a-haskell-code-formatter 22. http://www.reddit.com/r/haskell/comments/j31f4/is_there_a_haskell_code_form… 23. http://blog.virtucal.com/cyclical/2011/7/28/building-a-rate-of-return-syste… 24. http://www.reddit.com/r/haskell/comments/j2gyp/building_a_rate_of_return_sy… 25. http://stackoverflow.com/questions/6870148/is-there-a-haskell-code-formatter 26. http://stackoverflow.com/questions/6797247/help-in-understanding-pointfree-… 27. http://stackoverflow.com/questions/6872898/haskell-what-is-weak-head-normal… 28. http://stackoverflow.com/questions/6808867/understanding-ghc-assembly-output 29. http://stackoverflow.com/questions/6854303/what-are-haskells-monad-transfor… 30. http://stackoverflow.com/questions/6835777/managing-a-stateful-computation-… 31. http://stackoverflow.com/questions/6812533/am-i-using-reactive-banana-right 32. http://stackoverflow.com/questions/6878193/is-there-an-object-identity-base… 33. http://stackoverflow.com/questions/6884220/is-there-a-practical-way-of-usin… 34. http://stackoverflow.com/questions/6787231/current-state-of-integrating-uni…

1 0

ANNOUNCE: vector-algorithms 0.5.2
by Dan Doel 04 Aug '11

04 Aug '11

Greetings, Following some work at hac-phi, I've finally put together a new release of vector-algorithms. It should now be available via hackage, or you can pull from code.haskell.org if you prefer: hackage: http://hackage.haskell.org/package/vector-algorithms/ latest: darcs get http://code.haskell.org/~dolio/vector-algorithms/ The highlights of the new release are as follows: - Some bit rot in the test suite has been fixed - Some strictness has been added to the merge sort to improve unboxing on current GHCs - A couple out-of-bounds errors have been caught and fixed - An entirely new sort---American flag sort---has been added to the line-up * American flag sort is an in-place bucket sort, which only uses a constant amount of auxiliary heap space (determined by the element type). And unlike a typical radix sort, it is actually suitable for sorting arrays of variable-length (O(1) lookup) strings. To this end, there is a (strict) ByteString instance for the relevant class, and possibly more such instances to come. Bug reports, patches, requests, etc. can be sent to me at this address. Enjoy, -- Dan

1 0

VSTTE 2012 : Fourth Call for Papers - 4 weeks to go
by Gudmund Grov 03 Aug '11

03 Aug '11

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 will be held in parallel to the conference. More information will be available from the website. Topics of interest include: * Specification and verification techniques * Tool support for specification languages * Tool for various design methodologies * Tool integration and plug-ins * Automation in formal verification * Tool comparisons and benchmark repositories * Combination of tools and techniques (e.g. formal vs. semiformal, software specification vs. engineering techniques) * Customizing tools for particular applications * Challenge problems * Refinement methodologies * Requirements modeling * Specification languages * Specification/verification case-studies * Software design methods * Program logic SUBMISSIONS Submitted research papers and system descriptions must be original and not submitted for publication elsewhere. Research paper submissions are limited to 15 proceedings pages in LNCS format and must include a cogent and self-contained description of the ideas, methods and results, together with a comparison to existing work. System descriptions are also limited to 15 proceedings pages in LNCS format. Authors are encouraged to submit work in progress, particularly if the work involves collaboration, theory unification, and tool integration. Papers can be submitted at https://www.easychair.org/conferences/?conf=vstte2012 Submissions that arrive late, are not in the proper format, or are too long will not be considered. The proceedings of VSTTE 2012 will be published by Springer-Verlag in the LNCS series. Authors of accepted papers will be requested to sign a form transferring copyright of their contribution to Springer-Verlag. IMPORTANT DATES August 31, 2011: Conference Paper Submission Deadline October 20, 2011: Notification of acceptance November 15, 2011: Final conference paper versions due January 28-29, 2012: Main conference KEYNOTE SPEAKERS Rupak Majumdar, Max Planck Institute for Software Systems Wolfgang Paul, Saarland University TUTORIALS Francesco Logozzo, Microsoft Research Rustan Leino, Microsoft Research CONFERENCE CHAIR Ernie Cohen, European Microsoft Innovation Center PROGRAM CHAIRS Rajeev Joshi, NASA Jet Propulsion Laboratory Peter Müller, ETH Zurich Andreas Podelski, University of Freiburg PROGRAM COMMITTEE Clark Barrett, New York University Lars Birkedal, IT University of Copenhagen Patrick Cousot, Ecole normale Supérieure, Paris and New York University Leonardo De Moura, Microsoft Research Jean-Christophe Filliatre, CNRS Université Paris Sud John Hatcliff, Kansas State University Bart Jacobs, Katholieke Universiteit Leuven Ranjit Jhala, University of California, San Diego Rajeev Joshi, NASA JPL Gerwin Klein, NICTA Viktor Kuncak, EPF Lausanne Gary T. Leavens, University of Central Florida Rustan Leino, Microsoft Research Panagiotis Manolios, Northeastern University Peter Müller, ETH Zurich Tobias Nipkow, Technische Universität München Matthew Parkinson, Microsoft Research Corina Pasareanu, NASA Ames Wolfgang Paul, Saarland University Andreas Podelski, University of Freiburg Natasha Sharygina, University of Lugano Willem Visser, University of Stellenbosch Thomas Wies, IST Austria PUBLICITY CHAIR Gudmund Grov, University of Edinburgh VERIFICATION COMPETITION ORGANISER Jean-Christophe Filliatre, CNRS Université Paris Sud STEERING COMMITTEE Tony Hoare, Microsoft Research Andrew Ireland, Heriot-Watt University Jay Misra, UT Austin Natarajan Shankar, SRI International Jim Woodcock, University of York -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.

1 0

CFP: 23rd Symposium on Implementation and Application of Functional Languages (IFL 2011)
by Andy Gill 02 Aug '11

02 Aug '11

CALL FOR PAPERS 23rd Symposium on Implementation and Application of Functional Languages (IFL 2011) October 3-5, 2011 University of Kansas Lawrence, Kansas, USA http://www.ittc.ku.edu/ifl2011 The Symposium returns to the US this year, hosted by the University of Kansas, in scenic Lawrence, Kansas. Lawrence is a lively college town less than an hour from Kansas City and the Kansas City International Airport (MCI). The symposium dates are October 3-5, 2011. The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2011 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional languages and function-based programming. Following the IFL tradition, IFL 2011 will use a post-symposium review process to produce formal proceedings which will be published by Springer Verlag in the Lecture Notes in Computer Science series. All participants in IFL 2011 are invited to submit either a draft paper or an extended abstract describing work to be presented at the symposium. At no time may work submitted to IFL be simultaneously submitted to other venues. Here we follow the ACM Sigplan republication policy: http://www.sigplan.org/republicationpolicy.htm. The submissions will be screened by the program committee chair to make sure they are within the scope of IFL, and will appear in the draft proceedings distributed at the symposium. Submissions appearing in the draft proceedings are not peer-reviewed publications. After the symposium, authors will be given the opportunity to incorporate the feedback from discussions at the symposium and will be invited to submit a revised full article for the formal review process. These revised submissions will be reviewed by the program committee using prevailing academic standards to select the best articles, which will appear in the formal proceedings. INVITED SPEAKER Bryan O'Sullivan, author of Real World Haskell, and co-founder of MailRank, Inc. TOPICS IFL welcomes submissions describing practical and theoretical work as well as submissions describing applications and tools. If you are not sure that your work is appropriate for IFL 2011, please contact the PC chair at andygill(a)ittc.ku.edu. Topics of interest include, but are not limited to: language concepts type checking contracts compilation techniques staged compilation runtime function specialization runtime code generation partial evaluation (abstract) interpretation generic programming techniques automatic program generation array processing concurrent/parallel programming concurrent/parallel program execution functional programming and embedded systems functional programming and web applications functional programming and security novel memory management techniques runtime profiling and performance measurements debugging and tracing virtual/abstract machine architectures validation and verification of functional programs tools and programming techniques industrial applications of functional programming PAPER SUBMISSIONS Prospective authors are encouraged to submit papers or extended abstracts to be published in the draft proceedings and to present them at the symposium. All contributions must be written in English, conform to the Springer-Verlag LNCS series format and not exceed 16 pages. The draft proceedings will appear as a technical report of the Department of Electrical Engineering and Computer Science of the University of Kansas. (We are more liberal with the draft proceedings, also accepting (for example) longer papers or SIGPLAN 2 column 12 page papers. For other formats contact the chair. For the consideration for the final proceedings, the 16 page LNCS format is required.) PETER LANDIN PRIZE The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honored article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 Euros. IMPORTANT DATES Presentation submission deadline August 15th, 2011 Notification of acceptance: August 19th, 2011 Early registration deadline: September 2nd, 2011 IFL 2011 Symposium: October 3-5, 2011 Submission for (post) review process: November 30th, 2011 Notification Accept/Reject: January 30th, 2012 Camera ready version: March 9th, 2012 PROGRAM COMMITTEE Torben Amtoft, Kansas State University Francesco Cesarini, Erlang Solutions Ltd Olaf Chitil, University of Kent Eelco Dolstra, Delft University of Technology Martin Erwig, Oregon State University Andy Gill, University of Kansas (Chair) Alwyn Goodloe, NASA Jurriaan Hage, Utrecht University Kevin Hammond, University of St. Andrews Bill Harrison, University of Missouri Ralf Hinze, Oxford University James Hook, Portland State University Garrin Kimmell, University of Iowa Andres Löh, Well-Typed LLP Rita Loogen, Philipps-University Marburg Neil Mitchell, Standard Chartered Rex Page, Oklahoma University Rinus Plasmeijer, Radboud University Nijmegen Sven-Bodo Scholz, University of Hertfordshire Mary Sheeran, Chalmers Satnam Singh, Microsoft Research Walid Taha, Halmstad University Simon Thompson, University of Kent Geoffrey Washburn, LogicBlox ---- Andy Gill, <andygill(a)ku.edu> Assistant Professor The University of Kansas, EECS Department Information and Telecommunication Technology Center http://www.ittc.ku.edu/csdl/fpg/Users/AndyGill

1 0

Eddie - a tool for shell scripting with haskell
by Mike Meyer 31 Jul '11

31 Jul '11

Eddie 0.2 is now available. The easy install is via cabal, but source is available from the project page on googlecode (http://eddie.googlecode.com) Eddie is a tool that runs Haskell functions of type String -> String as shell filters. Eddie was developed as an experiment in using functional languages for shell scripting. The reasons and results of that are discussed in my blog entry at http://blog.mired.org/2011/07/eddie-shell-scripting-with-haskell.html. Version 0.2 cleaned up error handling and added a flag to allow proper processing of binary files on Windows. Version 0.1 was released without a formal announcement. <mike -- Mike Meyer <mwm(a)mired.org> http://www.mired.org/ Independent Software developer/SCM consultant, email for more information. O< ascii ribbon campaign - stop html mail - www.asciiribbon.org

1 0

Haskell Weekly News: Issue 192
by Daniel Santa Cruz 28 Jul '11

28 Jul '11

Welcome to issue 192 of the HWN, a newsletter covering developments in the Haskell community. This release covers the week of July 17 to 23, 2011. [1] http://goo.gl/8hDku You can find an HTML rendition of this issue at: http://contemplatecode.blogspot.com/2011/07/haskell-weekly-news-issue-192.h… Announcements Nicolas Wu announced the 4th edition of the Haskell Parallel Digest. The digest is made possible by the Parallel GHC Project. [2] http://goo.gl/lm5T1 Quotes of the Week * copumpkin: perhaps I should stop eating people I've never met * Saizan: agda is webscale in the sense that you need half of The Cloud to run the typechecker * kmc: my algorithm is O(1), but the constant factor grows quadratically as the problem size increases * cmccann: C++ is dual to Haskell in a sense: it's much too hard for the average programmer to use safely, but they do anyway with disastrous results; whereas Haskell isn't actually that difficult to use but people don't even try Top Reddit Stories * What Haskell Doesn't Have Domain: elaforge.blogspot.com, Score: 73, Comments: 58 On Reddit: [3] http://goo.gl/17UDu Original: [4] http://goo.gl/u4Ozy * Take the State of Haskell 2011 Survey Domain: blog.johantibell.com, Score: 55, Comments: 0 On Reddit: [5] http://goo.gl/Q7iip Original: [6] http://goo.gl/jq1Je * Economic Interpreter for Haskell Domain: pnyf.inf.elte.hu, Score: 40, Comments: 5 On Reddit: [7] http://goo.gl/BmBqf Original: [8] http://goo.gl/92mfS * Haskell on Heroku Domain: yesodweb.com, Score: 38, Comments: 5 On Reddit: [9] http://goo.gl/LYHZY Original: [10] http://goo.gl/Ly4n7 * Haskell Stickers! Domain: redbubble.com, Score: 33, Comments: 7 On Reddit: [11] http://goo.gl/WVXoH Original: [12] http://goo.gl/RpQ0f * Rewritten Agda introduction Domain: pnyf.inf.elte.hu, Score: 31, Comments: 34 On Reddit: [13] http://goo.gl/gz6TJ Original: [14] http://goo.gl/oTg5J * A plugin for GHC to turn Haskell into a strict language Domain: github.com, Score: 28, Comments: 18 On Reddit: [15] http://goo.gl/BK4os * What is the state of HackageDB 2.0? Domain: hackage.haskell.org, Score: 26, Comments: 8 On Reddit: [16] http://goo.gl/nrMTc Original: [17] http://goo.gl/tui2x * wxHaskell: The road to the Haskell Platform? Domain: sourceforge.net, Score: 26, Comments: 33 On Reddit: [18] http://goo.gl/vqfPC Original: [19] http://goo.gl/KNa16 * Just do It: Simple Monadic Equational Reasoning [pdf] Domain: cs.ox.ac.uk, Score: 24, Comments: 2 On Reddit: [20] http://goo.gl/GG0cs Original: [21] http://goo.gl/7MHGw * Cabal-dev 0.8 is out with improvements to: flag parsing, user cabal settings, cabal-dev ghci and more! Domain: github.com, Score: 24, Comments: 15 On Reddit: [22] http://goo.gl/YO6Q6 * Functors, applicative functors, monads – their relationship by example Domain: heh.fi, Score: 23, Comments: 0 On Reddit: [23] http://goo.gl/bkJ4Y Original: [24] http://goo.gl/bf6zo * Snap 0.5.2 released Domain: snapframework.com, Score: 23, Comments: 0 On Reddit: [25] http://goo.gl/0RCh3 Original: [26] http://goo.gl/jeFU5 Top StackOverflow Questions * Help in understanding pointfree code votes: 14, answers: 1 Read on SO: [27] http://goo.gl/Ryy5c * How can I combine Handles in Haskell? votes: 12, answers: 2 Read on SO: [28] http://goo.gl/25W4E * Current state of integrating unit tests with Haskell's Cabal? votes: 9, answers: 1 Read on SO: [29] http://goo.gl/nm8Zc * Does iteratee I/O make sense in non-functional languages? votes: 9, answers: 2 Read on SO: [30] http://goo.gl/f8YhP * Literate Haskell: References And Indexing votes: 8, answers: 1 Read on SO: [31] http://goo.gl/QYPBK * Call C Functions from Haskell at runtime votes: 7, answers: 1 Read on SO: [32] http://goo.gl/oj0R7 * Type-class instances for types with 2 parameters when the type-class has only one votes: 7, answers: 2 Read on SO: [33] http://goo.gl/JmxBr * List of options: equivalent of sequence in Scala? votes: 7, answers: 4 Read on SO: [34] http://goo.gl/MnZg8 * Is it necessary to specify every superclass in a class context of a class declaration? votes: 7, answers: 1 Read on SO: [35] http://goo.gl/OxoSN * Partial decoding of ByteStrings to Text votes: 7, answers: 1 Read on SO: [36] http://goo.gl/9JSKw * Haskell, algorithms and school votes: 7, answers: 1 Read on SO: [37] http://goo.gl/bsM5v About the Haskell Weekly News To help create new editions of this newsletter, please send stories to dstcruz(a)gmail.com. Until next time, Daniel Santa Cruz References 1. http://haskell.org/ 2. http://permalink.gmane.org/gmane.comp.lang.haskell.parallel/14 3. http://www.reddit.com/r/haskell/comments/iuhc0/what_haskell_doesnt_have/ 4. http://elaforge.blogspot.com/2011/07/what-haskell-doesnt-have.html 5. http://www.reddit.com/r/haskell/comments/irxtf/take_the_state_of_haskell_20… 6. http://blog.johantibell.com/2011/07/its-time-for-this-years-state-of.html 7. http://www.reddit.com/r/haskell/comments/iuswk/economic_interpreter_for_has… 8. http://pnyf.inf.elte.hu/fp/Economic_en.xml?yes 9. http://www.reddit.com/r/haskell/comments/iuoun/haskell_on_heroku/ 10. http://www.yesodweb.com/blog/2011/07/haskell-on-heroku 11. http://www.reddit.com/r/haskell/comments/iwm3r/haskell_stickers/ 12. http://www.redbubble.com/products/configure/6390818-sticker 13. http://www.reddit.com/r/haskell/comments/itkii/rewritten_agda_introduction/ 14. http://pnyf.inf.elte.hu/fp/Overview_en.xml?fuckyoureddit#agda 15. http://www.reddit.com/r/haskell/comments/iur1n/a_plugin_for_ghc_to_turn_has… 16. http://www.reddit.com/r/haskell/comments/isqmc/what_is_the_state_of_hackage… 17. http://hackage.haskell.org/trac/hackage/wiki/HackageDB/2.0 18. http://www.reddit.com/r/haskell/comments/itwl5/wxhaskell_the_road_to_the_ha… 19. http://sourceforge.net/mailarchive/forum.php?thread_name=alpine.DEB.2.00.11… 20. http://www.reddit.com/r/haskell/comments/it13r/just_do_it_simple_monadic_eq… 21. http://www.cs.ox.ac.uk/jeremy.gibbons/publications/mr.pdf 22. http://www.reddit.com/r/haskell/comments/it50b/cabaldev_08_is_out_with_impr… 23. http://www.reddit.com/r/haskell/comments/it3lh/functors_applicative_functor… 24. http://heh.fi/haskell/functors/ 25. http://www.reddit.com/r/haskell/comments/iv6g3/snap_052_released/ 26. http://snapframework.com/blog/2011/07/20/snap-0.5.2-released 27. http://stackoverflow.com/questions/6797247/help-in-understanding-pointfree-… 28. http://stackoverflow.com/questions/6736790/how-can-i-combine-handles-in-has… 29. http://stackoverflow.com/questions/6787231/current-state-of-integrating-uni… 30. http://stackoverflow.com/questions/6795384/does-iteratee-i-o-make-sense-in-… 31. http://stackoverflow.com/questions/6736482/literate-haskell-references-and-… 32. http://stackoverflow.com/questions/6740850/call-c-functions-from-haskell-at… 33. http://stackoverflow.com/questions/6747083/type-class-instances-for-types-w… 34. http://stackoverflow.com/questions/6750609/list-of-options-equivalent-of-se… 35. http://stackoverflow.com/questions/6782389/is-it-necessary-to-specify-every… 36. http://stackoverflow.com/questions/6786328/partial-decoding-of-bytestrings-… 37. http://stackoverflow.com/questions/6797216/haskell-algorithms-and-school

1 0

ICFP 2011: Call for participation
by Wouter Swierstra 26 Jul '11

26 Jul '11

===================================================================== Call for Participation The 16th ACM SIGPLAN International Conference on Functional Programming (ICFP 2011) http://www.icfpconference.org/icfp2011/ Tokyo, Japan September 19-21, 2011 ===================================================================== ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries. * Program: http://www.icfpconference.org/icfp2011/program.html * Registration link: https://regmaster3.com/2011conf/ICFP11/register.php * Local arrangements (including travel and accommodation): http://www.biglab.org/icfp11local/index.html Schedule including related events: September 18 Workshop on Generic Programming (WGP) Workshop on High-Level Parallel Programming and Applications (HLPP) Workshop on ML September 19-21 ICFP September 22 Commercial Users of Functional Programming – Day 1 (CUFP Tutorials) Haskell Symposium September 23 Commercial Users of Functional Programming – Day 2 (CUFP Tutorials) Erlang Workshop Haskell Implementors' Workshop September 24 Commercial Users of Functional Programming – Day 3 (CUFP Talks) Continuation Workshop Conference organizers: * General Co-Chairs: Manuel Chakravarty, University of New South Wales Zhenjiang Hu, National Institute of Informatics * Program Chair: Olivier Danvy, Aarhus University * Local Arrangements Chair: Soichiro Hidaka, National Institute of Informatics * Workshop Co-Chairs: Gabriele Keller, University of New South Wales Derek Dreyer, MPI-SWS * Programming Contest Chair: Eijiro Sumii, Tohoku University * Publicity Chair: Wouter Swierstra, Radboud Universiteit Nijmegen =====================================================================

1 0

Announce: Yi 0.6.4.0
by Jeff Wheeler 24 Jul '11

24 Jul '11

Hi all, I'd like to announce a new release of Yi, a text editor written in and extensible in Haskell. ## What's new? * Minimal Java syntax lexer * Many, many Pango improvements (both speed and behavioral!) * Creating files by simply editing files that don't yet exist now works correctly * Yi now supports keymaps with the hyper key * Yi now has some support for more complicated window layouts ## What's Yi? Yi is a text editor written in Haskell and extensible in Haskell. The long-term goal of the Yi project is to provide the editor of choice for Haskell programmers. Yi now works relatively well in the terminal, using the vty package, and also has Gtk frontends using vte (which interfaces with the terminal interface) and a Pango frontend. There is also a Cocoa frontend under (slow) development. ## Installation Using cabal install: $ cabal update $ cabal install yi The default UI depends on the vty package, which will only compile with the ncurses development headers available. On Ubuntu, you need to install the `libncurses5-dev` package. On Windows, you'll need to disable the default vty terminal UI, and use a Gtk UI instead (the vte UI requires vty, so you can't install that either): $ cabal install yi -f-vty -fpango (Windows support is not well-tested, though.) Optionally also install the contrib package: $ cabal install yi-contrib ## Features * A purely functional editor core * Key-bindings written as parsers of the input * Emacs, Vim and (partial) Cua emulations provided by default * Console front-end (Gtk2Hs and Cocoa front-ends in development) * Static configuration (XMonad style) for fast load * Haskell support: * Lexical highlighting and (unicode-based) beautification. * Layout-aware parenthesis-matching * Auto-indentation * cabal-build within the editor * Syntax highlighting for a number of other languages (latex, python, perl, ...) ## More Info Read the README [1] on GitHub for more information. The source code [2] is also hosted there. ## Credits This release is brought to you by: * Andrew Myers * Andy Gocke * arenl * Corey O'Connor * Jeff Wheeler * Jeremy Wall * Reiner Pope * Robin Green and all the contributors to the previous versions. Also, Yi would not exist without all the work put into the Haskell platform. [1] https://github.com/yi-editor/yi/blob/master/README.md [2] https://github.com/yi-editor/yi -- Jeff Wheeler Undergraduate, Electrical Engineering University of Illinois at Urbana-Champaign

1 0

ANN: shelltestrunner 1.0
by Simon Michael 24 Jul '11

24 Jul '11

I'm pleased to announce the 1.0 release of shelltestrunner! Home page: http://joyful.com/repos/shelltestrunner Install: $ cabal install shelltestrunner shelltestrunner tests command-line programs or arbitrary shell commands. It reads simple declarative tests specifying a command, some input, and the expected output, error output and exit status. Tests can be run selectively, in parallel, with a timeout, in color, and/or with differences highlighted. Projects using it include hledger, yesod, and berp. shelltestrunner is free software released under GPLv3+. I started shelltestrunner two years ago, inspired by John Wiegley's ledger tests. John Macfarlane, Bernie Pope and Trygve Laugst?l have contributed code. The hackage page shows the libraries it relies on - most notably, Max Bolingbroke's test-framework. The site uses hakyll, pandoc & hamlet. New in 1.0: * New home page/docs * The `>>>=` field is now required; you may need to add it to your existing tests * Input and expected output can now contain lines beginning with `#` * Multiple tests in a file may now have whitespace between them * The `-i/--implicit` option has been dropped * New `-d/--diff` option shows test failures as a unified diff when possible, including line numbers to help locate the problem * New `-x/--exclude` option skips certain test files (eg platform-specific ones) * Passing arguments through to test-framework is now more robust * Fixed: parsing could fail when input contained left angle brackets * Fixed: some test files generated an extra blank test at the end

1 0

Lectureship at St Andrews, closing date 27/7/11
by Kevin Hammond 23 Jul '11

23 Jul '11

Lecturer in Computer Science - SK8461 Salary: £36,862 - £45,336 per annum Start: September 2011 or as soon as possible thereafter Details The Scottish Informatics and Computer Science Alliance (SICSA) is creating a world-leading Computer Science research community across the universities in Scotland. As part of this initiative, we seek lectureship applications from researchers with expertise in the SICSA themes of Next Generation Internet; Complex Systems Engineering; Multi-modal Interaction and Modelling & Abstraction. We are particularly interested in candidates with expertise in sensor systems, multicore systems, embedded systems, data intensive systems or wireless communications and especially those who bridge two or more of these areas. Full details and application forms at: https://www.vacancies.st-andrews.ac.uk/ViewVacancy.aspx?enc=mEgrBL4XQK0+ld8… Best Wishes, Kevin -------- Kevin Hammond, Professor of Computer Science, University of St Andrews T: +44-1334 463241 F: +44-1334-463278 W: http://www.cs.st-andrews.ac.uk/~kh In accordance with University policy on electronic mail, this email reflects the opinions of the individual concerned, may contain confidential or copyright information that should not be copied or distributed without permission, may be of a private or personal nature unless explicitly indicated otherwise, and should not under any circumstances be taken as an official statement of University policy or procedure (see http://www.st-and.ac.uk) The University of St Andrews is a charity registered in Scotland : No SC013532

1 0