University of Texas at Austin: Thomas Dillig's "Real programming languages: Haskell"

Read this overview of Haskell, a major functional programming language.