On Monday, March 18, 2019 at 7:19:46 AM UTC+2, Shimin Guo wrote: > > For !T, INT2PROGINATS says: > > Note that the symbol ! in front of the type of a function argument > indicates that the argument is call-by-value and it is preserved after a > call to the function. > > > For !T >> _, INT2PROGINATS says: > > Given a type T, the notation (!T >> _) is a shorthand for (!T >> T). > > > How are they different? >
To put in context of programming activity, if T is something complex, then having this shorthand is a really good idea: with it, you don't have to type the type twice. Don't you like the grammatical structure of the last sentence. :-) -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/ats-lang-users. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/bd26a046-65ad-4a33-822d-adb06391d29a%40googlegroups.com.
