Hostname: page-component-cd9895bd7-jn8rn Total loading time: 0 Render date: 2024-12-21T15:00:25.014Z Has data issue: false hasContentIssue false

A visualisation of polymorphic type checking

Published online by Cambridge University Press:  01 January 2000

YANG JUNG
Affiliation:
Department of Computing and Electrical Engineering, Heriot-Watt University, Riccarton EH14 4AS, UK (e-mail: ceejy1@cee.hw.ac.uk, greg@cee.hw.ac.uk) (http://www.cee.hw.ac.uk/Staff/greg.html)
GREG MICHAELSON
Affiliation:
Department of Computing and Electrical Engineering, Heriot-Watt University, Riccarton EH14 4AS, UK (e-mail: ceejy1@cee.hw.ac.uk, greg@cee.hw.ac.uk) (http://www.cee.hw.ac.uk/Staff/greg.html)
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

The understanding of polymorphic typechecking and type errors is poorly supported by contemporary functional language implementations. Here, a novel visualisation of functions and their types is presented based on the generation of function specific icons with graphical type representations which change dynamically as functions are applied. This visualisation has been implemented for a Standard ML subset within a graphical environment in which function combinations are constrained by type matching.

Type
Research Article
Copyright
© 2000 Cambridge University Press
Submit a response

Discussions

No Discussions have been published for this article.