January 2008 - Haskell

ANN: 16 updated packages: HDBC, ConfigFile, MissingH, and more
by John Goerzen 16 Jan '08

16 Jan '08

Hi folks, I've made new releases of a number of my packages. Rather than flood the list with individual announcements, I've consolidated them here. Many of these packages have only GHC 6.8 compatibility updates, but a fair number also have more significant changes. Detailed changes lists are below. These packages have been updated: anydbm ConfigFile darcs-buildpackage dfsbuild HDBC HDBC-odbc HDBC-postgresql HDBC-sqlite3 hg-buildpackage HSH hslogger LDAP ListLike magic MissingH srcinst These have not yet been updated: arch2darcs (no longer maintained) gtkrsync (pending newer GTK upload in Debian) hpodder (pending newer haxml upload in Debian) missingpy (pending available time) All packages have been uploaded to: * Hackage * Debian sid * Their software.complete.org site, if any * Their darcs or Mercurial repository anydbm 1.0.5 ------------ A generic interface library for DBM-like databases Update for GHC 6.8.x. Homepage: http://software.complete.org/anydbm ConfigFile 1.0.4 ---------------- Library for reading/writing human-editable configuration files Updated for GHC 6.8 compatibility and the new MissingH Homepage: http://software.complete.org/configfile darcs-buildpackage 0.5.12 ------------------------- Tools for building Debian packages with source stored in Darcs Updated for GHC 6.8 compatibility and the new MissingH Homepages: Darcs repo: http://darcs.complete.org/darcs-buildpackage Debian: http://packages.qa.debian.org/darcs-buildpackage dfsbuild 1.0.2 -------------- Tool for building Debian From Scratch bootable ISO images * Update for GHC 6.8.x Homepage: http://people.debian.org/~jgoerzen/dfs HDBC 1.1.4 ---------- Haskell DataBase Connectivity, generic RDBMS access * Update cabal for GHC 6.8 thanks to Paulo Tanimoto Homepage: http://software.complete.org/hdbc HDBC-odbc 1.1.4.0 ----------------- HDBC driver for ODBC connectivity * Updates for GHC 6.8 thanks to Bjorn Bringert and John Goerzen Homepage: http://software.complete.org/hdbc-odbc HDBC-postgresql 1.1.4.0 ----------------------- HDBC driver for PostgreSQL * Make sure Hackage tarball gets all files in package * Update for GHC 6.8 thanks to Duncan Coutts * Now use pg_config to find PostgreSQL library locations automatically thanks to Duncan Coutts Homepage: http://software.complete.org/hdbc-postgresql HDBC-sqlite3 1.1.4.0 -------------------- HDBC driver for Sqlite v3 * Cabal updates for GHC 6.8 thanks to Duncan Coutts and Paulo Tanimoto * Allow statements to remain prepared after execution has finished thanks to Toby Allsopp Homepage: http://software.complete.org/hdbc-sqlite3 hg-buildpackage 1.0.4 --------------------- Tools for building Debian packages with source in Mercurial Updates for compatibility with GHC 6.8, newest MissingH and HSH Homepages: Mercurial repo: http://hg.complete.org/hg-buildpackage Hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hg-buildpackage-… Debian: http://packages.debian.org/hg-buildpackage [ no trac instance ] HSH 1.2.5 --------- Library for easy shell-like scripting in Haskell * Clean ups and doc updates [jgoerzen] * Update for newer MissingH [jgoerzen] * Update .cabal for GHC 6.8 thanks to gwern0 * Various cleanups and reorgs thanks to gwern0 * New wcW (wc word count) in ShellEquivs thanks to gwern0 Homepage: http://software.complete.org/hsh hslogger 1.0.4 -------------- Library providing logging infrastructure * Updated for GHC 6.8 compatibility * Removed Setup.hs hooks in favor of Cabal configurations * Thanks to patches from Shae Erisson and Spencer Janssen contributing to the GHC 6.8 compatibility. Homepage: http://software.complete.org/hslogger LDAP 0.6.3 ---------- Haskell bindings for LDAP * GHC 6.8.x compatibility fixes * Updated homepage in .cabal file Homepage: http://software.complete.org/ldap-haskell ListLike 1.0.1 -------------- Library providing generic operations over list-like types * GHC 6.8.x compatibility fixes to .cabal file Homepage: http://software.complete.org/listlike magic 1.0.7 ----------- Binding for Magic, the file type identification library * Updates for GHC 6.8 compatibility Homepages: Hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/magic-1.0.7 Darcs tree: http://darcs.complete.org/magic-haskell MissingH 1.0.0 -------------- Library of many useful functions * Poof, this is 1.0! * GHC 6.8 compatibility fixes: + GHC 6.8 introduced Data.String. Renamed the MissingH Data.String to Data.String.Utils + doc string tweaks for new haddock + cabal and build system updates thanks to Duncan Coutts * -Wall compatibility improvements throughout. Patches from gwern0 * Data.List.Utils.uniq efficiency improved thanks to Martin Huschenbett * New Data.Tuple.Utils from Neil Mitchell Homepage: http://software.complete.org/missingh srcinst 0.8.10 -------------- Tool to install Debian packages using only source, Gentoo-style * Updated for GHC 6.8.x and new MissingH

