Well done! Looking forward to the future progress. On Sunday, December 15, 2019 at 9:08:21 PM UTC-5, gmhwxi wrote: > > Hi, there, > > I would like to make a brief announcement, telling those in this group > about some recent progress made in the implementation of ATS3. The > project itself is publicly accessible at the following site: > > https://github.com/githwxi/ATS-Xanadu > > Note that you need to have ATS2 installed in order to compile ATS3. > > So far I have essentially finished the following parts, though changes and > fixes > are definitely needed for a long time to come: > > Part 1: Concrete syntax design + Parsing > Part 2: Binding resolution based on static scoping > Part 3: Type-inference + supporting for symbol overloading > Part 4: Type-based template code selection > > I have also implemented a basic interpreter for testing. > > Compiling ATS3 to C is scheduled in the next phase. After that. advanced > type-checking > (for dependent types and linear types) needs to be supported. > > Before starting the next phase, I plan to write some documentation and > hope to get more > people on board. More on that later. > > 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-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/3d9d8819-bb08-4c42-bf8a-9ed85fa73c04%40googlegroups.com.
