- Haskell - Haskell.org

ESSLLI 2002 Student Session
by Malvina Nissim 30 Nov '01

30 Nov '01

!!! Concerns all students in Logic, Linguistics and Computer Science !!! !!! Please circulate and post among students !!! We apologise if you receive this message more than once. ESSLLI-2002 STUDENT SESSION FIRST CALL FOR PAPERS August 5-16 2002, Trento, Italy Deadline: February 25th, 2002 www.iccs.informatics.ed.ac.uk/~malvi/esslli02 We are pleased to announce the Student Session of the 14th European Summer School in Logic, Language and Information (ESSLLI-2002) organised by the Centre for scientific and technological research (ITC-irst) in Trento and by the University of Trento, under the auspices of the European Association for Logic, Language and Information (FoLLI). ESSLLI-2002 will be held in Trento from August 5-16 2002. We invite submission of papers for presentation at the ESSLLI-2002 Student Session and for appearance in the proceedings. PURPOSE: This seventh ESSLLI Student Session will provide, like the other editions, an opportunity for ESSLLI participants who are students to present their own work in progress and get feedback from senior researchers and fellow-students. The ESSLLI Student Session encourages submissions from students at any level, from undergraduates (before completion of the Master Thesis) as well as postgraduates (before completion of the PhD degree). Papers co-authored by non-students will not be accepted. Papers may be accepted for full presentation (30 minutes including 10 minutes of discussion) or for a poster presentation. All the accepted papers will be published in the ESSLLI-2002 Student Session proceedings, which will be made available during the summer school. KLUWER BEST PAPER AWARD: As in previous years, the best paper will be selected by the programme committee and will be offered a prize by Kluwer Academic Publishers to be spent on books. REQUIREMENTS: The Student Session papers should describe original, unpublished work, completed or in progress that demonstrates insight, creativity, and promise. No previously published papers should be submitted. Note that the ESSLLI02 school will be focussed on the three main interdisciplinary areas (Logic & Language, Logic & Computation, and Language & Computation), while the single areas have been dropped. Given the high interest shown over the years, the Student Session will keep two of the single areas, namely Logic and Language, welcoming thus submissions within the following topics: Logic, Language, Logic & Language, Logic & Computation, Language & Computation. FORMAT OF SUBMISSION: Student authors should submit an anonymous full paper headed by the paper title, not to exceed 7 pages of length exclusive of references and send a separate identification page (see below). Note that the length of the final version of the accepted papers will not be allowed to exceed 10 pages. Since reviewing will be blind, the body of the abstract should omit author names and addresses. Furthermore, self-references that reveal the author's identity (e.g., "We previously showed (Smith, 1991)... ") should be avoided. It is possible to use instead references like "Smith (1991) previously showed...". For any submission, a plain ASCII text version of the identification page should be sent separately, using the following format: Title: title of the submission First author: firstname lastname Address: address of the first author ...... Last author: firstname lastname Address: address of the last author Short summary: abstract (5 lines) Subject area (one of): Logic | Language | Logic and Language | Logic and Computation | Language and Computation If necessary, the program committee may reassign papers to a more appropriate subject area. The submission of the extended abstract should be in one of the following formats: PostScript, PDF, RTF, or plain text. But note that, in case of acceptance, the final version of the paper has to be submitted in LaTeX format. Please, use A4 size pages, 11pt or 12pt fonts, and standard margins. Submissions outside the specified length and formatting requirements may be subject to rejection without review. The paper and separate identification page must be sent by e-mail to: malvi(a)cogsci.ed.ac.uk by FEBRUARY 25th 2002 ESSLLI-2002 INFORMATION: In order to present a paper at ESSLLI-2002 Student Session, at least one student author of each accepted paper has to register as a participant at ESSLLI-2002. The authors of accepted papers will be eligible for reduced registration fees. For all information concerning ESSLLI-2002, please consult the ESSLLI-2002 web site at www.esslli2002.it IMPORTANT DATES: Deadline for submission of abstracts: February 25, 2002. Authors Notifications: April 22, 2002. Final version due: May 20, 2002. ESSLLI-2002 Student Session: August 5-16, 2002. PROGRAMME COMMITTEE: David Ahn, University of Rochester (Language and Computation) Carlos Areces, University of Amsterdam (Logic) Reinhard Blutner, University of Berlin (Language) Kees van Deemter, University of Brighton (Language and Computation) Paul Dekker, University of Amsterdam (Logic and Language) Juergen Dix, University of Manchester (Logic and Computation) Marta Garcia-Matos, University of Helsinki (Logic) Juan Heguiabehere, University of Amsterdam (Logic and Computation) Elsi Kaiser, University of Pennsylvania (Language) Malvina Nissim, University of Edinburgh (Chair) Rick Nouwen, University of Utrecht (Logic and Language) For any specific question concerning ESSLLI-2002 Student Session, please, do not hesitate to contact me: Malvina Nissim ICCS, University of Edinburgh 2 Buccleuch Place, Edinburgh EH8 9LW, UK phone: +44 +(0)131 +650 4630 fax: +44 +(0)131 +650 6626 e-mail: malvi(a)cogsci.ed.ac.uk

