- Haskell - Haskell.org

Fwd: Haskell Weekly News
by Kim-Ee Yeoh 07 Aug '15

07 Aug '15

*Editorial:*Over a month has elapsed since the last issue. Is the Weekly News turning into the Monthly News? No. I've been working on getting full-length articles into the News. Imagine articles that investigate, analyze, and give the low-down on hoary issues like cabal hell that cannot be telegrammed in a two-sentence paragraph. But my time isn't quantum mechanical. When I do A, I can't at the same time do B. I know that there are fine haskellers who'd gladly write for pay. However, HWN has never had a foundation in place for paid articles. Building that foundation takes time. Now that much of it is in place, let me duly announce that HWN hereby solicits reviews, reports, criticism pieces, and personal essays. - Flexible word count: anywhere between 250 and 750 is fine. - Send me an outline first. - Published articles pay at 68 bitcents, under 200 euros / dollars right now. - You can count on extensive editing for the requisite polish and also to conform to 'house' style. Interested? Email me with a subject line that starts with "[HWN pitch]" followed by the title of your piece. In the body, outline the main points you'll hit and explain how they engage the HWN readership. So on with the News : *Top picks:* - Galois organizes this year's ICFP contest. The 72-hour countdown has just started! After tantalizing us with whisperings of more computational archaelogy (see 2006 ICFP contest <http://www.boundvariable.org/>) centering on honey bees, national food security, and the Hebrew alphabet; Portland, Oregon reveals a classic offline AI game programming challenge <http://icfpcontest.org/spec.html>. According to redditor skatenerd <https://www.reddit.com/r/haskell/comments/3g1n8f/this_years_icfp_contest_st…>, "it's a lot like Tetris, except you know what pieces are coming." - Rick Dzekman <http://rickdzekman.com/thoughts/the-haskell-user-experience/> offers constructive criticism based on his "poor UX (User Experience) of a great language (Haskell)". Among the low-lying fruit he identifies: a web search doesn't always link to the latest version on the Hackage website, something easily fixed. Not so low-lying are Cabal, a modern IDE, and Haskell wiki documentation. In sympathy with the sentiments are HN readers <https://news.ycombinator.com/item?id=10008169> and /r/haskell <https://www.reddit.com/r/haskell/comments/3ftsh0/the_haskell_user_experienc…> . - Christoffer Stjernlöf brings attention to how only in imperative land does one encounter the awfulness of the same boolean expression getting tested twice in a nested if-inside-if. He uses it to make "the case for controlled side effects", the title of his blog post. Discussions on /r/haskell <http://www.reddit.com/r/haskell/comments/3fzmt6/the_case_for_controlled_sid…> and Hacker News <https://news.ycombinator.com/item?id=10017613>. - Alexey Shmalko introduces Haskell IO as "the command pattern" <http://www.alexeyshmalko.com/2015/io-is-your-command-pattern/> to object-oriented programmers. His article resists mentioning monads or do-notation. Appreciated on /r/haskell <http://www.reddit.com/r/haskell/comments/3fzmt6/the_case_for_controlled_sid…> . - The latest issue of the Functional Works monthly newsletter <http://us10.campaign-archive2.com/?u=30f19e2c5b9f15cfb95906716&id=cee1ab0dc6> reminds us about Chakravarty and Keller's "An Introduction to Computing (with Haskell)", a textbook written from multiple years teaching first-year CS. At 150 pages, the book dodges monads -- nary a single mention -- and zooms into I/O actions. It's out-of-print but readily downloadable <https://www.cse.unsw.edu.au/~chak/papers/#sec:books>. - The program for this year's Haskell Symposium <https://www.haskell.org/haskell-symposium/2015/> is out. PC chaired by Ben Lippmeier, it's truly a smorgasbord. If you can't find a preprint, indefatigable redditors <http://www.reddit.com/r/haskell/comments/3dxxj3/haskell_symposium_2015_acce…> might just have got you covered. - Zhenjiang Hu, John Hughes, and Meng Wang publish "How Functional Programming Mattered" <http://nsr.oxfordjournals.org/content/early/2015/07/13/nsr.nwv042>, a survey of FP's impact outside its academic domain in recent years. It is written in the mold of and complements A History of Haskell: Being Lazy with Class (2007) <http://research.microsoft.com/en-us/um/people/simonpj/papers/history-of-has…>. Comprising 17.5 pages of 2-column ACM-proceedings-style 9-point text, it houses the bibliographical treasure of 122 references, itself a contribution to any debate over priority. /r/haskell <https://www.reddit.com/r/haskell/comments/3f5yew/how_functional_programming…> - Victor Maia writes a lambda calculus evaluator in javascript <https://github.com/SrVictorMaia/optlam> that computes 200^200 mod 31 without breaking a sweat. No mean feat, since all numbers are church numerals. How did he pull it off? His javascript implements a fragment of Lamping's optimal algorithm, which is based on interaction nets. (Optimality here is in the sense of Levy-optimality: keeping the number of beta reductions down to an absolute minimum. By itself, this count is generally an inaccurate measure of efficiency.) He wonders on stackoverflow <http://stackoverflow.com/questions/31707614/why-are-%CE%BB-calculus-optimal…> why optimal evaluation has such magical superpowers. The convo at /r/haskell <http://www.reddit.com/r/haskell/comments/3f21wv/why_are_%CE%BBcalculus_opti…> has yet to crack the mystery. - Philippe Desjardins Proulx <http://phdp.github.io/posts/2015-04-05-automated-reasoning.html> codes and compares a basic arithmetic expression evaluator in all 5 languages of F#, Scala, Haskell, C++, and Julia. The evaluator acts on a given tree: Philippe doesn't touch parsing. Go, Erlang, and Elixir versions are in HN comments <https://news.ycombinator.com/item?id=9995896>. - Redditor gilmi starts a discussion on /r/haskell about the various FRP systems <https://www.reddit.com/r/haskell/comments/3fr5ij/frp_systems_discussion/> out there and whether they're ready for real-world use. Ollie Charles glosses classic vs arrowized systems, Doug Beardsley at Soostone testifies that "reflex is the first thing I've used that makes building web UIs enjoyable for me, which is very exciting", and Joseph Abrahamson channels Conal Elliott in staking out the acronym to mean exclusively those systems that admit continuous time. *Quotes of the Week:* - Andrew Cowie <https://twitter.com/afcowie/status/612764291863703552>: The highlight of my day is "cd ~/src/haskell/stack ; git pull ; stack install". What goodies have they landed this time? - Cale Gibbard <http://ircbrowse.net/browse/haskell?id=20873306&timestamp=1434453345#t14344…>: I basically never turn on IncoherentInstances because it basically means "I don't want anything to work, and I'd like to be confused about why." - Redditor fegu <https://www.reddit.com/r/haskell/comments/3fqiff/dont_give_up_on_haskell/ct…>: Haskell is like a mental drug, after a few initial hits you absolutely crave it. You will forego lucrative .Net career moves just to keep it, hence your long-term career will take a hit. But the days will be brighter, more enjoyable and there is just that glimmer of hope that in the end you will be able to practice Haskell full time in a well-paid position. I wish I was joking. - On ageism in the software industry <https://news.ycombinator.com/item?id=9710936#up_9711829>: Maybe I've been lucky, but this doesn't mesh with my experience at all. The oldest guys at my company are the ones teaching the classes about Haskell or Scalaz. They're the ones trying out Elixir. They're the ones building frameworks for everyone else to build on top of. The youngest people are banging out feature #4,501 for the website. *Real World Haskell of the Week:* - Fed up with the laggy Netflix UI? Check out the snappy Haskell-powered instantwatcher.com. H/T erichmond on HN <https://news.ycombinator.com/item?id=10013434#up_10016932>. -- Kim-Ee

1 0

Re: [Haskell] ANNOUNCE: Haskell Platform 7.10.2-a (Mark Lentczner)
by 吕文龙 06 Aug '15

06 Aug '15

just want to know why do I have to be a root user to install haskell platform? ------------------ 吕文龙 MP：18801735051 复旦大学2010级微电子学与固体电子学专业（School of Microelectronics,Fudan University）通讯地址：上海市浦东新区蔡伦路1433弄3号楼803（Room 803 Building 3 Lane 1433 Cailun Road, Pudong District, Shanghai, China） ------------------ Original ------------------ From: "haskell-request";<haskell-request(a)haskell.org>; Date: Wed, Aug 5, 2015 08:00 PM To: "haskell"<haskell(a)haskell.org>; Subject: Haskell Digest, Vol 144, Issue 4 Send Haskell mailing list submissions to haskell(a)haskell.org To subscribe or unsubscribe via the World Wide Web, visit http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell or, via email, send a message with subject or body 'help' to haskell-request(a)haskell.org You can reach the person managing the list at haskell-owner(a)haskell.org When replying, please edit your Subject line so it is more specific than "Re: Contents of Haskell digest..." Today's Topics: 1. Re: ANNOUNCE: Haskell Platform 7.10.2-a (Mark Lentczner) ---------------------------------------------------------------------- Message: 1 Date: Tue, 4 Aug 2015 13:51:36 -0700 From: Mark Lentczner <mark.lentczner(a)gmail.com> To: haskell <haskell-cafe(a)haskell.org>, haskell-platform(a)projects.haskell.org, haskell(a)haskell.org Subject: Re: [Haskell] ANNOUNCE: Haskell Platform 7.10.2-a Message-ID: <CAAOoiFbC5moqKFCaAJ25S44auZBJbLEFwx27y8Vy40p4N29XkQ(a)mail.gmail.com> Content-Type: text/plain; charset="utf-8" As promised in the Haskell Platform 7.10.2 announcement, we have now release Haskell Platform 7.10.2-a. The only changes from 7.10.2 are: text-1.2.1.3 - to work around the issue with text literals in GHC 7.10.2 fgl-5.5.2.1 - this release changes no APIs, but fixes builds with older GHCs Available, as always, from: https://www.haskell.org/platform/ - Mark -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://mail.haskell.org/pipermail/haskell/attachments/20150804/cce27f0f/att…> ------------------------------ Subject: Digest Footer _______________________________________________ Haskell mailing list Haskell(a)haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell ------------------------------ End of Haskell Digest, Vol 144, Issue 4 ***************************************

3 2

Re: [Haskell] ANNOUNCE: Haskell Platform 7.10.2-a
by Mark Lentczner 04 Aug '15

04 Aug '15

As promised in the Haskell Platform 7.10.2 announcement, we have now release Haskell Platform 7.10.2-a. The only changes from 7.10.2 are: text-1.2.1.3 - to work around the issue with text literals in GHC 7.10.2 fgl-5.5.2.1 - this release changes no APIs, but fixes builds with older GHCs Available, as always, from: https://www.haskell.org/platform/ - Mark

1 0

AVoCS 2015: Final Call for Research Idea Papers & Participation
by Lin, Yuhui 03 Aug '15

03 Aug '15

====================================================================== The 15th International Workshop on Automated Verification of Critical Systems 1-4 September 2015, Edinburgh, UK https://sites.google.com/site/avocs15/ avocs2015(a)easychair.org -----------------------|*** HIGHLIGHTS ***|---------------------------- + Registration is now open ! + Special research ideas session: short papers due 10th August + Several student grants available: application due 10th August + Invited talks by Colin O'Halloran (D-RisQ/Oxford) Don Sannella (Contemplate/Edinburgh) + AI4FM workshop including invited talk by J Strother Moore (Univerity of Texas at Austin) + Proceedings to be published by EASST + Special issues of Science of Computer Programming ======================================================================= REGISTRATION Registration for AVoCS is available from https://sites.google.com/site/avocs15/registration Early registration ends 18 August. SPONSORS Altran D-RisQ Software Systems Formal Methods Europe (FME) The Scottish Informatics & Computer Science Alliance (SICSA) BACKGROUND The aim of Automated Verification of Critical Systems (AVoCS) 2015 is to contribute to the interaction and exchange of ideas among members of the international research community on tools and techniques for the verification of critical systems. SCOPE We encourage the submissions of research ideas in order to stimulate discussions at the workshop. Reports on ongoing work or surveys on work published elsewhere are welcome. The Programme Committee will select research ideas on the basis of submitted abstracts according to significance and general interest. The subject of the ideas is to be interpreted broadly and inclusively. It covers all aspects of automated verification, including model checking, theorem proving, SAT/SMT constraint solving, abstract interpretation, and refinement pertaining to various types of critical systems which need to meet stringent dependability requirements (safety-critical, business-critical, performance-critical, etc.). Contributions that describe different techniques, or industrial case studies are encouraged. Topics include (but are not limited to): - Model Checking - Automatic and Interactive Theorem Proving - SAT, SMT or Constraint Solving for Verification - Abstract Interpretation - Specification and Refinement - Requirements Capture and Analysis - Verification of Software and Hardware - Specification and Verification of Fault Tolerance and Resilience - Probabilistic and Real-Time Systems - Dependable Systems - Verified System Development - Industrial Applications IMPORTANT DATES Submission of research idea papers: 10th August 2015 Submission of student grant application: 10th August 2015 Notification (research idea): 14th August 2015 Early registration: 18th August 2015 Submissions of final versions: 21st August 2015 INVITED SPEAKERS Colin O'Halloran (D-RisQ & the University of Oxford) Don Sannella (Contemplate & the University of Edinburgh) WORKSHOPS AI4FM 2015: 1 September 2015 -- www.ai4fm.org/ai4fm-2015/ including invited talk by J Strother Moore (Univerity of Texas at Austin) VENUE The event will be held in the International Centre for Mathematical Sciences (ICMS) in the centre of the historic old town of Edinburgh - an UNESCO world heritage site. SUBMISSION DETAILS Research ideas must be written in English and not exceed 2 pages using the dedicated AVoCS 2015 EASST template available from the the following link (for LaTeX and Word): http://journal.ub.tu-berlin.de/public/template/ The presentation of these ideas will be organised around discussions, where the presenter should also prepare a set of question in which the audience will discuss. Submissions are handled via Easychair: https://easychair.org/conferences/?conf=avocs2015 The research ideas will be included in the pre-proceedings, which will be available in the form of a Heriot-Watt University Technical Report and will be available at the workhsop. STUDENT GRANTS Thanks to sponsorships from Altran, FME and SICSA we can offer financial support for a limited number of students registering for AVoCS in the form of a registration fee waiver (full or partial). As this is limited, we ask the students that would like to take the advantage of this support to submit a short application. The details on how to apply is available from AVoCS webpage. SPECIAL SCP JOURNAL ISSUE Authors of a selection of the best papers presented at the workshop will be invited to submit extended versions of their work for publication in a special issue of Elsevier's journal Science of Computer Programming. PROGRAM COMMITTEE Ernie Cohen, University of Pennsylvania, USA Ewen Denney, NASA Ames, USA Jean-Christophe Filliatre, CNRS, France Michael Goldsmith, University of Oxford, UK Gudmund Grov, Heriot-Watt University, UK (co-chair) Keijo Heljanko, Aalto University, Finland Mike Hinchey, University of Limerick, Ireland Marieke Huisman, University of Twente, Netherlands Andrew Ireland, Heriot-Watt University, UK (co-chair) Gerwin Klein, NICTA/UNSW, Australia Thierry Lecomte, ClearSy, France Yuhui Lin, Heriot-Watt University, UK Peter Gorm Larsen, Aarhus University, Denmark Panagiotis (Pete) Manolios, Northeastern University, USA Stephan Merz, INRIA Nancy & LORIA, France Jaco van de Pol, University of Twente, Netherlands Markus Roggenbach, Swansea University, UK Marco Roveri, FBK, Italy Thomas Santen, Microsoft Research, Germany Bernard Steffen, Technical University Dortmund, Germany Jan Strejček, Masaryk University, Czech Republic Jun Sun, Singapore University of Technology and Design, Singapore Tayssir Touili, LIAFA, CNRS & University Paris Diderot, France Helen Treharne, University of Surrey, UK Laurent Voisin, Systerel, France Angela Wallenburg, Altran, UK John Wickerson, Imperial College London, UK Peter Ölveczky, University of Oslo, Norway ORGANISERS Gudmund Grov, Heriot-Watt University, UK Andrew Ireland, Heriot-Watt University, UK Yuhui Lin, Heriot-Watt University, UK (local arrangements and publicity chair) STEERING COMMITTEE Michael Goldsmith, University of Oxford, UK Stephan Merz, INRIA Nancy & LORIA, France Markus Roggenbach, Swansea University, UK ----- 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

PEPM 2016: Call for Papers
by Martin Erwig 01 Aug '15

01 Aug '15

CALL FOR PAPERS Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM 2016) St. Petersburg, Florida, January 18 - 19, 2016 http://conf.researchr.org/track/POPL-2016/pepm-2016-main The 2016 PEPM workshop will be based on a broad interpretation of semantics-based program manipulation and continues efforts to expand the scope of PEPM beyond the traditionally covered areas of partial evaluation and specialization. Specifically, PEPM will include practical applications of program transformations such as refactoring tools, and practical implementation techniques such as rule-based transformation systems. In addition, the scope of PEPM covers manipulation and transformations of program and system representations such as structural and semantic models that occur in the context of model-driven development. In order to reach out to practitioners, a separate category of tool demonstration papers will be solicited. Topics of interest for PEPM’16 include, but are not limited to: * Program and model manipulation techniques such as: supercompilation, partial evaluation, fusion, on-the-fly program adaptation, active libraries, program inversion, slicing, symbolic execution, refactoring, decompilation, and obfuscation. * Program analysis techniques that are used to drive program/model manipulation such as: abstract interpretation, termination checking, binding-time analysis, constraint solving, type systems, automated testing and test case generation. * Techniques that treat programs/models as data objects including metaprogramming, generative programming, embedded domain-specific languages, program synthesis by sketching and inductive programming, staged computation, and model-driven program generation and transformation. * Application of the above techniques including case studies of program manipulation in real-world (industrial, open-source) projects and software development processes, descriptions of robust tools capable of effectively handling realistic applications, benchmarking. Examples of application domains include legacy program understanding and transformation, DSL implementations, visual languages and end-user programming, scientific computing, middleware frameworks and infrastructure needed for distributed and web-based applications, resource-limited computation, and security. To maintain the dynamic and interactive nature of PEPM, we will continue the category of `short papers’ for tool demonstrations and for presentations of exciting if not fully polished research, and of interesting academic, industrial and open-source applications that are new or unfamiliar. Student participants with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses and other support. PAC also offers other support, such as for child-care expenses during the meeting or for travel costs for companions of SIGPLAN members with physical disabilities, as well as for travel from locations outside of North America and Europe. For details on the PAC program, see its web page. All accepted papers, short papers included, will appear in formal proceedings published by ACM Press. Accepted papers will be included in the ACM Digital Library. Selected papers from PEPM’16 will be published in a special issue of the journal Science of Computer Programming. PEPM has also established a Best Paper Award. The winner will be announced at the workshop. Submission Categories and Guidelines Regular Research Papers must not exceed 12 pages in ACM Proceedings style (including appendix). Tool demonstration papers and short papers must not exceed 6 pages in ACM Proceedings style (including appendix). At least one author of each accepted contribution must attend the workshop and present the work. In the case of tool demonstration papers, a live demonstration of the described tool is expected. Suggested topics, evaluation criteria, and writing guidelines for both research tool demonstration papers will be made available on the PEPM’16 web site. Papers should be submitted electronically via EasyChair. easychair.org/conferences/?conf=pepm2016 Authors using LaTeX to prepare their submissions should use the new improved SIGPLAN proceedings style. Specifically, use the sigplanconf.cls 9pt template. Important Dates * Abstract submission: Tue, September 8, 2015 * Paper submission: Sun, September 13, 2015 (FIRM) * Author notification: Tue, October 20, 2015 * Camera ready copies: Fri, November 20, 2015 * Workshop: Monday, January 18 - Tuesday, January 19, 2016 Note: The paper submission deadline is firm. The above schedule is tight: We have absolutely no time to wait for late submissions, and we will have no deadline extension.

