Function types versus arrays

[Neal Gafter]

On Mon, Feb 8, 2010 at 10:01 PM, Howard Lovatt <howard.lovatt at iee.org> wrote:
> Well you *speculate* that reified lambdas are type unsound, you haven't and
> nor has anyone else demonstrated that - in fact quite the opposite.

I've demonstrated your proposal unsound three times, and each time you
modified it and asked again.  I gave up looking for loopholes, as that
game can go on forever.  The burden of proof is yours, not mine.  The
absence of counterexamples is not evidence of soundness.

> I have asked for examples of problem areas and your response has been that
> you want to see a formal proof. However, I would say "what area isn't
> already proven?"

Soundness isn't a local property, it is a global property that accrues
to the system as a whole.  The system as a whole hasn't been proven
sound.