[J3] Type and kind conformance for VALUE dummy arguments

[Malcolm Cohen]

> the suggested proposal seems to be promoting the idea of auto-conversion of arguments at call sites.

 

And from a Software Engineering point of view, this is a bad idea.  Unless promoting errors happens to be your thing.  Admitting auto-conversion is convenient, but when it goes wrong there is usually no clue other than silent wrong answers.

 

I don’t think I’d agree that templates are the solution either.  If you want auto-conversion for some dummy argument, annotating the dummy  argument would seem to be a better way forward. But since I think the desire is an unhealthy one, I would not support that either.

 

Cheers,

-- 

..............Malcolm Cohen, NAG Oxford/Tokyo.

 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.j3-fortran.org/pipermail/j3/attachments/20181102/051c79ca/attachment.html>