Difference between `!T` and `!T >> _`?

[Shimin Guo]

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?

[gmh...@gmail.com]

They are not different.

Sent from my T-Mobile 4G LTE device

------ Original message------

From: Shimin Guo

Date: Mon, Mar 18, 2019 1:19 AM

To: ats-lang-users;

Subject:Difference between `!T` and `!T >> _`?

--
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 ats-lang-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
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/12211f9b-bac9-428c-9240-3927fd9dd4cb%40googlegroups.com.

[Artyom Shalkhakov]

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. :-)