- Haskell - Haskell.org

GHC version 5.02.2 is available
by Julian Seward (Intl Vendor) 12 Jan '02

12 Jan '02

The (Interactive) Glasgow Haskell Compiler -- version 5.02.2 ============================================================== We are pleased to announce a new patchlevel release of the Glasgow Haskell Compiler (GHC), version 5.02.2. The source distribution is freely available via the World-Wide Web, under a BSD-style license. See below for download details. Pre-built packages for Linux, FreeBSD, Solaris, Alpha(OSF) and Win32 are also available, or will appear shortly. Haskell is a standard lazy functional programming language; the current language version is Haskell 98, agreed in December 1998. 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, C++, whatever). 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 at http://www.haskell.org/ GHC's Web page lives at http://www.haskell.org/ghc/ What's new in 5.02.2 ====================== Some important bugfixes: - fix for the long-standing "oversize heap-check" bug - networking library fixes: now works on Windows again - GHC's memory requirements should be improved over 5.02.1, especially when using --make. and many other minor fixes. How to get it =============== The easy way is to go to the WWW page, which should be self-explanatory: http://www.haskell.org/ghc/ We supply binary builds in the native package format for various flavours of Linux and BSD, and in InstallShield form for Windows folks. Everybody else gets a .tar.gz which can be installed where you want. Once you have the distribution, please follow the pointers in the README file to find all of the documentation about this release. On-line GHC-related resources =============================== Relevant URLs on the World-Wide Web: GHC home page http://www.haskell.org/ghc/ Haskell home page http://www.haskell.org/ comp.lang.functional FAQ http://www.cs.nott.ac.uk/~gmh/faq.html System requirements ===================== To compile programs with GHC, you need a machine with 64+MB memory, GNU C and perl. This release is known to work on the following platforms: * i386-unknown-{linux,freebsd,mingw32} * sparc-sun-solaris2 * alpha-dec-osf3 Ports to the following platforms should be relatively easy (for a wunderhacker), but haven't been tested due to lack of time/hardware: * hppa1.1-hp-hpux{9,10} * i386-unknown-solaris2 * mips-sgi-irix{5,6} * {rs6000,powerpc}-ibm-aix The builder's guide included in distribution gives a complete run-down of what ports work; an on-line version can be found at http://www.haskell.org/ghc/docs/latest/building/building-guide.html 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/ Please report bugs using our SourceForge page at http://sourceforge.net/projects/ghc/ or send them to glasgow-haskell-bugs(a)haskell.org. GHC users hang out on glasgow-haskell-users(a)haskell.org. Bleeding edge CVS users party on cvs-ghc(a)haskell.org.

3 2

To:haskell,泛微网络企业互联网应用服务
by contact＠weaver.com.cn 12 Jan '02

12 Jan '02

1 0

A Haskell specific preprocessor
by Olaf Chitil 11 Jan '02

11 Jan '02

