Is instantiabilty of templated types decidable?

[Nick Sabalausky]

On Mon, 12 Nov 2012 08:46:42 +0000 (UTC)
Manfred Nowak <svv1999 at 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.