Here is a script to install ats2 (with atscc2js) on macOS.
https://pastebin.com/raw/HEr5fJuK
--
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
Dear Artyom and Hongwei,
thanks for your kind reply.
On Mon, Nov 5, 2018 at 9:51 PM Artyom Shalkhakov
wrote:
> The "state types" are described here:
>
> http://www.ats-lang.org/MYDATA/Xanadu-lics00.pdf
>
> section 4.3. The section talks about synthesizing these state types. I guess
> that ATS2
On Fri, Nov 9, 2018 at 1:18 PM Hongwei Xi wrote:
> >>Are there some difference on type inference? > Hongwei
>
> There are equivalent in terms of dynamic semantics.
> They are not equivalent with respect to the way in which
> type inference is handled.
Thanks. Clear for me.
I should choose `let
>>I believe both styles are equivalent.
>>Are there some difference on type inference? > Hongwei
There are equivalent in terms of dynamic semantics.
They are not equivalent with respect to the way in which
type inference is handled.
On Thu, Nov 8, 2018 at 7:26 PM Kiwamu Okabe wrote:
> Dear