Abstract
This paper presents a maramafication of an essential
part of FPLs: the construction of well-typed algebraic
data structures based on type definitions with at most
one type parameter. Maramafication means the design
of visual ‘twins’ of existing programming constructs using
spatial metaphors rooted in common sense or inborn
spatial intuition, to achieve self-explanatoriness. This is,
among others, useful to considerably reduce the gap between
programmers and non-programmers in the creation
of programs, for educational purposes or for invoking
enthusiasm among non-programmers.
part of FPLs: the construction of well-typed algebraic
data structures based on type definitions with at most
one type parameter. Maramafication means the design
of visual ‘twins’ of existing programming constructs using
spatial metaphors rooted in common sense or inborn
spatial intuition, to achieve self-explanatoriness. This is,
among others, useful to considerably reduce the gap between
programmers and non-programmers in the creation
of programs, for educational purposes or for invoking
enthusiasm among non-programmers.
Original language | English |
---|---|
Place of Publication | Utrecht |
Publisher | UU BETA ICS Departement Informatica |
Number of pages | 14 |
Publication status | Published - 2017 |
Publication series
Name | Technical Report Series |
---|---|
Publisher | UU Beta ICS Departement Informatica |
No. | UU-CS-2017-014 |
ISSN (Print) | 0924-3275 |