- Haskell - Haskell.org

RE: [Haskell] Making a spreadsheet with Haskell
by Bayley, Alistair 12 Feb '04

12 Feb '04

It ain't Haskell, but: Implementing a Functional Spreadsheet in Clean http://citeseer.nj.nec.com/dehoon95implementing.html > -----Original Message----- > From: Axel Simon [mailto:A.Simon@kent.ac.uk] > Sent: 12 February 2004 14:34 > To: Miren Cob Isasi de Virgala > Cc: haskell(a)haskell.org > Subject: Re: [Haskell] Making a spreadsheet with Haskell > > > On Thu, Feb 12, 2004 at 03:00:29PM +0100, Miren Cob Isasi de > Virgala wrote: > > > > > Hi, I would like to know how can I make a spreadsheet > using Haskell > > > (something like Excel, a very-reduced version, of course) > > > Do I need any kind of special library? How can I make the > interface so the > > > user can introduce data, select data and so on? > > You need to have tons of time, choose a GUI library (wxHaskell or > gtk2hs, ...) and get going. If you plan to use Haskell within the > spreadsheet you might want to look at Vital: > > http://www.cs.kent.ac.uk/projects/vital/ > > Axel. ----------------------------------------- ***************************************************************** Confidentiality Note: The information contained in this message, and any attachments, may contain confidential and/or privileged material. It is intended solely for the person(s) or entity to which it is addressed. Any review, retransmission, dissemination, or taking of any action in reliance upon this information by persons or entities other than the intended recipient(s) is prohibited. If you received this in error, please contact the sender and delete the material from any computer. *****************************************************************

1 0

Announce: wxhaskell 0.5
by Daan Leijen 12 Feb '04

12 Feb '04

Announcement: wxHaskell version 0.5 ---------------------------------------------------------------------- <http://wxhaskell.sourceforge.net> This is patch-level release against ghc 6.2, and I also added support for Html window events. All the best, Daan. ---------------------------------------------------------------------- wxHaskell is a portable GUI library for Haskell. The goal of the project is to provide an industrial strength portable GUI library, but without the burden of developing (and maintaining) one ourselves. wxHaskell is therefore build on top of wxWindows -- a comprehensive C++ library that is portable across all major GUI platforms; including GTK, Windows, X11, and MacOS X. Furthermore, it is a mature library (in development since 1992) that supports a wide range of widgets with native look-and-feel, and it has a very active community (ranked among the top 25 most active projects on sourceforge). Since most of the interface is automatically generated from the wxEiffel binding, the current release of wxHaskell already supports about 75% of the wxWindows functionality -- 2878 methods in 513 classes with 1347 constant definitions. wxHaskell has been build with GHC 6.x on Windows, MacOS X and Unix systems with GTK. A binary distribution is available for Windows and MacOS X. And even if you don't intend to write GUI's yourself, it will be fun to check out the screenshots at <http://wxhaskell.sourceforge.net>. All the best, Daan Leijen.

1 0

[Haskell] Second CFP: GPCE'04 -- Generative Programming and Component Engineering
by Eelco Visser 11 Feb '04

11 Feb '04

