my usual usability rant: any language with inference must have a mode that inserts the ascii of what it inferred.
On Fri, Jan 10, 2020 at 11:39 Brandon Barker <brandon.bar...@gmail.com> wrote: > 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 > <https://groups.google.com/d/msgid/ats-lang-users/cf089bb4-7a5e-4d46-a1c7-589c966ff246%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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/CAJ7XQb7z%3D8Y6566rFrADEhQdENxF_pDsBNkbSaNBSV8HYkCe0A%40mail.gmail.com.
