Refactoring in Tunes
Sun, 09 Jan 2000 17:59:44 +0100
"Brian T. Rice" wrote:
> whereas tunes-style types will be *chosen* from a network of meaningful
> types and representations.
> I want a type system declaratively specified, so that proper behavior
> is lazy, proper to the model of the domain, and automatically-generated
> (easily meta-programmed).
Brian, do you have in mind a new approach to type inference?
Something that addresses **practically** the problems of high-order