The computing courses at my university use Haskell in the introductory programming course - apparently it works rather well as a vehicle for exploring algorithms and data structures.
I think a strict language in the ML family would even be nicer, because students wouldn't have to reason about laziness.
I think a strict language in the ML family would even be nicer, because students wouldn't have to reason about laziness.