On Mon, 12 Nov 2012 08:46:42 +0000 (UTC) Manfred Nowak <svv1...@hotmail.com> wrote:
> Nick Sabalausky wrote: > > > tell the user he's using an impractical approach > > ... it is ncurrently ot the duty of the compiler to decide what > a practical approach might be. Therefore the coder has to notify > this to the compiler. > > -manfred > I didn't really mean to claim that it was or wasn't (I can see reasonable points on both sides of that). My only point was just that theoretical decidability wasn't really relevant since it's trumped by practical limitations anyway.
