July 2011 - Haskell - Haskell.org

Monad.Reader #19 call for copy -- special issue on parallelism and concurrency
by Brent Yorgey 11 Jul '11

11 Jul '11

Call for Copy: The Monad.Reader - Issue 19 SPECIAL ISSUE on parallelism and concurrency -------------------------------------------- Whether you're an established academic or have only just started learning Haskell, if you have something to say, please consider writing an article for The Monad.Reader! Issue 19 will be a special issue focusing on parallelism and concurrency, construed broadly. The submission deadline for Issue 19 will be: **Tuesday, August 16** The Monad.Reader ~~~~~~~~~~~~~~~~ The Monad.Reader is a electronic magazine about all things Haskell. It is less formal than journal, but somehow more enduring than a wiki- page. There have been a wide variety of articles: exciting code fragments, intriguing puzzles, book reviews, tutorials, and even half-baked research ideas. Submission Details ~~~~~~~~~~~~~~~~~~ Get in touch with me if you intend to submit something -- the sooner you let me know what you're up to, the better. Please submit articles for the next issue to me by e-mail (byorgey at cis.upenn.edu) Articles should be written according to the guidelines available from http://themonadreader.wordpress.com/contributing/ Please submit your article in PDF, together with any source files you used. The sources will be released together with the magazine under a BSD license. If you would like to submit an article, but have trouble with LaTeX please let me know and we'll work something out.

1 0

CfP: Haskell Workshop in Leipzig, Germany, October 7 (fwd)
by Henning Thielemann 11 Jul '11

11 Jul '11

---------- Forwarded message ---------- Date: Fri, 8 Jul 2011 12:11:45 +0000 (UTC) From: Johannes Waldmann <waldmann(a)imn.htwk-leipzig.de> Subject: [Haskell-cafe] CfP: Haskell Workshop in Leipzig, Germany, October 7 Call for submissions for our local Haskell Workshop in Leipzig, Germany. Tutorials, talks, demonstrations ... everything welcome. Workshop language is German (mainly), and English (by request). Submission deadline: August 20, Workshop date: October 7 http://portal.imn.htwk-leipzig.de/events/hal6-haskell-workshop Best regards, Johannes Waldmann.

1 0

[ANN] PAM library, Iptables web-interface
by Evgeny Tarasov 10 Jul '11

10 Jul '11

Hello! I'd like to announce my project called Iptadmin. It's a web interface for linux Iptables firewall [1]. It supports just few Iptables options by now. The main feature of Iptadmin is user friendly help messages. Iptadmin works in a daemon mode. It doesn't keep any auxiliary information in a system, firewall configuration is taken from the «iptables-save» script. All changes is made by Iptables calling. Firewall rules are saved by «/etc/init.d/iptables save» script. Several linux distributions such as Debian require additional Iptables configuration. Iptadmin uses PAM [2] authentication. Access is granted for root and for any other user with membership in «iptadmin» system group. Iptadmin is written using Happstack, so it doesn't support https yet. To prevent sending system password by network in plain text, the web interface is listening only on loopback network interface. In order to access Iptadmin remotely user should setup https proxying using external web server. There is also dedicated library for parsing and printing Iptables rules [3]. While working on Iptadmin I've implemented library with subset of PAM api bindings[4]. A code of my project is licensed under BSD3. Sources are uploaded to hackage [3,4,5]. More information can be found on a project homepage[6]. [1] http://www.netfilter.org/ [2] http://www.kernel.org/pub/linux/libs/pam/ [3] http://hackage.haskell.org/package/iptables-helpers-0.3 [4] http://hackage.haskell.org/package/pam-0.1 [5] http://hackage.haskell.org/package/iptadmin-1.0.0 [6] http://iptadmin.confmgr.org -- Best regards, Evgeny Tarasov

1 0

Re: [Haskell] Call for GUI examples - Functional Reactive Programming
by Heinrich Apfelmus 09 Jul '11

