[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
> - 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?