search

j3-fortran / generics

BSD 3-Clause "New" or "Revised" License
38 stars 8 forks source link

New rationale paper. #112

Closed tclune closed 1 year ago

tclune commented 1 year ago

Good point. Will do.

arjenmarkusdeltaresnl commented 1 year ago

I would say: avoid double negatives. They are difficult to understand correctly.

Regards,

Arjen

From: Tom Clune @.> Sent: Monday, September 25, 2023 2:38 PM To: j3-fortran/generics @.> Cc: Arjen Markus @.>; Comment @.> Subject: Re: [j3-fortran/generics] New rationale paper. (PR #112)

Caution: This message was sent from outside of Deltares. Please do not click links or open attachments unless you recognize the source of this email and know the content is safe. Please report all suspicious emails to @.**@.>" as an attachment.

@tclune commented on this pull request.

In J3-Papers/deferred-polymorphic.txthttps://github.com/j3-fortran/generics/pull/112#discussion_r1335830228:

@@ -80,5 +80,17 @@ Our suggested syntax would be:

 CLASS, DEFERRED :: T

+4. Implications and consequences

+================================

+

+If a template declares a deferred type T as polymorphic, then any

+corresponding actual argument shall be a non-extensible type. I.e.,

Pesky little detail. I'm wondering though whether "shall be an extensible type" is better than the double negative?

- Reply to this email directly, view it on GitHubhttps://github.com/j3-fortran/generics/pull/112#discussion_r1335830228, or unsubscribehttps://github.com/notifications/unsubscribe-auth/AEAJNMRVKIGYMBDCP6H6CJTX4F3K7ANCNFSM6AAAAAA44VIEEQ. You are receiving this because you commented.Message ID: @.**@.>>

DISCLAIMER: This message is intended exclusively for the addressee(s) and may contain confidential and privileged information. If you are not the intended recipient please notify the sender immediately and destroy this message. Unauthorized use, disclosure or copying of this message is strictly prohibited. The foundation 'Stichting Deltares', which has its seat at Delft, The Netherlands, Commercial Registration Number 41146461, is not liable in any way whatsoever for consequences and/or damages resulting from the improper, incomplete and untimely dispatch, receipt and/or content of this e-mail.