- Haskell - Haskell.org

ANNOUNCE: new books in the bookstore!
by John Meacham 23 Jul '04

23 Jul '04

Two new books are available in the haskell bookstore. http://cafeshops.com/haskell_books/ * Type theory and functional programming by Simon Thompson http://www.cs.kent.ac.uk/people/staff/sjt/TTFP/ * Code Optimization Techniques for Lazy Functional Languages by Urban Boquist http://www.cs.chalmers.se/~boquist/phd/index.html Enjoy the books! More titles are in the queue. :) John -- John Meacham - ⑆repetae.net⑆john⑈

1 0

CFP - Practical Aspects of Declarative Languages 2005
by Manuel Hermenegildo 23 Jul '04

23 Jul '04

[ Apologies if you receive multiple copies. ] PRELIMINARY CALL FOR PAPERS Seventh International Symposium on Practical Aspects of Declarative Languages 2005 (PADL 05) http://www.unm.edu/~herme/padl05/ Long Beach, California, USA January 10-11, 2005 Co-located with ACM POPL, January 12-14, 2005 Paper submission deadline: September 10th Declarative languages build on sound theoretical foundations to provide attractive frameworks for application development. These languages have been successfully applied to a wide array of different real-world situations, including database management, active networks, software engineering, decision support systems, or music composition. New developments in theory and implementation have opened up new application areas. At the same time, the application of declarative languages to novel problems raises numerous interesting research issues. Well-known questions include designing for scalability, language extensions for application deployment, and programming environments. Thus, applications often 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 practioners 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: * Innovative applications of declarative languages. * Declarative domain-specific languages and applications. * Practical applications of theoretical results. * New language developments and their impact on applications. * Evaluation of implementation techniques on practical applications. * Novel implementation techniques relevant to applications. * Novel uses of declarative languages in the classroom. * Practical experiences. PADL 05 welcomes new ideas and approaches pertaining to applications and implementation of declarative languages, and is not limited to the scope of the first six PADL symposia (past proceedings can be found in Springer Verlag LNCS, numbers 1551, 1753, 1990, 2257, 2562, and 3057). In this occasion PADL is co-located, as traditionally, with ACM POPL, which will be held immediately following PADL, January 12-14. IMPORTANT DATES Paper Submission: September 10, 2004 Notification: October 10, 2004 Camera-ready: November 10, 2004 Symposium: January 10-11, 2005 SUBMISSION GUIDELINES Authors should submit an electronic copy of the full paper (written in English) in Postscript (Level 2) or PDF. Submission should be completed using the electronic procedure available at the conference website. Papers must be no longer than 15 pages, written in 11-point font and with single spacing. Since the final proceedings will be published as Lecture Notes in Computer Science by Springer Verlag, authors are strongly encouraged to use the LNCS paper formatting guidelines for their submission. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email and postal addresses, telephone and fax numbers, abstract, and three to four keywords. The keywords will be used to assist us in selecting appropriate reviewers for the paper. If electronic submission is impossible, please contact the program chairs for information on how to submit hard copies. MOST PRACTICAL PAPER AWARD A cash prize of US$500 will be awarded to the 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 may make multiple awards, in which case the award money will be evenly divided. CONTACTS Please visit the conference web site: http://www.unm.edu/~herme/padl05/ for further information. For additional information about papers and submissions, please contact the Program Chairs: Manuel Hermenegildo (1,2) herme(a)unm.edu, or Daniel Cabeza (2) dcabeza(a)fi.upm.es 1 Departments of Computer Science and Electrical and Computer Engineering The University of New Mexico, Albuquerque, NM 87131, U.S.A. 2 Facultad de Informatica, Universidad Politecnica de Madrid 28660-Boadilla del Monte, Madrid, Spain For additional information about the conference please contact the General Chair: Gopal Gupta Department of Computer Science University at Texas at Dallas, Dallas, TX, U.S.A. gupta(a)utdallas.edu -- ----------------------------------------------------------------------------- Manuel Hermenegildo | University of New Mexico, NM, USA Professor, P. of Asturias Chair | Office: ECE 219A Depts. of Computer Science and | Tel: +1 (505) 277 -9328/-3112 Electrical and Computer Engineering | http://www.unm.edu/~herme -----------------------------------------------------------------------------

1 0