1 0

ANNOUNCE: Haskell Platform 7.10.2
by Mark Lentczner 31 Jul '15

31 Jul '15

Haskellers, we are pleased to announce the release of Haskell Platform 7.10.2 *get it here... <https://www.haskell.org/platform/>* Highlights include: - GHC 7.10.2 - packages & tools bumped to very latest - major package updates to: - attoparsec - case-insensitive - cgi - GLUT, GLURaw, OpenGL, & OpenGLRaw - mtl - network - primitive & vector - QuickCheck - random - syb - text - new website - new installer script for linux - 10 bugs closed: Issues · haskell/haskell-platform <https://github.com/haskell/haskell-platform/issues?utf8=%E2%9C%93&q=is%3Acl…> This is our first release concurrent with GHC's release. You'll notice that the version number has changed to reflect that from now on, our aim is to keep HP releases sync'd to GHC releases. *Note:* Haskell Platform download pages are often cached - you may need to hit reload to see the release. *About the last minute update to text package:* *tl;dr: Vast majority of code will never notice the difference. Go ahead and get the HP now and start enjoying 7.10.2 You can always update to the point release when it comes out.* Despite all the testing, GHC central noticed just a day before release that there was a regression with text literals in 7.10.2. It was possible to work around the issue via a change to the text package, and text-1.2.1.3 was released just today. Alas, there wasn't enough time to re-build and test the platform installers between then and now, so this release has text-1.2.1.1. There will be a point release (7.10.2.1) of the Platform this weekend or next with the updated text package. The issue does not result in incorrect code, only slow compilation times for very text literal laden code (as in thousands of literals), and slightly higher one-time construction cost at run-time. In full stack builds and many other test builds, these slow downs were inconsequential. *Windows Notes:* The Haskell Platform on Windows now provides the MSys2 tools. These tools are needed when installing packages that use conf-tools (generally rare). These tools are not automatically placed onto the PATH in order avoid troubles due to MSys2 tools which have the same name as a standard Windows tool (e.g., echo, find, dir). - Mark "release monad" Lentczner Special thanks to Erik Rantappa, Wasif Hasan Baig, & Ben Gamari for the new web site. Randy Polen for Windows build wrangling.

