The primary reason is that I had already started working on ATS3 before I did the Temptory experiment.
On Fri, Feb 7, 2020 at 2:13 PM Andreas ZUERCHER < [email protected]> wrote: > 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 > <https://groups.google.com/d/msgid/ats-lang-users/57bd0a09-3227-4fbb-be3d-943afadc7603%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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/CAPPSPLqWuuEEBfmDZNHgw-kJKP4onkMvfKeTfKV%2BwsNiCQyR_w%40mail.gmail.com.
