A generalization of the concept of sketch (Q916772)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A generalization of the concept of sketch |
scientific article |
Statements
A generalization of the concept of sketch (English)
0 references
1990
0 references
The fruitful notion of sketch (of a mathematical structure) is generalized as a tool of functional programming languages and possibly for other branches of theoretical computer science. Specifying the notion of sketch, constructor spaces are defined and some of the properties of the class of constructor spaces are studied, especially oriented to the problems of certain classes of programming languages. The main new notion is those of form of a given type. The model of a form is defined and some elementary examples of forms are pointed out. It is not easy to see the possibility of direct or indirect applications of constructor spaces and forms in computer science and especially in programming languages.
0 references
form of a type
0 references
sketch
0 references
functional programming
0 references
constructor spaces
0 references
programming languages
0 references
