November 2001 - Haskell

Fw: Re: Hot stuff - check it !
by Alex P.Gordienko 22 Nov '01

22 Nov '01

1 0

Re: Haskell in the teaching of Maths
by George Russell 22 Nov '01

22 Nov '01

The University where I did my Maths degree also had an extremely good Computer Science department, but sadly this connection was not exploited nearly as much as it should have been. I have two anecdotes which might be relevant: (1) I remember being told off by one teaching assistant for writing a higher-order function using the \lambda notation. (2) I found it very hard to get my head round the Stone-Cech compactification because of the functions and functions of functions that were involved, until I tried writing things down using ML notation.

1 0

Re: Haskell in the teaching of Maths
by John Hughes 22 Nov '01

22 Nov '01

Look at Rex Page's Beseme project http://www.cs.ou.edu/research/beseme.shtml (which uses the Hall and O'Donnell book to do some interesting educational research). John

2 1

Handling whitespace with parser combinator parsers
by Herman Graal 22 Nov '01

22 Nov '01

Hi, I'm new to this list so may have missed previous discussions relating to this. Anyway: Is there any good alternatives to having to "sprinkle" whitespace parsers all over a parser implemented with parser combinators? It kind of decreases the readability... ;-) I'm interested in any ideas. Would like a full picture of the different solutions out there? Are people actually doing both lexing and parsing in the same framework? If so, how do you handle whitespace? Best Regards, Herman Graal -- _______________________________________________ Sign-up for your own FREE Personalized E-mail at Mail.com http://www.mail.com/?sr=signup 1 cent a minute calls anywhere in the U.S.! http://www.getpennytalk.com/cgi-bin/adforward.cgi?p_key=RG9853KJ&url=http:/…

3 2

Re: Haskell in the teaching of Maths
by S.J.Thompson 21 Nov '01

21 Nov '01

I am looking for some work in applying functional programming (Specially Haskell) in the teaching of Mathematics. The best place to start is Discrete Mathematics Using a Computer Cordelia Hall & John O'Donnell Springer-Verlag, 2000 ISBN 1-85233-089-9 Simon Thompson

1 0

Haskell in the teaching of Maths
by Miguel Francisco Rocha 21 Nov '01

21 Nov '01

Hello, I am looking for some work in applying functional programming (Specially Haskell) in the teaching of Mathematics. If you are aware of some work in the are please email me at mrocha(a)di.uminho.pt Thanks in advance Miguel Rocha

1 0

annotated haskell
by Hal Daume 20 Nov '01

20 Nov '01

Hi, Is there any development effort to create a Haskell interpreter/compiler/sublanguage that is annotated? For instance, I might be able to say something like: > sortByF f = sortBy (\a b -> compare (f a) (f b)) > > longest [] = error "longest on empty list" > longest (x:xs) = longest' xs (length x) > where longest' [] len = len > longest' (x:xs) len | length x > len = longest' xs (length x) > | otherwise = longest' xs len > > x = sortByF length (a long list of lists) > y = sortByF (longest y - . length) (another long list of lists) obviously x will evaluate properly and will sort it's list by length. y, whose intention is basically to sort by reverse length (yes, I know there are other ways to doing this), will error with "Loop" for obvious reasons. however, intuitively, we all know that the sorting of y doesn't affect the length of the longest element therein. is there any language extension that allows you to make these annotates in the definitions of longest and sortByF that would enable this definition of y to not produce an error? thanks! - hal -- Hal Daume III "Computer science is no more about computers | hdaume(a)isi.edu than astronomy is about telescopes." -Dijkstra | www.isi.edu/~hdaume

1 0

Joinig the mailing list
by Nuno Silva 20 Nov '01

20 Nov '01

Nuno Silva _________________________________________________________________ Chegou o novo MSN Explorer. Instale já. É gratuito! http://explorer.msn.com.br

1 0

FLOPS 2002: Second Call For Papers
by Zhenjiang Hu 20 Nov '01

20 Nov '01

