Re: Why my code occurs `unsolved constraint` error?
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 in` style. -- Kiwamu Okabe at METASEPI DESIGN -- 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 ats-lang-users+unsubscr...@googlegroups.com. To post to this group, send email to ats-lang-users@googlegroups.com. 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/CAEvX6d%3DcxZMVhY6xADP-jes%3D%3DKs%3DVC%2Btka9P7HjK7-MScZBChw%40mail.gmail.com.
Re: Why my code occurs `unsolved constraint` error?
>>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 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 and ATS3 still follow a similar approach (since sometimes
> it's OK to drop the annotations completely and sometimes not).
> >
> > I can't source my claim about performance though, sorry about that.
>
> Thanks. I should read the detail...
>
>
> BTW, I can fix this issue with `let in end` style code without
> `l2:addr` static value:
>
>
> https://github.com/metasepi/uemacs-bohai/commit/9d52514601151fb0887a436f2e1680be09b0cddd
>
> I think it means:
>
> A. `value where {}` style code needs `l2:addr` static value
> B. `let in` style code needs no `l2:addr` static value
>
> I believe both styles are equivalent.
> Are there some difference on type inference? > Hongwei
>
> I love A style, but I should choose B if it has better inference.
>
> Best regards,
> --
> Kiwamu Okabe at METASEPI DESIGN
>
> --
> 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 ats-lang-users+unsubscr...@googlegroups.com.
> To post to this group, send email to ats-lang-users@googlegroups.com.
> 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/CAEvX6d%3DuiDnjxOPG9C7a2QMB25QPrBRMYxQ7iJdC-6SSf5krGQ%40mail.gmail.com
> .
>
--
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 ats-lang-users+unsubscr...@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
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/CAPPSPLpAzMd0AiSxEGwDMz1V644-9S6rSaUmZ-d_3_RMfEOC%3Dg%40mail.gmail.com.
Re: Why my code occurs `unsolved constraint` error?
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 and ATS3 still follow a similar approach (since sometimes it's OK
> to drop the annotations completely and sometimes not).
>
> I can't source my claim about performance though, sorry about that.
Thanks. I should read the detail...
BTW, I can fix this issue with `let in end` style code without
`l2:addr` static value:
https://github.com/metasepi/uemacs-bohai/commit/9d52514601151fb0887a436f2e1680be09b0cddd
I think it means:
A. `value where {}` style code needs `l2:addr` static value
B. `let in` style code needs no `l2:addr` static value
I believe both styles are equivalent.
Are there some difference on type inference? > Hongwei
I love A style, but I should choose B if it has better inference.
Best regards,
--
Kiwamu Okabe at METASEPI DESIGN
--
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 ats-lang-users+unsubscr...@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
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/CAEvX6d%3DuiDnjxOPG9C7a2QMB25QPrBRMYxQ7iJdC-6SSf5krGQ%40mail.gmail.com.
where do I get atscc2js from?
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 ats-lang-users+unsubscr...@googlegroups.com. To post to this group, send email to ats-lang-users@googlegroups.com. 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/d3baf2a6-9a8f-45f2-8b69-38d31c3e49e2%40googlegroups.com.
