[PRL] Bob Harper's new blog

[Olin Shivers]

On 03/16/2011 01:35 PM, Mitchell Wand wrote:
> Bob Harper writes:
> 
>     This semester Dan Licata and I are co-teaching a new course
>     <http://www.cs.cmu.edu/%7E15150> on functional programming for first-year
>     prospective CS majors.  This course is part of the new introductory CS
>     curriculum at CMU, which includes a new course
>     <http://www.cs.cmu.edu/%7Efp/courses/15122-f10/>on imperative programming
>     created by Frank Pfenning, and a planned new course on data structures and
>     algorithms, which will be introduced by Guy Blelloch this fall.
> 
> 
> and he has started a blog in which he's sharing his thoughts on  some of the
> subtleties involved.  The first few posts have been interesting.   It will be
> more interesting see where he goes with this.

I actually heard him say, last week, that he was coming to
the conclusion that monads were a better programming model
than explicit state -- I mean, in a CBV setting. He went on
to describe Haskell as his "favorite imperative language."

One of the Haskell guys in the room jumped up and asked that
a short period of silence be observed, to bask in the moment.
    -Olin