SECOND CALL FOR PAPERS ---------------------------------------------------------------------- Third International Conference on Generative Programming and Component Engineering (GPCE'04) Vancouver, October 24-28, 2004 co-located with OOPSLA 2004 and ISMM 2004 http://gpce04.gpce.org ---------------------------------------------------------------------- ------------------------------------ Important Dates ------------------------------------ * Pre-submission: March 12, 2004 * Submission: March 19, 2004 ------------------------------------ Scope ------------------------------------ Generative and component approaches have the potential to revolutionize software development in a similar way as automation and components revolutionized manufacturing. Generative Programming (developing programs that synthesize other programs), Component Engineering (raising the level of modularization and analysis in application design), and Domain-Specific Languages (elevating program specifications to compact domain-specific notations that are easier to write and maintain) are key technologies for automating program development. GPCE arose as a joint conference, merging the prior conference on Generative and Component-Based Software Engineering (GCSE) and the Workshop on Semantics, Applications, and Implementation of Program Generation (SAIG). The goal of GPCE is to provide a meeting place for researchers and practitioners interested in cutting edge approaches to software development. We aim to foster further cross-fertilization between the software engineering research community on the one hand, and the programming languages community on the other, in addition to supporting the original research goals of both the GCSE and the SAIG communities. We seek papers both in software engineering and in programming languages, and especially those that bridge the gap and are accessible to both communities at the same time. ------------------------------------ Topics of Interest ------------------------------------ The conference solicits submissions related (but not limited) to: * Generative programming o Reuse, meta-programming, partial evaluation, multi-stage and multi-level languages, step-wise refinement o Semantics, type systems, symbolic computation, linking and explicit substitution, in-lining and macros, templates, program transformation o Runtime code generation, compilation, active libraries, synthesis from specifications, development methods, generation of non-code artifacts, formal methods, reflection * Generative techniques for o Product lines and architectures o Embedded systems o Model-driven architecture * Component-based software engineering o Reuse, distributed platforms, distributed systems, evolution, analysis and design patterns, development methods, formal methods * Integration of generative and component-based approaches * Domain engineering and domain analysis o Domain-specific languages (DSLs) including visual and UML-based DSLs * Separation of concerns o Aspect-oriented programming, feature-oriented programming, o Intentional programming, and multi-dimensional separation of concerns * Industrial applications Reports on applications of these techniques to real-world problems are especially encouraged, as are submissions that relate ideas and concepts from several of these topics, or bridge the gap between theory and practice. The program committee is happy to advise on the appropriateness of a particular subject. ------------------------------------ Paper Submission ------------------------------------ Authors are invited to submit a title and abstract by March 12, 2004, and a full paper by March 19, 2004. These deadlines are firm. Simultaneous submission to other venues and submission of previously published material are not allowed. Electronic submission will be required, except by special arrangement with the program chairs. Authors will be notified of acceptance by May 17, 2004. Final versions of accepted papers must be submitted by July 25, 2004. Accepted papers will appear in the conference proceedings published in the Springer-Verlag Lecture Notes in Computer Science (LNCS) series http://www.springer.de/comp/lncs/index.html. Submissions must be in PDF, must conform to the LNCS style, and be no longer than 15 pages. For the formatting details see http://www.springer.de/comp/lncs/authors.html. ------------------------------------ Other Contributions ------------------------------------ Work related to generative programming and component engineering can also be presented in other forms than papers. GPCE has separate days for tutorials and workshops. During the conference there are sessions for tool demonstrations and practitioner reports. If you want to organize a workshop, present a tutorial, or demonstration, see the information on the conference website for details about format and submission. Contact the relevant chair for more information. ------------------------------------ Important Dates ------------------------------------ Technical papers * Pre-submission: March 12, 2004 * Submission: March 19, 2004 * Notification: May 17, 2004 * Final version: July 25, 2004 Submissions of proposals * Workshops: March 19, 2004 * Practitioners: April 30, 2004 * Tutorials: April 30, 2004 * Demonstrations: July 2, 2004 Conference * Tutorials: October 24, 2004 * Workshops: October 25, 2004 * Papers: October 26-28, 2004 ------------------------------------ Organization ------------------------------------ General chair * Tim Sheard (OGI School of Science & Engineering at OHSU) Program committee chairs * Gabor Karsai (Vanderbilt University) * Eelco Visser (Utrecht University) Program committee * Uwe Assmann (Linkopings Universitet) * Don Batory (University of Texas) * Jan Bosch (Universiteit Groningen) * Jean Bezivin (Universit� de Nantes) * Jim Cordy (Queen's University) * Krzysztof Czarnecki (University of Waterloo) * Mathew Flatt (University of Utah) * Robert Gl�ck (University of Copenhagen) * George Heineman (Worcester Polytechnic Institute) * Michael Leuschel (University of Southampton) * Karl Lieberherr (Northeastern University) * Simon Peyton Jones (Microsoft Research) * Douglas R. Smith (Kestrel Institute) * Gabriele Taentzer (Technical University of Berlin) * Todd Veldhuizen (Indiana University) * Kris de Volder (University of Britisch Columbia) * Dave Wile (Teknowledge Corp.) * Alexander Wolf (University of Colorado at Boulder) Workshop Chair * Zino Benaissa (Intel) Tutorial Chair * Jeff Gray (University of Alabama at Birmingham) Demonstrations Chair * Simon Helsen (University of Waterloo) Contact * gpce-chairs(a)cs.uu.nl

1 0

Hugs Nov2003 refresh (Windows only)
by Sigbjorn Finne 11 Feb '04

11 Feb '04

