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/219be21a-ec3d-407a-9b8a-0ec518b9a4d4%40googlegroups.com.
