1. Introduction

Haskell is a purely functional programming language.
It is strongly typed.
Lazy Evaluation.
Has a portable but limited interepreter named hugs98, and several compilers.
The most prominent compiler is ghc, which is written in itself.