August 2011 - Haskell

Commercial Users of Functional Programming 2011: Call for Participation
by Anil Madhavapeddy 04 Aug '11

04 Aug '11

Commercial Users of Functional Programming Workshop (CUFP) 2011 Call for Participation Sponsored by SIGPLAN Co-located with ICFP 2011 _____________________________________________________________ September 22-24, 2011 Tokyo, Japan http://cufp.org/conference/schedule/2011 Reservation available through ICFP's website https://regmaster3.com/2011conf/ICFP11/register.php Register by Aug. 15th for reduced registration fees _____________________________________________________________ Functional programming languages have been a hot topic of academic research for over 35 years, and they have seen an ever larger practical impact in settings ranging from tech startups to financial firms to biomedical research labs. At the same time, a vigorous community of working programmers employing functional languages has come into existence. CUFP is designed to serve this community. The annual CUFP workshop is a place where people can see how others are using functional programming to solve real world problems; where practitioners meet and collaborate; where language designers and users can share ideas about the future of their favorite language; and where one can learn practical techniques and approaches for putting functional programming to work. CUFP 2011 will feature two days of tutorials given by language experts, on the 22nd and 23rd, and a day of talks on the 24th. Attendees may register for any subset of the days. Day 1, Tutorials (September 22nd) ================================= Morning: - Building reliable Client-Server Applications in Erlang (Francesco Cesarini) - Jane Street's OCaml Core library (Yaron Minsky) Afternoon: - Building a functional OS (Anil Madhavapeddy, David Scott, Richard Mortier) - Collaborative Scientific Software (Ashish Agarwal) Day 2, Tutorials (September 23rd) ================================= Morning: - Parallel Programming in Haskell (Simon Peyton Jones, Simon Marlow, Manuel Chakravarty) - Systems Programming in Scala (Steven Jensen, Marius Eriksen) Afternoon: - The Snap framework for web applications in Haskell (Gregory Collins) - F# for the working functional programmer (Michael Sperber) Day 3, Talks (September 24th) ================================= Keynote Lennart Augustsson (Standard Chartered) Theorem-based derivation of an AES Implementation John Launchbury (Galois) Discrete Event Simulation using Erlang Olivier Boudeville (EDF) Model based testing of AUTOSAR automotive components Thomas Arts (Quviq) HTML5 web application development in OCaml Keigo Imai (IT Planning) Large-scale Internet Services in Scala at Twitter Steve Jenson and Wilhelm Bierbaum (Twitter) Applying Functional Programming to Build Platform-Independent Mobile Applications Adam Granicz (Intellifactory) Fourteen Days of Haskell: A Real Time Programming Project in Real Time Gregory Wright (Alcatel-Lucent) Disco: using Erlang to implement Mapreduce, Nokia Prashanth Mundkur and Ville Tuulos and Jared Flatow (Nokia) Functional mzScheme DSLs in Game Development Dan Liebgold (Naughty Dog) OCaml and Acunu Experience Report Tom Wilkie and Andrew Byde (Acunu) There will be no published proceedings, as the meeting is intended to be more a discussion forum than a technical interchange, but videos of all the talks will be placed online after the event. For more information, including presentation abstracts and the most recent schedule information, visit: http://cufp.org See you there! Anil Madhavapeddy Yaron Minsky

1 0

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