What are ATS2's user defined identifiers name‑spaces?

[Yannick Duchêne]

With ATS2, some same identifiers may be re‑use for multiple purpose. As an example,  `propdef` and `prfn` may have the same name (identifier), or as another example, a `typedef` and a `val`, may have the same name too. I don't mean hiding nor overloading (while to some abstract point of view, this may be seen as overloading).

Is there a defined list of identifiers name‑spaces with ATS2?

[Hongwei Xi]

prfn foo ... // foo is dynamic

propdef foo = ... // foo is static

val foo = ... // foo is dynamic
typedef foo = ... // foo is static

Static identifers and dynamic identifiers are completely separated in ATS.

Think of a static identifier being colored blue and a dynamic identifier red.

So a blue 'foo' is never mixed with a red 'foo'.

On Sat, Feb 7, 2015 at 4:41 PM, 'Yannick Duchêne' via ats-lang-users <ats-lan...@googlegroups.com> wrote:

With ATS2, some same identifiers may be re‑use for multiple purpose. As an example,  `propdef` and `prfn` may have the same name (identifier), or as another example, a `typedef` and a `val`, may have the same name too. I don't mean hiding nor overloading (while to some abstract point of view, this may be seen as overloading).

Is there a defined list of identifiers name‑spaces with ATS2?

--
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/6ed034df-d018-40cb-9d1b-6d000b3d740b%40googlegroups.com.

[Yannick Duchêne]

Le samedi 7 février 2015 22:57:40 UTC+1, gmhwxi a écrit :

prfn foo ... // foo is dynamic

propdef foo = ... // foo is static

val foo = ... // foo is dynamic
typedef foo = ... // foo is static

Static identifers and dynamic identifiers are completely separated in ATS.

Also the names for dataprop/datatype and the names for their constructors.