ParaSail (programming language)

This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these messages) This article relies excessively on references to primary sources. Please improve this article by adding secondary or tertiary sources. Find sources: "ParaSail" programming language – news · newspapers · books · scholar · JSTOR (October 2017) (Learn how and when to remove this message) This article may require cleanup to meet Wikipedia's quality standards. The specific problem is: summarise the language concisely, do not abuse wikipedia for advertising, example(s) too long. Please help improve this article if you can. (December 2021) (Learn how and when to remove this message) (Learn how and when to remove this message)

ParaSail

Logo for ParaSail Programming Language
Paradigm	compiled, concurrent, imperative, structured, object-oriented
Designed by	S. Tucker Taft
Developer	AdaCore
First appeared	2009; 15 years ago (2009)
Stable release	9.3 / 6 June 2021; 3 years ago (2021-06-06)
Typing discipline	strong, static
Platform	x86
OS	Linux, macOS, Windows
License	GPL v3
Filename extensions	.psi, .psl
Website	parasail-lang.org
Major implementations
psli, pslc
Influenced by
Modula, Ada, Pascal, ML
Influenced
Nim[1]

Parallel Specification and Implementation Language (ParaSail) is an object-oriented parallel programming language. Its design and ongoing implementation is described in a blog^[2] and on its official website.^[3]

ParaSail uses a pointer-free programming model, where objects can grow and shrink, and value semantics are used for assignment. It has no global garbage collected heap. Instead, region-based memory management is used throughout. Types can be recursive, so long as the recursive components are declared optional. There are no global variables, no parameter aliasing, and all subexpressions of an expression can be evaluated in parallel. Assertions, preconditions, postconditions, class invariants, etc., are part of the standard syntax, using a Hoare-like notation. Any possible race conditions are detected at compile time.

Initial design of ParaSail began in September 2009, by S. Tucker Taft.

Both an interpreter using the ParaSail virtual machine, and an LLVM-based ParaSail compiler are available. Work stealing is used for scheduling ParaSail's light-weight threads. The latest version can be downloaded from the ParaSail website.^[3]