The Haskell Programming Language

Learning programming logic & mathematical reasoning in practice, and to connect formal reasoning to computer programming is quite difficult. It is convenient to choose a programming language for this that permits implementation to remain as close as possible to the formal definitions. Such a language is the functional programming language Haskell[HT]. Haskell was named after logician Haskell B. Curry, together with Alonzo Church, laid the foundations of functional programming language, Haskell is a member of Lisp family. Others family members are Scheme, ML, Occam, Clean. Haskell98 is intended as a standard for lazy functional programming. Lazy functional programming is a programming style where arguments are evaluated only when the value is actually needed.

Haskell is an advanced purely-functional programming language. An open-source product of more than twenty years of cutting-edge research, it allows rapid development of robust, concise, correct software. With strong support for integration with other languages, built-in concurrency and parallelism, debuggers, profilers, rich libraries and an active community, Haskell makes it easier to produce flexible, maintainable, high-quality software.

Haskell is lazy. That means that unless specifically told otherwise, Haskell won't execute functions and calculate things until it's really forced to show you a result. 

Haskell is statically typed. When you compile your program, the compiler knows which piece of code is a number, which is a string and so on.

Haskell is elegant and concise. Because it uses a lot of high level concepts, Haskell programs are usually shorter than their imperative equivalents. And shorter programs are easier to maintain than longer ones and have fewer bugs.

You can download Haskell from www.haskell.org

Contributed By,

---

Mrs. Kanchan Desai Parab

Trainer-Programming

Thane(w).