Journal Article10.1017/S0956796899003597
A visualisation of polymorphic type checking
Yang Jung,Greg Michaelson +1 more
TL;DR: 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.
read more
Abstract: 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.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Compositional explanation of types and algorithmic debugging of type errors
Olaf Chitil
- 01 Oct 2001
TL;DR: This work proposes to explain types using a variant of the Hindley-Milner type system that defines a compositional type explanation graph of principaltyping, and describes how the programmer understands types by interactive navigation through the explanation graph.
Explaining Type Errors by Finding the Source of a Type Conflict
Jun Yang
- 29 Aug 1999
TL;DR: This report investigates better method sof explaining type conflicts and implements two new inferencealgorithms withphilosophy to find sources of typeerrors by reporting which part of the programconflict is reported, rather than isolated errorsites.
49
•Dissertation
Repairing Type Errors in Functional Programs
Bruce J. McAdam
- 01 Jul 2002
TL;DR: This thesis examines the problem of producing more helpful error messages for ill-typed programs written in programming languages with a Hindley-Milner typing discipline, and investigates type inference algorithms which infer types in different orders and the ability of these to produce more meaningful error messages.
34
Kima: An Automated Error Correction System for Concurrent Logic Programs
Yasuhiro Ajiro,Kazunori Ueda +1 more
- 01 Jan 2002
TL;DR: Kima as mentioned in this paper is an automated error correction system for concurrent logic programs, which corrects near-misses such as wrong variable occurrences in the absence of explicit declarations of program properties.
Unification source-tracking with application to diagnosis of type inference
Christopher T. Haynes,Venkatesh Choppella +1 more
- 01 Jan 2002
TL;DR: A framework based on the Unification Logics of Le Chenadec is used to define, derive and simplify proof-based source-tracking for term unification, and applies unification source- tracking to type inference in the Curry-Hindley type system.
12
References
•Book
The Definition of Standard ML
Robin Milner,Mads Tofte,Robert Harper +2 more
- 01 Jan 1990
TL;DR: This book provides a formal definition of Standard ML for the benefit of all concerned with the language, including users and implementers, and the authors have defined their semantic objects in mathematical notation that is completely independent of StandardML.
2.7K
A theory of type polymorphism in programming
TL;DR: This work presents a formal type discipline for polymorphic procedures in the context of a simple programming language, and a compile time type-checking algorithm w which enforces the discipline.
2.6K
Usability Analysis of Visual Programming Environments: A 'Cognitive Dimensions' Framework
Thomas R. G. Green,Marian Petre +1 more
TL;DR: This paper applies the cognitive dimensions framework to two commercially-available dataflow languages and concludes that it is effective and insightful; other HCI-based evaluation techniques focus on different aspects and would make good complements.
Cognitive Styles--An Overview and Integration.
Richard J. Riding,Indra Cheema +1 more
TL;DR: The authors considered the nature of styles and strategies and then surveyed work on cognitive styles, and suggested that the labels may be grouped into two principal cognitive styles: the Wholist-Analytic and Verbialiser-Imager dimensions.
1.3K
Visual Programming Languages and the Empirical Evidence For and Against
TL;DR: Empirical data relevant to visual programming languages is summarized to show the current empirical status and to act as a call to arms for further empirical work.
169