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

**URL:** <https://discourse.ats-lang.org/t/stacst-stadef-and-static-what-is-static/99>\
**Category:** Google Group\
**Created:** [May 18, 2015, 9:05pm UTC](https://discourse.ats-lang.org/t/stacst-stadef-and-static-what-is-static/99 "2015-05-18T21:05:52Z")\
**Posts on this page:** 3\
**Page:** 1

<div class="post-metadata">

**Author:** ![Yannick\_Duchene](https://avatars.discourse-cdn.com/v4/letter/y/b77776/32.png) [@Yannick\_Duchene](https://discourse.ats-lang.org/u/Yannick_Duchene)\
**Post date:** [May 18, 2015, 9:05pm UTC](https://discourse.ats-lang.org/t/stacst-stadef-and-static-what-is-static/99/1 "2015-05-18T21:05:52Z")

</div>

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?

---

<div class="post-metadata">

**Author:** ![Yannick\_Duchene](https://avatars.discourse-cdn.com/v4/letter/y/b77776/32.png) [@Yannick\_Duchene](https://discourse.ats-lang.org/u/Yannick_Duchene)\
**Post date:** [May 18, 2015, 9:13pm UTC](https://discourse.ats-lang.org/t/stacst-stadef-and-static-what-is-static/99/2 "2015-05-18T21:13:35Z")

</div>

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](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-l...@googlegroups.com](mailto: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](mailto:ats-lang...@googlegroups.com) \<javascript:\>.  
> > To post to this group, send email to [ats-l...@googlegroups.com](mailto:ats-l...@googlegroups.com)  
> > \<javascript:\>.  
> > Visit this group at [http://groups.google.com/group/ats-lang-users](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](https://groups.google.com/d/msgid/ats-lang-users/3e55c327-ee1c-4b27-acad-23ac58aae173%40googlegroups.com).

---

<div class="post-metadata">

**Author:** ![Shea\_Levy](https://avatars.discourse-cdn.com/v4/letter/s/b38774/32.png) [@Shea\_Levy](https://discourse.ats-lang.org/u/Shea_Levy)\
**Post date:** [May 18, 2015, 9:07pm UTC](https://discourse.ats-lang.org/t/stacst-stadef-and-static-what-is-static/99/3 "2015-05-18T21:07:35Z")

</div>

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

[1]: [http://ats-lang.sourceforge.net/DOCUMENT/INT2PROGINATS/HTML/c1998.html#external\_name](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](mailto: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](mailto:ats-lang-user...@googlegroups.com).  
> To post to this group, send email to [ats-lan...@googlegroups.com](mailto:ats-lan...@googlegroups.com).  
> Visit this group at [http://groups.google.com/group/ats-lang-users](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](https://groups.google.com/d/msgid/ats-lang-users/3e55c327-ee1c-4b27-acad-23ac58aae173%40googlegroups.com).