Jump to content

PureScript: Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
Mention strict evaluation strategy, which is a major contrast compared to Haskell.
Added a Hello World code example and a few new sections which will hopefully be filled soon.
Line 20: Line 20:


Since then it has been picked up by the community and is developed on [[GitHub]]. Additional core tools developed by the community include the dedicated build tool "Pulp"<ref>{{Citation|title=A build tool for PureScript projects|date=2019-03-08|url=https://github.com/purescript-contrib/pulp|publisher=PureScript Contrib|access-date=2019-03-14}}</ref>, the documentation directory "Pursuit"<ref>{{Cite web|url=https://pursuit.purescript.org/|title=Pursuit|website=pursuit.purescript.org|access-date=2019-03-14}}</ref>, and the package manager "Spago"<ref>{{Citation|title=🍝 PureScript package manager and build tool powered by Dhall and package-sets: spacchetti/spago|date=2019-03-14|url=https://github.com/spacchetti/spago|publisher=spacchetti|access-date=2019-03-14}}</ref>
Since then it has been picked up by the community and is developed on [[GitHub]]. Additional core tools developed by the community include the dedicated build tool "Pulp"<ref>{{Citation|title=A build tool for PureScript projects|date=2019-03-08|url=https://github.com/purescript-contrib/pulp|publisher=PureScript Contrib|access-date=2019-03-14}}</ref>, the documentation directory "Pursuit"<ref>{{Cite web|url=https://pursuit.purescript.org/|title=Pursuit|website=pursuit.purescript.org|access-date=2019-03-14}}</ref>, and the package manager "Spago"<ref>{{Citation|title=🍝 PureScript package manager and build tool powered by Dhall and package-sets: spacchetti/spago|date=2019-03-14|url=https://github.com/spacchetti/spago|publisher=spacchetti|access-date=2019-03-14}}</ref>

== Type System ==
{{Under construction|nocat=true}}

== Code Examples ==
A "Hello world" program in PureScript could look as follows:<syntaxhighlight lang="haskell" line="1">
module Main where

import Prelude
import Effect (Effect)
import Effect.Console (log)

main :: Effect Unit
main = do
log "Hello World!"
</syntaxhighlight>


== Features ==
== Features ==
Line 25: Line 41:


It compiles to readable JavaScript code, i.e. unlike other to-JavaScript compilers like [[Emscripten]]. Through a simple FFI interface it also allows to reuse existing JavaScript code.<ref>{{Citation|title=Documentation for the PureScript language, compiler, and tools.: purescript/documentation|date=2019-03-14|url=https://github.com/purescript/documentation|publisher=PureScript|access-date=2019-03-14}}</ref>
It compiles to readable JavaScript code, i.e. unlike other to-JavaScript compilers like [[Emscripten]]. Through a simple FFI interface it also allows to reuse existing JavaScript code.<ref>{{Citation|title=Documentation for the PureScript language, compiler, and tools.: purescript/documentation|date=2019-03-14|url=https://github.com/purescript/documentation|publisher=PureScript|access-date=2019-03-14}}</ref>

== Ecosystem ==
{{Under construction|nocat=true}}

== Applications ==
{{Under construction|nocat=true}}

== Future Directions ==
{{Under construction|nocat=true}}


== See also ==
== See also ==

Revision as of 00:09, 20 March 2019

PureScript
ParadigmFunctional
Designed byPhil Freeman
First appeared2013
Stable release
0.12.3 / February 24, 2019; 5 years ago (2019-02-24)
Typing disciplineStatic, Strong, Inferred
LicensePermissive (Modified BSD License)[1]
Filename extensions.purs
Websitewww.purescript.org
Influenced by
Haskell, Standard ML, OCaml, F#, Elm

PureScript is a strongly-typed pure functional programming language that compiles to JavaScript. It can be used to develop web applications, server side apps, and also desktop applications with use of Electron. Its syntax is mostly comparable to Haskell, but it introduces novel constructs like row polymorphism and extensible records.[2] Also, contrary to Haskell, PureScript adheres to a strict evaluation strategy.

History

PureScript was initially designed by Phil Freeman in 2013. He started to work on PureScript as various attempts to compile Haskell to JavaScript while preserving its semantics (e.g. using Fay, Haste, or GHCJS) didn't work to his satisfaction.[3]

Since then it has been picked up by the community and is developed on GitHub. Additional core tools developed by the community include the dedicated build tool "Pulp"[4], the documentation directory "Pursuit"[5], and the package manager "Spago"[6]

Type System

Code Examples

A "Hello world" program in PureScript could look as follows:

module Main where

import Prelude
import Effect (Effect)
import Effect.Console (log)

main :: Effect Unit
main = do
  log "Hello World!"

Features

It shares a lot of the features of similar functional languages like Haskell and Elm. I.e. Algebraic data types, pattern matching, immutability, currying, higher kinded types, type classes, higher-rank polymorphism but also includes novel ones like row polymorphism and extensible records.[7]

It compiles to readable JavaScript code, i.e. unlike other to-JavaScript compilers like Emscripten. Through a simple FFI interface it also allows to reuse existing JavaScript code.[8]

Ecosystem

Applications

Future Directions

See also

  • Elm: A domain-specific programming language for declaratively creating web browser-based graphical user interfaces
  • TypeScript: A strongly-typed programming language that transpiles to JavaScript

References

  1. ^ "purescript/purescript". GitHub.
  2. ^ "PureScript". www.purescript.org. Retrieved 2019-03-14.
  3. ^ "Read PureScript by Example | Leanpub". leanpub.com. Retrieved 2019-03-14.
  4. ^ A build tool for PureScript projects, PureScript Contrib, 2019-03-08, retrieved 2019-03-14
  5. ^ "Pursuit". pursuit.purescript.org. Retrieved 2019-03-14.
  6. ^ 🍝 PureScript package manager and build tool powered by Dhall and package-sets: spacchetti/spago, spacchetti, 2019-03-14, retrieved 2019-03-14
  7. ^ Documentation for the PureScript language, compiler, and tools.: purescript/documentation, PureScript, 2019-03-14, retrieved 2019-03-14
  8. ^ Documentation for the PureScript language, compiler, and tools.: purescript/documentation, PureScript, 2019-03-14, retrieved 2019-03-14