Happy Holidays!

[gmhwxi]

This mailing-list has been somewhat quiet recently.

I'd like to use this occasion to wish everyone well and also to prosper in the

upcoming new year!

I have been working on ATS3 for quite some time. So far the progress has been

slow (but steady). As you all know, ATS has been first and foremost an academic

project and implemented as such. Now I want to make ATS3 a lot more polished

than ATS2, hoping it would have a better chance to become mainstream. I am designing

and implementing ATS3 in ways that should make it easy for other people to contribute

in the future. In particular, I have been experimenting with ways to better report error messages

in ATS3.

To reiterate, ATS3 is perceived to be both a source language and a target language

(at the same level as C). And extensive meta-programming support is to be built on top

of ATS3.

Right now, I am in the middle of implementing sort-checking (that is, type-checking for

the statics of ATS). After that, I will start to implement type-inference (for non-dependent

types). My current plan is to get ATS3 running some time next year (hopefully, by the end of

summer).

There will be plenty collaboration opportunities soon.

Cheers!

--Hongwei

.

[Artyom Shalkhakov]

Hello Hongwei!

On Вт, дек 25, 2018 at 6:31 , gmhwxi <gmh...@gmail.com> wrote:

This mailing-list has been somewhat quiet recently.

I'd like to use this occasion to wish everyone well and also to prosper in the

upcoming new year!

Thank you very much! I would also to congratulate you and the other members of the list with Christmas and wish everybody to put things things in proper order this year. :-)

I als like to thank you personally and wholeheartedly for your work on ATS over these years. Wish you to keep it up!

I have been working on ATS3 for quite some time. So far the progress has been

slow (but steady). As you all know, ATS has been first and foremost an academic

project and implemented as such. Now I want to make ATS3 a lot more polished

than ATS2, hoping it would have a better chance to become mainstream. I am designing

and implementing ATS3 in ways that should make it easy for other people to contribute

in the future. In particular, I have been experimenting with ways to better report error messages

in ATS3.

That's great news!

To reiterate, ATS3 is perceived to be both a source language and a target language

(at the same level as C). And extensive meta-programming support is to be built on top

of ATS3.

Right now, I am in the middle of implementing sort-checking (that is, type-checking for

the statics of ATS). After that, I will start to implement type-inference (for non-dependent

types). My current plan is to get ATS3 running some time next year (hopefully, by the end of

summer).

There will be plenty collaboration opportunities soon.

I'm awaiting eagerly! Unfortunately my time is now split such that I now have to find more inventive ways to program as a hobby (but this is probably the situation among most, if not all, people on the list).

Cheers!

--Hongwei

.

--
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/44084646-8b94-4c38-8e1d-73edf47a1de8%40googlegroups.com.