Cons Should not Evaluate its Arguments


Cons Should not Evaluate its Arguments



Last modified on July 10, 2001
by rpj@cs.rit.edu.
LAST SLIDE UP NEXT SLIDE PREVIOUS HERE NEXT


















































Cons Should not Evaluate its Arguments
The title of a famous 1976 paper by Dan Friedman and David Wise
in the Communications of the ACM.

Last modified on July 10, 2001
by rpj@cs.rit.edu.
LAST SLIDE UP NEXT SLIDE PREVIOUS HERE NEXT


















































Cons Should not Evaluate its Arguments
The title of a famous 1976 paper by Dan Friedman and David Wise
A lazy evaluator -- P Henderson and J. Morris Jr.
in the Third ACM POPL.

Last modified on July 10, 2001
by rpj@cs.rit.edu.
LAST SLIDE UP NEXT SLIDE PREVIOUS HERE NEXT


















































Cons Should not Evaluate its Arguments
The title of a famous 1976 paper by Dan Friedman and David Wise
A lazy evaluator -- P Henderson and J. Morris Jr.
Lazy languages
exist. Miranda. Haskell. Lazy ML.

Last modified on July 10, 2001
by rpj@cs.rit.edu.
LAST SLIDE UP NEXT SLIDE PREVIOUS HERE NEXT


















































Cons Should not Evaluate its Arguments
The title of a famous 1976 paper by Dan Friedman and David Wise
A lazy evaluator -- P Henderson and J. Morris Jr.
Lazy languages
Try Haskell
You may want to take the Haskell tutorial or even peruse the Haskell report.

Last modified on July 10, 2001
by rpj@cs.rit.edu.
LAST SLIDE UP NEXT SLIDE PREVIOUS HERE NEXT


















































Cons Should not Evaluate its Arguments
The title of a famous 1976 paper by Dan Friedman and David Wise
A lazy evaluator -- P Henderson and J. Morris Jr.
Lazy languages
Try Haskell
It's easy to start Haskell on the lab machines
parasite> hugs
__   __ __  __  ____   ___      _________________________________________
||   || ||  || ||  || ||__      Hugs 98: Based on the Haskell 98 standard
||___|| ||__|| ||__||  __||     Copyright (c) 1994-1999
||---||         ___||           World Wide Web: http://haskell.org/hugs
||   ||                         Report bugs to: hugs-bugs@haskell.org
||   || Version: February 2000  _________________________________________

Haskell 98 mode: Restart with command line option -98 to enable extensions

Reading file "/usr/local/share/hugs/lib/Prelude.hs":
                   
Hugs session for:
/usr/local/share/hugs/lib/Prelude.hs
Type :? for help
Prelude>  Prelude> :load haskellexamples.hs
Reading file "haskellexamples.hs":
Parsing       Dependency analysis                   Type checking             Compiling         
Hugs session for:
/usr/local/share/hugs/lib/Prelude.hs
haskellexamples.hs
Main> without perfects 28
[6,496{Interrupted!}

Main>


Last modified on July 10, 2001
by rpj@cs.rit.edu.
LAST SLIDE UP NEXT SLIDE PREVIOUS HERE NEXT


















































Cons Should not Evaluate its Arguments
The title of a famous 1976 paper by Dan Friedman and David Wise
A lazy evaluator -- P Henderson and J. Morris Jr.
Lazy languages
Try Haskell
It's easy to start Haskell on the lab machines
Or you can get your own for Linux, Mac or PC
haskell.org/hugs has lots of goodies.

Last modified on July 10, 2001
by rpj@cs.rit.edu.
LAST SLIDE UP NEXT SLIDE PREVIOUS HERE NEXT