Wow! That is wonderful news! I recall reading on here somewhere that you had trouble combining templates with HM type-checking, or something. It makes me very happy that you powered through the obstacles.
torsdag 4 juli 2024 kl. 00:42:47 UTC+2 skrev 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 > > -- 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/9cb5f694-5ebb-406f-9323-3cadf7999343n%40googlegroups.com.
