ProSet
Encyclopedia
ProSet is a set theoretic
programming language
that is being developed at the University of Essen as a successor to SETL
. It is a very-high level language that supports prototyping
.
ProSet provides the following first-class
data types: atom, integer, real, string, boolean, tuple, set. Functions and modules are also first-class.
Set theoretic programming
Set theoretic programming is a programming paradigm based on mathematical set theory. One example of a programming language based on this paradigm is SETL....
programming language
Programming language
A programming language is an artificial language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs that control the behavior of a machine and/or to express algorithms precisely....
that is being developed at the University of Essen as a successor to SETL
SETL
SETL is a very-high level programming language based on the mathematical theory of sets. It was originally developed by Jack Schwartz at the NYU Courant Institute of Mathematical Sciences in the late 1960s....
. It is a very-high level language that supports prototyping
Software prototyping
*Software prototyping, refers to the activity of creating prototypes of software applications, i.e., incomplete versions of the software program being developed...
.
ProSet provides the following first-class
First-class object
In programming language design, a first-class citizen , in the context of a particular programming language, is an entity that can be constructed at run-time, passed as a parameter, returned from a subroutine, or assigned into a variable...
data types: atom, integer, real, string, boolean, tuple, set. Functions and modules are also first-class.