Jump to content

Whiley (programming language)

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Catchiaro (talk | contribs) at 20:32, 6 December 2015 (Added page). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

Whiley is a statically typed programming language created by David J. Pearce in 2009, with later contributions from students.

The Whiley programming language pioneered union, intersection and negation types and introduced the concept of flow typing, a concept later picked up by other programming languages like TypeScript and the Flow Javascript transpiler.