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.<br><br><div class="gmail_quote">On Jan 27, 2008 9:52 PM, Derek Elkins <<a href="mailto:derek.a.elkins@gmail.com">derek.a.elkins@gmail.com</a>> wrote:<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div class="Ih2E3d">On Sun, 2008-01-27 at 14:30 -0800, Don Stewart wrote:<br>> brian.sniffen:<br>
> > On Jan 27, 2008 3:49 AM, Bulat Ziganshin <<a href="mailto:bulat.ziganshin@gmail.com">bulat.ziganshin@gmail.com</a>> wrote:<br>> > > a few months ago i<br>> > > have a conversation with today student and they still learn Lisp (!!!).<br>
> > > it seems that they will switch to more modern FP languages no earlier<br>> > > that this concrete professor, head of PL department, which in 60s done<br>> > > interesting AI research, will dead, or at least go to the pension<br>
> ><br>> > I dunno. Sussman and Abelson are not getting any younger, and neither<br>> > is Felleisen, but others have taken up that torch. So far, those who<br>> > waited for Lisp to die out have spent a long time waiting. It has not<br>
> > been a winning bet.<br>> ><br>><br>> And just as PLT Scheme announces they're moving to immutable, pure lists<br>> <a href="http://lambda-the-ultimate.org/node/2631" target="_blank">http://lambda-the-ultimate.org/node/2631</a><br>
><br>> They'll be getting a type system soon, at this rate ;)<br><br></div>Well we have: "The Design and Implementation of Typed Scheme" very<br>recently <a href="http://www.ccs.neu.edu/scheme/pubs/popl08-thf.pdf" target="_blank">http://www.ccs.neu.edu/scheme/pubs/popl08-thf.pdf</a> This is<br>
something in the "soft typing" tradition (and uses PLT Scheme as the<br>vehicle.)<br><br>I believe PLT Scheme already supports a HM typed version of Scheme<br>though primarily for pedagogical purposes if I remember correctly.<br>
<br>It is however, unlikely that Scheme will ever be statically typed "by<br>default."<br><div><div></div><div class="Wj3C7c"><br>_______________________________________________<br>Haskell-Cafe mailing list<br><a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br></div></div></blockquote></div><br>