1 0

ANN: GLFW-0.3 released
by Paul L 16 Jan '08

16 Jan '08

GLFW is a Haskell module for GLFW OpenGL framework. It provides an alternative to GLUT for OpenGL based Haskell programs. The current 0.3 version is for download from hackageDB at: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/GLFW-0.3 Same as the previous 0.2 version it requires Cabal 1.2 or later for installation (which comes as default in GHC 6.8 or later). The installation is now conforming to the standard Cabal steps. New addition is the Haddock documentation for all interface functions. There is also a sample program to demonstrate its usage on the Haskell wiki site for GLFW: http://haskell.org/haskellwiki/GLFW Any feedbacks is welcome! I've only tested it on a limited number of platforms + GHC combinations, so if you have installation issue, please let me know. Thank you! -- Regards, Paul Liu Yale Haskell Group http://www.haskell.org/yale

1 0

Simulating client server communication with recursive monads
by Jan Stranik 16 Jan '08

16 Jan '08

Hello, I am trying to simulate a client server traffic using recursive lazy evaluation. I am trying to do that in a recursive writer monad. Following code is my attempt to simulate client server interaction and collect its transcript: {-# OPTIONS -fglasgow-exts #-} module Main where import Control.Monad.Writer.Lazy simulation:: Writer [String] () simulation = mdo a <- server cr cr <- client $ take 10 a return () server:: [Integer] -> Writer [String] [Integer] server (a:as) = do tell ["server " ++ show a] rs <- server as return ((a*2):rs) server [] = return [] client:: [Integer] -> Writer [String] [Integer] client as = do dc <- doClient as return (0:dc) where doClient (a:as) = do tell ["Client " ++ show a] as' <- doClient as return ((a+1):as') doClient [] = return [] main = return $ snd $ runWriter simulation The problem that I see is that the transcript collected contains first all output from the server, and then output from the client. Here is an example of output that I see: :["server 0","server 1","server 3","server 7","server 15","server 31","server 63","server 127","server 255","server 511","server 1023","Client 0","Client 2","Client 6","Client 14","Client 30","Client 62","Client 126","Client 254","Client 510","Client 1022"] I would like to collect the output like: :["client 0","server 0", "client 1",.] This would allow me to remove the ending condition in simulation (take 10), and instead rely fully on lazy evaluation to collect as many simulation steps as needed by my computation. I am still relatively new to the concepts of recursive monadic computations, so I would appreciate any suggestions from experts on this mailing list. Thank you Jan

3 4

hbeat: a rhythm sequencer
by Tim Docker 15 Jan '08

15 Jan '08

I've just uploaded to hackage a step-based music sequencer, called "hbeat". It's little more than a toy, but it's fun. It ought to be cross platform, though has been built and tested solely on linux. Given that it's only 400 or so lines, it may be a useful example for anyone wanting to combine OpenGL graphics, interaction, and sound via the SDL libraries. It's also interesting that more than half of the code is "pure" (ie outside the IO monad), despite the fact that this is a stateful app with real time interaction with the real world. Further details here: http://dockerz.net/software/hbeat.html Thanks to lemmih for the SDL bindings that made this possible. Tim

1 0

CMCS 2008: Extended deadline
by Clemens Kupke 15 Jan '08

15 Jan '08

[- Apologies for multiple copies -] DEADLINE EXTENSION: New deadline for submissions of regular papers on **Monday, January 21** CMCS 2008 9th International Workshop on Coalgebraic Methods in Computer Science http://www.cwi.nl/projects/cmcs08/ Budapest, Hungary April 4-6, 2008 Key Note Speaker: Dexter Kozen (to be confirmed) Invited Speakers: Stefan Milius and Dirk Pattinson Important Dates Extended deadline for submission of regular papers: January 21, 2008 Notification of acceptance of regular papers: February 11, 2008. Final version for the preliminary proceedings: February 18, 2008. Deadline for submission of short contributions: March 10, 2008. Notification of acceptance of short contributions: March 17, 2008. The workshop will be held in conjunction with the 11th European Joint Conferences on Theory and Practice of Software ETAPS 2008 March 29 - April 6, 2008 Programme Committee Jiri Adamek (chair, Braunschweig), Corina Cirstea (Southampton), Neil Ghani (Nottingham), H. Peter Gumm (Marburg), Bart Jacobs (Nijmegen), Clemens Kupke (co-chair, Amsterdam), Alexander Kurz (Leicester), Ugo Montanari (Pisa), Larry Moss (Indiana), John Power (Bath), Jan Rutten (Amsterdam), Lutz Schröder (Bremen), Tarmo Uustalu (Tallinn), Yde Venema (Amsterdam), Hiroshi Watanabe (Osaka). Submissions Two sorts of submissions will be possible this year: Papers to be evaluated by the programme committee for inclusion in the ENTCS proceedings: These papers must be written using ENTCS style files and be of length no greater than 20 pages. They must contain original contributions, be clearly written, and include appropriate reference to and comparison with related work. If a submission describes software, software tools, or their use, it should include all source code that is needed to reproduce the results but is not publicly available. If the additional material exceeds 5 MB, URL's of publicly available sites should be provided in the paper. Short contributions: These will not be published but will be compiled into a technical report of the Technical University of Braunschweig. They should be no more than two pages and may describe work in progress, summarise work submitted to a conference or workshop elsewhere, or in some other way appeal to the CMCS audience. Both sorts of submission should be submitted in postscript or pdf form as attachments to an email to cmcs08(a)cwi.nl. The email should include the title, corresponding author, and, for the first kind of submission, a text-only one-page abstract. After the workshop, we expect to produce a journal proceedings of extended versions of selected papers to appear in Theoretical Computer Science. For more information, please write to cmcs08(a)cwi.nl

1 0

DEADLINE EXTENSION - SAS 2008
by German Vidal 15 Jan '08

15 Jan '08

15th International Static Analysis Symposium - SAS 2008 Valencia, Spain - July 16-18 >>DEDLINE EXTENSION<< New important dates: Submission of abstract: January 19, 2008 (changed) Submission of full paper: January 26, 2008 (changed) Notification: March 7, 2008 Camera-ready version: April 5, 2008 Conference: July 16-18, 2008 Please see: http://www.dsic.upv.es/~sas2008/ Maria Alpuente, German Vidal (PC co-chairs) Email: sas2008(a)dsic.upv.es

1 0

extending GeSHi's haskell.php ?
by Conal Elliott 15 Jan '08

15 Jan '08

The haskell.php module in GeSHi (Generic Syntax Highlighter) knows how to make Haddock doc links for several value & type identifiers in the Prelude. I'd like it to know a lot more than that, at least including the "base" package. It looks pretty simple, though tedious, to add more, and so begs for automation, perhaps as an adjunct to Haddock or Hoogle, and maybe tied in with Hackage. Is anyone already working on such a thing? Any ideas? - Conal

1 0

matrix
by Dupont Corentin 14 Jan '08

14 Jan '08

Hello, Is a package with matrices, rotations, translations etc? Sorry for the newbie question! Corentin

2 1

ANN: TagSoup 0.4
by Neil Mitchell 14 Jan '08

14 Jan '08

Hi, I am pleased to release TagSoup 0.4, available (like all good libraries) from hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/tagsoup-0.4. For more details, including examples, read the manual: http://www.cs.york.ac.uk/fp/darcs/tagsoup/tagsoup.htm TagSoup is a library for extracting information out of unstructured HTML code, sometimes known as tag-soup. The HTML does not have to be well formed, or render properly within any particular framework. This library is for situations where the author of the HTML is not cooperating with the person trying to extract the information, but is also not trying to hide the information. Version 0.4 fixes various space leaks, improves the interface, deals with entities better etc. The API has changed somewhat, but should be simpler overall - if I broke your code and you need help, email me. TagSoup is used for writing Haskell Weekly News, processing biological simulations, getting cooking recipies, optimising train fares, getting a list of Simon Peyton Jones' papers, getting a hit count off haskell.org and no doubt many other fun things. Thanks Neil

1 0

Final Call for papers TASE2008
by tase08 13 Jan '08

13 Jan '08

(Apologies if you have already received this message.) TASE 2008 2nd IEEE Symposium on Theoretical Aspects of Software Engineering Nanjing, China June 17-19, 2008 http://cs.nju.edu.cn/tase08/index.html Large scale software systems and Internet are of growing concern to academia and industry. This poses new challenges to the various aspects of software engineering, for instance, the reliability of software development, web-oriented software architecture and aspect & object-orientation techniques. As a result, new concepts and methodologies are required to enhance the development of software engineering from theoretical aspects. TASE 2008 is a forum for researchers from academia, industry and government to present ideas, results, and ongoing research on theoretical advances in software engineering. TASE 2008 is the second in a series of conference, sponsored by IEEE CS and IFIP. The first TASE conference was held in Shanghai, China, in June 2007. Topics of Interest: Authors are invited to submit high quality technical papers describing original and unpublished work in all theoretical aspects of software engineering. Topics of interest include, but are not limited to: * Requirements Engineering * Specification and Validation * Software Testing * Component-based Development * Model Checking for Software * Software Processes and Workflows * Software Frameworks and Middleware * Software Architectures and Design * Software safety and reliability * Reverse Engineering and Software Maintenance * Aspect and Objected �Corientation Techniques * Embedded and Real-time Software * Service-oriented Computing and Web Services * Model-driven Development * Coordination and Feature Interaction * Parallel and Distributed Computing * Logics of Programs * Program Analysis * Semantics and Design of Programming Languages * Type Theory Submission Guidelines: Authors should submit and register their paper through our web-interface at: http://www.easychair.org/conferences/?conf=TASE2008 by January 28, 2008. Submissions must not have been published or be concurrently considered for publication elsewhere. All submissions will be reviewed by at least three members of the program committee. They will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. The proceedings of the conference will be published by the IEEE Computer Society Press. Papers must be written in English and not exceed 8 pages in IEEE format. Instructions for authors are available at http://computer.org/cspress/instruct.htm. Latex document classes can be downloaded from the website at ftp://pubftp.computer.org/Press/Outgoing/proceedings/. Important Dates: * January 21, 2008: Title and abstract submission deadline * January 28, 2008: Paper submission deadline * March 10, 2008: Acceptance/rejection notification * March 23, 2008: Camera-ready version due * June 17-19, 2008: TASE 2008 Organization: General Co-Chairs: Jifeng He, East China Normal University, China Jian Lu, Nanjing University, China Program Co-chairs: Jim Davies, Oxford University, UK �� Xuandong Li, Nanjing University, China Local Organization Chair: Linzhang Wang, Nanjing University, China Program Committee: Bernhard Aichernig (Graz University of Technology, Austria) Keijiro Araki (Kyzushu University, Japan) Farhad Arbab (CWI and Leiden University, The Netherlands) Jonathan Bowen (King's College London, UK) Michael Butler (University of Southampton, UK) Ana Cavalcanti (University of York, UK) Jim Davies (Oxford University, UK) Geoff Dromey (Griffith University, Australia) Jin Song Dong (National University of Singapore, Singapore) Zhenhua Duan (Xi��dian University, China) Colin Fidge (Queensland University of Technology, Australia) Dieter Gollmann (Hamburg University of Technology, Germany) Kung-Kiu Lau (Manchester University, UK) Jing Liu (East China Normal University, China) Shaoying Liu (Hosei University, Japan) Zhiming Liu (UNU/IIST, Macau, China) Annabelle Mclver (Macquarie University, Australia) Hong Mei (Peking University, China) Huaikou Miao (Shanghai University, China) Masoud Mohammadian(University of Canberra, Australia) Shankar Natarajan (SRI International, USA) Nimal Nissanke (London South Bank University, UK) Geguang Pu(East China Normal University, China) Shengchao Qin (Durham University, UK) Zongyan Qiu (Peking University, China) Zhong Shao (Yale University, USA) Joseph Sifakis (Verimag, France) Zhengdong Su (University of California at Davis, USA) Margus Veanes (Microsoft, USA) Sergiy Vilkomir (University of Limerick, Ireland) Farn Wang (National Taiwan University, Taiwan) Ji Wang (Changsha Institute of Technology, China) Linzhang Wang(Nanjing University, China) Heike Wehrheim (University of Paderborn, Germany) Jim Woodcock (University of York, UK) Dianxiang Xu(North Dakota State University, USA) Wang Yi (Uppsala University, Sweden) Gianluigi Zavattaro (University of Bologna, Italy) Jian Zhang (Institute of Software, China) Jianhua Zhao (Nanjing University, China) Huibiao Zhu (East China Normal University, China) Steering Program Committee Michael Hinchey(Chair), USA Keijiro Araki, Japan Jifeng He, China Zhiming Liu, Macau Mike Reed, Macau Huibiao Zhu, China Keynote Speakers Edmund M. Clarke (Carnegie Mellon University) Joost-Pieter Katoen (RWTH Aachen University)

1 0