A refresh of the Hugs98 Nov2003 Windows installer is now available via http://haskell.org/hugs/ . It fixes a couple bugs in the GUI version of the interpreter, WinHugs, that people have reported. Other than that, status quo. (=> if you're not a WinHugs user, no need to update your installation.) --sigbjorn

1 0

AFP 2004 - Call for Participation
by Varmo Vene 10 Feb '04

10 Feb '04

Call for Participation 5th International Summer School on Advanced Functional Programming AFP 2004 Tartu, Estonia, 14-21 August 2004 http://www.cs.ut.ee/afp04 Background and objectives AFP is a series of international summer schools which aims to bring computer scientist, in particular young researchers and programmers, up to date with the latest advances in practical functional programming. The main focus of the school is on the interface between results presented at programming conferences and the programming in the real world. This is the fifth event in the series organized by the Department of Computer Science of the Tartu University in conjuction with the Centre for Dependable Computing. The previous schools were held in Båstad (Sweden, 1995), Olympia (Washington, USA, 1996), Braga (Portugal, 1998) and Oxford (UK, 2002). Programme The scientific programme of AFP'04 consists of short courses by renowned experts of the field and a student session. The school offers eight main courses, each composed of lectures and accompanied by lab sessions. The course list is the following: John Hughes (Chalmers University of Technology): Arrows Conor McBride (University of Durham): Epigram: dependent types for practical programming Alberto Pardo (University de la Republica, Montevideo): Combining datatypes and effects Rinus Plasmeijer (University of Nijmegen): Generic programming techniques for the construction of graphical user interfaces A strongly typed functional operating system based on dynamics Bernie Pope (University of Melbourne): Declarative debugging with Buddha Doaitse Swierstra (Utrecht University) Oege de Moor (Oxford University): First-class aspects in Haskell Peter Thiemann (University of Freiburg): Server-side Web programming in WASH Simon Thompson (University of Kent): Refactoring Functional Programs In addition, there will be some introductory and intermediate functional programming courses serving as a preparation for the advanced courses. The purpose of the student session is to give students an opportunity to present their work and get feedback. Everyone intending to give a presentation should submit an extended abstract (max 10 pp) along with the registration form. Venue Tartu, with 100,000 inhabitants, is the second largest city in Estonia, situated 180 km south-east from Tallinn. Tartu University, founded 1632, is one of the oldest universities in Northern Europe. The school will be held in the new building of the Faculty of Mathematics and Computer Science. Tartu is accessible from Tallinn by coach. The coaches run very frequently (1-2 departures per hour) and the ride takes 2-2.5 hrs. Tallinn, with 400,000 inhabitants, is the capital city of Estonia, that used to be a member of the Hansa League. Tallinn's medieval Old Town is on the UNESCO World Heritage List. There are direct flights to Tallinn from London, Paris, Amsterdam, Frankfurt, Hamburg, Berlin, Prague, Warsaw, Moscow, Copenhagen, Oslo, Stockholm, Helsinki. Important dates May 14, 2004 Early registration deadline July 9, 2004 Late registration deadline Registration and cost The registration is done through internet http://www.cs.ut.ee/afp04. The deadline for registration is July 9, 2004 and the registration fee is 330 EUR. For early registrants, until May 14, there is a reduced registration fee 280 EUR. The registration fee includes course materials distributed during the school, revised lecture notes published by Springer after the school, lunches, refreshments for coffee breaks and conference dinner. Programme committee / organizing committee Varmo Vene (Tartu University) Tarmo Uustalu (Inst. of Cybernetics, Tallinn) Johan Jeuring (Utrecht University) Sponsors Centers of Excellence in Research Programme of Ministry of Education and Research of Estonia Further information Details on the submission of abstracts, registration procedure and cost are available from the school webpage, www.cs.ut.ee/afp04. Questions should be sent to varmo(a)cs.ut.ee. -- ............................................................................. : Varmo Vene varmo(a)cs.ut.ee Tel:(+372 7) 375 429 Fax:(+372 7) 375 468 : : University of Tartu, Inst.Comput.Sci, J. Liivi St 2, Tartu, 50409 Estonia : :...........................................................................:

1 0

Ann: Pancito 2.2
by andrew cooke 10 Feb '04

10 Feb '04

