Haskell and PureScript

Shortcuts: Differences, Similarities, Jaccard Similarity Coefficient, References.

Difference between Haskell and PureScript

Haskell vs. PureScript

Haskell is a general-purpose, statically-typed, purely functional programming language with type inference and lazy evaluation. PureScript is a strongly-typed, purely-functional programming language that transpiles to JavaScript, C++11, Erlang, and Go.

"Hello, World!" program

A "Hello, World!" program is generally a simple computer program which outputs (or displays) to the screen (often the console) a message similar to "Hello, World!" while ignoring any user input.

"Hello, World!" program and Haskell · "Hello, World!" program and PureScript · See more »

C++11

C++11 is a version of the ISO/IEC 14882 standard for the C++ programming language.

C++11 and Haskell · C++11 and PureScript · See more »

Evaluation strategy

In a programming language, an evaluation strategy is a set of rules for evaluating expressions.

Evaluation strategy and Haskell · Evaluation strategy and PureScript · See more »

Foreign function interface

A foreign function interface (FFI) is a mechanism by which a program written in one programming language can call routines or make use of services written or compiled in another one.

Foreign function interface and Haskell · Foreign function interface and PureScript · See more »

Functional programming

In computer science, functional programming is a programming paradigm where programs are constructed by applying and composing functions.

Functional programming and Haskell · Functional programming and PureScript · See more »

Generalized algebraic data type

In functional programming, a generalized algebraic data type (GADT, also first-class phantom type, guarded recursive datatype, or equality-qualified type) is a generalization of parametric algebraic data types.

Generalized algebraic data type and Haskell · Generalized algebraic data type and PureScript · See more »

GitHub

GitHub is a developer platform that allows developers to create, store, manage and share their code.

GitHub and Haskell · GitHub and PureScript · See more »

Glasgow Haskell Compiler

The Glasgow Haskell Compiler (GHC) is a native or machine code compiler for the functional programming language Haskell.

Glasgow Haskell Compiler and Haskell · Glasgow Haskell Compiler and PureScript · See more »

Hugs (interpreter)

Hugs (Haskell User's Gofer System), also Hugs 98, is a bytecode interpreter for the functional programming language Haskell.

Haskell and Hugs (interpreter) · Hugs (interpreter) and PureScript · See more »

JavaScript

JavaScript, often abbreviated as JS, is a programming language and core technology of the Web, alongside HTML and CSS.

Haskell and JavaScript · JavaScript and PureScript · See more »

Kind (type theory)

In the area of mathematical logic and computer science known as type theory, a kind is the type of a type constructor or, less commonly, the type of a higher-order type operator.

Haskell and Kind (type theory) · Kind (type theory) and PureScript · See more »

Pattern matching

In computer science, pattern matching is the act of checking a given sequence of tokens for the presence of the constituents of some pattern.

Haskell and Pattern matching · Pattern matching and PureScript · See more »

Polymorphism (computer science)

In programming language theory and type theory, polymorphism is the use of a single symbol to represent multiple different types.

Haskell and Polymorphism (computer science) · Polymorphism (computer science) and PureScript · See more »

Programming language

A programming language is a system of notation for writing computer programs.

Haskell and Programming language · Programming language and PureScript · See more »

Purely functional programming

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.

Haskell and Purely functional programming · PureScript and Purely functional programming · See more »

Strong and weak typing

In computer programming, one of the many ways that programming languages are colloquially classified is whether the language's type system makes it strongly typed or weakly typed (loosely typed).

Haskell and Strong and weak typing · PureScript and Strong and weak typing · See more »

Type class

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

Haskell and Type class · PureScript and Type class · See more »

Type inference

Type inference, sometimes called type reconstruction, refers to the automatic detection of the type of an expression in a formal language.

Haskell and Type inference · PureScript and Type inference · See more »

Type system

In computer programming, a type system is a logical system comprising a set of rules that assigns a property called a ''type'' (for example, integer, floating point, string) to every term (a word, phrase, or other set of symbols).

Haskell and Type system · PureScript and Type system · See more »