dcsimg
Main » TERM » H »

Haskell Definition & Meaning

Haskell is a purely functional programming language based entirely on mathematical and logical processes. Functional programming is a form of declarative programming, meaning that the program focuses on its nature and what it should accomplish rather than detailing and ordering how that should be done (as does imperative programming). Haskell's purely functional nature provides developers with straightforward code that they can study to clearly understand the logic of the program, without wading through commands and lengthy sections of code. 

Characteristics of Haskell and functional programming

Functional programming makes code easier to analyze; it's logical, mathematical, and specific. Haskell is one of the primary examples of a purely functional language. It was named for Haskell Brooks Curry, a mathematician and logician whose work laid the foundation for functional programming languages to be developed. Haskell is popular among some businesses, like financial and technology, that require very specific, correct, and explicit mathematical processes. 

Characteristics of Haskell (and purely functional programming in general) include:

Pure functions—they are easier to analyze and test and are independent of outside events. Pure functions, in other words, return the same answer each time, without affecting other sections of the program.

No side effects—because the functions return the same value each time they are called, they do not have side effects elsewhere in the program. A side effect often changes the state of the program itself, not just the local area in which it appears. Because the functions are pure, developers are able to avoid any side effects while working in Haskell. 

Lazy evaluation—the program will only evaluate a function when it absolutely must. It will not evaluate functions just because. This is more efficient.

Static typing—the programmer must assign a data type to a variable while developing the program. Typically, the program will then assume that type for every following instance of the variable. 










LATEST ARTICLES
Texting & Chat Abbreviations

From A3 to ZZZ we list 1,559 text message and online chat abbreviations to help you translate and understand today's texting lingo. Includes Top... Read More »

Huge List of Computer Certifications

Have you heard about a computer certification program but can't figure out if it's right for you? Use this handy list to help you decide. Read More »

STUDY GUIDES
Computer Architecture Study Guide

Computer architecture provides an introduction to system design basics for most computer science students. Read More »

Network Fundamentals Study Guide

Networking fundamentals teaches the building blocks of modern network design. Learn different types of networks, concepts, architecture and... Read More »

The Five Generations of Computers

Learn about each of the five generations of computers and major technology developments that have led to the computing devices that we use... Read More »