Temptory and ATS-Postiats use the same syntax. But the library code for Temptory is different from that for the latter.
Installing Temptory is the same as installing ATS-Postiats: https://sparverius.github.io/tmplats-doc/ Just make sure that TEMPTORY is set (instead of PATSHOME). On Tuesday, June 18, 2019 at 12:28:10 AM UTC-4, Srdjan Mitrovic wrote: > > A little late on the reply, but thanks for the help guys, really > appreciate it! > > On Saturday, June 1, 2019 at 5:57:34 PM UTC-4, gmhwxi wrote: >> >> >> Welcome! >> >> The book was written several years back. >> >> ATS has since evolved a lot. For instance, rtfind could >> be implemented as follows in ATS-Temptory: >> >> fn >> rtfind >> ( >> f: int -> int >> ): stream_vt(int) = >> ( >> stream_vt_filter >> (sint_streamize_gte(0)) >> ) where >> { >> impltmp >> stream_vt_filter$test<int>(n) = (f(n) = 0) >> } >> >> Returning a stream of all the roots of a given function 'f' makes >> 'rtfind' a lot more flexible. >> >> The "classical" ATS code tends to be like code in C or ML. Newer ATS code >> emphasizes a lot more on "batch-processing". Please find some explanation >> and documentation in the following directory and also some coding >> examples: >> >> https://github.com/githwxi/ATS-Temptory/tree/master/docgen >> > > That looks quite a bit nicer - will I be able to use this syntax with ATS2 > (postiats)? Or do I need to remove that and get temptory instead? > -- 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 post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/ats-lang-users. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/f3e470bc-4505-46de-bebd-424df114cc92%40googlegroups.com.
