Refactoring in Tunes

[Massimo Dentico]

"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