1 0

bug in report? empty datatypes
by Hal Daume III 30 Nov '01

30 Nov '01

we can now say: > data T for an empty datatype what about: > data T deriving (Show) -- or Eq, Ord, ... personally I think this should be legal. the actual semantics are irrelevant, as far as I can tell, since you won't ever have something of type T other than _|_ and so you could simply define the derived instance of equals to be something like: > instance Eq T where { (==) = undefined } though > instance Eq T where { _ (==) _ = True } seems also to be resonable. this isn't a big deal, but i'd like it fixed. ghc panics when you try to derive something. hugs gives you a syntax error and i can't get nhc to accept empty datatypes at all... - 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

Haskell 98 prelude bug report
by Olaf Chitil 30 Nov '01

30 Nov '01

The prelude contains instance Bounded Char where minBound = '\0' maxBound = '\xffff' I didn't follow all the discussion about unicode, but the maxBound seems to be wrong. It probably should be '\x10ffff'. The exact specification could also be avoided by defining maxBound = primUnicodeMaxBound where primUnicodeMaxBound is imported from UnicodePrims. -- OLAF CHITIL, Dept. of Computer Science, University of York, York YO10 5DD, UK. URL: http://www.cs.york.ac.uk/~olaf/ Tel: +44 1904 434756; Fax: +44 1904 432767

1 0

��Цʱ�� 12-3
by vcomic＠speed.sender.com 30 Nov '01

30 Nov '01

1 0

RE: Confused about Random
by Simon Peyton-Jones 30 Nov '01

30 Nov '01

Yes, the implementation of instance Random Int in GHC's library pre-dates the existence of the genRange class operation for RandomGen. GHC's implementation of the instance behaves extremely badly when given a random generator with only two values (as in your example). I would love someone to send me a better implementation of the Random library. Preferably someone who understands the pitfalls. Simon | -----Original Message----- | From: Ian Lynagh [mailto:igloo@earth.li] | Sent: 29 November 2001 15:32 | To: haskell(a)haskell.org | Subject: Confused about Random | | | | With the following module: | | module Main where | | import Random | | data Foo = Foo StdGen | | main :: IO() | main = do let rs = randoms (Foo (mkStdGen 39)) :: [Int] | rRs = randomRs (0,9) (Foo (mkStdGen 39)) :: [Int] | putStrLn $ show $ take 100 rs | putStrLn $ show $ take 100 rRs | | instance RandomGen Foo where | genRange _ = (0, 1) | next (Foo g) = (val `mod` 2, Foo g') | where (val, g') = random g | split _ = error "Not implemented" | | ghc gives me | | [-2147476078,7482,-2147476078,-2147476078,-2147476079,-2147476 | 078,7483,7482,7482,-2147476079,-2147476078,-2147476079,-214747 | 6079,7482,-2147476078,-2147476078,-2147476078,-2147476079,7482 | ,7483,7482,7483,7482,-2147476078,-2147476078,-2147476078,7483, | -2147476079,7482,-2147476078,-2147476079,-2147476078,7483,-214 | 7476079,7483,7482,-2147476079,7483,7482,7483,-2147476078,-2147 | 476079,-2147476079,7482,-2147476078,7482,-2147476079,-21474760 | 79,7482,-2147476078,7483,7483,-2147476079,-2147476078,7483,748 | 3,-2147476078,-2147476079,-2147476078,-2147476079,-2147476078, | 7483,7483,7482,7482,7483,-2147476078,-2147476079,-2147476079,7 | 482,7483,-2147476078,-2147476079,-2147476079,-2147476078,7482, | 7483,-2147476079,7482,7482,7482,7483,-2147476079,-2147476079,- | 2147476078,7482,7482,7482,7482,-2147476079,7482,7482,-21474760 | 79,7483,-2147476078,7482,7483,-2147476079,-2147476079,7482] | [1,2,2,1,1,2,1,2,1,1,1,2,2,2,2,1,2,1,1,1,1,2,1,1,1,1,2,1,1,2,1 | ,2,1,2,1,1,2,1,2,2,2,1,2,2,2,1,1,2,1,2,1,2,2,2,1,1,2,1,1,2,1,1 | ,1,2,2,2,1,1,2,2,2,1,1,1,2,2,2,1,2,2,1,2,1,1,1,1,2,1,1,2,2,1,1 | ,1,1,1,2,1,1,2] | | The first list doesn't seem to cover the whole spectrum and I | was expecting the second list to be composed over 0s through | 9s. Is my understanding wrong? | | nhc complains | Context for Random.Random needed in left hand pattern at | 17:11. and hugs doesn't seem to know genRange exists. With it | commented out it returns the same as ghc. | | | Thanks | Ian | | | _______________________________________________ | Haskell mailing list | Haskell(a)haskell.org http://www.haskell.org/mailman/listinfo/haskell |

