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.


Help us explain this better! File a GitHub issue at https://github.com/exercism/purescript/issues if you have suggestions, or submit a patch with improvements to the https://github.com/exercism/purescript/blob/master/docs/ABOUT.md file.

Try It!

If you've downloaded the command-line client and have PureScript installed on your machine, then go ahead and fetch the first problem.

1
exercism fetch purescript

In order to be able to submit your solution, you'll need to configure the client with your Exercism API key.

1
exercism configure --key=YOUR_EXERCISM_KEY

When you've written a solution, submit it to the site. You'll have to configure the command-line client with your exercism API key before you can submit.

1
exercism submit PATH_TO_FILE