ATS Language's Reference (Programming Manual)

[Shahab Tasharrofi]

Hello there,

Now that I have started to write more serious code in ATS, I find it
very helpful to have a reference to programming in ATS: something
with a very brief description for each entry, a few minimal examples
that can be used as a guideline, and links (to the ATS book) for
further reading on that entry.

I did a brief search to see if something like that is available for ATS
but did not find anything. So, the question is if such a reference is
available. If not, I would suggest making one.

Best regards,
Shahab

[Brandon Barker]

I don't know of anything comprehensive like this. I guess the book is a good reference, especially the more complete ATS1 book (the ATS2 book seems to be catching up quickly), but maybe a bit detailed compared to what you are asking for. Along the less detailed line there are Chris Double's tutorials, which are done by topic, but are for ATS1, so things may be different in some cases http://bluishcoder.co.nz/tags/ats/.

Also the wiki is naturally topic-oriented, but is really just getting started (feel free to add to it):

https://sourceforge.net/p/ats2-lang/wiki/Home/

The effective ATS series is largely not topic oriented but example oriented, but it sounds like the content may be what you are looking for (except of course also non-comprehensive):

http://www.ats-lang.org/EXAMPLE/EFFECTIVATS/

Brandon Barker
brandon...@gmail.com

--
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.
To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/0dff8d48-c583-483d-aa6d-6e58d9788cbe%40googlegroups.com.

[Brandon Barker]

I shouldn't say Chris's blogs are less detailed exactly; I guess I would say they are less formal, and more verbose ... but that is just my impression.

Brandon Barker
brandon...@gmail.com

[Brandon Barker]

One other source that could fairly easily be added to the wiki is the QA-list examples:

https://github.com/githwxi/ATS-Postiats/tree/master/doc/EXAMPLE/ATS-QA-LIST

But I'm not sure where the numbering shows up on the actual google groups list (but I assume it is possible since Hongwei has the examples numbered).

Brandon Barker
brandon...@gmail.com

[gmhwxi]

I meant to provide something like this:

http://www.ats-lang.org/DOCUMENT/ATS2TUTORIAL/HTML/book1.html

However, I have not gone very far. I hope that the community of ats-lang-users
could help on this.

I suggest serious ATS users to find time to read the library code of ATS.
If one reads ATS library code and then writes down explanation on how it works,
then the writing can be very helpful for others to learn/use ATS. Going through
ATS library code is probably the best way to learn programming in ATS.

[Chris Double]

On Sat, Feb 22, 2014 at 9:38 AM, Shahab Tasharrofi
<shahab.t...@gmail.com> wrote:
> Now that I have started to write more serious code in ATS, I find it
> very helpful to have a reference to programming in ATS: something
> with a very brief description for each entry, a few minimal examples
> that can be used as a guideline, and links (to the ATS book) for
> further reading on that entry.

I tried to do something here:

<https://github.com/doublec/ats-reference>

A PDF generated from it is:

<http://bluishcoder.co.nz/ats/ats-reference.pdf>

Unfortunately I never got time to do much on it.

[gmhwxi]

I have been working on documenting ATSLIB for quite some time.

Here is an example:

http://www.ats-lang.org/LIBRARY/prelude/list.html

On Friday, February 21, 2014 3:38:22 PM UTC-5, Shahab Tasharrofi wrote: