ATS2 -> ATS3 Migration Effort

[aditya siram]

I know it's early to ask this but do you anticipate a large migration effort between ATS2 and ATS3? Are you planning to change significant portions of the syntax, cut any large features etc? I'm working on something that's liable to grow to 7-10,000 LOC and trying to figure out if I should wait for ATS3.

Thanks!

[Hongwei Xi]

Please don't wait!

As far as I can tell, all the features in ATS2 should be

supported in ATS3. And the syntax of ATS3 is nearly all

based on that of ATS2. There are only minor changes and

some additions.

Translating ATS2 code into ATS3 should be straightforward.

As matter of fact, I myself plan to translate the compiler of ATS3

(written in ATS2) into ATS3 once ATS3 is ready. I think I would be

able to translate at least 10K lines a day :)

 

Cheers!

--Hongwei

On Tue, Jan 15, 2019 at 9:37 AM aditya siram <aditya...@gmail.com> wrote:

I know it's early to ask this but do you anticipate a large migration effort between ATS2 and ATS3? Are you planning to change significant portions of the syntax, cut any large features etc? I'm working on something that's liable to grow to 7-10,000 LOC and trying to figure out if I should wait for ATS3.

Thanks!

--
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 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/5de61aa9-593c-42e2-914f-0b19a564adb4%40googlegroups.com.

[Kiwamu Okabe]

On Tue, Jan 15, 2019 at 11:37 PM aditya siram <aditya...@gmail.com> wrote:
> I know it's early to ask this but do you anticipate a large migration effort between ATS2 and ATS3?

Do you mean "we need a translator to ATS3 code from ATS2 code"?
I believe someone, include me, can create such translator using
following library:

* https://github.com/vmchale/atspkg/tree/master/language-ats to parse ATS2 code
* https://github.com/vmchale/language-xats to print ATS3 code

But above ATS3 pretty-printer is not yet written.

Best regards,
--
Kiwamu Okabe at METASEPI DESIGN

[Artyom Shalkhakov]

The previous time migration was mostly painless. There were some changes for sure but most code could be translated either outright trivially, or mostly straightforwardly.

Off the top of my head, most changes were:

1. different syntax for dataviewtypes and a different default when pattern-matching

2. some tooling was not ported (i.e. atsdoc and atslex)

3. the addition of function template obsoleted many uses of higher-order functions

4. minor changes to naming of prelude functions / more uses of function templates instead of higher-order functions