I think I'll start watching those today. Thanks... :)
I thought the proglang class has been well-paced, but I can see how it might seem less than novel. I'm enjoying giving ML a go, and I find the material pretty fresh after having read An Introduction to Functional Programming Through Lambda Calculus (
http://www.amazon.com/Introduction-Functional-Programming-Calculus-Mathematics/dp/0486478831) last year to learn lambda calculus. That book starts from lambda calculus and in the second half of the book develops some syntactic sugar that is largely ML. In any case, I'm enjoying it...
I think the next coursera class that looks interesting is the general game playing class. (
https://www.coursera.org/course/ggp) It's not clear yet what the class will use, but it judging from the real-life class, it's likely there will be a good bit of prolog and lisp. Having worked on a Clojure core.logic app for the last month, I can definitely attest that logic programming + fp is a powerful combination.