Good list, I'd also recommend <a href="http://www.cs.cmu.edu/~rwh/plbook/book.pdf" rel="nofollow">http://www.cs.cmu.edu/~rwh/plbook/book.pdf</a> for something designed for newcomers to the field
Ask yourself why.<p>You want to do CS, prove theorems, do theoretical research? Then, by all means, go for it!<p>It's hip and you use a functional language to write software? Well... It's probably just a whim. But sure, give it a try.