Forgot to mention: real 16m41.561s user 23m30.725s sys 0m21.960s
The whole building time is about 16-17 minutes on my 15 year-old laptop. On Thursday, September 12, 2024 at 12:59:24 PM UTC-4 gmhwxi wrote: > Hi, there, > > I have managed to put up the so-called ATS3-prelude library, which > is entirely template-based. > > If you have already installed ATS2, then you can readily try > xats2js-in-ats3 > (which is the current compiler from ATS3 to JS that is also written in > ATS3). > > Step0: > Assume that ATS2 is already installed > Step1: > Please git-clone the following repository: > https://github.com/githwxi/ATS-Xanadu > Step2: > Do the following: > cd ATS-Xanadu > make -f Makefile_overall # which builds several tools for using xats2js > > For instance, I am teaching a compiler class at BU (CS525), and here is the > compiler project for my class that is written in ATS3: > > https://github.com/hwxi/CS525-2024-Fall/tree/main/lambdas/lambda0/XATS > > (It will grow weekly). > > BTW, you need to install node (and, optionally, bun). > > Have fun with template-based programming. > If you have never tried it I won't be surprised that this feature can blow > your > mind off a bit. It did to me and is still doing it from time to time :) > > Cheers! > > --Hongwei > > Chief designer and implementer of ATS3/Xanadu > > -- 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/697b7290-eb5a-4038-af42-57eca26ea821n%40googlegroups.com.
