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 <[EMAIL PROTECTED]> wrote: > On Sun, 2008-01-27 at 14:30 -0800, Don Stewart wrote: > > brian.sniffen: > > > On Jan 27, 2008 3:49 AM, Bulat Ziganshin <[EMAIL PROTECTED]> > 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 >
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
