- Haskell - Haskell.org

PADL 2010: Second Call for Papers
by PADL 2010 03 Aug '09

03 Aug '09

CALL FOR PAPERS Twelfth International Symposium on Practical Aspects of Declarative Languages 2010 (PADL'10) http://clip.dia.fi.upm.es/Conferences/PADL-2010 Madrid, Spain January 18-19, 2010 Co-located with ACM POPL'10 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. PADL'10 welcomes new ideas and approaches pertaining to applications and implementation of declarative languages. PADL'10 will be co-located with POPL 2010. IMPORTANT DATES Abstract submission: August 31, 2009 Paper Submission: September 4, 2009 Notification: October 5, 2009 Camera-ready: October 26, 2009 Symposium: January 18-19, 2010 SUBMISSION GUIDELINES Authors should submit an electronic copy of the full paper (written in English) in PDF, in the Springer LNCS format (see http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0) The submission will be done through EasyChair at the URL http://www.easychair.org/conferences/?conf=padl10 . PADL'10 will accept both technical and application papers. Technical Papers Technical papers must describe original, previously unpublished research results, and must not be simultaneously submitted for publication elsewhere. Each submission must be written in English, and include three to four keywords, which will be used to assist us in selecting appropriate reviewers for the paper. Submissions must not exceed 15 pages in Springer LNCS format. Application Papers 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 3 pages in Springer LNCS format. Most Practical Paper Award The Most Practical Paper award will be given to the technical submission that is judged by the program committee to be the best in terms of practicality, originality, and clarity of presentation. The program committee may choose not to make an award, or to make multiple awards. PROGRAM COMMITTEE Program Committee Chairs Manuel Carro (Universidad Politécnica de Madrid, Spain) Ricardo Peña (Universidad Complutense de Madrid, Spain) Program Committee María Alpuente (Universidad Politécnica de Valencia, Spain) Lennart Augustson (Standard Chartered Bank and Chalmers University of Technology, Sweden) Olaf Chitil (University of Kent, UK) María García de la Banda (Monash University, Australia) Andy Gill (The University of Kansas, USA) Haifeng Guo (University of Nebraska at Omaha, USA) Martin Hofmann (Ludwig-Maximilians Universität, Germany) Andy King (Portcullis Computer Security Limited, UK) John Launchbury (Galois, USA) Rita Loogen (Philipps-Universität Marburg, Germany) Erik Meijer (Microsoft Research, UK) Enrico Pontelli (New Mexico State University, USA) Vítor Santos Costa (Universidade do Porto, Portugal) Terrance Swift (CENTRIA, Portugal) Paolo Torroni (Università di Bologna, Italy) Roland Yap (National University of Singapore, Singapore) CONTACTS: For information about papers and submissions, please contact a Program Chair: Manuel Carro PC co-Chair - PADL 2010 School of Computer Science Universidad Politécnica de Madrid Campus de Montengancedo E-28660 Boadilla del Monte, Spain Email: mcarro <AT> fi<DOT>upm<DOT>es Ricardo Peña PC co-Chair - PADL 2010 Facultad de Informática Universidad Complutense de Madrid c/ Profesor José García Santesmases s/n E-28040 Madrid, Spain Email: ricardo <AT> sip<DOT>ucm<DOT>es For other information about the conference, please contact: Manuel Carro General Chair - PADL 2010 School of Computer Science Universidad Politécnica de Madrid Campus de Montengancedo E-28660 Boadilla del Monte, Spain Email: mcarro <AT> fi<DOT>upm<DOT>.es WITH THE COOPERATION OF: The University of Texas at Dallas ACM Sigplan

1 0

IFL 2009: Call for Papers and Participation
by IFL 2009 02 Aug '09

02 Aug '09

1 0

ANNOUNCE: sendfile-0.5 with >2gb files and goood performance
by Matthew Elder 01 Aug '09

01 Aug '09

sendfile-0.5 -------------------------------------------------------------------------------- * Code simplification / beautification * Fixed a bug where all bytes were not sent with larger files in linux (greater than 5 mb or so) * Added large file support (> 2gb) for Linux, Win32, and Portable * The current handle position will now be ignored in favor of using an offset when using the ' variants. There is no guarantee that an input file Handle will not be mutated; only a guarantee that sendFile' and unsafeSendFile' do not care about the starting position -- they will always start from the beginning. * The portable implementation is now more reliable and memory-efficient thanks to the work done by Bardur Arantsson. * The Win32 implementation is more reliable now, as TransmitFile is now called with 'foreign import stdcall safe' once again. The FreeBSD implementation is still in need of some love but the Win32 & Linux implementations work great! Happy Hacking! Matthew Elder

1 0

ANNOUNCE: The Haskell Platform 2009.2.0.2
by Don Stewart 01 Aug '09

01 Aug '09

We're pleased to announce the third release of the Haskell Platform: a single, standard Haskell distribution for everyone. The specification, along with installers (including Windows and Unix installers for a full Haskell environment) are available. Download the Haskell Platform 2009.2.0.2: http://hackage.haskell.org/platform/ The Haskell Platform is a single, standard Haskell distribution for every system, in the form of a blessed library and tool suite for Haskell distilled from the thousands of libraries on Hackage, along with installers for a wide variety of systems. It saves developers work picking and choosing the best Haskell libraries and tools to use for a task. When you install the Haskell Platform, you get the latest stable compiler, an expanded set of core libraries, additional development tools, and cabal-install – so you can download anything else you need from Hackage. What you get: http://hackage.haskell.org/platform/contents.html With regular time-based releases, we expect the platform will grow into a rich, indispensable development environment for all Haskell projects. Since the first release, there have been over 100,000 downloads of the installers. Thanks! -- The Platform Infrastructure Team

1 0

ANNOUNCE: OpenGL 2.3.0.0
by Sven Panne 31 Jul '09

31 Jul '09

A new version of the OpenGL package has bee uploaded to Hackage. The main change is that it is now only a convenience layer upon the OpenGLRaw and GLURaw packages, written in in pure Haskell without the FFI. The latter two packages load the native libraries dynamically and do not rely on any C headers, making it possible to build all OpenGL-related packages even on machines without any installed native OpenGL support. Apart from that, a bug in vertexAttribPointer has been fixed. Cheers, S.

3 2

ANNOUNCE: nntp 0.0.2
by Maciej Piechotka 31 Jul '09

31 Jul '09

Nntp is a library to connect to nntp (i.e. mainly USENET) servers. Since 0.0.1 nntp undergone an nearly total rewrite. Currently RFC977 + one command of RFC2980 is implemented but RFC3977 is on the top of the TODO list. Changes since 0.0.1: - Put into a NntpT monad. It allows to pass and change the state more easily. As code should not be interleave much with normal IO (servers sometimes have short timeout) additional lifts should not be a problem. - Add basic support for XHDR. Other commands should follow. TODO: - Implement the CAPABILITIES call - Change article headers to allow fetching only some of the headers (for use with XOVER etc.) - Implementing other commands - Writing tests - Implementing extentions (TLS, Auth...) Special thanks for Antti-Juhani Kaijanaho who allowed me to experiment with NNTP protocol on his server. Regards

1 0

ANNOUNCE: GLUT 2.2.0.0
by Sven Panne 29 Jul '09

29 Jul '09

A new version of the GLUT package has been uploaded to Hackage. It depends on the new OpenGL, StateVar and Tensor packages, but apart from that the API is unchanged. Furthermore, a simple, pure OpenGL 3.1 demo has been added, which does not rely on any deprecated OpenGL functionality (SmoothOpenGL3). Cheers, S.

1 0

ANN: The Monad.Reader - Issue 14
by Wouter Swierstra 29 Jul '09

29 Jul '09

Dear all, I am pleased to announce that a new issue of The Monad.Reader is now available: http://themonadreader.wordpress.com/ Issue 14 consists of the following three articles: * Fun with Morse Code by Heinrich Apfelmus * Hieroglyph 2: Purely Functional Information Graphics Revisited by Jefferson Heard * Lloyd Allison’s Corecursive Queues: Why Continuations Matter by Leon P Smith Please note that I've moved the Monad.Reader to a new Wordpress blog. You may want to update your bookmarks. If you’d like to write something for the next issue of The Monad.Reader, please get in touch. I haven’t fixed the deadline for the next issue just yet, but expect a deadline late 2009. Wouter

1 0

Building a library for C users
by Thomas Davie 28 Jul '09

28 Jul '09

Hiya all, I'm trying to build a library that can be called from C code. The ghc manual implies that this can be done, but does not specify the compiler options that I need to throw at it, and into which files I should put initialisation/end routines. Does anyone know the magic I need to invoke to get ghc to produce for me (a) a header file, (b) preferably a dynamic library, put a static one if all else fails. Thanks Tom Davie

2 1

ANN: haskell-src-exts-1.1.0
by Niklas Broberg 26 Jul '09

26 Jul '09

Fellow Haskelleers, I'm pleased to announce the release of haskell-src-exts-1.1.0, bringing you tuple sections, comments, and a few bug fixes. haskell-src-exts is a package for Haskell source code manipulation. In particular it defines an abstract syntax tree representation, and a parser and pretty-printer to convert between this representation and String. It handles (almost) all syntactic extensions to the Haskell 98 standard implemented by GHC, and the parsing can be parametrised on what extensions to recognise. haskell-src-exts 1.1.0: =================== * Adds rudimentary support for retaining comments while parsing a source document. The support currently comes in the following form: - The module Language.Haskell.Exts.Comments defines a datatype Comment with two constructors denoting single-line (--) and multi-line ({- -}) comments. - The Parseable class is extended with a function 'parseWithComments :: Parseable ast => ParseMode -> String -> ParseResult (ast, [Comment])' which simply returns all comments as a list alongside the AST. There are also specialised versions for the usual suspects. Example run: HSE> parseExpWithComments defaultParseMode "1 + {- comment -} 4 -- end\n" ParseOk (InfixApp (Lit (Int 1)) (QVarOp (UnQual (Symbol "+"))) (Lit (Int 4)),[Mu ltiLine (SrcLoc {srcFilename = "<unknown>.hs", srcLine = 1, srcColumn = 3}) " co mment ",SingleLine (SrcLoc {srcFilename = "<unknown>.hs", srcLine = 1, srcColumn = 19}) " end"]) This first release of comment support is as seen very rudimentary, but I'm releasing it early in the hope that people who need features tied to this will start looking at what's there and send me comments on what further support they would like to see and consider missing. * Support for TupleSections: <http://hackage.haskell.org/trac/ghc/ticket/3377> * Fixes a bug where the statements of a list comprehension were returned in the wrong order (oops!). * Fixes a bug where function definitions were printed incorrectly when using PPOffsideRule - thanks to Mathieu Boespflug for the patch. * Fixes the broken 'cabal test' - thanks to Robin Green for the entire test runner support! Cheers and Happy Haskelling, /Niklas

1 0