09 Jul '11

David Barbour wrote: > Heinrich Apfelmus wrote: > >> Can GUI programming be liberated from the IO monad? > > I believe it can be. But is FRP the right way to achieve this? Most of the > GUI problems I've ever encountered involve open systems: configuration > files, plugins, command and control, database crud, networking. Most of the > FRP GUI examples I've encountered involve closed systems: calculators, > tangible values, single-player games. > > I am often left with the feeling that we're bridging the wrong gaps with > FRP. Consequently, I've been developing a paradigm that adapts what I > consider the best features of FRP for composition of open systems [1]. > > Anyhow, I'm guessing your query is because you'd like some sample problems > upon which to whet your FRP model. Rather than a bunch of toy UI elements, I > would suggest choosing examples with open elements, such as: > * a personal wiki (cf. TiddlyWiki) with a file or SQLite database for > persistence > * a database browser/editor that reads the schema from the database and > adapts the display appropriately > * a Dr. Mario clone with support for online 2-player mode > * an RSS display widget, configured with a bookmark file > * a stock-ticker or weather-report widget with a simple configuration file > * maps and KML > > [..] > > I'm sure you can think of something more interesting to yourself, of course. > The world needs proofs that open, dynamically configured systems are handled > effectively in FRP. Or, if you struggle and the resulting code is inelegant > without compromising the purity of FRP, well, that's useful information, > too. Nice examples. The real-time data display (stock ticker, weather) has been mentioned a lot, I will probably try that one. I don't see any difficulties with open systems, though. Sure, you need some driver code to communicate, but it's all Events and Behaviors from then on. The function fromPoll :: IO a -> NetworkDescription (Behavior a) is particularly nice, it allows you to interpret any data source as a time-varying value. For instance, here the completely random function that returns a random value at each point in time: brandom <- fromPoll (randomRIO (0,1) :: IO Double) Best regards, Heinrich Apfelmus -- http://apfelmus.nfshost.com

1 0

Call for participation: DTP 2011
by Wouter Swierstra 08 Jul '11

08 Jul '11

Dependently Typed Programming 2011 Call for Participation 27 of August 2011 Nijmegen, The Netherland In association with ITP 2011 http://www.cs.ru.nl/dtp11 Please consider registering for DTP 2011: http://itp2011.cs.ru.nl/ITP2011/Registration_-_Open.html Note that early bird registration is only open till July 15th. The preliminary program is now available from http://www.cs.ru.nl/dtp11/program.html Invited Talk: Edwin Brady, "Systems Programming with Dependent Types" Contributed Talks: Bob Atkey, "Reifying Parametricity" Steven Keuchel, "Generic Programming with Binders and Scope" Josh Ko, "Modularising Inductive Families" Pedro Magalhaes, "Formally Comparing Approaches to Datatype-generic Programming, using Agda" Conor McBride, "Crude but Effective Stratification" Duckki Oe, "versat: A Verified Modern SAT Solver" Brigitte Pientka, "Covering all Bases: Design and Implementation of a Coverage Checker for Contextual Objects" Venanzio Capretta, "The Polymorphic Representation of Induction-recursion" Kai Trojahner, "Qube: Array Programming with Dependent Types" Cezar Ionescu, "Dependently-typed Programming in Economic Modelling" See you in Nijmegen, Ana Bove, Chalmers, Sweden Matthieu Sozeau, INRIA, France Wouter Swierstra, Radboud University, The Netherlands

1 0

Re: [Haskell] [Haskell-cafe] Call for GUI examples - Functional Reactive Programming
by Henk-Jan van Tuyl 08 Jul '11

08 Jul '11

