Simon Marlow:
Johan Tibell wrote:
An interesting question. What is the goal of Haskell'? Is it to, like
Python 3000, fix warts in the language in an (somewhat) incompatible
way or is it to just standardize current practice? I think we need
both, I just don't know which of the two Haskell' is.
[..]
As for the particular question of backwards-incompatible changes,
here are some criteria that Henrik Nilsson proposed early on, and I
think are still relevant (i'm sure he won't mind my reposting these
from the committee mailing list):
* If a proposed change breaks backwards compatibility, then it is
acceptable only if either
- very little existing code is likely going to be broken in
practice, or
- + it is widely agreed that not addressing the issue really
would harm the long-term relevance of Haskell', and
+ it is widely agreed that attempting to maintain backwards
compatibility would lead to an unwieldy language design, and
+ the proposed design and its implications are well understood,
i.e. it has been implemented in at least one system and it has
been used extensively, or a strong argument can be made on
the grounds of, say, an underlying well-understood theory.
As I have argued before on the committee list, I also think we should
*not* worry about backwards incompatible changes too much in cases
where a simple automatic translation from H98 to H' code is possible.
Even for a large project, it is IMHO no big hardship to run a H98->H'
translator over all Haskell sources. After all, this is only needed
for active projects that want to make use of H'. For old code, I
expect that compilers will still provide a -XHaskell98 flag or similar
for the foreseeable future.
As John Launchbury has said, given Haskell's current rise in
popularity, anything that we do not fix with H' will be much harder,
if not impossible, to fix in the future.
Manuel
_______________________________________________
Haskell-prime mailing list
Haskell-prime@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-prime
