ATS3-prelude library is shaping up for use

[gmhwxi]

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

[gmhwxi]

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.