1 0

TCS 2002 - New submission date: December 20, 2001
by Michel Barbeau 29 Nov '01

29 Nov '01

----------------------------------------------------------------- CALL FOR PAPERS ----------------------------------------------------------------- 2nd IFIP International Conference on THEORETICAL COMPUTER SCIENCE (TCS 2002) Montreal, August 25-30, 2002 ----------------------------------------------------------------- co-sponsored by EATCS and ACM SIGACT ----------------------------------------------------------------- The program of of the conference will be composed of two tracks: Track 1 - Algorithms, Complexity and Models of Computation Track 2 - Logic, Semantics, Specification and Verification. ----------------------------------------------------------------- Important Dates: December 20, 2001: Submissions (EXTENDED) March 20, 2002: Notifications ----------------------------------------------------------------- Conference Chair ---------------- Nicola Santoro, Carleton University (santoro(a)scs.carleton.ca) Conference Co-Chairs ---------------------- Track (1) Ricardo Baeza-Yates, University of Chile (rbaeza(a)dcc.uchile.cl) Track (2) Ugo Montanari, University of Pisa, Italy (ugo(a)di.unipi.it) Program Committee ----------------- Track (1) Eric Allender (allender(a)aramis.rutgers.edu) JosÈ Balcazar (balqui(a)lsi.upc.es) Andrej Brodnik (Andrej.Brodnik(a)IMFM.Uni-Lj.SI) Volker Diekert (diekert(a)informatik.uni-stuttgart.de) David Fernandez-Baca (fernande(a)cs.iastate.edu) Kazuo Iwama (iwama(a)i.kyoto-u.ac.jp) John D. Kececioglu (kece(a)CS.Arizona.EDU) Jan van Leeuwen (jan(a)cs.uu.nl) Xuemin Lin (lxue(a)cse.unsw.EDU.AU) Alberto Marchetti Spaccamela (alberto(a)dis.uniroma1.it) David Peleg (peleg(a)wisdom.weizmann.ac.il) Prabhakar Raghavan (pragh(a)verity.com) Venkatesh Raman (vraman(a)imsc.ernet.in) Siang Song (song(a)ime.usp.br) Paul Spirakis (spirakis(a)cti.gr) Luca Trevisan (luca(a)eecs.berkeley.edu) Brigitte VallËe (Brigitte.Vallee(a)info.unicaen.fr) Alfredo Viola (viola(a)fing.edu.uy) Manfred Warmuth (manfred(a)cse.ucsc.edu) Sue Whitesides (sue(a)cs.mcgill.ca) Peter Widmayer (widmayer(a)inf.ethz.ch) Jiri Wiederman (wieder(a)uivt.cas.cz) Track (2) Gabriel Baum (gbaum(a)info.unlp.edu.ar) Luca Cardelli (luca(a)microsoft.com) Frank DeBoer (frankb(a)cs.ruu.nl) Ursula Goltz (u.goltz(a)tu-bs.de) Roberto Gorrieri (gorrieri(a)cs.unibo.it) Jieh Hsiang (hsiang(a)csie.ntu.edu.tw) Takayasu Ito (ito(a)ito.ecei.tohoku.ac.jp) Alexander Letichevsky (letichev(a)carrier.kiev.ua) Jean-Jacques Levy (Jean-Jacques.Levy(a)inria.fr) Huimin Lin (lhm(a)ox.ios.ac.cn) Kim Marriott (marriott(a)csse.monash.edu.au) Narciso Marti-Oliet (narciso(a)eucmos.sim.ucm.es) John Mitchell (mitchell(a)cs.stanford.edu) Luis Monteiro (lm(a)fct.unl.pt) Peter Mosses (pdmosses(a)daimi.aau.dk) Prakash Panangaden (prakash(a)cs.mcgill.ca) Benjamin Pierce (bcpierce(a)cis.upenn.edu) Amir Pnueli (amir(a)wisdom.weizmann.ac.il) Leila Ribeiro (leila(a)inf.ufrgs.br) Gheorghe Stefanescu (gheorghe(a)nus.comp.edu.sg) Andrzej Tarlecki (tarlecki(a)mimuw.edu.pl) P.S. Thiagarajan (pst(a)smi.ernet.in) Organizing Committee -------------------- Michel Barbeau (barbeau(a)scs.carleton.ca) -- Chair Amiya Nayak (nayak(a)nortelnetworks.com) Giuseppe Prencipe (prencipe(a)di.unipi.it) ----------------------------------------------------------------- SPECIAL FOCUS Foundations of IT in the Era of Network and Mobile Computing ------------------------------------------------------- ------------------------------------------------------------------- Original and significant contributions on the special focus and on foundational questions are sought from all areas of theoretical computer science. ------------------------------------------------------------------- Submissions ----------- http://www.scs.carleton.ca/~santoro/TCS2002/indexTCS2002.html Location --------- The conference will be held in Montreal, August 25-30, 2002, as part of the 17th IFIP World Computer Congress (http://www.wcc2002.org)

