Types and type inference in a visual programming language
- 31 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 238-243
- https://doi.org/10.1109/vl.1993.269603
Abstract
The uses of types and type inference in visual languages are explored. First, we discuss how the goals of a type system must differ from visual languages from those of a type system for textual languages. We then present a type system developed under these goals for the visual language Forms/3. Within the context of this system, issues of particular importance in visual languages are examined, including maintaining the user's conceptual model, the avoidance of language restrictions solely to support a type system, and how the visual process of programming can provide additional information to the type system.Keywords
This publication has 6 references indexed in Scilit:
- A declarative approach to event-handling in visual programming languagesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- VisaVis-contributions to practice and theory of highly interactive visual languagesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- The CUBE languagesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Enhancing Show-and-Tell with a polymorphic type system and higher-order functionsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Visual representation and manipulation of matricesJournal of Visual Languages & Computing, 1992
- A theory of type polymorphism in programmingJournal of Computer and System Sciences, 1978