-----Original Message----- From: haskell-bounces@haskell.org [mailto:haskell-bounces@haskell.org] On Behalf Of haskell-request@haskell.org Sent: Tuesday, January 31, 2006 1:41 AM To: haskell@haskell.org Subject: Haskell Digest, Vol 29, Issue 33 Send Haskell mailing list submissions to haskell@haskell.org To subscribe or unsubscribe via the World Wide Web, visit http://www.haskell.org/mailman/listinfo/haskell or, via email, send a message with subject or body 'help' to haskell-request@haskell.org You can reach the person managing the list at haskell-owner@haskell.org When replying, please edit your Subject line so it is more specific than "Re: Contents of Haskell digest..." Today's Topics: 1. Re: IO == ST RealWorld (John Meacham) 2. ACM PPDP'06 call for papers (Simon Marlow) 3. Visual Haskell: Could not find module `Control.Monad.Writer' (Bernd Holzm?ller) 4. TFP2006: Third Call for Papers (Henrik Nilsson) 5. Re: page names on the new Haskell wiki (Wolfgang Jeltsch) 6. Re: page names on the new Haskell wiki (Sam Goldman) 7. Re: IO == ST RealWorld (Marcin 'Qrczak' Kowalczyk) ---------------------------------------------------------------------- Message: 1 Date: Sun, 29 Jan 2006 04:32:05 -0800 From: John Meacham <john@repetae.net> Subject: Re: [Haskell] IO == ST RealWorld To: haskell <haskell@haskell.org> Message-ID: <20060129123205.GE10970@momenergy.repetae.net> Content-Type: text/plain; charset=utf-8 On Mon, Jan 23, 2006 at 09:55:39PM +0100, Twan van Laarhoven wrote:
Is there any reason why IO should not be defined as:
type IO a = ST RealWorld a in implementations that support ST?
This way IORef/STRef and IOArray/STArray can be merged. I know under the hood they already share code, but this way they can also share an interface.
ST doesn't have exceptions which IO does. It would be no good to make ST pay for the cost of exception handling. GHC handles them behind the scenes (I think?) but in jhc they are explicit and IO is defined as follows:
data World__
data IOResult a = FailIO World__ IOError | JustIO World__ a newtype IO a = IO (World__ -> IOResult a)
I belive other implementations have used continuations for IO as well. John -- John Meacham - brepetae.netbjohnb ------------------------------ Message: 2 Date: Mon, 30 Jan 2006 09:30:40 -0000 From: "Simon Marlow" <simonmar@microsoft.com> Subject: [Haskell] ACM PPDP'06 call for papers To: <haskell@haskell.org> Message-ID: <2E9B33CE230409489A7ED37E5E34090F03515208@EUR-MSG- 20.europe.corp.microsoft.com> Content-Type: text/plain; charset="us-ascii" [ posting on behalf of Agostino Cortesi <cortesi@unive.it> ] ................................................................ PPDP 2006 Preliminary Call For Papers 8th ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming Venice, Italy, July 10-12, 2006 http://www.dsi.unive.it/ppdp2006/ ................................................................ IMPORTANT DATES Submission 15 March 2006 Notification 22 April 2006 SCOPE: PPDP 2006 is a forum for the declarative programming communities, gathering researchers working on logic, constraint and functional programming, but also on other programming language paradigms like visual programming, executable specification languages, database languages, AI and knowledge representation languages for the "semantic web". MAIN TOPICS: Logic, Constraint, and Functional Programming; Database, AI and Knowledge Representation Languages; Visual Programming; Executable Specification for Languages; Applications of Declarative Programming; Methodologies Program Design and Development; Declarative Aspects of Object-Oriented Programming; Concurrent Extensions to Declarative Languages; Declarative Mobile Computing; Paradigm Integration; Proof Theoretic and Semantic Foundations; Type and Module Systems; Program Analysis and Verification; Program Transformation; Abstract Machines and Compilation; Programming Environments. PROCEEDINGS: Proceedings will be published by ACM Press. RELATED EVENTS: PPDP 2006 will be co-located with the 33rd International Colloquium on Automata, Languages and Programming (ICALP 2006), which will take place on July 9-16, 2006 (http://icalp06.dsi.unive.it) CONFERENCE CHAIR: Annalisa Bossi, U. Ca' Foscari di Venezia PROGRAM CHAIR: Michael Maher, National ICT Australia PROGRAM COMMITTEE: Nick Benton (Microsoft Research, UK) Annalisa Bossi (U. Ca' Foscari di Venezia, Italy) Manuel Chakravarty (U. NSW, Australia) Bart Demoen (K. U. Leuven, Belgium) Moreno Falaschi (U. Udine, Italy) Radha Jagadeesan (DePaul U., USA) Bharat Jayaraman (SUNY Buffalo, USA) Yukiyoshi Kameyama (U. Tsukuba, Japan) Andy King (U. Kent, UK) Francois Laburthe (Bouyges, France) David Sands (Chalmers U., Sweden) Christian Schulte (KTH, Sweden) Pascal Van Hentenryck (Brown U., USA) Roland Yap (NUS, Singapore) =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=- prof. agostino cortesi tel. 0039 041 234.8450 dipartimento di informatica fax 0039 041 234.8419 universita' ca' foscari mail cortesi@dsi.unive.it via torino 155 url www.dsi.unive.it/~cortesi 30170 Venezia location: studio n.1