2 2

SPLASH 2015 - Call for Student Volunteers
by Craig Anslow 31 Jul '15

31 Jul '15

/************************************************************************************/ ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH'15) Pittsburgh, Pennsylvania, USA 25th-30th October, 2015 http://www.splashcon.org<http://www.splashcon.org/> Sponsored by ACM SIGPLAN /************************************************************************************/ Call for Student Volunteers /************************************************************************************/ The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction and delivery to make it the premier conference at the intersection of programming, languages, and software engineering. SPLASH is now accepting submissions. We invite high quality submissions describing original and unpublished work. ** Student Volunteers ** The SPLASH Student Volunteer program provides an opportunity for students from around the world to associate with some of the leading personalities in industry and research in the following areas: programming languages, object-oriented technology and software development. Student volunteers contribute to the smooth running of the conference by performing tasks such as: assisting with registration, providing information about the conference to attendees, assisting session organizers and monitoring sessions. Applications Due: 7 August, 2015 http://2015.splashcon.org/track/splash2015-sv Student Volunteer Co-Chairs: Jonathan Bell (Columbia University) and Daco Harkes (TU Delft) Information: SPLASH Early Registration Deadline: 25 September, 2015 Contact: info(a)splashcon.org<mailto:info@splashcon.org> Website: http://2015.splashcon.org<http://2015.splashcon.org/> Location: Sheraton Station Square Hotel Pittsburgh, Pennsylvania, United States Organization: SPLASH General Chair: Jonathan Aldrich (Carnegie Mellon University) OOPSLA Papers Chair: Patrick Eugster (Purdue University) Onward! Papers Chair: Gail Murphy (University of British Columbia) Onward! Essays Chair: Guy Steele (Oracle Labs) DLS Papers Chair: Manuel Serrano (INRIA) Artifact Evaluation Co-Chairs: Robby Findler (Northwestern University) and Michael Hind (IBM Research) Demos Co-Chairs: Igor Peshansky (Google) and Pietro Ferrara (IBM Research) Inspirations Co-Chairs: Darya Kurilova (Carnegie Mellon University), Zach Tatlock (University of Washington), and Crista Lopes (UC Irvine) Local Arrangements Chair: Claire Le Goues (Carnegie Mellon University) Posters Chair: Nick Sumner (Simon Fraser University) Publications Chair: Alex Potanin (Victoria University of Wellington) Publicity and Web Co-Chairs: Craig Anslow (University of Calgary) and Tijs van der Storm (CWI) SPLASH-E Chair: Eli Tilevich (Virginia Tech) SPLASH-I Co-Chairs: Tijs van der Storm (CWI) and Jan Vitek (Northeastern University) Sponsorship Chair: Tony Hosking (Purdue University) Student Research Competition Co-Chairs: Sam Guyer (Tufts University) and Patrick Lam (University of Waterloo) Student Volunteer Co-Chairs: Jonathan Bell (Columbia University) and Daco Harkes (TU Delft) Wavefront Co-Chairs: Dennis Mancl (Alcatel-Lucent) Web Technology Chair: Eelco Visser (TU Delft) Workshops Co-Chairs: Du Li (Carnegie Mellon University) and Jan Rellermeyer (IBM Research) SLE General Chair: Richard Paige, University of York GPCE General Chair: Christian Kästner, Carnegie Mellon University PLoP General Chair: Filipe Correia, University of Porto /************************************************************************************/

