Stacst, stadef… and static? What is `static`?

Google Group
1

Hi all,

I know stacst as in:
stacst index(i: int, j: int): int
in my understanding, meaning “anything which may exist of that type”.

I know stadef as in:
stadef index(i: int, j: int): int = (i - 1) + j
in my understanding, meaning “one which exist of that type”

But what the static keyword is used for?

2

OK, thanks. So that’s not really ATS.Le lundi 18 mai 2015 23:07:37 UTC+2, Shea Levy a écrit :

It’s for static C functions, see 1.

On May 18, 2015, at 5:05 PM, ‘Yannick Duchêne’ via ats-lang-users < ats-l...@googlegroups.com <javascript:>> wrote:

Hi all,

I know stacst as in:
stacst index(i: int, j: int): int
in my understanding, meaning “anything which may exist of that type”.

I know stadef as in:
stadef index(i: int, j: int): int = (i - 1) + j
in my understanding, meaning “one which exist of that type”

But what the static keyword is used for?

–
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...@googlegroups.com <javascript:>.
To post to this group, send email to ats-l...@googlegroups.com
<javascript:>.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/3e55c327-ee1c-4b27-acad-23ac58aae173%40googlegroups.com.

3

It’s for static C functions, see [1].

[1]: http://ats-lang.sourceforge.net/DOCUMENT/INT2PROGINATS/HTML/c1998.html#external_name> On May 18, 2015, at 5:05 PM, ‘Yannick Duchêne’ via ats-lang-users ats-lan...@googlegroups.com wrote:

Hi all,

I know stacst as in:
stacst index(i: int, j: int): int
in my understanding, meaning “anything which may exist of that type”.

I know stadef as in:
stadef index(i: int, j: int): int = (i - 1) + j
in my understanding, meaning “one which exist of that type”

But what the static keyword is used for?

–
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 http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/3e55c327-ee1c-4b27-acad-23ac58aae173%40googlegroups.com.