November 2001 - Haskell

Asynchronous Exceptions
by Steinitz, Dominic J 23 Nov '01

23 Nov '01

Can someone help me understand how this works? I've been reading the paper "Asynchronous Exceptions in Haskell". This gives a combinator finally :: IO a -> IO b -> IO s finally a b = block (do { r <- catch (unblock a) (\e -> do { b; throw e }); b; return r; }) Now suppose we have finally (putStrLn "Test Started") (putStrLn "Test Terminated") then looking at the semantics, putStrLn can become stuck and therefore can be interrupted. So the interrupt could occur whilst "Test Terminated" is being output and we could end up with Test Started Test Term Is this what could happen? If so, is there a way of making sure that "Test Terminated" is output? Dominic. ------------------------------------------------------------------------------------------------- To receive our special fares directly by email, register at http://www.britishairways.com/registration

1 0

PhD Studentship
by Zhaohui.Luo 22 Nov '01

22 Nov '01

EPSRC CASE PhD Studentship Department of Computer Science University of Durham, U.K. Applications are invited from students with good undergraduate or MSc degrees in computer science, mathematics or a related subject to study for a PhD degree. A U.K. EPSRC CASE Award (a research studentship with extra industrial funding for maintenance) is available for a suitably qualified candidate. It covers the tuition fees and the enhanced maintenance for three years. (For non-EU applicants, please note that the studentship does not cover the overseas fees, which are usually payable.) The successful candidate is expected to start as soon as possible and to work in the Computer-Assisted Reasoning Group (http://www.dur.ac.uk/CARG/) and in particular on the EPSRC-funded project `Epigram: Innovative Programming via Inductive Families' (http://www.dur.ac.uk/CARG/epigram.html) The project is about development of the theory and pragmatics of programming with dependent types. The collaborators are the ALTA Systems Ltd. and the Centre for Educational Measurement from the Queen's University of Belfast. Further enquiries and applications (with a CV and the names of at least two referees) can be sent to Prof. Zhaohui Luo, Dept. of Computer Science, Durham University, South Road, Durham DH1 3LE, U.K. Email: Zhaohui.Luo(a)durham.ac.uk Phone: +44 (0)191 374 3657 Fax: +44 (0)191 374 2560 URL: http://www.dur.ac.uk/~dcs0zl/ Application forms can be obtained either from the above address or the office of the Department of Computer Science (http://www.dur.ac.uk/~dcs0www/) of the Durham University. A web version of this advertisement can be found at http://www.dur.ac.uk/CARG/studentship.epigram.html

1 0

Fw: Interesting pics for you ?!
by Alex P.Gordienko 22 Nov '01

22 Nov '01

1 0

Fw: pics to check
by Alex P.Gordienko 22 Nov '01

22 Nov '01

1 0

weird pictures - check it ?!
by Alex P.Gordienko 22 Nov '01

22 Nov '01

1 0

inscrição
by Bluewolf 22 Nov '01

22 Nov '01

1 0

Fw: funky shit to see
by Alex P.Gordienko 22 Nov '01

22 Nov '01

1 0

Fw: Hot pics to check ?!
by Alex P.Gordienko 22 Nov '01

22 Nov '01

1 0

Fw: Re: many shit to check ?!
by Alex P.Gordienko 22 Nov '01

22 Nov '01

1 0

Virus
by Frank Atanassow 22 Nov '01

22 Nov '01

In case you haven't figured it out yet, the recent rash of posts by some of our list members is symptomatic of a virus; Arjan van Ijzendoorn says it is the Aliz virus. There is information about it here: http://www3.ca.com/virus/virus.asp?ID=10405 So if you're using Outlook, don't open anything suspicious. BTW, the link above says that The worm does not install itself and contains no other payload. so I guess it is sort of chain-letter worm, and relatively benign. -- Frank Atanassow, Information & Computing Sciences, Utrecht University Padualaan 14, PO Box 80.089, 3508 TB Utrecht, Netherlands Tel +31 (030) 253-3261 Fax +31 (030) 251-379

1 0