Yes. Not just at the top level. At all inner levels as well.
Sent from my T-Mobile 4G LTE device
------ Original message------From: Raoul DukeDate: Sat, Jan 11, 2020 03:45To:
ats-lang-users@googlegroups.com;Subject:Re: A brief update on ATS3
implementation
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 groupabout
some recent progress made in the implementation of ATS3. Theproject 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
fixesare definitely needed for a long time to come:
Part 1: Concrete syntax design + ParsingPart 2: Binding resolution based on
static scopingPart 3: Type-inference + supporting for symbol overloadingPart 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 morepeople 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.
--
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.
--
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/000f424a.2a419e2b4fadf55f%40gmail.com.
