Aleksandar Donev writes:
> Can nonkind type parameters be used to resolve generics,
No. Remember that I said you'd get a pretty good approximation by
considering kind type parameters to be like the kinds in f90 and the
nonkind type parameters to be like character length? Well, this is
exactly the type of question that will answer for you.
Kind type parameters are known at compile time (just like kinds on
f90). They can be used to resolve generics (just like the kinds in
f90).
Nonkind type parameters are not necessarily known at compile time
(just like character len in f90). They cannot be used to resolve
generics (just like character len in f90).
Generic resolution is done at compile-time and thus needs to resolve
based on things that are known then.
If you want something like generic resolution done at run-time, then
you need either type-bound procedures (one of the object-oriented
features) or procedure pointers (where you can "roll-your-own")
--
Richard Maine | Good judgment comes from experience;
[log in to unmask] | experience comes from bad judgment.
| -- Mark Twain
|