haskell functional programming language system

By the term, type interference language, we mean the Haskell compiler is intelligent enough to figure out the type of the variable declared, hence we need not explicitly mention the type of the variable used. In contrast, Haskell is a type interference language. Statically Typed − In conventional programing language, we need to define a series of variables along with their type. We can say that a Haskell application is a collection of numerous small Haskell applications. Modularity − A Haskell application is nothing but a series of functions. The evaluation engine will start working only when it is required to evaluate that specific expression. When the evaluation engine finds that an expression needs to be evaluated, then it creates a thunk data structure to collect all the required information for that specific evaluation and a pointer to that thunk data structure. By lazy, we mean that Haskell won't evaluate any expression without any reason. Here, we have listed down a few points that make this language so special over other conventional programing languages such as Java, C, C++, PHP, etc.įunctional Language − In conventional programing language, we instruct the compiler a series of tasks which is nothing but telling your computer 'what to do' and 'how to do?' But in Haskell we will tell our computer 'what it is?' Haskell is a widely used purely functional language.

In conventional programing, instructions are taken as a set of declarations in a specific syntax or format, but in the case of functional programing, all the computation is considered as a combination of separate mathematical functions. Besides Haskell, some of the other popular languages that follow Functional Programming paradigm include: Lisp, Python, Erlang, Racket, F#, Clojure, etc. Functional programming is based on mathematical functions.

Haskell is a Functional Programming Language that has been specially designed to handle symbolic computation and list processing applications.

Haskell functional programming language system