[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

RE: More on dispatching by function return type



On Wednesday, December 17, 2003 3:25 PM, Kevin S. Millikin 
[SMTP:kmillikin@atcorp.com] wrote:

> - fn r => not o (read r);
>
> Now, does the programmer have to "compute the result of the type
> proof" to reason about this program?

And does it relieve our hypothetical ML programmer from computing the 
result of the type proof if I just tell her that this last expression 
is well typed?