1 0

Re: Global variables
by Ashley Yakeley 29 Nov '01

29 Nov '01

At 2001-11-29 11:13, Ashley Yakeley wrote: >Lifted monads look something like this: > > data MyAction a = MkMyAction ((consts,vars) -> (vars,a)); > instance Monad MyAction where etc. Whoops, should be data MyAction a = MkMyAction ((consts,vars) -> IO (vars,a)); -- Ashley Yakeley, Seattle WA

1 0

Re: Global variables
by Ashley Yakeley 29 Nov '01

29 Nov '01

At 2001-11-29 05:31, Juan Ignacio García García wrote: >I am interested in using global variables (in GHC). In JVM-Bridge (nearly there!) I use lifted monads to store global constants, though variables are not hard either. This does mean an extra function needed to call IO functions, but in my case you'd be calling mostly my glue functions to Java code, which are in the lifted monad anyway. Lifted monads look something like this: data MyAction a = MkMyAction ((consts,vars) -> (vars,a)); instance Monad MyAction where etc. I actually have a class for monads that lift the IO monad: <http://cvs.sourceforge.net/cgi-bin/viewcvs.cgi/~checkout~/jvm-bridge/sourc e/Haskell/IOLiftedMonad.hs?rev=HEAD&content-type=text/plain> -- Ashley Yakeley, Seattle WA

1 0

Re: Global variables
by C.Reinke 29 Nov '01

29 Nov '01

> Hello, I am interested in using global variables (in GHC). I need a > variable to store list of Integers to store temporary results. I > have been reading the module MVar, but I wonder if there is an > alternative way of doing it. I have already implemented my function > using an auxiliar argument where I put my lists of Integers. Will > the use of a global variable improve my function? no!-) ah, well, perhaps.. As you've already got your function, using auxiliary arguments, you probably don't really need to re-write it in a less functional style. But you will have noticed that much of your code repeatedly does the same thing - passing the auxiliary around. It's good functional programming practice to abstract away repeated code (both for reuse and to get more concise code). One way to do that will lead you into monads (your function is a state transformer, transforming the state of the auxiliary list at each step), still a functional solution. If you really, and absolutely want and must use global, mutable variables in a functional language, you might find a recent paper by John Hughes helpful, on that very topic. See his home page: http://www.cs.chalmers.se/~rjmh/ Hth, Claus

1 0

Re: Where to ask questions regarding categories and datatypes
by C.Reinke 29 Nov '01

29 Nov '01

> Peter Douglass writes: > > Hi, > > I have a number of questions regarding categories and datatypes. I know > > that many of the folk in this mailing list could answer these question, but > > I wonder if there is a more appropriate forum. (i.e. the question are not > > Haskell specific). > > > > Why don't you try the Types Forum <types(a)cis.upenn.edu> > See also http://www.cis.upenn.edu/~bcpierce/types/ Or, if your questions are more on the categories side, there is also: Categories List The category theory mailing list, moderated by Bob Rosebrugh. http://www.mta.ca/~cat-dist/ Claus

1 0