Re: The Debian community should influence the next Haskell language standard

2006-01-30 Thread Florian Weimer
* Isaac Jones:

 I'd like to ask the Debian community to look at Haskell98 and some of
 the research extensions[2] and give us some input as to what would
 make Haskell more attractive to you.

Uhm, most of the things on Debian's (as opposed to individual
developer's) whishlist are quality-of-implementation issues, not
really language issues.

A sensible approach to separate compiliation, so that it's possible to
change the implementation of a module without having to recompile all
of its clients.  This helps to avoid that packages in our
distributions are too closely coupled, which makes updating individual
components manageable (for example, to patch a security
vulnerability).  Dynamic shared objects with stable ABIs across
compiler versions would be a nice benefit, but I understand that
implementing this is hard.

There should be compilers which are portable to Debian's release
architectures, which consume moderate amounts of memory (just a few
dozen megabytes, but pretty please not a few hundred) and are
reasonably fast.  This means that Haskell programs won't bog down our
build daemons, so we can afford as many of them as we like.

We can cope with C++, so we shouldn't demand too much from other
languages. 8-)

Apart from that, I find your question a bit strange.  Maybe that's
because Debian ships implementations for so many programming languages
that yet another one (or even a new revision of an existing one)
doesn't make a real difference.  The separate compilation aspect is
important, but it currently does not matter much because Haskell
packages generally have very short dependency chains as far as other
Haskell packages are concerned.

On a more personal note, I found the non-predictable space behavior
very hard to deal with.  I'd also like to see something like
unsafePerformIO in the language standard: a trapdoor into the IO monad
which may lead to the side effect happening multiple times, but which
is type-safe.  (The rationale is that unsafePerformIO does occur in
real-world programs, so there seems to be a real-world demand for it,
but its horribly un-soundness makes it look really bad.)  But I can
understand that tackling unsafePerformIO might take Haskell into a
direction the greater community has little interest in.


-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]



The Debian community should influence the next Haskell language standard

2006-01-29 Thread Isaac Jones
Fellow Debianers,

I'm helping to organize the process of creating the next version of
Haskell[1], and I really want it to be a language that Debian
developers can use.

The Haskell programming language is more-or-less divided into two
branches. The Haskell 98 standard is the stable branch of the
language, and that has been a big success. A lot of progress has been
made over the last few years in the research branch of the Haskell
language. It is constantly advancing, and we feel that it is time for
a new standard which reflects those advancements.

One of my goals is to make Haskell more suitable for practical
applications such as those that the Debian community might find for
it.  We've come pretty far over the last few years in infrastructure.
We're working to develop CPAN-like and apt-get-like systems for
Haskell.  Haskell has been used for practical applications such as
Darcs, an advanced revision control system, and Pugs, the Perl 6
implementation.

I'd like to ask the Debian community to look at Haskell98 and some of
the research extensions[2] and give us some input as to what would
make Haskell more attractive to you.  I'm guessing that most folks
should be able to pick it up pretty easily, though if you've never
seen a functional programming language before, you'll be exposed to
some new concepts.

I think that the tutorial, Yet Another Haskell Tutorial[3] is pretty
good, and you can apt-get install hugs or ghc6 for a compiler or
interpreter.  That should be enough to get you started.  /join
#haskell if you are looking for help.

Please email me with any comments or questions.


peace,

  isaac


[1] Haskell': http://hackage.haskell.org/trac/haskell-prime

[2] Some language extensions:

http://www.haskell.org/ghc/docs/latest/html/users_guide/ghc-language-features.html

[3] Yet Another Haskell Tutorial: http://www.isi.edu/~hdaume/htut/


-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]