Hi, there, I wish I could announce that ATS is ready. But it is not.
I had actually gotten stuck for quite some time in the middle of implementing a type-checker for ATS3 (that supports both linear types and dependent types). It is some work I did in the last few days that has unstuck me. Hopefully :) I can now move forward again with the implementation. At this point, I feel that I have a pretty good picture as to what ATS3 is going to be like as a programming language. However, it is not so clear to me as to what kind of an ecosystem can be built for this unique programming language. I would definitely want to hear from people on this list and elsewhere. I will be soon sending out some posts talking about various aspects of ATS3. Let's have a lively discussion :) 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 view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/5eb960f4-7bf1-4fbf-ba16-59206b1fdf97n%40googlegroups.com.