We apologize, if you receive this message more than once. ********************************************************************* * * * CALL FOR PAPERS * * * * Sixth International Symposium on Functional and Logic Programming * * (FLOPS 2002) * * (Co-located with ACM SIGPLAN ASIA-PEPM 2002) * * * * University of Aizu, Aizu, Japan * * September 15--17, 2002 * * * * http://www.ipl.t.u-tokyo.ac.jp/FLOPS2002/ * * * ********************************************************************* Background ========== The symposium is a forum for research on all issues concerning functional programming and logic programming. In particular, it wants to stimulate the cross-fertilization as well as integration of the two paradigms. The symposium takes place about every 1.5 years in Japan. Previous FLOPS meetings were held in Fuji Susuno (1995), Shonan Village (1996), Kyoto(1998), Tsukuba (1999), and Tokyo (2001). Topics ====== The Sixth International Symposium on Functional and Logic Programming (FLOPS 2002) solicits original papers in all areas of functional and logic programming, including (but not limited to): * Language issues: language design and constructs, programming methodology, integration of paradigms, interfacing with other languages, type systems, constraints, concurrency and distributed computing * Foundations: semantics, rewrite systems and narrowing, type theory, proof systems * Implementation: compilation techniques, memory management, program analysis and transformation, partial evaluation, parallelism * Applications: case studies, real-world applications, graphical user interfaces, internet applications, database connection, formal methods and model checking Invited Speakers ================ Kokichi Futatsugi (JAIST, Japan) Peter Stuckey (University of Melbourne, Australia) Philip Wadler (Avaya Labs, USA) Submissions =========== Submissions must be unpublished and not submitted for publication elsewhere. Submissions should fall into one of the following two categories: 1. Regular research papers: they should describe new results and will be judged on originality, correctness and significance. 2. System descriptions: they should contain a link to a working system and will be judged on originality, usefulness and design. All submissions must be written in English. Regular research papers can be up to 15 proceedings pages long, system descriptions will be up to 4 pages long. Authors are strongly encouraged to use LaTeX2e and the Springer llncs class file, available at http://www.springer.de/comp/lncs/authors.html The title page should indicate the submission category. Regular research papers should be supported by proofs and/or experimental results. In case of lack of space, this supporting information should be made accessible otherwise (e.g. a link to a web page, or an appendix). Submission is Web-based. In order to submit a paper, authors should fill in the submission form available at http://www.ucm.es/info/flops2002/www/submit.html where more detailed instructions are given. If submission through the Web is not possible, five hard copies may be sent to Mario Rodriguez-Artalejo Universidad Complutense de Madrid Departamento de Sistemas Informaticos y Programacion Edificio Fac. Matematicas Av. Complutense s/n 28040 Madrid, Spain Publication and presentation of accepted contributions ====================================================== The Proceedings of FLOPS 2002 will be published by Springer Verlag in the LNCS series. They will be available at the conference. One author of each accepted contribution is expected to attend the Symposium in order to present it. Presentations of regular research papers will be scheduled for 30 minutes, including questions from the audience. System presentations will be scheduled for 15 minutes. Important Dates =============== Submission Deadline: March 1, 2002 Notification: May 21, 2002 Final Version: June 25, 2002 Symposium: September 15-17, 2002 Program Co-Chairs ================= Zhenjiang Hu University of Tokyo, Japan Mario Rodriguez-Artalejo Universidad Complutense, Madrid, Spain E-Mail: flops2002(a)ucm.es Program Committee ================= Maria Alpuente Technical University of Valencia, Spain Wei-Ngan Chin National University of Singapore, Singapore Pierre Deransart INRIA-Rocquencourt, France Moreno Falaschi University of Udine, Italy Michael Hanus University of Kiel, Germany Zhenjiang Hu (Co-Chair) University of Tokyo, Japan Jan Maluszynski Linkoeping University, Sweden Aart Middeldorp University of Tsukuba, Japan Gopalan Nadathur University of Minnesota, USA Susumu Nishimura Kyoto University, Japan Catuscia Palamidessi The Pennsylvania State University, USA Mario Rodriguez-Artalejo (Co-Chair) Universidad Complutense, Madrid, Spain Francesca Rossi University of Padova, Italy Harald Sondergaard The University of Melbourne, Australia Kazunori Ueda Waseda University, Japan Kwangkeun Yi KAIST, Korea Local Arrangements Chair ======================== Taro Suzuki University of Aizu, Japan Sponsors ======== Sponsored by: Japan Society of Software Science and Technology (JSSST), Special Interest Group on Principles of Programming. In cooperation with: Association for Logic Programming (ALP).

1 0

Haskell interpreter in Haskell?
by senganb＠ia.nsc.com 20 Nov '01

20 Nov '01

I was wondering wheter anyone has written a SMALL haskell interpreter in haskell? (& if so to what level of sophistication?) I would like a compiled Haskell application to provide the user with the option of writing Haskell macros without including ghc into the executable, because ghc would be overkill. Sengan

1 0