Typed Scheme is a typed dialect of PLT Scheme. It integrates with modules written in other PLT dialects, and provides a type system designed to support common Scheme idioms.
Typed Scheme is a pretty neat language because it can can both use and be used by (untyped) Scheme code in PLT Scheme.
Eli released a library to facilitate interactive debugging in PLT Scheme.
ADDENDUM:11/15/11
Corrected the linked file name.
Bill Clementson wrote a great post about it here.
Re: CUFP 2007 Videos in the ACM Digital Library, they are also now available on Google Video.
You can find the talks by searching on CUFP07 or on the speaker’s last name.
Here is the list of speakers and presentations.
(via CUFP)
Tom Schouten has kindly set up a PLT Scheme group in Linked In.
To join it, go to his web page and click on the “PLT Scheme” link to request membership.
Regarding my last post, you should definitely read all of the comments. It is pretty interesting to get everyone’s perspective on the topic (even if it is simply something to the effect of “Sounds like a great idea!”). Take, for example, Dan Friedman‘s comment:
Since I have been teaching functional programming in my undergraduate programming languages course since 1967, I am thrilled that at long last I might be teaching the sanctioned material.
On May 28-29, 2008 SIGPLan held a workshop on Programming Languages in the Curriculum at Harvard.
to discuss the role of Functional Programming in Education. The results of their efforts are here.
Please have a look, and, per Matthias’ comment, please consider posting your comments (under the “Programming Languages” section)!
Have a look at Matthew Flatt’s thoughts about the pending release of PLT Scheme 4.0. He sets a definitive (if not authoritative) tone for what PLT Scheme v4.0 will, and will not, be.
Via the PLT Scheme blog, there is a video tour of DrScheme now available here with a higher resolution video available here.
