GossipSloth

9 Facts About Haskell

source
1

Haskell is a standardized, general-purpose purely functional programming language, with non-strict semantics and strong static typing.

In computer science, purely functional programming usually designates a programming paradigm—a style of building the structure and elements of computer programs—that treats all computation as the evaluation of mathematical functions.

In programming languages, a type system is a set of rules that assigns a property called type to the various constructs of a computer program, such as variables, expressions, functions or modules.

Programming languages use evaluation strategies to determine when to evaluate the argument of a function call and what kind of value to pass to the function.

2016 Haskell Invitational Stakes - Exaggerator by Breeders' Cup World Championships

source
2

It is named after logician Haskell Curry.

Logic, originally meaning "the word" or "what is spoken", but coming to mean "thought" or "reason", is a subject concerned with the most general laws of truth, and is now generally held to consist of the systematic study of the form of valid inference.

Haskell Brooks Curry was an American mathematician and logician.

Race Replay: 2016 betfair.com Haskell Invitational by TVG Network

Loading...
source
3

The latest standard of Haskell is Haskell 2010.

source
4

As of May 2016, a group is working on the next version, Haskell 2020.

source
5

Haskell features a type system with type inference and lazy evaluation.

In programming language theory, lazy evaluation, or call-by-need is an evaluation strategy which delays the evaluation of an expression until its value is needed and which also avoids repeated evaluations.

Type inference refers to the automatic detection of the data type of an expression in a programming language.

Inferences are steps in reasoning, moving from premises to conclusions.

source
6

Type classes first appeared in the Haskell programming language.

In computer science, a type class is a type system construct that supports ad hoc polymorphism.

source
7

Its main implementation is the Glasgow Haskell Compiler.

Glasgow Haskell Compiler, less commonly known as The Glorious Glasgow Haskell Compilation System or simply GHC, is an open source native code compiler for the functional programming language Haskell.

source
8

Haskell is based on the semantics, but not the syntax, of the language Miranda, which served to focus the efforts of the initial Haskell working group.

source
9

Haskell is used widely in academia and industry.

16 Facts About Egypt
6 Facts About the Audi Q7
20 Facts About Armenia
7 Facts About Climate of Lahore
20 Facts About Sweden
20 Facts About Mass Incarceration
5 Facts About the Mexico–United States Border
14 Facts About the American Broadcasting Company
8 Facts About Homeland Security
7 Facts About the Australian Open
18 Facts About Kanye West