While Python is my language of choice, I'm happy Waterloo starts off with Racket (Scheme/Lisp family language). Very little syntax to learn and great for recursion. I'm not really qualified to comment whats best, I just know I enjoyed it.