On behalf of the Yale Computer Science department, I'd like to announce a
symposium in memory of Paul Hudak that will take place at Yale on April 29 and
30. Friday will feature technical presentations by Paul's colleagues and
students, including John Hughes, Phil Wadler, Walid Taha, and Bob
Just to clarify - I was the contact for Haskell.org but the email address was
no longer being forwarded. I had assumed I had been removed as the contact but
unfortunately only the technical contact had been changed. All was finally
resolved with the help of Yale, where they resurrected the
Western State College in Colorado has a computer camp for kids aged 13 - 15.
Although we don't use Haskell (it's Python on the inside) the underlying engine
is Functional Reactive Programming. We use a 3-D game engine to explore more
than just programming - we cover a lot of math and physics.
Especially if SPJ decides to grow a beard. Unfortunately Paul is now clean
shaven so maybe Haskell is in trouble.
http://blogs.microsoft.co.il/blogs/tamir/archive/2008/04/28/computer-languages-and-facial-hair-take-two.aspx
John
___
Haskell-Cafe
It would be great if someone put a meeting together during SIGCSE - that's in
Portland March 12-15, 2008. That's about the only time I get to crawl out from
under my classes and interact with the outside world. We could announce
something on the SIGCSE mailing list and maybe pull in some
I'm going to try and be more organized about administering
haskell.org. I've started a wiki page,
http://haskell.org/haskellwiki/Haskell.org, that will allow me to
track the accounts I've given out and tell everyone what haskell.org
is for and who to contact for various matters.
Would everyone
://www.western.edu/computerscience/computer_camp.html
And you don't have to tell them that this is a secret Haskell
Indoctrination Camp.
John Peterson
Now at [EMAIL PROTECTED]
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman
We have finally finished moving nearly all of the top level
haskell.org content over to the new wiki. Sometime soon switch to the
new pages will happen. But meanwhile, there's a lot of work to do in
the new wiki.
Many of the pages on the old site were very out of date. The wiki
pages are just
I'm not sure how things work legally, but the wiki itself has all of
the authorship information in it. Simply acknowledging that something
came from the Haskell wiki would allow anyone to identify the
underlying source given the ability to crawl around in page
histories. I wouldn't want to have
As everyone has noticed during the making Haskell more open
discussion, MediaWiki was suggested as a better wiki technology for
haskell.org. Ashley Yakeley has generously installed MediaWiki and we
would like to migrate the main pages of haskell.org into this wiki.
The migration is not complete -
wiki is under the GNU FDL so the licenses are not necessarily
compatible.
As far as I understand, this means that if I see a sample of code on
the haskell wiki, and just want to steal it for my project, I'm not
allowed to, unless I also release my code under the GNU FDL?
This is something
I believe the scenario that the FDL addresses is that someone
(probably Paul Hudak!) borrows massive amounts of stuff from the wiki,
adds his own good stuff, and then publishes a nice book or something
without having to share his additional contribution. Some people
would like to be sure that
If someone sends me a new css file I'll be happy to throw it on
haskell.org for you. Please send an email to this list if you want to
do this so nobody else wastes their time.
John
___
Haskell mailing list
Haskell@haskell.org
Hi there!
The wxFruit effort was a senior project that focused pretty much
exclusively on the paddleball game. It didn't really create any
software that we intend to maintain and distribute.
I have a couple of students working on a continuation of this but I
don't expect to release anything for
I've been meaning to get into this debate ...
Koen proposes:
Imagine a commutative monad, CIO. Commutative monads have
the property that it does not matter in what order actions
are performed, they will have the same effect. In other
words, for all m1 :: CIO A, m2 :: CIO B, k :: A - B -
The intention in the report was to match in the order listed in the
pattern - you need not consult the data declaration to understand the
ordering. I think the report is clear enough - it's just a bug in
ghc.
John
___
Haskell mailing list
[EMAIL
-
some examples of this are included in the distribution.
You can download Pan# at http://haskell.org/edsl/pansharp.html
Thanks to Microsoft Research for supporting this project.
John Peterson, Yale Haskell Group
[EMAIL PROTECTED]
___
Haskell
The difference between Pan and Fran is that Pan is stateless: the
image is a pure function of the current control settings (system
stimulus) rather that a stateful signal function as in Yampa or Fran.
So you couldn't really do the infamous paddleball game or make use of
switching or integrals or
So there it was - another email message complaining about something on
haskell.org. Your site is so `last century'. So I, as usual, said
If you want it fixed, do it yourself.
And thus the new look on haskell.org.
Thanks much to Jon Lingard for giving us a facelift. The new look
(same old
The n+k pattern issue inspired endless debates on the Haskell
committee and this feature was considered for removal in nearly every
iteration of the Haskell report. We all agreed that n+k is extremely ad-hoc but
that certain programs can be expressed slightly more elegantly using
them.
If the spam storm gets too heavy on haskell-cafe we can switch to
moderator approval as on the main Haskell list. We have the spam
assassin available at haskell.org but I've been reluctant to turn it
loose on the lists. Maybe the time has come ...
John
I checked and we do have spam assassin running on all haskel.org
mail. The latest Nigerian spamlet somehow made it past -
unfortunately nobody has been keeping the spam rules up to date, The
mail haskell list is member only posting but not haskell-cafe. The
member only posting is slightly
For exactly these reasons we have implemented Helium; not for replacing
Haskell (we're very happy with Haskell), but for *learning* Haskell. There
is no overloading, so types and type errors are easier to understand. The
Helium compiler produces warnings for situations that are probably
I've also been working high school students a bit and functional
programming is a great way to teach the principals of computation.
The best results come when FP is applied to domains that get kids
excited. I've had very good luck with Haskore as an excellent way to
bring computation to a general
Yes - we'll have the new report up soon. Once Simon quits messing
with it :-).
John
___
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
The current plan is to filter via spews. We could go to member-only
posting if that's what people want but it means that students asking
their homework questions will have a harder time :-). Plus if the
list is redistributed that's another problem. Our original spam
filter was generating
Funny you should ask. We've got despamming ready to test on Monday.
So hang in there one more day and things should get better.
John
___
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
else you
need. Contact me if you need more information about getting an
account.
John Peterson
___
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
We've just upgraded haskell.org to a much faster machine and we've
been slowly trying to get everything back to normal. There are a
lot of things to do and we tried to do them Saturday morning when
nobody was watching but I'm afraid we didn't get everything back in
place before we were noticed.
The only semantic difference is in the type checker - the first form
is not subject to monomorphism while the latter is unless a type
signature is present. There should be no difference at all in the
generated code.
John
___
Haskell mailing list
You can't recreate newtype with data. There's a long discussion
of this in the report: check section 4.2.3
http://haskell.org/onlinereport/decls.html#sect4.2.3
John
___
Haskell-Cafe mailing list
[EMAIL PROTECTED]
This problem is probably caused by the unbound type variable in
values like (Str HEJ).
Try giving a specific type as the parameter to LispList:
(Str HEJ :: LispList Int)
The error message here could me more informative!
John
___
Haskell mailing
We're not really in a position to mail out bound copies of the Haskell
report. We generally distribute our tech reports in electronic form
and haven't even been asked for paper copies in years. I've got a few
bound Haskell reports that I give to visitors but we don't plan to
print any more. It
One more thing: I'm happy to incorporate any tutorial material into
haskell.org. If you have material that would be appropriate please
let me know and I'll add it to the site. I know there are some very
good slides from Haskell courses that could be put into haskell.org.
The document sources
Head to http://www.cafepress.com/haskell for your holiday shopping.
Thanks to Conal Elliott and Fritz Ruehr for their artwork. Conal's
design was produced by Pan so this shirt is in fact powered by
Haskell!
I'll be glad to add more designs in the future. Once cafepress lets
me put more than
Tired of seeing people in OCaml TShirts at ICFP? Ready to show the
world what language *real* programmers use? Well, here's your chance.
We're going to add a "store" to haskell.org to offer Haskell stuff for
your holiday shopping convenience. We're going to start with T-shirts
and other stuff
Or you can just set USE_DOUBLE_PRECISION in options.h if you want to
rebuild hugs.
John
I have all of the archive links on the mailing list page fixed now.
John
The haskell.org page should be quite clearly labelled - I do most of
the maintainance with help from some of the community. Please let me
know if there is anything that needs fixing.
John
and three letters of recommendation to John Peterson (email address:
[EMAIL PROTECTED]). Electronic application is preferred, but if
necessary, applications may be sent to the address below.
John Peterson
Department of Computer Science
Yale University
P.O. Box 208285
New Haven, CT 06520-8285, USA
If you've looked at Andy Gill's Html module, he's proposed embedding a
little XML in a leading comment:
{-
haskell:module
NameHtml/
Version0.1/
Description
Main import module for the Html combinators/
License
The Haskell Html Library is Copyright copy;
Andy Gill,
This is a simple problem to fix - in Haskell 98 you need the following
so that functions are in Show:
instance Show (a - b) where
showsPrec _ _ = showString " Function "
I'll add this to the Haskore release. If you add this at the end of
Basics.lhs you'll be able to load Haskore.
I believe that by now name service for haskell.org is back to normal.
If there are any further problems with name service please let me
know.
As it turns out, this wasn't a technical problem but rather a
political one. As name service transitioned from within the Yale CS
department to the
Sorry about this - must be a Y2K thing!! Seriously, we have a problem
with our domain server and I can't get this fixed until Monday.
Meanwhile, I think haskell.cs.yale.edu will work as an alternate
domain name for the time being.
John
No - ghc is quite right on this one. The use of x in the module
disambiguates the overloading of x here - any use of x in the module
that resolves the overloading should make the monomorphism rule
happy. Unfortunately, hugs applies defaulting too soon and the use of
x that would satisfy
are encouraged to apply. Yale
is an affirmative actions/equal opportunity employer.
Interested individuals should contact John Peterson
([EMAIL PROTECTED]). Applications should include a resume or
Curriculum Vitae with at least three references.
RESEARCH PROGRAMMING POSITION
Computational Interaction Group
Department of Computer Science
Johns Hopkins University
http://www.cs.jhu.edu/~hager/CIPS
We are
to modify, update, or
improve the tutorial and made full sources for the tutorial
available. So instead of complaining, just fix extend it yourself!
We'll probably put this into a public CVS repository once we get a
chance.
John Peterson
[EMAIL PROTECTED]
Andy's example of function documentation looks fine to me. I'd also
like to see HaskellDoc work at the module level too: define attributes
such as an author, a version, Haskell system version, export list,
imported modules, web site, repository, whatever ...
In particular, I'd really like to
This list has dead for a year or so - I'm sure many interested parties
are not on it. This is the sort of thing that we ought to be able to
handle more easily when we install some mailing list software at
haskell.org - I can think of a number of topics that could be split
off from the Haskell
It's good to see so many people eager to help with haskell.org. We
have plans for some significant changes at haskell.org and I hope this
will result in a much more open, community developed site. Andy Gill
and I had a meeting about this at OGI and we will have a new
haskell.org online soon
OK - I've finally gotten around to adding the report sources to
haskell.org. We encourage folks to render the report in new ways; any
useful rendering of the report will be added to haskell.org.
John
This summer I'd like to work with everyone on a major revamp of the
Haskell web pages. In particular, organize the libraries pages
and make it easier to search for existing code and more introductory
material, including some "Haskell Programming Pearls" and a good FAQ.
I'd also like to update
As others have mentioned, Haskell does not provide a direct means for
strict evaluation. While the class system can be used, the trick of
f x = x | x == x
is not guaranteed to work since == methods defined by the user may not
have the desired strictness property. I could always put
instance
Announcing
==
The Haskell Report
Version 1.2
1 March 1992
The Haskell Committee, formed in September 1987 to design a "common"
non-strict
55 matches
Mail list logo