On Fri, 08 Jul 2011 08:08:26 +0200, Heinrich Apfelmus <apfelmus(a)quantentunnel.de> wrote: > Dear Haskellers, > > Can GUI programming be liberated from the IO monad? Functional Reactive > Programming (FRP) promises as much, and I'm trying to make this dream a > reality with my [reactive-banana][] library. Having released version > 0.4.0.0, I am now looking for example programs to direct the future > evolution of the library. > > Do you know any *small GUI programs* that you would *like* to see > *implemented with Functional Reactive Programming?* > wxAsteroids[0] seems very well suited for this; it is small and reactive. It is also well-documented, as Daan Leijen has written a paper[1], describing this game as a means to show how to use wxHaskell. Regards, Henk-Jan van Tuyl [0] http://www.haskell.org/haskellwiki/WxAsteroids [1] A Portable and Concise GUI Library for Haskell http://legacy.cs.uu.nl/daan/download/papers/wxhaskell.pdf -- http://Van.Tuyl.eu/ http://members.chello.nl/hjgtuyl/tourdemonad.html --

1 0

Re: [Haskell] [Haskell-cafe] Call for GUI examples - Functional Reactive Programming
by Jason Dagit 08 Jul '11

08 Jul '11

On Thu, Jul 7, 2011 at 11:08 PM, Heinrich Apfelmus <apfelmus(a)quantentunnel.de> wrote: > Dear Haskellers, > > Can GUI programming be liberated from the IO monad? Functional Reactive > Programming (FRP) promises as much, and I'm trying to make this dream a > reality with my [reactive-banana][] library. Having released version > 0.4.0.0, I am now looking for example programs to direct the future > evolution of the library. > > Do you know any *small GUI programs* that you would *like* to see > *implemented with Functional Reactive Programming?* > > I'm sure that some of you > > * are interested in FRP and would like to learn from a few simple but > beautiful examples > * or have written small GUI programs that they are unhappy with because they > were not purely functional > * or have thought about FRP before and concocted a few examples that are > very tricky to implement with FRP > * or have written a nice little GUI application that simply makes a great > example. > > I would love to hear your examples, so that I can try to convert them to FRP > style and test my library against them! How about a GUI for darcs? As someone who remains largely uninterested in FRP, I think it's mainly because toy examples can be done in many different styles without too much trouble. Even if the style itself is not very nice. I guess what I'm saying is that I would find "real-world" examples more compelling. Things that are substantial programs that require performance analysis, UI design work, etc. Maybe you can make an example that convinces me :) More and more things are moving to the cloud these days. Can you make a web app using FRP? Jason

1 0

Re: [Haskell] [Haskell-cafe] Call for GUI examples - Functional Reactive Programming
by David Virebayre 08 Jul '11

08 Jul '11

2011/7/8 Heinrich Apfelmus <apfelmus(a)quantentunnel.de>: > Do you know any *small GUI programs* that you would *like* to see > *implemented with Functional Reactive Programming?* I may have an example. > I would love to hear your examples, so that I can try to convert them to FRP > style and test my library against them! You want a description of the example, or the complete source code to make it work ? Cheers, David.

1 0

PhD position at Chalmers University
by John Hughes 07 Jul '11

07 Jul '11

Looking for a funded PhD position in functional programming? The FP group at Chalmers is recruiting a new PhD student to join us in bringing the productivity of functional programming to new application domains, via domain specific languages embedded in Haskell. More details, and application via this link: http://www.chalmers.se/cse/EN/news/vacancies/positions/phd-student-position… Deadline for applications: 1st September. John Hughes

1 0

CFP: PADL'12 - Practical Aspects of Declarative Languages 2012
by Claudio Russo 07 Jul '11

07 Jul '11

