- Haskell - Haskell.org

ANNOUNCE: lhs2tex-1.14
by Andres Loeh 07 Nov '08

07 Nov '08

lhs2TeX version 1.14 ==================== We are pleased to announce a new release of lhs2TeX, a preprocessor to generate LaTeX code from literate Haskell sources. lhs2TeX includes the following features: * Highly customized output. * Liberal parser -- no restriction to Haskell 98. * Generate multiple versions of a program or document from a single source. * Active documents: call Haskell to generate parts of the document (useful for papers on Haskell). * A manual explaining all the important aspects of lhs2TeX. Changes (w.r.t. lhs2TeX 1.13) ----------------------------- * Compatible with cabal-1.6; traditional configure/make installation should still work. * Unicode support. * Support for Agda's lexing rules (via --agda flag). * Minor bugfixes. Requirements and Download ------------------------- A source distribution is available from http://people.cs.uu.nl/andres/lhs2tex/ and, of course, via Hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/lhs2tex Should work on all major platforms, but has mainly been tested on Linux. Binaries will be made available on request. You need a recent version of GHC (6.8.{2,3} are tested, older versions might work) to build lhs2TeX, and, of course, you need a TeX distribution to make use of lhs2TeX's output. The program includes a configuration that is suitable for use with LaTeX. In theory, there should be no problem to generate code for other TeX flavors, such as plainTeX or ConTeXt. Happy lhs2TeXing, Andres Loeh and Ralf Hinze -- Andres Loeh, Universiteit Utrecht mailto:andres@cs.uu.nl mailto:mail@andres-loeh.de http://www.andres-loeh.de

3 2

ANNOUNCE: Haddock version 2.4.0
by David Waern 06 Nov '08

06 Nov '08

-------------------------------------------- -- Haddock 2.4.0 -------------------------------------------- A new version of Haddock, the Haskell documentation tool, is out. This is a later version than the one shipped with GHC 6.10.1, which is version 2.3.0. That version will not be released on Hackage since it only builds with GHC 6.10.1 (by accident, actually). Besides adding back support for earlier GHC versions, this release contains some more fixes and support for HTML frames. Please use the bug tracker to submit bug reports or feature requests. -------------------------------------------- -- Changes in version 2.4.0 -------------------------------------------- * Add framed view of the HTML documentation * Build with GHC 6.8.2 and 6.8.3 again * Support images in documentation comments again * Small improvements to the Hoogle output * A few bugs has been fixed -------------------------------------------- -- Changes in version 2.3.0 -------------------------------------------- * Support for GHC 6.10.1 * Slightly improved space usage * Fix a bug that made hidden modules show up in the contents & index pages * Fix a bug that made Haddock load modules twice * Improvements to the Hoogle output -------------------------------------------- -- Links -------------------------------------------- Homepage: http://www.haskell.org/haddock Hackage page: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/haddock-2.4.0 Bugtracker and wiki: http://trac.haskell.org/haddock Mailing list: haskelldoc(a)haskell.org Code repository: http://code.haskell.org/haddock -------------------------------------------- -- Contributors -------------------------------------------- The persons who contributed to the 2.3.0 and 2.4.0 releases are: Clemens Fruhwirth Peter Gavin Ian Lynagh Neil Mitchell Luke Plant Thomas Schilling David Waern -------------------------------------------- -- Get Involved -------------------------------------------- We welcome new contributors. To get involved, start by grabbing the code: http://code.haskell.org/haddock Then take a look at the bug and feature tracker for things to work on: http://trac.haskell.org/haddock

2 1

1-year postdoc position in Chalmers Functional Programming group
by John Hughes 05 Nov '08

05 Nov '08

