PureScript
A strongly-typed functional programming language that compiles to JavaScript
Master PureScript with
Interactive Learning
Elevate your PureScript skills through 32 curated exercises across 1 core concepts. Master problem-solving with a structured learning path designed for modern developers.
About PureScript
PureScript is a purely functional, statically-typed programming language with global type inference.
Functional means that functions are first-class values. Functions are an important and powerful tool for abstraction. In PureScript, computation is modeled as the evaluation of expressions made up of function applications, rather than as the execution of a sequence of instructions.
Purely Functional means that it is possible to tell if a computation has side-effects or not, meaning that if a computation changes a global variable, reads from input, writes to a socket, etc. it will be reflected in the type of the computation.
Statically-typed means that all computations have a type that is known before running the program.
Global type inference means that the compiler can figure out the type of computations in the entire program without needing the programmer to specify the type.
Key Features of PureScript
Compile to JavaScript
Allowing you to use PureScript anywhere JavaScript is used.
Functional
Use functional techniques such as row polymorphism, algebraic data types, and type classes.
Tooling
PureScript has a rich ecosystem of tools and extensions for most editors.
Statically Typed
PureScript is statically typed, with a powerful type system inspired by Haskell.
Active Community
Active community of developers and users.
Expressive
PureScript has lightweight syntax which allows for expressive code
Compile to JavaScript
Allowing you to use PureScript anywhere JavaScript is used.
Functional
Use functional techniques such as row polymorphism, algebraic data types, and type classes.
Tooling
PureScript has a rich ecosystem of tools and extensions for most editors.
Statically Typed
PureScript is statically typed, with a powerful type system inspired by Haskell.
Active Community
Active community of developers and users.
Expressive
PureScript has lightweight syntax which allows for expressive code
