>I am confused. If you feel there are much better languages than Haskell, how would Haskell be the "theoretically most advanced language"? Let me rephrase: I t

>I am confused. If you feel there are much better languages than Haskell, how would Haskell be the "theoretically most advanced language"? Let me rephrase: I think that there are much better languages out there, that haven't been invented yet. The most theoretically advanced languages right now are dependently typed languages. Haskell isn't a dependently typed language, but learning Haskell is a necessary stepping stone to learning dependently typed languages. Regarding LYAH, it's not really possible for me to comment given how little data I have. I know some CS courses for undergrads teach Haskell, I wonder what textbooks (if any) they use?