For supporting template-based programming
Ubuntu
Please see Temptory-Release for details.
ATS-Temptory can be seen as a repackaging of ATS-Postiats.
Compared with ATS-Postiats, the core library of ATS-Temptory is completely re-written from scratch so as to better facilitate the use of templates in support of code sharing and reuse. It can be seen clearly that the style of template-based programming as is supported in ATS-Temptory is of a disruptive nature. One might even compare this programming style to OOP at its early stage.
HX-2019-05-24:
At this point, I am taking a break from implementing ATS-Xanadu. I plan to concentrate on developing ATS-Temptory. In particular, I would like to use ATS-Temptory as a vehicle to demonstrate some of the powers of template-based programming in helping greatly increase programming productivity.