I know Haskell is the introductory programming language of choice at many British universities like Oxford and Cambridge. In the US C, C++ and Scheme (functional) are all in the top 6 most common ( http://cacm.acm.org/blogs/blog-cacm/176450-python-is-now-the... ) so I don't see at all why those shouldn't be good choices.