Two compilers for compiling ATS3 to JS

[gmhwxi]

Hi, ats-lang-users,

I have been working on bootstrapping ATS3 (that is,

implementing ATS3 in ATS3) for quite a bit over 2 years.

We now have two compilers for compiling ATS3 into JS:

xats2js_in_ats2:

https://github.com/githwxi/ATS-Xanadu/tree/master/srcgen1

xats2js_in_ats3

https://github.com/githwxi/ATS-Xanadu/tree/master/srcgen2

Bootstrapping is not yet done as the second compiler above cannot

yet fully compile itself into JS; some further tuning is needed to sort

things out.

Before working on xats2cc_in_ats3 (which compiles ATS3 into a small

subset of C), I will attempt to work on documenting ATS3. There is definitely

a lot of stuff to write about.

Cheers!

Yours truely,

--Hongwei

[Brandon Barker]

That's exciting to hear! Could you remind me of the state of compiling ATS3 to C? I understand that may not be an immediate priority, but I assume it is a long term goal.

--
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/756977b9-cb5b-4abd-ada8-9f1d85f0aff2n%40googlegroups.com.

[gmhwxi]

Hi Brandon,

Good to hear from you!

Yes, a compiler from ATS3 to C is a must.

I would like to give xats2js a try before moving forward, though. I need to get a sense as to how

programming with template fares in practice.

Cheers,

--Hongwei