Type-Directed Programming For Programming Education
Alasdair Lambert, Stuart Gale · 2025
Type-directed programming, where one uses the overall data structure and type signatures to drive programming, is a well known technique in functional programming. In a strongly typed language such as Haskell, type signatures provide valuable information and context to the function we are working with. Often the type signature alone is enough to define the body of a function or at least to understand the overall shape of the problem.