Great to hear about improved type inference! This quite wild to see in comparison to ATS2 code.
I just hope that everyone remembers to annotate with types at least at the top-level; sometimes Haskellers don't do this and it makes the code more difficult to read, IMO (luckily that is a rarity) ;-) On Sunday, December 15, 2019 at 10:34:46 PM UTC-5, Richard wrote: > > 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/cf089bb4-7a5e-4d46-a1c7-589c966ff246%40googlegroups.com.
