[Grace-core] Pondering types
PSU via GMail
andrew.p.black at gmail.com
Fri Mar 7 17:59:40 PST 2014
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
More information about the Grace-core
mailing list