Jump to content
Wikipedia The Free Encyclopedia

PureScript

From Wikipedia, the free encyclopedia
Strongly-typed language that compiles to JavaScript
This article relies excessively on references to primary sources . Please improve this article by adding secondary or tertiary sources.
Find sources: "PureScript" – news · newspapers · books · scholar · JSTOR (August 2019) (Learn how and when to remove this message)
PureScript
Paradigm Functional
Designed by Phil Freeman
First appeared2013
Stable release
0.15.15 Edit this on Wikidata / 7 February 2024; 12 months ago (7 February 2024)
Typing discipline Inferred, static, strong
License BSD [1]
Filename extensions .purs
Websitewww.purescript.org Edit this at Wikidata
Influenced by
Haskell, JavaScript

PureScript is a strongly-typed, purely-functional programming language that transpiles to JavaScript,[2] C++11,[3] Erlang,[4] and Go.[5] It can be used to develop web applications, server side apps, and also desktop applications with use of Electron or via C++11 and Go compilers with suitable libraries. Its syntax is mostly comparable to that of Haskell. In addition, it introduces row polymorphism and extensible records.[6] Also, contrary to Haskell, the PureScript language is defined as having a strict evaluation strategy,[7] although there are non-conforming back-ends which implement a lazy evaluation strategy.[8]

History

[edit ]

PureScript was initially designed by Phil Freeman in 2013. He started to work on PureScript since he wasn't satisfied by other attempts to transpile Haskell to JavaScript (e.g. using Fay, Haste, or GHCJS).[9]

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",[10] the documentation directory "Pursuit",[11] and the package manager "Spago"[12]

Features

[edit ]

PureScript features strict evaluation, persistent data structures and type inference. The PureScript type system shares many features with those of similar functional languages like Haskell: algebraic data types and pattern matching, higher kinded types, type classes and functional dependencies, and higher-rank polymorphism. PureScript's type system adds support for row polymorphism and extensible records.[13] However, PureScript lacks support for some of the more advanced features of Haskell like GADTs and type families.

The PureScript transpilers attempt to produce readable code, where possible. Through a simple FFI interface, it also allows the reuse of existing JavaScript[14] /C++11[15] [16] /Go[17] code.

PureScript supports incremental compilation, and the transpiler to JavaScript distribution includes support for building source code editor plugins for iterative development.[18] Editor plugins exist for many popular text editors, including Vim, Emacs, Sublime Text, Atom and Visual Studio Code.

PureScript supports type-driven development via its typed holes feature,[19] in which a program can be constructed with missing subexpressions. The JavaScript transpiler will subsequently attempt to infer the types of the missing subexpressions, and report those types to the user. This feature has inspired similar work in the GHC Haskell compiler.[20]

Examples

[edit ]

Here is a minimal "Hello world" program in PureScript: 

moduleMainwhere

importEffect.Console(log)

main=log"Hello World!"

Here, the type of the program is inferred and checked by the PureScript transpiler. A more verbose version of the same program might include explicit type annotations: 

moduleMainwhere

importPrelude

importEffect(Effect)
importEffect.Console(log)

main::EffectUnit
main=log"Hello World!"

See also

[edit ]

References

[edit ]
  1. ^ "purescript/purescript". GitHub. 3 June 2022.
  2. ^ "PureScript to JavaScript transpiler". GitHub . Retrieved 2023年01月22日.
  3. ^ "PureScript to C++11 transpiler". GitHub . Retrieved 2023年01月22日.
  4. ^ purerl - the PureScript Erlang backend, purerl, 2023年09月04日, retrieved 2023年09月05日
  5. ^ "PureScript to Go transpiler". GitHub . Retrieved 2023年01月22日.
  6. ^ "PureScript". purescript.org. Retrieved 2019年03月14日.
  7. ^ purescript/documentation, PureScript, 2023年02月19日, retrieved 2023年02月20日
  8. ^ Alternative backends, PureScript, 2023年02月19日, retrieved 2023年02月20日
  9. ^ "Read PureScript by Example | Leanpub". leanpub.com. Retrieved 2019年03月14日.
  10. ^ A build tool for PureScript projects, PureScript Contrib, 2019年03月08日, retrieved 2019年03月14日
  11. ^ "Pursuit". pursuit.purescript.org. Retrieved 2019年03月14日.
  12. ^ 🍝 PureScript package manager and build tool powered by Dhall and package-sets: spacchetti/spago, spacchetti, 2019年03月14日, retrieved 2019年03月14日
  13. ^ Documentation for the PureScript language, compiler, and tools.: purescript/documentation, PureScript, 2019年03月14日, retrieved 2019年03月14日
  14. ^ "The Foreign Function Interface". PureScript. 2015年07月15日. Retrieved 2023年01月22日.
  15. ^ "FFI". PureScript. 2019年07月26日. Retrieved 2023年01月22日.
  16. ^ C++ foreign export implementations for the standard library, PureScript, 2019年07月26日, retrieved 2023年01月22日
  17. ^ "Go foreign export implementations for the standard library". PureScript. 2020年12月13日. Retrieved 2023年01月22日.
  18. ^ purs ide: Editor and tooling support for the PureScript programming language, 2019年04月21日, retrieved 2019年04月21日
  19. ^ Implementing type directed search for PureScript, 2016年10月27日
  20. ^ Matthías Páll Gissurarson (2018年09月27日), "Suggesting Valid Hole Fits for Typed-Holes (Experience Report)", ACM SIGPLAN Notices, 53 (7): 179–185, doi:10.1145/3299711.3242760, S2CID 218480974
[edit ]

AltStyle によって変換されたページ (->オリジナル) /