Haskell is a great language. It is one of the only "true" functional languages in existence. It is not a dynamic language like Lisp. It is a static functional language in which everything must be declared. However, in Haskell, the compiler performs Howard-Milner type inference and based on...