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

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 wrote:

On Sun, 2008-01-27 at 14:30 -0800, Don Stewart wrote:

...

brian.sniffen:

...

On Jan 27, 2008 3:49 AM, Bulat Ziganshin 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@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe