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 appeared
2013
Stable release
0.15.15
/ 7 February 2024; 2 months ago (7 February 2024)
Typing discipline
Inferred, static, strong
License
BSD[1]
Filename extensions
.purs
Website
www.purescript.org
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]
^"purescript/purescript". GitHub. 3 June 2022.
^"PureScript to JavaScript transpiler". GitHub. Retrieved 2023-01-22.
^"PureScript to C++11 transpiler". GitHub. Retrieved 2023-01-22.
^purerl - the PureScript Erlang backend, purerl, 2023-09-04, retrieved 2023-09-05
^"PureScript to Go transpiler". GitHub. Retrieved 2023-01-22.
language TypeScript – Programming language and superset of JavaScript "purescript/purescript". GitHub. 3 June 2022. "PureScript to JavaScript transpiler"...
dependent types, developed at the University of St Andrews. PureScript transpiles to JavaScript. Ωmega, a strict language that allows introduction of new...
ProvideX Pro*C PurePure Data PureScript PWCT Python Q (programming language from Kx Systems) Q# Qalb Quantum Computation Language QtScript QuakeC QPL .QL...
TypeScript CodeDOM Provider generates TypeScript codes according to a CodeDOM. Free and open-source software portal Dart Kotlin JS++ PureScript "TypeScript"...
semantics of the programming language definition. Some languages, such as PureScript, have variants with different evaluation strategies. Some declarative...
script is an abugida, meaning that characters are read with an inherent vowel. Diacritics are used, either to suppress the vowel and represent a pure...
Miranda Nemerle Nim OCaml Opa OpenCog Perl PureScript Python Racket Reason Rust Scala Standard ML Swift Tom TypeScript Visual Prolog Disjoint union Generalized...
TypeScript 1.5 release, and that Angular 2.0 would be built on pure TypeScript. The name “AtScript” comes from the @ “at” symbol used for annotations in many...
siṃhala alphabet (Pure Sinhala, ශුද්ධ සිංහල), which is a subset of the miśra siṃhala alphabet (Mixed Sinhala, මිශ්ර සිංහල). The Sinhala script is a Brahmi...
PureScript Ur KRC SAC SASL SequenceL APL ATS CAL C++ (since C++11) C# VB.NET Ceylon Curl D Dart ECMAScript ActionScript ECMAScript for XML JavaScript...
"JavaScript Overview". Mozilla Developer Network. Mozilla Developer Network. Retrieved 26 November 2013. Frank, Thomas. "Add some klass to JavaScript". thomasfrank...
Cyclone, and OCaml) Swift (also under Ruby, Python, and Objective-C) PureScript Nix SETL ABC Python (also under C) Swift (also under Ruby, Objective-C...
variant of the "goto" statement that takes a function name: goto &NAME; PureScript – Yes Python – Stock Python implementations do not perform tail-call optimization...
non-Latin script. Tamil text used in this article is transliterated into the Latin script according to the ISO 15919 standard. The Tamil script (தமிழ் அரிச்சுவடி...
original on 8 April 2016. Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems: facebook/reason, Facebook, 24 March 2019, retrieved...
A scripting language or script language is a programming language that is used to manipulate, customize, and automate the facilities of an existing system...
system comprises a particular set of symbols, called a script, as well as the rules by which the script represents a particular language. Writing systems can...
see errors in display. The Meitei script (Meitei: ꯃꯩꯇꯩ ꯃꯌꯦꯛ, romanized: Meitei mayek), also known as the Kanglei script (Meitei: ꯀꯪꯂꯩ ꯃꯌꯦꯛ, romanized: Kanglei...
non-Latin script. Malayalam text used in this article is transliterated into the Latin script according to the ISO 15919 standard. Malayalam script (Malayāḷa...
Pure Land Buddhism or Pure Land School (Chinese: 淨土宗; pinyin: Jìngtǔzōng; Japanese: 浄土仏教, romanized: Jōdo bukkyō; Korean: 정토종; RR: Jeongto-jong; Vietnamese:...