It is buried pretty deep:
http://ats-lang.sourceforge.net/htdocs-old/RESOURCE/resource.html
http://ats-lang.sourceforge.net/htdocs-old/DOCUMENT/GRAMMAR/ats_grammar_desc.html
Here is an example:
fun fact(n: int): int = fact2(n, 1) where
{
//
fun fact2(n: int, res:int): int = if n > 0 then fact2(n-1, n*res) else res
//
}
On Friday, May 6, 2016 at 3:26:43 PM UTC-4, Raoul Duke wrote:
>
> Hi, I looked a bit but failed to find a language syntax spec, to help
> advertise / answer questions about ATS features & syntax. Please consider
> making it more findable? :-)
>
> I see let-in but is there support for where (which I overall much prefer)?
>
> Thank you.
>
--
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/97b45bfb-fa9c-441a-9807-754219d2824b%40googlegroups.com.
