ATS3 Temptory

[rodol]

As I understand it, Temptory is ATS2 with a different standard library/prelude essentially.

Will we be able to load Temptory into ATS3, after some minor porting, or is the template

system too different for that?

[gmhwxi]

Temptory was an experiment I did last summer. I was trying

to convince myself that the Temptory approach to building libraries

should be adopted in ATS3. I guess I did convince myself :)

So programming in ATS3 should be a lot like programming in Temptory

(plus the support of type inference).

[Andreas ZUERCHER]

I've been curious:  Why is ATS3/Xanadu being written in ATS2/Postiats instead of ATS2/Temptory?  At first glance, it seems that writing ATS3/Xanadu in ATS2/Temptory for the time being would be a stepping stone to writing ATS3/Xanadu in ATS3/Xanadu in the future, given that they share some degree of the same approach to templates, which is some degree of a departure from ATS2/Postiats.  Or would that feature-set be substantially unutilized in ATS3/Xanadu's source code?

[Hongwei Xi]

The primary reason is that I had already started working on ATS3 before I did the Temptory experiment.

--
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-user...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/57bd0a09-3227-4fbb-be3d-943afadc7603%40googlegroups.com.