Hello Hongwei!
On Вт, дек 25, 2018 at 6:31 , gmhwxi <[email protected]> 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 [email protected].
To post to this group, send email to [email protected].
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.
--
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 [email protected].
To post to this group, send email to [email protected].
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/1545820208.1825.0%40smtp.gmail.com.
