 Wearing the hair shirt: a retrospective on Haskell
started 2/11/2003; 2:19:01 AM - last post 2/11/2003; 9:35:30 PM
|
|
Ehud Lamm - Wearing the hair shirt: a retrospective on Haskell 
2/11/2003; 2:19:01 AM (reads: 3074, responses: 6)
|
|
| Wearing the hair shirt: a retrospective on Haskell |
|
Simon Peyton Jones Wearing the hair shirt: a retrospective on Haskell. Invited talk at POPL 2003.
In this talk, which is very much a personal view, I take a look back at the language, and try to tease out what we have learned from the experience of designing and implementing it. The main areas I discuss are: syntax (briefly), laziness (the hair shirt of the title), type classes, and sexy types.
This talk is both an overview of the intellectual history and development of Haskell, and a penetrating look into its essential features (surprise: laziness is less important than you might think).
The talk also mentions important areas where research is still needed.
Posted to functional by Ehud Lamm on 2/11/03; 2:22:17 AM
|
|
|
|
Matt Hellige - Re: Wearing the hair shirt: a retrospective on Haskell
2/11/2003; 7:02:09 AM (reads: 1355, responses: 1)
|
|
|
Can anyone convert the PowerPoint slides to a somewhat more friendly format? I'd really like to see them, but I'm Microsoft-impaired. Alternatively, can anyone recommend a PPT viewer for Linux?
|
|
Patrick Logan - Re: Wearing the hair shirt: a retrospective on Haskell
2/11/2003; 7:42:15 AM (reads: 1341, responses: 0)
|
|
|
I'll attempt to convert to Open Office and PS or PDF later tonight.
|
|
Patrick Logan - Re: Wearing the hair shirt: a retrospective on Haskell
2/11/2003; 7:46:08 AM (reads: 1341, responses: 1)
|
|
|
I had a brief conversation with Simon P-J about laziness, strictness, closures, and OOP a few years ago when he was on sabbatical at the Oregon Graduate Institute. This was about the time the GHC team was working on COM interfaces, and I had just discovered Haskell. At that time he was making the point that the choice of laziness was probably as much a matter of preference as anything else.
|
|
Ehud Lamm - Re: Wearing the hair shirt: a retrospective on Haskell
2/11/2003; 8:26:58 AM (reads: 1366, responses: 0)
|
|
|
Two things I like about laziness: (1) with laziness it's pretty much essential the language is pure and (2) it can be so damn confusing!
|
|
Matt Hellige - Re: Wearing the hair shirt: a retrospective on Haskell
2/11/2003; 12:06:46 PM (reads: 1324, responses: 0)
|
|
|
Well, in response to my own query, OpenOffice seems to have done the trick for me. I produced a PDF of the slides, available at http://matt.immute.net/static/HaskellRetrospective.pdf.
The slides are pretty interesting, and would serve as a pretty good overview of what makes Haskell unique, in addition to giving the unique post-mortem implementor's perspective and some brief directions for future work.
|
|
Karl Zilles - Re: Wearing the hair shirt: a retrospective on Haskell
2/11/2003; 9:35:30 PM (reads: 1188, responses: 0)
|
|
|
Our biggest mistake:
Using the scary term "monad"
rather than
"warm fuzzy thing"
|
|
|
|