Moving forward with ATS3

[gmhwxi]

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

[d4v3y_5c0n3s]

Exciting!  I can't wait! :D