The programming language market (was Re: [Haskell-cafe] Why functional programming matters

[Lennart Augustsson]

Well, the POPL talk was very pro-types, saying that when you move from a
scripting language to a language to write real systems you need static
types.

On Jan 27, 2008 9:52 PM, Derek Elkins <derek.a.elkins at gmail.com> wrote:

> On Sun, 2008-01-27 at 14:30 -0800, Don Stewart wrote:
> > brian.sniffen:
> > > 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
> > http://lambda-the-ultimate.org/node/2631
> >
> > 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
> vehicle.)
>
> 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
> default."
>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20080127/20aba3ce/attachment.htm