On 10/7/05, Luke Palmer <[EMAIL PROTECTED]> wrote: > On 10/7/05, chromatic <[EMAIL PROTECTED]> wrote: > > On Fri, 2005-10-07 at 15:22 -0600, Luke Palmer wrote: > > > But you are allowed to overload coersion. Essentially, every > > > expression gets a coerce:<as>($expr, $current_context) wrapped around > > > it (where these are optimized away when they do nothing). If you > > > allow definition of these at runtime, there are two side-effects: > > > > > > 1) No typechecking can ever take place in any form.
I'd like to add that most people don't want typechecking if you don't insert annotations, so you're not subject to "type purity" there. I was arguing for making the annotations that people do willfully put in actually mean something. Luke