[Apologies if you receive multiple copies.] Call for Papers =============== 14th International Symposium on Practical Aspects of Declarative Languages (PADL 2012) http://research.microsoft.com/~crusso/padl12 Philadelphia, Pennsylvania, USA, January 23-24, 2012 Co-located with ACM POPL'12 Abstract/Paper submission deadline: September 10th/17th, 2011 Conference Description ====================== Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been successfully applied to many different real-world situations, ranging from data base management to active networks to software engineering to decision support systems. New developments in theory and implementation have opened up new application areas. At the same time, applications of declarative languages to novel problems raise numerous interesting research issues. Well-known questions include designing for scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well. PADL is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including, functional, logic, constraints, etc. Topics of interest include, but are not limited to: * Innovative applications of declarative languages * Declarative domain-specific languages and applications * Practical applications of theoretical results * New language developments and their impact on applications * Declarative languages and Software Engineering * Evaluation of implementation techniques on practical applications * Practical experiences and industrial applications * Novel uses of declarative languages in the classroom * Practical extensions such as constraint-based, probabilistic, and reactive languages. PADL'12 welcomes new ideas and approaches pertaining to applications and implementation of declarative languages. In this occasion PADL is co-located, as traditionally, with ACM POPL, which will be held immediately following PADL, January 25-27. The symposium will be held in Philadelphia, Pennsylvania, USA. Important Dates and Submission Guidelines ========================================= Abstract Submission: September 10, 2011 Paper Submission: September 17, 2011 Notification: October 22, 2011 Camera-ready: November 5, 2011 Symposium: January 23-24, 2011 Authors should submit an electronic copy of the full paper in PDF using the Springer LNCS format. The submission will be done through EasyChair conference system. If electronic submission is impossible, please contact the program chairs for information on how to submit hard copies. All submissions must be original work written in English. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. PADL'12 will accept both technical and application papers: * Technical papers must describe original, previously unpublished research results. Technical papers must not exceed 15 pages in Springer LNCS format. * Application papers are a mechanism to present important practical applications of declarative languages that occur in industry or in areas of research other than Computer Science. Application papers will be published in the Springer-Verlag conference proceedings, and will be presented in a separate session. Application papers are expected to describe complex and/or real-world applications that rely on an innovative use of declarative languages. Application descriptions, engineering solutions and real-world experiences (both positive and negative) are solicited. The limit for application papers is 6 pages in Springer LNCS format. Program Committee ================= Marcello Balduccini, Intelligent Systems Department, Kodak Research Labs Edwin Brady, University of St Andrews, Scotland Henning Christiansen, Roskilde University, Denmark Agostino Dovier, University of Udine, Italy Matthew Flatt, University of Utah, USA Gopal Gupta, University of Texas at Dallas, USA John Hughes, Chalmers University of Technology, Sweden; Quviq AB Gabriele Keller, University of New South Wales, Australia Lunjin Lu, Oakland University, USA Marc Pouzet, École normale supérieure, France Ricardo Rocha, University of Porto, Portugal Andreas Rossberg, Google Germany GmbH, Germany Claudio Russo, Microsoft Research Cambridge, UK (co-chair) Kostis Sagonas, Uppsala Univeristy, Sweden Satnam Singh, Microsoft Research Cambridge, UK Zoltan Somogyi, University of Melbourne, Australia Eijiro Sumii, Tohoku University, Japan Terrance Swift, Universidade Nova de Lisboa, Portugal; Johns Hopkins University, USA Andrew Tolmach, Portland State University, USA Jan Wielemaker, University of Amsterdam, The Netherlands Roland Yap, National University of Singapore, Republic of Singapore Kwangkeun Yi, Seoul National University, Korea Neng-Fa Zhou, Brooklyn College, City University of New York, USA (co-chair) Contacts ======== For additional information about papers and submissions, please contact the Program Chairs: Claudio Russo Microsoft Research Cambridge,UK Email: crusso <AT> microsoft <DOT> com Neng-Fa Zhou Brooklyn College, The City University of New York, USA Email: zhou <AT> sci <DOT> brooklyn <DOT> cuny <DOT> edu With the Cooperation of ======================= The Association for Logic Programming (ALP) ACM SIGPLAN ===================================

1 0