Jump to content

PureScript: Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
JL-Bot (talk | contribs)
m removing stale construction template as last edited 14 days ago
Latest release is 0.12.5
Line 4: Line 4:
| paradigm = [[Functional programming|Functional]]
| paradigm = [[Functional programming|Functional]]
| year = 2013
| year = 2013
| latest release version = 0.12.3
| latest release version = 0.12.5
| latest release date = {{Start date and age|2019|02|24}}
| latest release date = {{Start date and age|2019|04|14}}
| influenced_by = [[Elm (programming language)|Elm]], [[F Sharp (programming language)|F#]], [[Haskell (programming language)|Haskell]], [[Koka (programming language)|Koka]], [[OCaml]], [[Roy (programming language)|Roy]], [[Standard ML]]
| influenced_by = [[Elm (programming language)|Elm]], [[F Sharp (programming language)|F#]], [[Haskell (programming language)|Haskell]], [[Koka (programming language)|Koka]], [[OCaml]], [[Roy (programming language)|Roy]], [[Standard ML]]
| typing = [[static typing|Static]], [[strong typing|Strong]], [[type inference|Inferred]]
| typing = [[static typing|Static]], [[strong typing|Strong]], [[type inference|Inferred]]

Revision as of 16:52, 21 April 2019

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

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 that of Haskell. In addition, it introduces 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