Learn ATS2, or wait for ATS3?

[Yves Cloutier]

If someone were just getting into ATS2, and knowing an ATS3 is in the pipeline, would you suggest they wait until ATS3 is out before investing the time to learn?

For example, how much of the syntax would be different?

[Hongwei Xi]

This is a great question!

ATS (ATS0, ATS1, and ATS2) can only be considered an academic

language. Such a language tends to have interesting features but is

in general difficult to use to solve real problems.

My plan for ATS3 is to push it out of academia. The underlying mechanism

for ATS3 is going to be very similar to that of ATS2. So if you learn ATS2, then

you should be able to transition to ATS3 very quickly (say, in a few of days).

What should set ATS3 apart from ATS2 includes:

1) Type inference.  If you do not use dependent/linear types, you should be able

to get support based on Hindley-Milner type inference.

2) Extensive meta-programming support. For instance, a feature like type classes
in Haskell is planned.

3). Support for using ATS3 as a target language, making it easy to add features into
ATS3. For instance, some form of OOP may be supported this way.

There is still a long way to go before ATS3 becomes a reality. If it ever happens.

Cheers!

On Fri, Apr 6, 2018 at 12:33 PM, Yves Cloutier <yves.c...@gmail.com> wrote:

If someone were just getting into ATS2, and knowing an ATS3 is in the pipeline, would you suggest they wait until ATS3 is out before investing the time to learn?

For example, how much of the syntax would be different?

--
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-users+unsubscribe@googlegroups.com.
To post to this group, send email to ats-lang-users@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/73ac8ae9-f10c-4a26-8eef-a44f0f0d4f29%40googlegroups.com.