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

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.

18 Facts About Argentina
16 Facts About Hurricane Irma
6 Facts About the Nile Delta
7 Facts About Read-Only Memory
7 Facts About Rod Smart
4 Facts About the Flag of the United Arab Emirates
3 Facts About Centrism
19 Facts About Global Warming
5 Facts About the Puerto Rican Day Parade
13 Facts About Articles
4 Facts About Primary Elections
11 Facts About Rudy Giuliani
13 Facts About Bank of America