Thanks for your interest in ATS3! I am still in the midst of implementing ATS3. More precisely, I am in the midst of implementing a type-checker for dependent types and linear types. The required effort seems to have far exceeded what I expected.
Up to ATS2, ATS was largely a vehicle for experimentation. If I remember correctly, ATS0 (that is, ATS/Proto) is probably the most feature-rich one among all editions of ATS so far; it contains many features (e.g., OOP and typed meta-programming based on macros) that are removed in later editions of ATS. As I feel that ATS3 is very likely the last edition of ATS that I will ever be implementing, I tend to think a lot more before I actually write down code. So the implementation does take a lot longer this time. The good news is that I should be able to move a bit faster once I finish this type-checker, which undoubtedly is the most challenging part of implementing ATS3. Very optimistically, I expect to see some version of ATS3 that is able to compile to C/C++. Keep tuned :) Cheers! --Hongwei On Monday, June 28, 2021 at 9:00:00 AM UTC-4 Timmy Jose wrote: > Also, in any case, I think I'll wait for ATS3, and this time go through > full learning process, and start doing some projects in it. I'm excited, > and hopefully it won't be too long coming! > > On Monday, June 28, 2021 at 6:28:55 PM UTC+5:30 Timmy Jose wrote: > >> >> Hello, >> >> I had dabbled with ATS2 a couple of years back, and I happened to have a >> look back at the ATS ecosystem a couple of days back. It is interesting to >> see ATS3 being actively developed, and it's also exciting to see that >> ergonomics is a key focus for this version of the language (this is what I >> gleaned from some of the posts here). >> >> About learning the language (I've unfortunately forgotten most of it), I >> looked at the learning materials again, and they are of very good quality, >> but I was thinking that someone from the community could create something >> from their own perspective, for beginners. That would also help get people >> interested in the language - a more gentle introduction to the core selling >> points of ATS (or at least the basic viable features of ATS). What do you >> think? >> >> I know the community is small, but time and again I keep thinking that >> ATS has so much potential that it's a shame that it's not getting much more >> attention from people (a lot of it has to do with the fact that most people >> are not even aware of its existence). >> >> Cheers, >> >> Timmy >> > -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/dd0dc738-96e4-4777-a6b6-904bbd3e2b04n%40googlegroups.com.
