Haskell is a pure functional programming language, with a very rich type system. It features lazy evaluation, higher order functions, and also some nice syntactic features such as pattern matching and guards. In this talk will see some examples of the nice features of the language, and also look into the implementation of the language.