1 0

Re: [Haskell] [Haskell-cafe] ANNOUNCE: GHC version 7.10.2
by Ben Gamari 30 Jul '15

30 Jul '15

James M <jmartin(a)eecs.berkeley.edu> writes: > There was talk from an earlier email thread of releasing the Haskell > Platform at the same time as 7.10.2. > > I am referring to the weekly news of 2015/05/11: > https://ghc.haskell.org/trac/ghc/blog/weekly20150511 > > and this email thread: > https://mail.haskell.org/pipermail/ghc-devs/2015-May/008911.html > > > Was this plan abandoned? Or was there something unexpected that is delaying > it? > Not at all! There ended up being a bit of timing skew between the Platform and GHC releases but an approximately concurrent release is still the plan. The Platform folks are hard at work as we speak, in the final stages of pushing out their release. I expect it will be announced shortly. Unfortunately due to the late notice of the text issue, the initial release will ship with text-1.2.1.1, which is still affected by the rewrite issue. That being said, the impact of this issue is mostly on compile time, in most cases you shouldn't see much impact on runtime performance. Moreover, they will be working to push out another release with text-1.2.1.3 in the coming days. Cheers, - Ben

1 0

Re: [Haskell] [Haskell-cafe] ANNOUNCE: GHC version 7.10.2
by Brandon Allbery 30 Jul '15

30 Jul '15

On Thu, Jul 30, 2015 at 12:52 PM, James M <jmartin(a)eecs.berkeley.edu> wrote: > There was talk from an earlier email thread of releasing the Haskell > Platform at the same time as 7.10.2. I think the right place to ask this is libraries(a)haskell.org. I would imagine they're in final testing and/or getting release packages in place. (Note as previously mentioned that "text" was just updated, and the Platform needs that; this presumably means they had to start over making release packages.) -- brandon s allbery kf8nh sine nomine associates allbery.b(a)gmail.com ballbery(a)sinenomine.net unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net

1 0

Haskell
by lel416＠aol.com 30 Jul '15

30 Jul '15

Are there still general admission tkts available for Sunday's race. What time is an pharaoh racing Sent from my iPhone

1 0