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

RE: More on dispatching by function return type

To: "'address@hidden'" <address@hidden>, "'John Clements'" <address@hidden>
Subject: RE: More on dispatching by function return type
From: "Kevin S. Millikin" <address@hidden>
Date: Wed, 17 Dec 2003 15:30:35 -0600
Cc: Ken Shan <address@hidden>, "address@hidden" <address@hidden>
Organization: ATC
Reply-to: "address@hidden" <address@hidden>
Sender: address@hidden

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?

Prev by Date: Re: Typing and semantics [dynamic vs. static typing]
Next by Date: Re: More on dispatching by function return type
Previous by thread: RE: More on dispatching by function return type
Next by thread: RE: More on dispatching by function return type
Index(es):
- Date
- Thread