Hi, There's a new version (2.2) of Pancito (a functional images toolkit) available at http://www.acooke.org/jara/pancito - it extends 2.1 with useful output options (a progress meter and the possibility to preview a small area of an image) and better structured code (points are now a typeclass, allowing now kinds of coordinates to be added more easily, for example). I hope to make public a gallery of images generated using the package within the next week or so (which will probably be announced along with a package for generating web pages from templates). Andrew -- personal web site: http://www.acooke.org/andrew personal mail list: http://www.acooke.org/andrew/compute.html

1 0

ANNOUNCE: HsUnix 1.0.1 - Haskell for Unix Shell Scripting
by Volker Wysk 10 Feb '04

10 Feb '04

I'm pleased to announce the first release of the HsUnix library. It enables you to do things easily in Haskell which are typically done by the shell. Thus Haskell can be used to write shell scripts. Features -------- Command Line Arguments Parser HsUnix has facilities for managing command line arguments, which are (hopefully) easier to use than the GHC library GetOpt. Command line arguments are described in lists of properties. HsUnix builds on top of GetOpt, but hides it completely. Command line arguments handling has been added because GetOpt was found to be too cumbersome. Shell Like Commands HsUnix has a growing list of front end functions for shell like programming, such as chmod or mkdir. They wrap calls to external programs, system calls or standard Haskell functions. Analyzing Paths Dealing with paths is not as trivial as it sounds. Take, for example ../for///./../bar/. HsUnix has taken care of it thoroughly and provides functions such as splitting a path into (real) path components, or syntactically normalising paths. Dealing with Processes and Calling External Programs There are corresponding functions in the GHC Posix library, but the ones here are simpler. Redirecting Input and Output HsUnix defines operators like ->- and ->>- which work just like redirection operators in shells. Building Pipes Reading the output of an external program, or piping the output of one program into the input of another, is almost as easy as in shells. HsUnix provides corresponding operators. Error Handling Error handling is one thing which is done much more thoroughly in HsUnix than in shells. Failed programs won't be silently ignored. Dynamic exceptions are used for error handling. Non zero exit codes are thrown as exceptions. Quoting of Strings and Building Commands for Shells Taking care of shell metacharacters usually isn't done right. HsUnix provides functions for doing it safely. Homepage -------- http://www.volker-wysk.de/hsunix -- Volker Wysk <post(a)volker-wysk.de> http://www.volker-wysk.de

5 11

Lectureship in Nottingham
by Graham Hutton 10 Feb '04

10 Feb '04

Dear all, We are currently advertising a new lectureship (assistant professorship) in Nottingham, England. There are no particular research areas specified for this position, but applications in the area of the Foundations of Programming research group (http://www.cs.nott.ac.uk/Research/fop/) would be most welcome. Further details are available from: http://www.nottingham.ac.uk/hr/vacancies/academic.html#RUB591S The closing date for applications is 26th February 2004. Graham Hutton +---------------------------------------------------------------------+ | Dr Graham Hutton Email : gmh(a)cs.nott.ac.uk | | School of Computer Science and IT Web : www.cs.nott.ac.uk/~gmh | | University of Nottingham | | Jubilee Campus, Wollaton Road | | Nottingham NG8 1BB Phone : +44 (0)115 951 4220 | | United Kingdom Fax : +44 (0)115 951 4254 | +---------------------------------------------------------------------+

1 0

newbie question
by Lee Render 10 Feb '04

10 Feb '04

is "HaskellScript" still working? I tried mucking around with this lately using the latest version of Hugs but the example scripts seemed broken. __________________________________ Do you Yahoo!? Yahoo! Finance: Get your refund fast by filing online. http://taxes.yahoo.com/filing.html

1 0

vim syntax files for GHC-style .lhs, .hs + cpp
by dons＠cse.unsw.edu.au 09 Feb '04

09 Feb '04

Hey all, ------------------------------------------------------------- Vim syntax highlighting for GHC-style .lhs and .hs + cpp ------------------------------------------------------------- Rather than let this just sit on my hd, I'm making them available. ftp://ftp.cse.unsw.edu.au/pub/users/dons/vim/ These are vim syntax files for the tex-style (not the bird-feet style) literate Haskell used in much of GHC, and for normal Haskell with -cpp preprocessor sprinkles. The directories should go in your ~/.vim/ folder. There is also a preliminary outline of a vim indent file for .hs code. If you'd like to finish this off, then send me diff's please! The .lhs file still has a few minor buglets, so by making this stuff available I'm hoping someone has time to fix them. Cheers, Don

2 3