Learn ATS2, or wait for ATS3?

2018-04-06 Thread Yves Cloutier
If someone were just getting into ATS2, and knowing an ATS3 is in the pipeline, would you suggest they wait until ATS3 is out before investing the time to learn? For example, how much of the syntax would be different? -- You received this message because you are subscribed to the Google Groups

Re: Learn ATS2, or wait for ATS3?

2018-04-06 Thread Hongwei Xi
This is a great question! ATS (ATS0, ATS1, and ATS2) can only be considered an academic language. Such a language tends to have interesting features but is in general difficult to use to solve real problems. My plan for ATS3 is to push it out of academia. The underlying mechanism for ATS3 is goin

Defining constraints -- datasorts and stacst

2018-04-06 Thread M88
I was looking into the rock-paper-scissors example (here and here ) and I found it very useful for learning how to define predicates