[Grace-core] Pondering types

[PSU via GMail]

Andrew P Black

> On Mar 7, 2014, at 14:13, Michael Homer <mwh at ecs.vuw.ac.nz> wrote:
> 
> (On that basis) it has type {m(a:T) -> T; U -> Pattern<o.U,Tuple0>; p -> o.U}.
> -Michael

Michael, can you please explain how you see the relationship between types and patterns?   I thought that there was a pattern corresponding to each type, which could be used in match()case() ...  I didn't realize that types _were_ patterns: don't types need to be _more than_ patterns for the type checker to work?  

    Andrew