The Chalmers Functional Programming Group would like to recruit a post-doctoral researcher for a one-year tax-free stipend funded by Intel. The funded project will develop a Domain Specific Language (DSL) for high level modelling, design and analysis of hardware and microarchitectures. We will concentrate on providing language support for the abstractions involved. Intel funded the following research proposal by Mary Sheeran and Koen Claessen from the FP group and Per Larsson-Edefors from the VLSI group: http://www.cs.chalmers.se/~ms/IntelProp.pdf Our contact person at Intel is Carl Seger, who is visiting faculty at our Department. We have been working with Intel for some years, and find the contact to be very stimulating. Our most recent project was on Wired, a DSL for low level hardware design, documented in Emil Axelsson's recent PhD thesis: http://www.cs.chalmers.se/~emax/documents/PhD_thesis.pdf We are looking for a researcher with a very strong background and research record in functional programming, and preferably also in domain specific languages. We will work in Haskell, given the expertise available in the group. We feel that knowledge of functional programming is most important, but of course an interest in hardware or architectural modelling would also be an advantage. We would like to get the project underway on Jan. 1 2009 or as soon as possible thereafter. For further information about the project, our group and Chalmers, please contact Mary Sheeran (ms at chalmers.se). An application, which should be sent by email to both Mary and Koen Claessen (koen at chalmers.se), should consist of your CV, a list of publications with links to relevant papers, and a brief description of your research to date. The deadline for applications is December 1 2008. To be eligible, you must have a doctorate from a non-Swedish University. We will plan to interview suitable candidates. The Chalmers Functional Programming group has as its senior members John Hughes, Mary Sheeran, Koen Claessen, Patrik Jansson and Björn von Sydow, as well as around 8 post-docs and doctoral students. Much of our work has centred on DSLs (QuickCheck, Lava, Wired) and we are embarking on both this project and a project with Ericsson to develop a DSL for Digital Signal Processing algorithm design. One of our doctoral students, Joel Svensson, is developing a DSL for GPU programming. We provide an excellent research environment, and can also strongly recommend Göteborg as a great place to live. The project is initially funded for a year, but we are hopeful of obtaining continued funding for this work. John Hughes

1 0

ANN: The Haskell-Beginners mailing list has now been added to the fa.haskell Usenet gateway.
by Benjamin L.Russell 05 Nov '08

05 Nov '08