I faintly remember that there was once work on a Haskell specific preprocessor. Why was the work abandoned? cpp just annoyed me again. I wrote (/*) = something and cpp complained Test.hs:4: unterminated comment Ciao, Olaf -- OLAF CHITIL, Dept. of Computer Science, The University of York, York YO10 5DD, UK. URL: http://www.cs.york.ac.uk/~olaf/ Tel: +44 1904 434756; Fax: +44 1904 432767

4 3

ANN: H98 FFI Addendum 1.0, Release Candidate 1
by Manuel M. T. Chakravarty 11 Jan '02

11 Jan '02

Dear Haskell Hackers, It is my pleasure to announce Release Candidate 1 of the Foreign Function Interface (FFI) Addendum to Haskell 98: http://www.cse.unsw.edu.au/~chak/haskell/ffi/ I like to invite comments on the specification, which is the outcome of a rather long development effort (including of course all the work on GreenCard, H/Direct etc) by a considerable number of people and much technical discussion on ffi(a)haskell.org (which you can review in the archive of the mailing list at haskell.org if you are interested in the gory details). I append a short description of the idea behind H98 Addenda. Cheers, Manuel -=- Haskell 98 Addenda -=- In line with the outcome of the discussion at the last Haskell Workshop, a number of conservative extensions to the base language Haskell 98 in the form of addenda to the language definition are under way. These extensions strive to complement the base language in areas that have not been covered during the design of Haskell 98, but which are perceived to be of crucial importance in some application areas. An effort is made to design these extensions to have minimal impact on existing Haskell 98 programs. The benefit of a H98 Addendum over any random language extension provided by some Haskell implementation is that a H98 Addendum is a standardised design, and programs coded against such an addendum can be expected to be portable across implementations that support this standard. Generally, implementations of H98 are not required to implement all H98 Addenda, but if such an implementation does provide a feature that is covered by an addendum, it is expected that this extension conforms to that addendum (in the same way as it is expected to abide by the H98 language definition).

1 0

The Newest and Fastest gateway to London
by ukresorts＠yahoo.com 11 Jan '02

11 Jan '02

The Newest and Fastest gateway to London Property/Cars/Jobs/Classifieds/Dating Business Directory Services. WWW.ONLINE-LONDON.NET Is your Business listed ?

1 0

Call for Papers: 7th ERCIM FMICS (Malaga, Spain) July 12-13, 2002
by Hubert Garavel 10 Jan '02

10 Jan '02

[ Apologies for multiple copies ] ****************************************************************************** * * --- CALL FOR PAPERS --- * * 7th International Workshop on Formal Methods for Industrial Critical Systems * (FMICS 02) * * University of Málaga (Spain) * July 12-13, 2002 * Colocated with the 29th ICALP conference * * http://www.inrialpes.fr/vasy/fmics/workshop-7 * ****************************************************************************** *** SCOPE OF THE WORKSHOP *** The aim of the FMICS workshops is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops should bring together scientists who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. They also aim at the promotion of research and development for the improvement of formal methods and tools for industrial applications. Topics include, but are not restricted to: - Tools for the design and development of formal descriptions - Verification and validation of complex, distributed, real-time systems and embedded systems - Verification and validation methods that aim at circumventing shortcomings of existing methods in respect to their industrial applicability - Formal methods based conformance, interoperability and performance testing - Case studies and project reports on formal methods related projects with industrial participation (e.g. safety critical systems, mobile systems, object-based distributed systems) - Application of formal methods in standardization and industrial forums Previous Workshops of the ERCIM working group on formal methods for Industrial Critical Systems were held in Oxford (March 1996), Cesena (July 1997), Amsterdam (May 1998),Trento (July 1999), Berlin (April 2000), and Paris (July 2001). The Seventh International Workshop on Formal Methods for Industrial Critical Systems (FMICS 02) will take place in Málaga on July 12-13, 2002, in co-location with the 29th ICALP conference. *** INVITED SPEAKERS *** Andrew Gordon (Microsoft Research Cambridge, UK) Wang Yi (Uppsala University, Sweden) *** PROGRAMME COMMITTEE *** T. Arts (Ericsson, S) M. Bernardo (Univ. of Urbino, I) R. Cleaveland (SUNY and Reactive Systems, USA), co-chair W.J. Fokkink (CWI, NL) H. Garavel (INRIA Rhone-Alpes, F), co-chair S. Gnesi (CNR/IEI Pisa, I) P. Godefroid (Bell Labs, USA) H. Hermanns (Univ. Twente, NL) T. Margaria (METAFrame Technologies, D) P. Merino Gómez (Univ. Málaga, E), organization chair I. Schieferdecker (GMD Berlin, D) S. Schneider (Royal Holloway, University of London, UK) M. Sighireanu (University of Paris-7 Jussieu, F) R. de Simone (INRIA Sophia Antipolis, F) U. Ultes-Nitsche (University of Southampton, UK) A. Valmari (Tampere University of Technology, Fi) W. Visser (RIACS/NASA Ames, USA) *** LOCAL ORGANISING COMMITTEE *** All the local organising committee members belong to the Software Engineering Group of the University of Málaga. M. del Mar Gallardo P. López J. Martínez P. Merino *** IMPORTANT DATES *** => Deadline for submission: April 21, 2002 => Accept/Reject notification: May 15, 2002 => Final manuscript: June 12, 2002 => Tool demo proposals: May 3, 2002 (contact Hubert.Garavel(a)inrialpes.fr) => Workshop: July 12-13, 2002 *** SUBMISSIONS *** Papers submitted to FMICS 02 must be in English, up to 16 pages long, with a clear abstract and list of keywords. They should be submitted by e-mail to fmics02(a)inrialpes.fr. The format should be either standard PostScript (printable by any PostScript device) or PDF (Adobe's Portable Document Format). The proceedings of the workshop will be published physically by the University of Málaga and will appear as a volume in the ENTCS series (Electronic Notes in Theoretical Computer Science). It is advised to follow the instructions for authors of papers in ENTCS volumes (http://math.tulane.edu/~entcs) In case of acceptance of a paper at least one author has to present the contribution at the workshop, otherwise it will be removed from the list of publications. As an established tradition, the best papers presented at FMICS workshops are selected to appear in special issues of scientific journals. Since 1998, six special issues related to FMICS have been published (or will appear) in prestigious journals such as Formal Aspects of Computing, Formal Methods in System Design, and Science of Computer Programming. *** FURTHER INFORMATION *** The workshop will take place at University of Málaga in co-location with the 29th ICALP conference. Participants should register in advance. A minimal registration fee is charged for participants proceedings, lunch and refreshments. Further information on FMICS 02 can be obtained at the workshop web site: http://www.inrialpes.fr/vasy/fmics/workshop-7 Please indicate your interest to receive actual news via email by sending your address to fmics02(a)inrialpes.fr.

1 0

Three new lectureships in Nottingham
by Graham Hutton 10 Jan '02

10 Jan '02

Dear all, We are currently advertising three new lectureships in Nottingham. There are no particular research areas specified for these positions, 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 about the positions are available from: http://www.nottingham.ac.uk/personnel/vacancies/academic.html#LEG/597 The closing date for applications is 1st February 2002. Graham Hutton +---------------------------------------------------------------------+ | Dr Graham Hutton Email : gmh(a)cs.nott.ac.uk | | Foundations of Programming Group Web : www.cs.nott.ac.uk/~gmh | | School of Computer Science and IT | | 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

possible collaboration on tutorial with study group?
by David Alan Black 09 Jan '02

09 Jan '02

Hello -- I'm writing at the suggestion of Shae Erisson, who mentioned to me that there was some interest in writing a collaborative online Haskell tutorial. I happen to be involved in organizing something called the Language of the Year project (LotY), which, in brief, involves following up on the advice offered by the Pragmatic Programmers, that advice being that programmers should try to learn at least one new language every year. (See <http://www.pragmaticprogrammer.com>, where there's a Language of the Year link.) The purpose of LotY is for people who are basically capable of teaching themselves new programming languages (not programming novices) to do it in a structured and somewhat synchronized way -- which, for some of us, may be the difference between not doing it and really doing it. Now, here's the thing: Our language of the year for 2002 is Haskell -- which means that a whole bunch of programmers are just now entering into a worldwide Haskell-learning support network. There are various books and resources available to us, of course, and that's fine. But when Shae mentioned that there's talk of a new Haskell tutorial coming into being, that got me thinking. We've got a rather large group of programmers about to learn Haskell, and we might have some Haskell programmers who want to write a new tutorial. Would it be possible, perhaps, to bring those groups together? What I'm thinking is that we, the LotY people, could serve as tutorial testers, while at the same time the tutorial under construction could help us learn Haskell. We could try out exercises, point out unclarities (or clarities for that matter), and generally troubleshoot the project. And there'd be something in it for us, obviously. So, if anyone's thinking along tutorial-writing lines, and would like some tutees, please contact me and we can try to weave that into to the LotY project. Thanks -- David -- David Alan Black home: dblack(a)candle.superlink.net work: blackdav(a)shu.edu Web: http://pirate.shu.edu/~blackdav

1 0

Re: differentiation. Reply
by Dimitre Novatchev 09 Jan '02

09 Jan '02

I wrote: > > super :: (Floating a, RealFrac a) => [a] -> [a] > > super xs = map second (myRepeat improve xs) ^^^^^^^^ The definition must be: > super xs = map second (iterate improve xs) Cheers, Dimitre Novatchev. __________________________________________________ Do You Yahoo!? Send FREE video emails in Yahoo! Mail! http://promo.yahoo.com/videomail/

1 0

Re: differentiation. Reply
by Dimitre Novatchev 09 Jan '02

09 Jan '02

> how about this: > > diff f x = (f (x + epsilon) - f (x - epsilon)) / (2 * epsilon) > where epsilon = 0.00001 > > every call to say "diff sin" will cost you about as much as every call to > "sin" Following John Hughes' article "Why Functional Programming Matters", here's one implementation: > within :: (Num a, Ord a) => a -> [a] -> a > within eps (a:b:xs) | abs(a - b) <= eps = b > | otherwise = within eps (b:xs) > relative :: (Num a, Ord a) => a -> [a] -> a > relative eps (a:b:xs) | abs(a - b) <= eps * abs(b) = b > | otherwise = relative eps (b:xs) > easydiff :: Fractional a => (a -> a) -> a -> a -> a > easydiff f x h = (f(x + h) - f x) / h > halve :: Fractional a => a -> a > halve x = x /2 > log2 x = log(x) / log(2) > elimerror :: Floating a => a -> [a] -> [a] > elimerror n (a:b:xs) = (((b * (2 ** n) - a) / (2 ** n - 1)):elimerror n (b:xs)) > order :: (Num a, Floating b, RealFrac b) => [b] -> a > order (x:y:z:xs) = fromInteger(round(log2((x-z)/(y-z) - 1))) > improve xs = elimerror (order xs) xs > differentiate :: Fractional a => a -> (a -> a) -> a -> [a] > differentiate h0 f x = map (easydiff f x) (iterate halve h0) > super :: (Floating a, RealFrac a) => [a] -> [a] > super xs = map second (myRepeat improve xs) > second (x:y:ys) = y > e2 = within 0.001 (super (differentiate 0.1 (^3) 2)) > data Dif_args = Diffargs {eps, h0, xx :: Float, func :: (Float -> Float)} > myDiff :: Dif_args -> Float > myDiff df = within (eps df) (super (differentiate (h0 df) (func df) (xx df))) > e3 = myDiff Diffargs {eps=0.001, h0=0.1, func= sin, xx=(3.1415926 / 2) } I am new to Haskell and this was my first haskell application. Therefore, I'd appreciate any comments on improving the style of expression or on any defficiencies of this implementation. Cheers, Dimitre Novatchev. __________________________________________________ Do You Yahoo!? Send your FREE holiday greetings online! http://greetings.yahoo.com

1 0