Re: A brief update on ATS3 implementation

[gmh...@gmail.com]

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 Duke

Date: Sat, Jan 11, 2020 03:45

To: ats-lan...@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...@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-user...@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-user...@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.