Refactoring in Tunes

Massimo Dentico
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
(lambda) unification?

Massimo Dentico