http://permalink.gmane.org/gmane.comp.lang.haskell.general hourly 1 1901-01-01T00:00+00:00 http://gmane.org/img/gmane-25t.png http://gmane.org http://permalink.gmane.org/gmane.comp.lang.haskell.general/19309 <pre>====== CALL FOR PARTICIPATION ================================================== 24th International Conference on Computer Aided Verification (CAV 2012) July 7-13, 2012 Berkeley, California, USA Program Chairs: Madhusudan Parathasarathy and Sanjit A. Seshia Website: http://cav12.cs.illinois.edu/ Aims and Scope -------------------------------------------------------------------------------- The conference on Computer Aided Verification (CAV), 2012, is the 24th in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. CAV considers it vital to continue spurring advances in hardware and software verification while expanding to new domains such as biological systems and computer security. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation. The proceedings of the confe</pre> CAV 2012 CFP 2012-05-17T19:43:45 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19308 <pre>Hi Takayuki, I don't think your suggestion is rude at all. In fact, several of us at Indiana University have been hard at work extending the Par Monad [1] to support heterogeneous parallelism across SMP, GPU, and distributed execution resources. Our system is called Meta-Par; it's available on hackage [2], and a submitted draft paper is available [3]. Ryan Newton also wrote up a tutorial in a blog post [4]. Right now the distributed implementation is quite experimental, but the underlying infrastructure is improving quickly [5]. Hopefully it'll be in shape to feature in Simon's exciting new project! Cheers, Adam [1]: http://research.microsoft.com/en-us/um/people/simonpj/papers/parallel/monad-par.pdf [2]: http://hackage.haskell.org/package/meta-par [3]: http://www.cs.indiana.edu/~rrnewton/papers/meta-par_submission.pdf [4]: http://parfunk.blogspot.com/2012/05/how-to-write-hybrid-cpugpu-programs.html [5]: https://github.com/haskell-distributed/distributed-process/commits/master On Thu, May 17, 2012 at 11</pre> Adam Foltzer 2012-05-17T17:49:54 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19307 <pre>Hi Simon, I'm Takayuki Muranushi, a researcher in Kyoto university writing a domain-specific parallel programming language http://paraiso-lang.org/wiki/ in Haskell. I've always been attracted to parallel aspects of Haskell and I definitely would like to read the book!! As you encouragingly ask for suggestions let me say something rude --- at least ambitious. One thing I'm interested in is distributed computation in Haskell. Haskell's pureness and other aspects have made multicore programming as easy as single-thread programming in many ways. How does this apply to multiple computer system, that is widely used in business and scientific computations. The other thing I'm interested in is parallel computation in exotic hardwares, such as GPUs and FPGAs. These may exceed the scope of the book --- then I'm looking forward to future conferences and development of diverse parallelism in Haskell. It have helped me so much. Best, Takayuki 2012/5/17 Simon Marlow &lt;marlowsd&lt; at &gt;gmail.com&gt;: </pre> Takayuki Muranushi 2012-05-17T15:20:52 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19306 <pre>Congratulations! I'm really looking forward to reading this. Tom On May 17, 2012 5:22 AM, "Simon Marlow" &lt;marlowsd&lt; at &gt;gmail.com&gt; wrote: _______________________________________________ Haskell mailing list Haskell&lt; at &gt;haskell.org http://www.haskell.org/mailman/listinfo/haskell </pre> Tom Murphy 2012-05-17T13:21:29 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19305 <pre>I'm delighted to announce that O'Reilly have agreed to publish a book on Parallel and Concurrent Haskell authored by me. The plan is to make a significantly revised and extended version of the Parallel and Concurrent Haskell tutorial from CEFP'11: http://community.haskell.org/~simonmar/bib/par-tutorial-cefp-2012_abstract.html The book will be published in both hardcopy and electronic formats, and will also be available online under a Creative Commons license (Attribution-NonCommercial-NoDerivs 3.0). There will be some mechanism for people to see and comment on early drafts, but I don't know the details yet. When will it be done? I can't say for sure, but the tentative date for completion is March 2013. I'm really keen for this to be a book that will be useful to people both learning about parallelism and concurrency in Haskell, and coding stuff for real-world use. If there are topics or application areas that you'd like to see covered, or any other suggestions, please let me know. All co</pre> Simon Marlow 2012-05-17T09:21:58 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19304 <pre>Welcome to issue 227 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of May 6 to 12, 2012. Announcements Doaitse Swierstra reminded us about the Summer School on Applied Functional Programming, at Utrech University. Hurry to check it out, as the deadline for registration is May 20th! [1] http://goo.gl/TZYdd Janis Voigtlander announced the release of the 22nd edition of the Haskell Communities and Activities Report. [2] http://goo.gl/pXIZn Quotes of the Week * dcoutts: (on #darcs): "[on github:] it's like the facebook of source repos" * dmwit: "Functional programming" is a technical term that means more than just what the two words mean separately. * Axman6: "GHC Warning: Did you see that in an OOP textbook? You probably don't want to be doing that" * StevenKaas: Haskell's Wager: what if infinite lists can suffer infinitely even when lazily evaluated? * quicksilv</pre> Daniel Santa Cruz 2012-05-17T01:11:07 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19302 <pre> CALL FOR TALK PROPOSALS HOPE 2012 The 1st ACM SIGPLAN Workshop on Higher-Order Programming with Effects September 9, 2012 Copenhagen, Denmark (the day before ICFP 2012) http://hope2012.mpi-sws.org HOPE is a *new workshop* that is intended to bring together researchers interested in the design, semantics, implementation, and verification of higher-order effectful programs. It will be *informal*, consisting of invited talks, contributed talks on work in progress, and open-ended discussion sessions. This 1st edition of HOPE is dedicated to John Reynolds, whose work is an inspiration to us all. --------------------- Goals of the Workshop --------------------- A recurring theme in many papers at ICFP, and in the research of many ICFP attendees, is the interaction of higher-order programming with various kinds of effects: storage effects, I/O, cont</pre> Amal Ahmed 2012-05-16T19:05:13 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19301 <pre>For any Australian Haskellers (or indeed anyone that feels willing to come from wherever you may hail) who have _not_ yet received an email, seen it on Reddit or Google+ but is interested in attending AusHac 2012, we are currently trying to determine which weekend in July best suits everyone. So if you're interested in coming, please fill out the form at http://tinyurl.com/AusHac2012PreferredDates This year we're going to hold AusHac in central Sydney (thanks to Atlassian putting their offices at our disposal!) rather than UNSW, which should make transport and accommodation easier for people. AusHac is open to anyone interested in Haskell, from a complete newbie to one of the Simons. We don't have any specific themes or projects to work on; instead just come along and hack on whatever takes your fancy. </pre> Ivan Lazar Miljenovic 2012-05-16T01:33:44 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19300 <pre>===================================================================== Call for papers 14th International Symposium on Principles and Practice of Declarative Programming PPDP 2012 Special Issue of Science of Computer Programming (SCP) Leuven, Belgium, September 18-20, 2012 (co-located with LOPSTR 2012) ====================================================================== PPDP 2012 is a forum that brings together researchers from the declarative programming communities, including those working in the logic, constraint and functional programming paradigms, but also embracing a variety of other paradigms such as visual programming, executable specification languages, database languages, and knowledge representation languages. The goal is to stimulate research in the use of logical formalisms and methods for specifying, performing, and analysing computations, including mechanisms for mobili</pre> Jon Sneyers 2012-05-14T11:21:47 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19299 <pre> ============================================================ Call for papers 22nd International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2012 http://costa.ls.fi.upm.es/lopstr12 Leuven, Belgium, September 18-20, 2012 (co-located with PPDP 2012) ============================================================ The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. The 22nd International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 20</pre> Jon Sneyers 2012-05-14T11:21:27 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19297 <pre>Hi, The release timetable http://trac.haskell.org/haskell-platform/wiki/ReleaseTimetable says there will be a new release of the Haskell Platform in May. Can someone give an update on this? Many thanks, Dominic. </pre> Dominic Steinitz 2012-05-13T18:02:11 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19296 <pre>[apologies for any cross-posting] ........................................................................ 4th OPEN Answer Set Programming Competition 2013 Call for Benchmark Problems University of Calabria - Vienna University of Technology Fall/Winter 2012/2013 http://aspcomp2013.mat.unical.it/ ........................................................................ The 4th Open Answer Set Programming Competition is open to ASP systems and *any other system* based on a declarative specification paradigm. The event is currently open and in the Call for Benchmarks stage. == Call for Benchmark Problems == Participants will compete on a selected collection of declarative specifications of benchmark problems, taken from a variety of domains as well as real world applications, and instances thereof. These include, but are not limited to: - Deductive database tasks on large data-sets - Sequential and Temporal Planning - Classic and Applicative graph problems - Puzzles and Combinatorics</pre> Francesco Calimeri 2012-05-12T13:33:10 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19294 <pre>On behalf of all the contributors, I am pleased to announce that the Haskell Communities and Activities Report (22nd edition, May 2012) is now available in PDF and HTML formats: http://haskell.org/communities/05-2012/report.pdf http://haskell.org/communities/05-2012/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 summari</pre> Janis Voigtländer 2012-05-11T22:45:35 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19293 <pre>Fellow Haskelleers, I'm pleased to announce the release of haskell-src-exts-1.13.3! * On hackage: http://hackage.haskell.org/package/haskell-src-exts * Via cabal: cabal install haskell-src-exts * Darcs repo: http://code.haskell.org/haskell-src-exts This release attempts to fix a bunch of long-standing (and a few new) bugs, while still avoiding a new major version bump. Changelog: 1.13.2 --&gt; 1.13.3 =============== * Fundep premises are now allowed to be empty. * Fix the bug where the lexer would crash on a LINE pragma that did not include a line number. * Fix the bug where the lexer would require the # of a MagicHash-style type constructor to be succeeded by at least one character in the file. * Fix really long-standing bug where the parser would crash with an ugly "Internal error" error message if encountering an extra }. * Report errors at the right place for function arity mismatches. Earlier they were reported at end of file, now they are reported where the function is declared. </pre> Niklas Broberg 2012-05-10T19:21:18 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19292 <pre> Again we will teach an "Applied Functional Programming Summer in Haskell" school this year at Utrecht University. In the previous two occasions students were all very happy with the school and we plan to repeat this success this year. The intended audience are prospective master students who have been in contact with Functional Programming, e.g. by taking a general course on programming languages, and want to learn more about Haskell and its typical programming patterns. In the previous two years we have taught an introductory part (advanced bachelor level), an advanced part (beginning master level) and a shared part for both groups. Topics covered are, besides some examples of domain specific languages, also monads, monad transformers, arrows, parser combinators and self-analysing programs, underlying principles, type inferencing, etc. Half of the course time is spent on a larger programming exercise; you can also come with a problem of your own if you want, and get help from the Utrecht University Softwa</pre> S D Swierstra 2012-05-10T15:31:04 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19290 <pre> Call for Participation ISR 2012 6th International School on Rewriting http://www.dsic.upv.es/~isr2012 July 16th - 20th Valencia, Spain Early registration before June 15, 2012! Rewriting is a branch of computer science whose origins go back to the origins of computer science itself (with Thue, Church, Post, and many other prominent researchers). It has strong links with mathematics, algebra, and logic, and it is the basis of well-known programming paradigms like functional and equational programming, which are taught at the universitary level in many countries. In these programming paradigms and corresponding languages, the notions of reduction, pattern matching, confluence, termination, strategy, etc., are essential. Rewriting provides a solid framework for understanding, using, and teaching all these notions. Rewriting techniques are also used in many other areas o</pre> Santiago Escobar 2012-05-10T14:24:42 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19289 <pre>======================================================================== CALL FOR PAPERS FHPC 2012 ACM SIGPLAN Workshop on Functional High Performance Computing Copenhagen, Denmark September 15th, 2012 http://www.hiperfit.dk/fhpc12/ Co-located with the International Conference on Functional Programming (ICFP 2012) ======================================================================== The FHPC workshop aims at bringing together researchers exploring uses of functional (or more generally, declarative or high-level) programming technology in application domains where large-scale computations arise naturally and high performance is essential. Such computations would typically -- but not necessarily -- involve execution on highly parallel systems ranging from multi-c</pre> Clemens Grelck 2012-05-10T03:59:51 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19288 <pre>Welcome to issue 226 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of April 29 to May 5, 2012. Quotes of the Week * acowley: I write the most complicated bottoms * Cale: OpenGL is the Rubik's Cube of graphics libraries. It's nearly impossible to change some things without affecting other things Top Reddit Stories * HJ — Haskell-to-JavaScript compiler (WIP) Domain: chrisdone.com, Score: 74, Comments: 23 On Reddit: [1] http://goo.gl/gP51N Original: [2] http://goo.gl/g32rz * Life Without Objects Domain: skipoleschris.blogspot.co.uk, Score: 52, Comments: 17 On Reddit: [3] http://goo.gl/LZmLC Original: [4] http://goo.gl/NLhKH * New major release of the containers package Domain: blog.johantibell.com, Score: 52, Comments: 25 On Reddit: [5] http://goo.gl/yjblJ Original: [6] http://goo.gl/DKlmd * Haskell and the World: Encodings and the Common Misuse o</pre> Daniel Santa Cruz 2012-05-09T22:39:44 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19287 <pre>===================================================================== Call for Participation 6th International Workshop on Higher-Order Rewriting HOR 2012 June 2, 2012, Nagoya, Japan Colocated with RTA'12 http://www.cs.gunma-u.ac.jp/events/hor/ ====================================================================== HOR is a forum to present work concerning all aspects of higher-order rewriting. The aim is to provide an informal and friendly setting to discuss recent work and work in progress concerning higher-order rewriting. Invited speaker --------------- * Zhenjiang Hu (National Institute of Informatics, Japan) Can Graph Transformation be Bidirectionalized? -- Bidirectional Semantics of Structural Recursion on Graphs -- Special Session: Current Status of Higher-Order Termination Tools ----------------------------------------------------------------- * Carsten Fuhs: H</pre> Makoto Hamana 2012-05-09T12:45:41 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19286 <pre> On Wed, 9 May 2012, Angus Comber wrote: Then beginners&lt; at &gt;haskell.org might be a better place to ask, since haskell&lt; at &gt;haskell.org is for announcements. The code you entered is intended to be the content of a text file that can be loaded into GHCi or Hugs. If you want to write it immediately into GHCi you may write: Prelude&gt; let factorial :: Integer -&gt; Integer; factorial n = product [1..n] </pre> Henning Thielemann 2012-05-09T08:35:43 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19285 <pre>I am trying to create a factorial function in GHC. I am following the online learnyouahaskell.com book (specifically types-and-typeclasses page). Bear in mind this is my day 1 of learning Haskell. The book suggests: factorial :: Integer -&gt; Integer factorial n = product [1..n] But if I enter first line then press &lt;Enter&gt; I see: &lt;interactive&gt;:1:1 Not in scope: 'factorial' What am I doing wrong? Angus </pre> Angus Comber 2012-05-09T08:24:24 Search the mailing list at Gmane query http://search.gmane.org/?group=$group=gmane.comp.lang.haskell.general