Support tool and strategy for type error correction with polymorphic types

Abstract

The authors focus on strongly typed functional programming languages with polymorphic types, type inference facilities, and higher-order functions, i.e. functional programming languages whose type checkers infer types in programs including polymorphic types and higher-order functions types from the context before execution programs. They examine effective approaches to support type error corrections in these languages and two approaches to support them, following a general framework for debugging. Using these two approaches as case studies, systematic debugging processes based on the general framework for debugging are developed.<>