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 On Wednesday, July 3, 2024 at 8:26:06 PM UTC-4 [email protected] wrote: > 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. > > On Wed, Jul 3, 2024, 6:42 PM gmhwxi <[email protected]> wrote: > >> 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 >> >> -- >> 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 [email protected]. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/ats-lang-users/756977b9-cb5b-4abd-ada8-9f1d85f0aff2n%40googlegroups.com >> >> <https://groups.google.com/d/msgid/ats-lang-users/756977b9-cb5b-4abd-ada8-9f1d85f0aff2n%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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/4611c6e1-e7f1-49e1-83eb-e7a49772834cn%40googlegroups.com.