With the help of Kjetil Torgrim Homme, the administrator for the gateway at fa.* (including fa.haskell) (see "fa.* groups - news.groups | Google Groups" at http://groups.google.com/group/news.groups/msg/cce2e80da2f608ca) as well as some critical information from Jeffrey M. Vinocur on comp.lang.haskell and comp.lang.functional (see "adding a mailing list to fa.haskell? - comp.lang.functional | Google Groups" at http://groups.google.com/group/comp.lang.functional/browse_thread/thread/ce…) and some account management on my part, the Haskell-Beginners mailing list has finally been added to the fa.haskell Usenet newsgroup! fa.haskell - nntpnews.net http://www.nntpnews.net/f2460/ Previously, only the Haskell and Haskell-Cafe mailing lists were echoed. You can now read Haskell-Beginners even when the Gmane mailing list archive (see http://www.gmane.org/) is down with a newsreader on fa.haskell (although, since the gateway is unidirectional, you cannot post with fa.haskell--use the mailing list or Gmane for that). Many thanks to Jeffrey M. Vinocur on comp.lang.haskell and comp.lang.functional for his timely information on who was in charge of fa.haskell, and to Kjetil Torgrim Homme, the administrator of fa.haskell. Without their help, this addition would not have been possible. -- Benjamin L. Russell

1 0

Re: ANNOUNCE: GHC version 6.10.1 - MacOS installer
by Brandon S. Allbery KF8NH 05 Nov '08

05 Nov '08

On 2008 Nov 4, at 20:26, Jason Dagit wrote: > On Tue, Nov 4, 2008 at 4:26 PM, Manuel M T Chakravarty > <chak(a)cse.unsw.edu.au> wrote: >> Jason Dagit: >>> I'm on OSX and I currently have ghc-6.6.1 and ghc-6.8.3 (installed >>> from a pkg). I would like to add ghc-6.10.1 to my system. I tried >>> to >>> do this with RC1 of 6.10, but I found that it uninstalled my >>> ghc-6.8.3. >>> >>> What will I need to do to get both 6.8.3 and 6.10.1? >> >> Are you sure it does deinstall the 6.8 compiler? Or does it just >> overwrite >> the symbolic links in /usr/bin? To check, have a look at >> >> /Library/Frameworks/GHC.framework/Versions >> >> After installing 6.10, there should be a 608/ and a 610/ >> directory. This >> certainly happens on my Mac and I am not aware of an option to >> change that >> behaviour. > > I haven't tried the 6.10.1 install, but after using the 6.8.3 pkg > followed by the 6.10 RC1 pkg, followed by the 6.8.3 pkg, I have just > 608 in the directory you mention. I expect if you used the OSX installer then /Library/Receipts is screwing you (it wipes the old files listed in the .bom file). Try finding and removing the receipt directory and bom file before installing. -- brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allbery(a)kf8nh.com system administrator [openafs,heimdal,too many hats] allbery(a)ece.cmu.edu electrical and computer engineering, carnegie mellon university KF8NH

1 0

Re: ANNOUNCE: GHC version 6.10.1 - MacOS installer
by Manuel M T Chakravarty 05 Nov '08

05 Nov '08

Jason Dagit: > On Tue, Nov 4, 2008 at 10:11 AM, Ian Lynagh <igloo(a)earth.li> wrote: >> >> How to get it >> ~~~~~~~~~~~~~ >> >> The easy way is to go to the web page, which should be self- >> explanatory: >> >> http://www.haskell.org/ghc/ >> >> We supply binary builds in the native package format for many >> platforms, and the source distribution is available from the same >> place. >> >> Packages will appear as they are built - if the package for your >> system isn't available yet, please try again later. > > I'm on OSX and I currently have ghc-6.6.1 and ghc-6.8.3 (installed > from a pkg). I would like to add ghc-6.10.1 to my system. I tried to > do this with RC1 of 6.10, but I found that it uninstalled my > ghc-6.8.3. > > What will I need to do to get both 6.8.3 and 6.10.1? Are you sure it does deinstall the 6.8 compiler? Or does it just overwrite the symbolic links in /usr/bin? To check, have a look at /Library/Frameworks/GHC.framework/Versions After installing 6.10, there should be a 608/ and a 610/ directory. This certainly happens on my Mac and I am not aware of an option to change that behaviour. And while we are at it...a BIG FAT WARNING: If you installed the 6.10.200081007 pre-release installer package, uninstall that *before* installing the 6.10.1 package. For reasons, I don't understand, the installer otherwise half removes the old package, but doesn't seem to install the new one. Can a Mac expert shed any light on that behaviour? If you tried installing 6.10.1 before reading that, just remove the partial installation you are left with, and install again. Manuel

1 0

ANNOUNCE: GHC version 6.10.1
by Ian Lynagh 04 Nov '08

04 Nov '08

============================================================== The (Interactive) Glasgow Haskell Compiler -- version 6.10.1 ============================================================== The GHC Team is pleased to announce a new major release of GHC. There have been a number of significant changes since the last major release, including: * Some new language features have been implemented: * Record syntax: wild-card patterns, punning, and field disambiguation * Generalised quasi-quotes * Generalised list comprehensions * View patterns * Type families have been completely re-implemented * Now comes with Haddock 2, which supports all GHC extensions * Parallel garbage collection * Base provides extensible exceptions * The GHC API is easier to use * External core (output only) now works again * Data Parallel Haskell (DPH) comes as part of GHC The full release notes are here: http://haskell.org/ghc/docs/6.10.1/html/users_guide/release-6-10-1.html How to get it ~~~~~~~~~~~~~ The easy way is to go to the web page, which should be self-explanatory: http://www.haskell.org/ghc/ We supply binary builds in the native package format for many platforms, and the source distribution is available from the same place. Packages will appear as they are built - if the package for your system isn't available yet, please try again later. Background ~~~~~~~~~~ Haskell is a standard lazy functional programming language; the current language version is Haskell 98, agreed in December 1998 and revised December 2002. GHC is a state-of-the-art programming suite for Haskell. Included is an optimising compiler generating good code for a variety of platforms, together with an interactive system for convenient, quick development. The distribution includes space and time profiling facilities, a large collection of libraries, and support for various language extensions, including concurrency, exceptions, and foreign language interfaces (C, whatever). GHC is distributed under a BSD-style open source license. A wide variety of Haskell related resources (tutorials, libraries, specifications, documentation, compilers, interpreters, references, contact information, links to research groups) are available from the Haskell home page (see below). On-line GHC-related resources ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Relevant URLs on the World-Wide Web: GHC home page http://www.haskell.org/ghc/ GHC developers' home page http://hackage.haskell.org/trac/ghc/ Haskell home page http://www.haskell.org/ Supported Platforms ~~~~~~~~~~~~~~~~~~~ The list of platforms we support, and the people responsible for them, is here: http://hackage.haskell.org/trac/ghc/wiki/Contributors Ports to other platforms are possible with varying degrees of difficulty. The Building Guide describes how to go about porting to a new platform: http://hackage.haskell.org/trac/ghc/wiki/Building Developers ~~~~~~~~~~ We welcome new contributors. Instructions on accessing our source code repository, and getting started with hacking on GHC, are available from the GHC's developer's site run by Trac: http://hackage.haskell.org/trac/ghc/ Mailing lists ~~~~~~~~~~~~~ We run mailing lists for GHC users and bug reports; to subscribe, use the web interfaces at http://www.haskell.org/mailman/listinfo/glasgow-haskell-users http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs There are several other haskell and ghc-related mailing lists on www.haskell.org; for the full list, see http://www.haskell.org/mailman/listinfo/ Some GHC developers hang out on #haskell on IRC, too: http://www.haskell.org/haskellwiki/IRC_channel Please report bugs using our bug tracking system. Instructions on reporting bugs can be found here: http://www.haskell.org/ghc/reportabug

2 1

FMICS 2009: First Call for Papers
by FMICS 2009 workshop chair 04 Nov '08

04 Nov '08

FMICS 2009 - FIRST CALL FOR PAPERS Please visit: http://www.dsic.upv.es/workshops/fmics2009 ************************************************** * 14th International Workshop on * * Formal Methods for Industrial Critical Systems * * FMICS 2009 * * * * November 2-3, 2009 * * Eindhoven, The Netherlands * ************************************************** IMPORTANT DATES --------------- Deadline for abstracts: 1st April Deadline for papers: 7 April Accept/Reject notification: 15 June Camera-ready version: 15 July Workshop: 2-3 November SCOPE OF THE WORKSHOP --------------------- The aim of the ERCIM FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops bring together scientists and engineers that are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. These workshops also strive to promote research and development for the improvement of formal methods and tools for industrial applications. Topics include, but are not restricted to: - Design, specification, code generation and testing based on formal methods. - Methods, techniques and tools to support automated analysis, certification, debugging, learning, optimization and transformation of complex, distributed, real-time systems and embedded systems. - Verification and validation methods that address shortcomings of existing methods with respect to their industrial applicability (e.g., scalability and usability issues). - Tools for the development of formal design descriptions. - Case studies and experience reports on industrial applications of formal methods, focusing on lessons learned or identification of new research directions. - Impact of the adoption of formal methods on the development process and associated costs. - Application of formal methods in standardization and industrial forums. INVITED SPEAKERS ---------------- To be announced CO-CHAIRS --------- Maria Alpuente (Technical University of Valencia, Spain) Byron Cook (Microsoft Research, UK) PROGRAM COMMITTEE ------------------- Hassan Ait-Kaci (Ilog, Canada) Maria Alpuente (Technical University of Valencia, Spain) Thomas Arts (IT-Universitetet i Goteborg, Sweden) Demis Ballis (Universita degli Studi di Udine, Italy) Josh Berdine (Microsoft Research, UK) Lubos Brim (Masarykova Univerzita, Czech Republic) Darren Cofer (Rockwell Collins, USA) Byron Cook (Microsoft Research, UK) Patrick Cousot (Ecole Normale Superieure, France) Santiago Escobar (Technical University of Valencia, Spain) Azadeh Farzan (University of Toronto, Canada) Hubert Garavel (INRIA Rhone-Alpes, France) Stefania Gnesi (ISTI-CNR, Italy) Alexey Gotsman (University of Cambridge, UK) Holger Hermanns (Universitat des Saarlandes, Germany) Christophe Joubert (Technical University of Valencia, Spain) Daniel Kroening (ETH Zurich, Switzerland) Michael Leuschel (Heinrich-Heine-Universitat Dusseldorf, Germany) Pedro Merino (Universidad de Malaga, Spain) Juan Jose Moreno-Navarro (Universidad Politecnica de Madrid, Spain) Corina Pasareanu (NASA Ames Research Center, USA) Jaco van de Pol (Universiteit Twente, The Netherlands) Murali Rangarajan (Honeywell, USA) Jakob Rehof (Technische Universitat Dortmund, Germany) Andrey Rybalchenko (Max-Planck-Gesellschaft, Germany) Marcel Verhoef (Chess, The Netherlands) Martin Wirsing (Ludwig-Maximilians-Universitat Munchen, Germany) Hongseok Yang (Queen Mary, University of London, UK) Greta Yorsh (IBM T.J. Watson Research Center, USA) ERCIM FMICS WG COORDINATOR -------------------------- Alessandro Fantechi (Universita degli Studi di Firenze and ISTI-CNR, Italy) WORKSHOP CHAIR -------------- Christophe Joubert (Technical University of Valencia, Spain) PAPER SUBMISSIONS ----------------- Submissions must be made electronically. Papers should be up to 16 pages in LNCS format, with the names and affiliations of the authors and a clear and informative abstract. Additional details may be included in a clearly marked appendix, which will be read at the discretion of the program committee. All submissions must report on original research. Submitted papers must not have previously appeared in a journal or conference with published proceedings and must not be concurrently submitted to any other peer-reviewed workshop, symposium, conference or archival journal. Any partial overlap with any such published or concurrently submitted paper must be clearly indicated. Case study papers should identify lessons learned, validate theoretical results (such as scalability of methods), or provide specific motivation for further research and development. Publication of the workshop proceedings in the Springer series Lecture No tes in Computer Science (LNCS) is envisaged. CO-LOCATION ----------- FMICS 2009 is part of the first Formal Methods Week (FMweek), which will bring together a choice of events in the area, including FM 2009 (16th symposium on Formal Methods), TESTCOM/FATES (conference on Testing of Communicating Systems and workshop on Formal Approaches to Testing of Software), FORMATS (Formal Modelling and Analysis of Timed Systems), PDMC (Parallel and Distributed Methods of verifiCation), and the REFINE Workshop. For the latest information on FMweek, please visit http://www.win.tue.nl/fmweek.

1 0

ANNOUNCE: htags-1.0
by David Sankel 04 Nov '08

04 Nov '08

http://hackage.haskell.org/cgi-bin/hackage-scripts/package/htags htags is a tag file generator to enable extra functionality in editors like vim. It expands upon hasktags by using a full Haskell 98 parser and options for recursion. -- David Sankel Sankel Software www.sankelsoftware.com 585 617 4748 (Office) 585 309 2016 (Mobile)

5 4

Re: [Haskell] ANNOUNCE: RefSerialize-0.2.1
by Alberto G. Corona 03 Nov '08

03 Nov '08

I uploadad RefSerialize<http://hackage.haskell.org/cgi-bin/hackage-scripts/package/RefSerialize> to Hackage . Read, Show and Data.Binary do not check for repeated references to the same data address. As a result, the data is serialized multiple times when serialized. This is a waste of space in the filesystem and also a waste of serialization time. but the worst consequence is that, when the serialized data is read, it allocates multiple copies in memory for the same object referenced multiple times. Because multiple referenced data is very typical in a pure language such is Haskell, this means that the resulting data loose the beatiful economy of space and processing time that referential transparency permits. This package allows the serialization and deserialization of large data structures without duplication of data, with the result of optimized performance and memory usage. It is also useful for debugging purposes. There are automatic derived instances for instances of Read/Show, lists and strings. the deserializer contains a almos complete set of Parsec.Token parsers for deserialization. Every instance of Show/Read is also a instance of Data.RefSerialize The serialized string has the form "expr( var1, ...varn) where var1=value1,..valn=valueN " so that the string can ve EVALuated. See demo.hs and tutorial. I presumably will add a entry in haskell-web.blogspot.com To develop: -derived instances for Data.Binary -serialization to/from ByteStings I wrote this module because I needed to serialize lists of verisions of the same data with slight modifications between each version. This is a short tutorial (in tutorial.txt) runW applies showp, the serialization parser of the instance Int for the RefSerialize class Data.RefSerialize>let x= 5 :: Int Data.RefSerialize>runW $ showp x "5" every instance of Read and Show is an instance of RefSerialize. rshowp is derived from showp, it labels the serialized data with a variable name Data.RefSerialize>runW $ rshowp x " v8 where {v8= 5; }" Data.RefSerialize>runW $ rshowp [2::Int,3::Int] " v6 where {v6= [ v9, v10]; v9= 2; v10= 3; }" while showp does a normal show serialization Data.RefSerialize>runW $ showp [x,x] "[5, 5]" rshowp variables are serialized memory references: no piece of data that point to the same addrees is serialized but one time Data.RefSerialize>runW $ rshowp [x,x] " v9 where {v6= 5; v9= [ v6, v6]; }" This happens recursively Data.RefSerialize>let xs= [x,x] in str = runW $ rshowp [xs,xs] Data.RefSerialize>str " v8 where {v8= [ v10, v10]; v9= 5; v10= [ v9, v9]; }" the rshowp serialized data is read with rreadp. The showp serialized data is read by readp Data.RefSerialize>let xss= runR rreadp str :: [[Int]] Data.RefSerialize>print xss [[5,5],[5,5]] this is the deserialized data the deserialized data keep the references!! pointers are restored! That is the whole point! Data.RefSerialize>varName xss !! 0 == varName xss !! 1 True rShow= runW rshowp rRead= runR rreadp Data.RefSerialize>rShow x " v11 where {v11= 5; }" In the definition of a referencing parser non referencing parsers can be used and viceversa. Use a referencing parser when the piece of data is being referenced many times inside the serialized data. by default the referencing parser is constructed by: rshowp= insertVar showp rreadp= readVar readp but this can be redefined. See for example the instance of [] in RefSerialize.hs This is an example of a showp parser for a simple data structure. data S= S Int Int deriving ( Show, Eq) instance Serialize S where showp (S x y)= do xs <- rshowp x -- rshowp parsers can be inside showp parser ys <- rshowp y return $ "S "++xs++" "++ys readp = do symbol "S" -- I included a (almost) complete Parsec for deserialization x <- rreadp y <- rreadp return $ S x y there is a mix between referencing and no referencing parser here: Data.RefSerialize>putStrLn $ runW $ showp $ S x x S v23 v23 where {v23= 5; } (I corrected some errors in this file here)

1 1