Tom Clune

Well, after Malcolm's comments last night, I expect this bullet to change. We consider using type-bound methods in this manner a way to create rather limited templates and it should...

(Also note - you really should look at the J3 paper to see what is said. Some things have changed.)

Yes. And when it is only one type-bound procedure with one argument, it's not so bad. But it can snowball quickly. And if it is only one, you could with...

@zjibben I think your functor example above is an excellent one, and will probably use it as an example when we mod the papers.

@certik Close. You need another parameter for the template: ```f90 template find_root_tmpl(T, eval) type, template :: T end type interface real function eval(this, x) type(T), intent(inout) :: this real, intent(in)...

While I agree that the suggestion by @everythingfunctional could in theory allow templates involving type bound procedures (and data components!) to be more general, it seems a very large step,...

For the Stringable template above, this is also a rather large departure from current subgroup plans. We had almost gotten to the point that RESTRICTION could be replaced with a...

@zjibben Agreed. Containers are probably a prime example of this in STL. One generally should not inherit from an STL container, but the STL containers still have methods. Some thought...

Subgroup has discussed the issue, but ... guidance from our outside expert is that we should not poke holes in the system. One solution would be for compilers to simply...

I'm a bit overwhelmed with multiple projects at the moment, so may not be able to dive into these materials. I will say that we (generics subgroup) are intentionally ovoiding...