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?
On Thursday, February 6, 2020 at 4:35:53 PM UTC-6, gmhwxi wrote: > > > 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). > > On Tuesday, February 4, 2020 at 8:34:20 PM UTC-5, rodol wrote: >> >> 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? >> > -- 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/57bd0a09-3227-4fbb-be3d-943afadc7603%40googlegroups.com.
