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/8ff7bc81-d693-450c-9e5f-7016d9549c0e%40googlegroups.com.