RE: [Haskell] Hyperlinking problem in Haddock
by Simon Marlow 22 Jul '04

22 Jul '04

On 20 July 2004 19:40, Adrian Hey wrote: > Does anybody know how you hyperlink your Haddock to functions > whose name ends with a prime. e.g. foldl' > > I've tried.. > 'foldl\'' > and > 'foldl'' > > But neither works. In each case I get a link to foldl (unprimed > version) followed by an isolated ' character. > > This is with Haddock version 0.6 BTW. That's a bug, thanks for reporting it. I've fixed it for the next version of Haddock (fix is in CVS). You can now say 'foldl''. Cheers, Simon

1 0

Strange "let"
by Jinwoo Lee 21 Jul '04

21 Jul '04

Hi, I'm a Haskell newbie. I was trying several things with GHCi and found out that the expression "let a + b = 3" does not generate any errors. Prelude> let a + b = 3 Prelude> a <interactive>:1: Variable not in scope: `a' Prelude> b <interactive>:1: Variable not in scope: `b' Prelude> What does "let a + b = 3" mean in this case? I also tries with GHC compiler using the code below, but it generates no error. main :: IO () main = do let a + b = 3 putStrLn "Hello" Could somebody answer this? Jinwoo

3 3

Hyperlinking problem in Haddock
by Adrian Hey 20 Jul '04

20 Jul '04

Hello, Does anybody know how you hyperlink your Haddock to functions whose name ends with a prime. e.g. foldl' I've tried.. 'foldl\'' and 'foldl'' But neither works. In each case I get a link to foldl (unprimed version) followed by an isolated ' character. This is with Haddock version 0.6 BTW. Thanks -- Adrian Hey

1 0

Haskell support for the Eclipse IDE 0.4
by Leif Frenzel 20 Jul '04

20 Jul '04

Dear Haskellers, There is now a new version of the Haskell development support for the Eclipse IDE. The project has been moved to Sourceforge, and the new project website is at http://eclipsefp.sourceforge.net . The new version requires Eclipse 3.0. Installation is done using the built-in update manager in Eclipse. The most significant changes and new features are: - improved support for compilation with GHC - support for running GHCi in the IDE with files from the project loaded - the Haskell source editor is much more configurable now - Haskell projects in the workspace can be browsed with the new Module Browser View - several bugs fixed For the next releases, we will focus on integrating more tools, and we will also start to make the IDE more language-aware (outline, code assist, dependencies view). Any feedback is welcome. Ciao, Leif

1 0

generalised algebraic data types, existential types, and phantom types
by Abraham Egnor 20 Jul '04

20 Jul '04

I briefly skimmed the paper mentioned in a recent mailing on the ghc-users list that describes generalised algebraic data types (http://research.microsoft.com/Users/simonpj/papers/gadt/index.htm) my reaction can be summed up as "nifty!". I was curious to see if I could implement anything similar in current haskell, and ended up with the attached code. The main point of interest for me is the combination of phantom types and existential types; I'd never had the need to combine the two before. Is there any closer approximation possible? My code is close, but the type-safety isn't checked by the compiler (although it should be safe, if only the smart constructors are used), and it has that extra "Typeable" constraint. Abe

1 0

Re: Linux_3D_driver_request
by klaus 17 Jul '04

17 Jul '04

> I would like to know what applications you are running on Parhelia. Blender & direct OpenGl programminng with e.g. wxwindows an qt. regards klaus

1 0

Haskell 98 - Slackware Package
by Alejandro C. Russo 16 Jul '04

16 Jul '04

Dear Sr. I use the linux distribution "Slackware" to program in Haskell and that is why I have recently made a package that contains a compiled version of Hugs98. This package can be found at http://www.linuxpackages.net/pkg_details.php?id=3603 which is a big repository of Slackware's packages. Regards, ------------------------------------------------- Alejandro C. Russo Teaching Assistant Computer Science Department, FCEIA National University of Rosario Argentina -------------------------------------------------

1 1

RE: [Haskell] GHC fixes for alternative main module/function on general release?
by Simon Marlow 16 Jul '04

16 Jul '04

On 14 July 2004 16:02, Graham Klyne wrote: > I recall there was a problem with the options for specifying > alternative main module/function names in the last release of GHC > that I tested with. Is this now fixed in a generally released > version? The -main-is fixes were in 6.2.1. Cheers, Simon

1 0