[Haskell] Re: Contents of Haskell Digest, Vol 29, Issue 33
조희연
aposto at pentavision.co.kr
Mon Jan 30 20:17:26 EST 2006
-----Original Message-----
From: haskell-bounces at haskell.org [mailto:haskell-bounces at haskell.org] On
Behalf Of haskell-request at haskell.org
Sent: Tuesday, January 31, 2006 1:41 AM
To: haskell at haskell.org
Subject: Haskell Digest, Vol 29, Issue 33
Send Haskell mailing list submissions to
haskell at 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 at haskell.org
You can reach the person managing the list at
haskell-owner at 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 at repetae.net>
Subject: Re: [Haskell] IO == ST RealWorld
To: haskell <haskell at haskell.org>
Message-ID: <20060129123205.GE10970 at 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 at microsoft.com>
Subject: [Haskell] ACM PPDP'06 call for papers
To: <haskell at haskell.org>
Message-ID:
<2E9B33CE230409489A7ED37E5E34090F03515208 at EUR-MSG-
20.europe.corp.microsoft.com>
Content-Type: text/plain; charset="us-ascii"
[ posting on behalf of Agostino Cortesi <cortesi at 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 at dsi.unive.it
via torino 155 url www.dsi.unive.it/~cortesi
30170 Venezia location: studio n.1
-------------- next part --------------
_______________________________________________
Grin mailing list
Grin at di.unipi.it
https://mailserver.di.unipi.it/mailman/listinfo/grin
------------------------------
Message: 3
Date: Mon, 30 Jan 2006 12:29:36 +0100
From: Bernd Holzm?ller <bernd.holzmueller at ics-ag.de>
Subject: [Haskell] Visual Haskell: Could not find module
`Control.Monad.Writer'
To: haskell at haskell.org
Message-ID: <43DDF8A0.7050904 at ics-ag.de>
Content-Type: text/plain; charset=ISO-8859-15
Hi all,
I am playing around with Visual Haskell, V0.1 (which really is great
stuff!). In the main module I wrote the following import:
import Control.Monad.Writer
for which I get the error message:
Could not find module `Control.Monad.Writer': use -v to see a list
of the files searched for
I use the GHCOptions: -fglasgow-exts -fallow-overlapping-instances. Is
this a bug in Visual Haskell or what's wrong here?
Thanks,
Bernd
------------------------------
Message: 4
Date: Mon, 30 Jan 2006 11:50:31 +0000
From: Henrik Nilsson <nhn at Cs.Nott.AC.UK>
Subject: [Haskell] TFP2006: Third Call for Papers
To: haskell at haskell.org
Message-ID: <43DDFD87.9020800 at cs.nott.ac.uk>
Content-Type: text/plain; charset="us-ascii"
Dear Colleague,
Please find enclosed the third call for papers for
Trends in Functional Programming (TFP) 2006.
Please note that the abstract submission deadline is
fast approaching: 17 Feb.
Also note the co-location with Types 2006 and the
Spring School on Datatype-Generic Programming.
My apologies for duplicate copies.
Best regards,
/Henrik
--
Henrik Nilsson
School of Computer Science and Information Technology
The University of Nottingham
nhn at cs.nott.ac.uk
This message has been checked for viruses but the contents of an attachment
may still contain software viruses, which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.
-------------- next part --------------
TFP 2006
Seventh Symposium on Trends in Functional Programming
Nottingham, UK, 19 - 21 April, 2006
http://www.cs.nott.ac.uk/~nhn/TFP2006
Co-located with Types 2006
and
Spring School on Datatype-Generic Programming
CALL FOR PAPERS
The Symposium on Trends in Functional Programming (TFP) is an
international forum for researchers with interests in all aspects of
functional programming languages, focusing on providing a broad view of
current and future trends in Functional Programming. It aspires to be a
lively environment for presenting the latest research results through
acceptance by extended abstracts. A formal post-symposium refereeing
process then selects the best papers presented at the symposium for
publication in a high-profile volume.
TFP 2006 is going to be held in Nottingham, UK, 19 - 21 April. Note that
this is significantly earlier in the year than past TFPs that generally
were held in August - September. TFP 2006 is co-located with Types 2006
(18 - 21 April).
The TFP symposium is the successor to the successful series of Scottish
Functional Programming Workshops. Previous TFP symposia were held in
Edinburgh, Scotland in 2003, in Munich, Germany in 2004, and in Tallinn,
Estonia in 2005 (co-located with ICFP and GPCE). For further general
information about TFP, see http://www.tifp.org/.
SCOPE OF THE SYMPOSIUM
The Symposium recognises that new trends may arise through various
routes. As part of the Symposium's focus on trends we therefore identify
the following five categories of paper. High-quality papers are
solicited in any of these categories:
Research Papers: leading-edge, previously unpublished research work
Position Papers: on what new trends should or should not be
Project Papers: descriptions of recently started new projects
Evaluation Papers: what lessons can be drawn from a finished project
Overview Papers: summarising work with respect to a trendy subject
Papers must be original, and not submitted for simultaneous publication
in any other forum. They may consider any aspect of functional
programming: theoretical, implementation-oriented, or more
experience-oriented. Also applications of functional programming
techniques to other languages may be considered.
Papers on the following subject areas are particularly welcome:
o dependently typed functional programming
o validation and verification of functional programs
o debugging for functional languages
o functional programming and security
o functional programming and mobility
o functional programming and formally motivated computing
o functional languages for telecommunications applications
o functional languages for embedded systems
o functional programming applied to global computing
o functional GRIDs
o functional languages for reasoning about imperative/object-
oriented programs
o interoperability with imperative programming languages
o any new emerging trend in the functional programming area
If you are in doubt on whether your paper is within the scope of TFP,
please contact the TFP 2006 programme chair, Henrik Nilsson,
nhn at cs.nott.ac.uk.
BEST STUDENT PAPER AWARD
TFP traditionally pays special attention to research students,
acknowledging that students are almost by definition part of new subject
trends. To acknowledge this, a prize for the best student paper is
awarded each year.
CO-LOCATION WITH TYPES 2006 AND DATATYPE-GENERIC PROGRAMMING 2006
TFP 2006 is co-located with Types 2006 (to be held 18 - 21 April). To
take advantage of the synergies offered by these two complementary
events, we will invite a number of joint keynote speakers, hold joint
sessions on topics of mutual interest, such as dependently typed
functional programming, and run common social events. The schedule will
be arranged so that participants may freely move between parallel
sessions of the two events. See http://www.cs.nott.ac.uk/types06/ for
further details.
TFP 2006 and Types 2006 are immediately followed by the Spring School on
Datatype-Generic Programming 2006 (24 - 27 April), which should be of
direct interest to many of the TFP and Types Participants. See
http://www.cs.nott.ac.uk/ssdgp2006/ for further details.
SUBMISSION AND LOCAL PROCEEDINGS
Acceptance to the symposium is by extended abstracts of between 6 and 10
pages. Accepted abstracts are to be completed to full papers before the
symposium for publication in the local symposium proceedings and
on-line.
Important dates:
Deadline for abstract submission: 17 February, 2006
Notification of acceptance: 27 February, 2006
Registration deadline: 17 March, 2006
Camera-ready copy of full paper: 24 March, 2006
The submission must clearly indicate to which category it belongs:
research, position, project, evaluation or overview paper. It should
also indicate whether the main author or authors are research students.
Abstracts and full papers must be written in English. Papers for the
symposium proceedings must adhere to the formatting instructions
provided on the TFP 2006 site. Papers must not exceed 16 pages; papers
in some categories may comprise considerably fewer pages.
The papers of the local proceedings will also be made available on-line
under the following conditions, with which all authors are asked to
agree:
The documents distributed by this server have been provided by the
contributing authors as a means to ensure timely dissemination of
scholarly and technical work on a noncommercial basis. Copyright and
all rights therein are maintained by the authors or by other
copyright holders, notwithstanding that they have offered their
works here electronically. It is understood that all persons copying
this information will adhere to the terms and constraints invoked by
each author's copyright. These works may not be reposted without the
explicit permission of the copyright holder.
See the TFP 2006 website for further instructions to authors and details
on how to submit.
POST SYMPOSIUM REFEREEING AND PUBLICATION
In addition to the local symposium proceedings, we intend to continue
the TFP tradition of publishing a high-quality subset of contributions
in the Intellect series on Trends in Functional Programming (see
http://www.intellectbooks.co.uk/series.php?series=1). All TFP authors
will be invited to submit revised papers after the symposium. These will
will be refereed to normal conference standards, and a subset of the
best papers over all categories will be selected for publication. Papers
will be judged on their contribution to the research area, with
appropriate criteria applied to each category of paper.
Papers submitted for publication by Intellect must follow formatting and
any other instructions provided by the Programme Chair.
For TFP 2005, in order to enhance the quality of student submissions, a
process where student papers were given extra feedback was tried out. A
similar process might be put in place for this TFP, contingent on the
outcome of that trial.
ORGANISATION
Symposium Chair: Marko van Eekelen, Radboud University Nijmegen, NL
Programme Chair: Henrik Nilsson, University of Nottingham, UK
Treasurer: Greg Michaelson, Heriot-Watt University, UK
Local Arrangements: Joel Wright, University of Nottingham, UK
PROGRAMME COMMITTEE:
o Kenichi Asai, Ochanomizu University
o Gilles Barthes, INRIA, Sophia Antipolis
o Olaf Chitil, University of Kent at Canterbury
o Catherine Dubois, IIE, Evry
o Marko van Eekelen, Radboud Universiteit Nijmegen
o Jeremy Gibbons, Oxford University
o Kevin Hammond, University of St Andrews
o Zoltan Horvath, Evtvvs Lorand University
o Frank Huch, Christian-Albrechts-University of Kiel
o Johan Jeuring, Universiteit Utrecht
o Greg Michaelson, Heriot-Watt University
o Henrik Nilsson, University of Nottingham
o Ricardo Peqa, Universidad Complutense de Madrid
o Morten Rhiger, Roskilde University
o Colin Runciman, University of York
o Carsten Sch|rmann, IT University of Copenhagen
o Zhong Shao, Yale University
o Phil Trinder, Heriot-Watt University
SPONSORS
We are actively looking for additional TFP sponsors, who may help to
subsidise attendance by research students, for example. If you or your
organisation might be willing to sponsor TFP, or if you know someone who
might be willing to do so, please do not hesitate to contact the
Symposium chair: Marko van Eekelen. Your students will be grateful!
------------------------------
Message: 5
Date: Mon, 30 Jan 2006 14:46:29 +0100
From: Wolfgang Jeltsch <wolfgang at jeltsch.net>
Subject: Re: [Haskell] page names on the new Haskell wiki
To: haskell at haskell.org
Message-ID: <200601301446.29645.wolfgang at jeltsch.net>
Content-Type: text/plain; charset="utf-8"
Am Sonntag, 29. Januar 2006 01:02 schrieb Sam Goldman:
> Wolfgang Jeltsch wrote:
> > LaTeX b
More information about the Haskell
mailing list