The programming language market (was Re: [Haskell-cafe]
Why functional programming matters
derek.a.elkins at gmail.com
Sun Jan 27 16:52:59 EST 2008
On Sun, 2008-01-27 at 14:30 -0800, Don Stewart wrote:
> > On Jan 27, 2008 3:49 AM, Bulat Ziganshin <bulat.ziganshin at gmail.com> wrote:
> > > a few months ago i
> > > have a conversation with today student and they still learn Lisp (!!!).
> > > it seems that they will switch to more modern FP languages no earlier
> > > that this concrete professor, head of PL department, which in 60s done
> > > interesting AI research, will dead, or at least go to the pension
> > I dunno. Sussman and Abelson are not getting any younger, and neither
> > is Felleisen, but others have taken up that torch. So far, those who
> > waited for Lisp to die out have spent a long time waiting. It has not
> > been a winning bet.
> And just as PLT Scheme announces they're moving to immutable, pure lists
> They'll be getting a type system soon, at this rate ;)
Well we have: "The Design and Implementation of Typed Scheme" very
recently http://www.ccs.neu.edu/scheme/pubs/popl08-thf.pdf This is
something in the "soft typing" tradition (and uses PLT Scheme as the
I believe PLT Scheme already supports a HM typed version of Scheme
though primarily for pedagogical purposes if I remember correctly.
It is however, unlikely that Scheme will ever be statically typed "by
More information about the Haskell-Cafe